proof theory

branch of mathematical logic

Wikidata entity: Q852732

P2179 ACM Classification Code (2012) String 10003792 ???
P31 instance of ... Q4671286 (academic major) academic major
P31 instance of ... Q11862829 (academic discipline) academic discipline
P2578 is the study of ... Q11538 (mathematical proof) mathematical proof
P6104 maintained by WikiProject ... Q8487137 (WikiProject Mathematics) WikiProject Mathematics
P1482 Stack Exchange tag Url Newest 'proof-theory' Questions - MathOverflow ???
P279 subclass of ... Q1166618 (mathematical logic) mathematical logic
P910 topic's main category ... Q7452060 (Category:Proof theory) Category:Proof theory
External Ids
P268Bibliothèque nationale de France ID122670310
P508BNCF Thesaurus ID4936
P1036Dewey Decimal Classification511.36
P3219Encyclopædia Universalis IDverite-mathematique
P3219Encyclopædia Universalis IDtheorie-de-la-demonstration
P646Freebase ID/m/0191r1
P227GND ID4145177-6
P2671Google Knowledge Graph ID/g/12dpwymzg
P3827JSTOR topic ID (archived)proof-theory
P8408KBpedia IDProofTheory
P244Library of Congress authority IDsh85107437
P3285Mathematics Subject Classification ID03Fxx
P2812MathWorld IDProofTheory
P6366Microsoft Academic ID (discontinued)2318724
P8189National Library of Israel J9U ID987007541259805171
P1368National Library of Latvia ID000137654
P349NDL Authority ID01190375
P691NL CR AUT IDph126551
P4215nLab IDproof theory
P10283OpenAlex IDC2318724
P6781ProofWiki IDDefinition:Proof_Theory
P3123Stanford Encyclopedia of Philosophy IDproof-theory
P3123Stanford Encyclopedia of Philosophy IDproof-theory-development
P13591Yale LUX IDconcept/4230d2ca-e04a-4d90-88b4-aa1bccf58ad0
P2347YSO ID455
P3553Zhihu topic ID19839268

Why not click here or view trends?

log id: 2274973