{"entities":{"Q4002997":{"pageid":6032821,"ns":120,"title":"Item:Q4002997","lastrevid":55149430,"modified":"2026-02-04T03:50:45Z","type":"item","id":"Q4002997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 52709"}},"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":"Q4002997$7AAB57B1-D627-43B1-929A-EDA1C1AA2675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51ccc9d067c664605cc9d59cfc0ea6527ce80ae1","datavalue":{"value":"0745.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002997$363BB6DA-09DF-4377-8971-AEB1432A7422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0235fa541d2b0079ec842fb802c2082c174a772c","datavalue":{"value":{"entity-type":"item","numeric-id":4002996,"id":"Q4002996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4002997$E7357D18-EFB7-442F-95E5-3AFDBE00C40A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4002997$0BA0F866-E8D6-4C82-88B9-CE427E2D00F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002997$C704B4A7-7189-4AD3-8F4E-09BF2EEB1D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002997$B2969AC3-236D-43E7-B197-43BE2778E177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5077c68c28316edad2c3fdb09a4c873769f6a7a4","datavalue":{"value":"52709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002997$7826C70B-F348-41A9-8948-1D752275DEF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c195f9aa82e2116344bf8c3eed87fe71f9f45680","datavalue":{"value":"complete resolution calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$55D870E4-D438-4FBD-B08B-4F8864739900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$BF87B5CB-468C-4AF5-A687-7CDB27542CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc53c0e38118a8e657a632ffef83074043292dd","datavalue":{"value":"Horn formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$F848A61D-BA60-4BAA-BAE1-8B542CAA4A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$E5A8FEF8-D053-4E99-BE07-0E4B59B19399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4415e290eb393f888e407ace480b5467d7bfc5","datavalue":{"value":"PROLOG programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$073396F7-979D-40F9-A590-F53C6FF4FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05037599df3a57724aa2b17e36b7b88fed1b6a7c","datavalue":{"value":"negation-as-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$E62D2CFF-6999-4DC8-BB20-AC7ECCAEB086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20cb3b71f29de6e20ceec8850f67e4b24f6b462","datavalue":{"value":"SLDNF- resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002997$6AEE8D7E-1900-491D-A6DD-F3D343681468","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":"Q4002997$BFBD9225-179B-45A1-BC96-EFCA35425A28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f7a5fe621a8c672d8069304afa8b9b0e4cd88a","datavalue":{"value":{"entity-type":"item","numeric-id":4725709,"id":"Q4725709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ff40200e7a71ccf09181edadf05c5e9d1124ad","datavalue":{"value":{"amount":"+0.861652672290802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4002997$C9457D76-776E-42CD-8459-D6340FF086FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c620fcf06677816dacde68072450479f7a0508dc","datavalue":{"value":{"amount":"+0.8326915502548218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4002997$1B7351B5-57B7-4C88-84C1-FE81B46A0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a98a05bda9ef5c87258cef48929efd72e5b35fc","datavalue":{"value":{"entity-type":"item","numeric-id":3782841,"id":"Q3782841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a06d79a922b26fbf6dc830035c4a11f6eebecef","datavalue":{"value":{"amount":"+0.8285230994224548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4002997$5FAFD946-4ACF-43E5-85E5-02A270986F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16750a60005f66b72facd0a108c6cf5f8e0e56d0","datavalue":{"value":{"entity-type":"item","numeric-id":3793768,"id":"Q3793768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f5e342fa9b9dc0de978f42c744fb75ddb6940a","datavalue":{"value":{"amount":"+0.820365309715271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4002997$D3831134-5594-41EC-A086-58A99B546342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b127018ed3a5291db3a174efc091241f9fa63e","datavalue":{"value":{"amount":"+0.8197160363197327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4002997$C59E7234-A091-4CD9-A69C-CB51BCE30FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4002997"}}}}}