ili:i71412
http:| rdf: | type | |
| skos: | definition | a formal series of statements showing that if one thing is true something else necessarily follows from it |
Semantic relations
| ∴dns: | linked concept | en: proof |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl