Pages that link to "Item:Q2364688"
From MaRDI portal
The following pages link to Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688):
Displaying 4 items.
- Knowledge representation for mathematical discovery: Three experiments in graph theory (Q1183372) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs (Q6159378) (← links)