Automath

formal language

Wikidata entity: Q2872609



P61 discoverer or inventor ... Q1078285 (Nicolaas Govert de Bruijn) Nicolaas Govert de Bruijn
P31 instance of ... Q192161 (formal language) formal language
P31 instance of ... Q24034552 (mathematical concept) mathematical concept

External Ids
P646Freebase ID/m/0276wnf
P244Library of Congress authority IDsh85010082
P6366Microsoft Academic ID (discontinued)2781113688
P8189National Library of Israel J9U ID987007295726205171
P4215nLab IDAutomath
P13591Yale LUX IDconcept/d3870e82-1321-46df-b8d6-8d53742a6d41

Why not click here or view trends?

log id: 6712776