Thoughtscript[io]
Adam In Tae Gerard
Ground Facts and Truth #2
- universal knowledge ontology
Ground Facts and Truth
- automating truth and proof