Matita

URI: https://gptkb.org/entity/Matita
GPTKB entity
Statements (7)
Predicate Object
gptkbp:instanceOf gptkb:village
gptkbp:country gptkb:Mozambique
https://www.w3.org/2000/01/rdf-schema#label Matita
gptkbp:locatedIn gptkb:Cabo_Delgado_Province
gptkb:Mozambique
gptkbp:bfsParent gptkb:Coq_proof_assistant
gptkbp:bfsLayer 6