NLP Knowledge Graph

Home

All Relationships All Entities hierarchical_view

Tasks Methods Metrics Materials Other Entities

Graph Explorer GraphRAG Export Data

Login Register

KAZ ENG RUS

Coq

otherentity ID: coq

Details Outgoing Relationships (0) Incoming Relationships (1) Related Papers (1)

Incoming Relationships

Relationship	Source Entity	Type	Actions
implementedIn	NLC	otherentity	View

Confirm Deletion

Are you sure you want to delete this entity? Coq?

NLP Knowledge Graph Management System