ili:i67265
http:| rdf: | type | |
| skos: | definition | (logic) an inference that follows directly from the proof of another proposition |
Semantic relations
| ∴dns: | linked concept | en: corollary |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl