ili:i71977
http:| rdf: | type | |
| skos: | definition | a proposition deducible from basic postulates |
Semantic relations
| ∴dns: | linked concept | en: theorem |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl
| rdf: | type | |
| skos: | definition | a proposition deducible from basic postulates |
| ∴dns: | linked concept | en: theorem |
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl