{"entities":{"Q1770206":{"pageid":1780948,"ns":120,"title":"Item:Q1770206","lastrevid":73859934,"modified":"2026-04-14T17:31:36Z","type":"item","id":"Q1770206","labels":{"en":{"language":"en","value":"Mechanizing mathematical reasoning. Essays in honor of J\u00f6rg H. Siekmann on the occasion of his 60th birthday."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2155518"}},"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":"Q1770206$DDF813F0-A8BF-4A15-B02D-57B877664A2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3ecdd8a50a1cfe6df71fe49c0ed7f5598e6cc5b","datavalue":{"value":{"text":"Mechanizing mathematical reasoning. Essays in honor of J\u00f6rg H. Siekmann on the occasion of his 60th birthday.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770206$8AC24D71-09B8-422A-AF5D-D223D38C81DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0395dc158576df7b8c1ba77a3b55d37d39a6e08","datavalue":{"value":"1058.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$AD2F8E5E-3F66-48E9-85E1-A36525ED4CFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770206$3F0138C4-ED26-4CD4-B3E6-01D7096CC1BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b52907917c23baff866fa15e24e6114c56892e4e","datavalue":{"value":{"time":"+2005-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770206$1D952548-4FA0-4016-A0BA-ACC120003B40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32fd8aea94a433072e5ec308593b0e1a4d69f6f3","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Hutter, Dieter; Stephan, Werner}, A portrait of a scientist: logic, AI and politics, 1-13 [Zbl 1098.01514]  \\textit{Andrews, Peter B.}, Some reflections on proof transformations, 14-29 [Zbl 1098.68114]  \\textit{Armando, Alessandro; Compagna, Luca; Ranise, Silvio}, Rewrite and Decision procedure Laboratory: Combining rewriting, satisfiability checking, and lemma speculation, 30-45 [Zbl 1098.68694]  \\textit{Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando}, SAT-based decision procedures for automated reasoning: A unifying perspective, 46-58 [Zbl 1098.68693]  \\textit{Barringer, Howard; Gabbay, Dov; Woods, John}, Temporal dynamics of support and attack networks: From argumentation to zoology. Initial results., 59-98 [Zbl 1098.68122]  \\textit{Beierle, Christoph; Kern-Isberner, Gabriele}, Footprints of conditionals, 99-119 [Zbl 1098.68123]  \\textit{Bibel, Wolfgang}, Time for thinking big in AI, 120-131 [Zbl 1098.68635]  \\textit{Chubarov, Dimitri; Voronkov, Andrei}, Solving first-order constraints over the monadic class, 132-138 [Zbl 1098.68116]  \\textit{Kerber, Manfred}, From MKRP to \\(\\Omega\\)mega, 139-153 [Zbl 1098.68698]  \\textit{Schmidt-Schau\u00df, Manfred}, Decidable variants of higher-order unification, 154-168 [Zbl 1098.03025]  \\textit{Sieg, Wilfried; Cittadini, Saverio}, Normal natural deduction proofs (in non-classical logics), 169-191 [Zbl 1098.03026]  \\textit{Wirth, Claus-Peter}, History and future of implicit and inductionless induction: Beware the old jade and the zombie!, 192-203 [Zbl 1098.68699]  \\textit{Wos, Larry}, The flowering of automated reasoning, 204-227 [Zbl 1098.68700]  \\textit{Baader, Franz; Horrocks, Ian; Sattler, Ulrike}, Description logics as ontology languages for the semantic web, 228-248 [Zbl 1098.68705]  \\textit{Baumgartner, Peter; Furbach, Ulrich}, Living books, automated deduction and other strange things, 249-267 [Zbl 1098.68695]  \\textit{van Benthem, Johan}, An essay on sabotage and obstruction, 268-276 [Zbl 1098.68632]  \\textit{Benzm\u00fcller, Christoph; Meier, Andreas; Sorge, Volker}, Bridging theorem proving and mathematical knowledge retrieval, 277-296 [Zbl 1098.68696]  \\textit{Bolc, Leonard}, Formal description of natural languages: An HPSG grammar of Polish, 297-320 [Zbl 1098.68902]  \\textit{Jamnik, Mateja; Bundy, Alan}, Psychological validity of schematic proofs, 321-341 [Zbl 1098.03024]  \\textit{Fiedler, Armin}, Natural language proof explanation, 342-363 [Zbl 1098.68697]  \\textit{Melis, Erica}, Why proof planning for maths education and how?, 364-378 [Zbl 1098.97501]  \\textit{Krieg-Br\u00fcckner, Bernd}, Towards multimedia instruction in safe and secure systems, 379-395 [Zbl 1098.97500]  \\textit{Broy, Manfred}, The impact of models in software development, 396-406 [Zbl 1098.68543]  \\textit{Hutter, Dieter; Autexier, Serge}, Formal software development in MAYA, 407-432 [Zbl 1098.68549]  \\textit{Kapur, Deepak; Narendran, Paliath; Wang, Lida}, A unification algorithm for analysis of protocols with blinded signatures, 433-451 [Zbl 1098.68039]  \\textit{Mantel, Heiko; Schairer, Axel}, Exploiting generic aspects of security models in formal developments, 452-475 [Zbl 1098.68588]  \\textit{Stephan, Werner; Langenstein, Bruno; Nonnengart, Andreas; Rock, Georg}, Verification support environment, 476-493 [Zbl 1098.68545]  \\textit{Benedetti, Marco; Aiello, Luigia Carlucci}, SAT-based cooperative planning: A proposal, 494-513 [Zbl 1098.68701]  \\textit{Beetz, Michael}, Towards comprehensive computational models for plan-based control of autonomous robots, 514-527 [Zbl 1098.68713]  \\textit{Doran, Jim}, Agents with exact foreknowledge, 528-542 [Zbl 1098.68912]  \\textit{Fischer, Klaus}, Self-organisation in holonic multiagent systems, 543-563 [Zbl 1098.68913]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770206$82B481E0-6005-473C-94B1-A0C73CD766BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$3CACDBFA-F19D-42FA-9936-A5E101E75286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$35FB5C5B-44AD-491D-8092-2DECC76168E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$ED24C994-46B2-482C-8F3E-3FD96F112F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$70BFCA3C-6C2E-45AE-8699-F682AD5D365E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa7e7c5c69eabc47eea1028a4f1024aa61403feb","datavalue":{"value":"2155518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$057EC9DB-046B-462E-8549-271F3C40E309","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6072e686de63f7f02018e78aa7043b170b29290a","datavalue":{"value":{"entity-type":"item","numeric-id":31431,"id":"Q31431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770206$91728353-04BF-4240-9936-235167B27117","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":"Q1770206$29A1785E-4BD4-4548-A526-D5FCBF760319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"703773b8d2bd6b8fbc89ad622e8566bce28b2e06","datavalue":{"value":"https://doi.org/10.1007/b106663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770206$C78E4BF7-B7F0-49BD-99F8-16883C401EB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$85BD3B2E-8593-4D85-8704-C2742A7BF61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770206$27A646B6-1111-4BA7-A3BD-E082BD8EFA40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing mathematical reasoning. Essays in honor of J\u00f6rg H. Siekmann on the occasion of his 60th birthday.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_mathematical_reasoning._Essays_in_honor_of_J%C3%B6rg_H._Siekmann_on_the_occasion_of_his_60th_birthday."}}}}}