MKM (Mathematical Knowledge Management)

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf research
gptkbp:aimsTo improve access to mathematical knowledge
gptkbp:conference gptkb:Conference_on_Mathematical_Knowledge_Management
gptkbp:focusesOn mathematical knowledge representation
mathematical knowledge retrieval
mathematical knowledge formalization
https://www.w3.org/2000/01/rdf-schema#label MKM (Mathematical Knowledge Management)
gptkbp:relatedTo gptkb:artificial_intelligence
gptkb:mathematics
computer science
knowledge management
gptkbp:uses automated reasoning
formal languages
ontologies
semantic web technologies
gptkbp:bfsParent gptkb:MKM
gptkbp:bfsLayer 7