logical implication (P14039)
axiom or conjecture that this axiom or conjecture implies
- implies logically
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | logical implication |
axiom or conjecture that this axiom or conjecture implies |
|
Data type
Item