{"entities":{"Q701700":{"pageid":703549,"ns":120,"title":"Item:Q701700","lastrevid":63639315,"modified":"2026-04-11T14:32:44Z","type":"item","id":"Q701700","labels":{"en":{"language":"en","value":"Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123130"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701700$28741F56-C918-469A-A789-41EE95182202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34a8c3374d9ceb38adf827bbfcd0c045c4454498","datavalue":{"value":{"text":"Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701700$BDD6AE0F-63ED-4594-9284-AE3DB500047E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b345c87090989dfb16cc758ef0eb0a882d4d87","datavalue":{"value":"1055.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701700$BDD425E2-6950-4FDC-B1EB-B51FC82481D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701700$FDF3E1AC-C450-4309-BAE5-6DAD2D214A06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701700$D4387D3F-5567-443E-8E9C-20EA220606DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a6c43212684052e5dc680abfebdb0b072997267","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{de Bruijn, N. G.}, A mathematical model for biological memory and consciousness, 9-23 [Zbl 1180.92016]  \\textit{Barendregt, Henk}, Towards an interactive mathematical proof mode, 25-36 [Zbl 1063.68088]  \\textit{Constable, Robert L.}, Recent results in type theory and their relationship to Automath, 37-48 [Zbl 1063.68090]  \\textit{Huet, G\u00e9rard}, Linear contexts, sharing functors: techniques for symbolic computation, 49-69 [Zbl 1063.68109]  \\textit{Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob}, De Bruijn's Automath and pure type systems, 71-123 [Zbl 1063.68092]  \\textit{Franssen, Michael}, Hoare logic with explicit contexts, 125-148 [Zbl 1063.68031]  \\textit{Holmes, M. Randall}, Polymorphic type-checking for the ramified theory of types of \\textit{Principia mathematica}, 173-215 [Zbl 1063.68091]  \\textit{Ruiz-Reina, J. L.; Alonso, J. A.; Hidalgo, M. J.; Mart\u00edn-Mateos, F. J.}, Termination in ACL2 using multiset relations, 217-245 [Zbl 1063.68026]  \\textit{Gabbay, Murdoch J.}, The \\(\\pi\\)-calculus in FM, 247-269 [Zbl 1063.68073]  \\textit{Siekmann, J\u00f6rg; Benzm\u00fcller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin}, Proof development with \\(\\Omega\\)MEGA: the irrationality of \\(\\sqrt 2\\), 271-314 [Zbl 1063.68093]","type":"string"},"datatype":"string"},"type":"statement","id":"Q701700$B65E7798-6674-4AE9-A962-EE9DDF241854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701700$B5C00995-7E37-4F06-87B4-1778615D0778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701700$47D526DE-C759-4339-9198-CF5A90AA78BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"397685f3303442f82ab4e859beeabea47dd86146","datavalue":{"value":"2123130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701700$3534C26B-9D0A-45B8-8139-61FA8A7C6902","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701700$5515ED65-D655-4C41-AF20-C56E45666815","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701700$1CC4F9AE-34D1-41D9-8CD5-C0E81655A3E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Thirty-five_years_of_automating_mathematics._Dedicated_to_35_years_of_de_Bruijn%27s_Automath"}}}}}