GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
consistencyProof
URI:
https://gptkb.org/prop/consistencyProof
1
triples
GPTKB property
Random triples
Subject
Object
gptkb:Jensen's_model_(NFU)
proved by Ronald Jensen