{"entities":{"Q5956944":{"pageid":8133746,"ns":120,"title":"Item:Q5956944","lastrevid":102128546,"modified":"2026-06-06T03:33:10Z","type":"item","id":"Q5956944","labels":{"en":{"language":"en","value":"Intellectics and computational logic. Papers in honor of Wolfgang Bibel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1710747"}},"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":"Q5956944$D515947C-6E08-4E23-AD31-C3ACC145A8DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e4fa2952c7eacb61d3540bab94988da10efa699","datavalue":{"value":{"text":"Intellectics and computational logic. Papers in honor of Wolfgang Bibel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956944$6199B66A-DFB4-4E43-8175-F6280A8814AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d88ce816c9cd9ee59d22f4882f2083bf0350c81","datavalue":{"value":"0982.00058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956944$A62E44E8-54E3-4839-9B89-6A4C4B3FD5B7","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":"Q5956944$FBE86C1F-E180-44E7-BEA2-8F0C27956DBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4365bd0c58fc24391cdeb796562bdab48acb1687","datavalue":{"value":{"time":"+2002-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956944$1966B38D-B7DD-4364-B40C-2BF5AD10EA27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db45c0984a2251e7de7c507e551b653c850d81f8","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Baumgartner, P.; Eisinger, N.; Furbach, U.}, A confluent connection calculus, 3-26 [Zbl 0997.03007]  \\textit{Brewka, Gerhard; Eiter, Thomas}, Prioritizing default logic, 27-45 [Zbl 0997.03032]  \\textit{Br\u00fcning, Stefan; Schaub, Torsten}, A connection calculus for handling incomplete information, 47-66 [Zbl 0997.03008]  \\textit{Caferra, Ricardo; Peltier, Nicolas}, The connection method, constraints and model building, 67-84 [Zbl 0996.03006]  \\textit{Demolombe, Robert; Fari\u00f1as del Cerro, Luis}, Towards a logical characterisation of sentences of the kind ``sentence \\(P\\) is about object \\(c\\)'', 85-99 [Zbl 1018.03008]  \\textit{Eder, Elmar}, The cut rule in theorem proving, 101-123 [Zbl 0997.03009]  \\textit{Egly, Uwe; Tompits, Hans}, Some strengths of nonmonotonic reasoning, 125-141 [Zbl 0997.03033]  \\textit{Eusterbrock, Jutta}, Composing re-usable synthesis methods through graph-based viewpoints, 143-158 [Zbl 1001.68944]  \\textit{Fronh\u00f6fer, Bertram}, Proof structures and matrix graphs, 159-173 [Zbl 0997.03044]  \\textit{Herrmann, Christoph S.}, AI and cognitive science: Feedback leads to a new neural concept, 175-188 [Zbl 1028.68109]  \\textit{Kreitz, C.; Otten, J.; Schmitt, S.; Pientka, B.}, Matrix-based constructive theorem proving, 189-205 [Zbl 0996.03007]  \\textit{H\u00f6lldobler, Steffen; St\u00f6rr, Hans-Peter}, Complex plans in the fluent calculus, 207-223 [Zbl 1008.68095]  \\textit{Lakemeyer, Gerhard; Levesque, Hector J.}, Querying AOL knowledge bases. Preliminary report, 225-244 [Zbl 1008.68127]  \\textit{Letz, Reinhold}, Properties and relations of tableau and connection calculi, 245-261 [Zbl 0996.03008]  \\textit{Melis, Erica; Siekmann, J\u00f6rg H.}, Concepts in proof planning, 263-276 [Zbl 1008.68119]  \\textit{Robinson, J. A.}, Proof = guarantee + explanation, 277-294 [Zbl 1001.03051]  \\textit{Schumann, Johann}, Automated theorem proving in high-quality software design, 295-312 [Zbl 1008.68120]  \\textit{Strohmaier, Antje}, A complete neural network algorithm for Horn-SAT, 313-325 [Zbl 0999.68089]  \\textit{Thielscher, Michael}, Nondeterministic actions in the fluent calculus: Disjunctive state update axioms, 327-345 [Zbl 1052.68124]  \\textit{Wagner, Christian}, The illusion of knowledge (or why data is more important than knowledge), 347-359 [Zbl 1008.68096]  \\textit{Walther, Christoph}, Criteria for termination, 361-386 [Zbl 1008.68077]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956944$7286D5A5-8006-4FB4-B76E-957F3BA9DA91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956944$BBC0A763-30E9-4796-A6E3-C1A5E2F52AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956944$0DCE7D97-9087-4D84-A835-A6EDC53366EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956944$191F9712-5B34-4004-981E-F2909F07A172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a068ee93e2d6bace784db668baca844356c4e9","datavalue":{"value":"1710747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956944$FB90FA22-326D-4E60-B5A5-C3D0A7AEEF2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187105ebb7de416e8bc2c52dc96a2edf5aea739","datavalue":{"value":"Intellectics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956944$100BE022-6AA6-42D5-B68E-F8CB84FA92B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd031671ade5ded8e55b1b60bafd1349f9e60ad2","datavalue":{"value":"Computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956944$CB77F207-4BE0-4D35-855F-BA09B7642B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa22012e21d99a6a77e1348bce47b8815ebecd55","datavalue":{"value":"Dedication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956944$D1F00D91-9306-4D79-BD7D-B2037265769D","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":"Q5956944$951834B9-F834-4285-9AD4-98046F2D5CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intellectics and computational logic. Papers in honor of Wolfgang Bibel","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intellectics_and_computational_logic._Papers_in_honor_of_Wolfgang_Bibel"}}}}}