{"entities":{"Q1978251":{"pageid":1988993,"ns":120,"title":"Item:Q1978251","lastrevid":46898439,"modified":"2025-12-25T19:49:15Z","type":"item","id":"Q1978251","labels":{"en":{"language":"en","value":"On some tractable classes in deduction and abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454127"}},"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":"Q1978251$086B3DBA-2B59-4118-BAE2-ED8E1C2FB212","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9f910587738ee3da122de372eaa2029c212fb6","datavalue":{"value":{"text":"On some tractable classes in deduction and abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978251$44CEFE9D-FEC8-4E03-A651-5D197A0E744C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"472c3624d4a7b17a0448fc80032498231cc55c37","datavalue":{"value":"0940.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$E8E35E29-E55C-4AA5-B956-4E29D8AF2119","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ae988a4974966fac9074a56c2c540f9c4a1ed40","datavalue":{"value":"10.1016/S0004-3702(99)00088-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$1481CE6D-D8A1-46BB-92C0-9AC3EA827F4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$0817BE88-AC8E-4E12-9F36-BBC2324D45F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978251$DB4D743B-8324-453A-B399-A5A0DE398A31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$94F861AE-0C92-4D2A-9EBC-4CCBC7B6BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$C1A04201-3F4D-491C-A87C-79CE0C963CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$B794C575-9845-47CB-924A-5B394169B529","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcbc5b90b8cbead098d3efe3cab0aea53a2cc321","datavalue":{"value":"1454127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978251$FED46C3B-45A0-4832-A9F0-4B0D4E00E240","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$B0E66574-8D3E-489A-B400-6AC08EAA8AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$49010CFF-DB57-4D4F-A88F-2A9A8F2E3B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$DB97B99A-0616-43D4-A0EE-73E72771DA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c76270fe3236a9937023953b48c5db6761c9d3","datavalue":{"value":"tractable inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$83BC8AE3-7E07-4673-B270-DFA61A002F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$D2A8EDB9-B377-4CDD-BBF3-5EFF9E1F3823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$E8913484-55FA-4664-BBBE-C41E0495110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d98fdf7884b335bbb07c68a3a0912f071f8f86c","datavalue":{"value":"tractability of entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978251$A5C40C5B-892B-40DE-A1C0-0256F3B56C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2875fe6ec1892f3e398e8aed836906172a789d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1334983,"id":"Q1334983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$B9F8D21F-2B81-4F17-B1F6-F826843FC3FF","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":"Q1978251$93F34359-5754-4B52-AF0A-19841238D42E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$0BADF3E6-A2A3-4424-85E5-D46D3518B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$B31BE62A-2CC2-41AC-9086-4EBDC283380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b02cd23c69e1bb3152fb5282afc66e78253569","datavalue":{"value":{"entity-type":"item","numeric-id":4228441,"id":"Q4228441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$802F9B76-147F-46B1-961D-362107167D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0bc89814af24000e25c779d2545d67fb85860","datavalue":{"value":{"entity-type":"item","numeric-id":3361915,"id":"Q3361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$6204DF99-55CB-4F3A-97E5-E73CE1D74E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddae42721643d87fa0fa62e8eb51411c2aac507","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$A251C986-9407-464B-B64E-F1CD3D6BADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f50fe41c220e27dfe716a1bac722b4324e7f15e","datavalue":{"value":{"entity-type":"item","numeric-id":1804878,"id":"Q1804878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$FEA10D58-F4AC-4D55-AF68-CE64519AA8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$7D982D23-1F16-44C5-8904-4ADC81582301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$A1F38402-A9B5-4623-B474-525B07DF9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09c779e5d6d079a37d546f5f690f995dccaf55b","datavalue":{"value":{"entity-type":"item","numeric-id":989166,"id":"Q989166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$938C41AF-3305-4386-B3BA-CB31E0A7418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$7A001FE7-F47C-4D5D-B1C1-ECEA61F54AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$4D8DDA36-2768-489F-9243-5B83F483E901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bb00fd6ce4aac0aca6c4d4f4e9df5af69abc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$A2FFACD6-6B11-4CF7-BD97-F91BA2413E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f9387997eeea20febd9fefb3865f71dcbfa8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2674205,"id":"Q2674205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978251$2144B4A2-C4DE-40FE-BF8D-BB355DC92FB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f1da0f080b09a1a88409e3d605ab851829a2d9","datavalue":{"value":{"entity-type":"item","numeric-id":2389658,"id":"Q2389658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def06c4dc9088a00ccae7777abda0f06a6c5ad4f","datavalue":{"value":{"amount":"+0.8137978315353394","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":"Q1978251$AE157A04-2417-4404-8C26-44DC7ADEF85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c700ecd58890d5cd47754c9d26b54634b47687b","datavalue":{"value":{"entity-type":"item","numeric-id":5470752,"id":"Q5470752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263609ce48b27768fc625b5fb0adecda49f3d453","datavalue":{"value":{"amount":"+0.7843543291091919","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":"Q1978251$0C4FE3D5-937D-48AA-9FE1-4B9C5535DBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32ce7ed0eeaf4984c40e83a63a71fcc9f07b863","datavalue":{"value":{"entity-type":"item","numeric-id":4434165,"id":"Q4434165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a32d1f1d1936f5dccf8fb00067f0733f4e128b32","datavalue":{"value":{"amount":"+0.7836819887161255","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":"Q1978251$CB43EC4B-4BFE-4178-B326-BB52F1ADB623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026ce94dc03df9e6f8e5070875b4b0a43855dd47","datavalue":{"value":{"amount":"+0.7767823934555054","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":"Q1978251$5BD609EA-A583-407B-9A7E-BC26A9B15E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492056201e2d539eed4cb2c823939c8587552168","datavalue":{"value":{"entity-type":"item","numeric-id":4028775,"id":"Q4028775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bee7ded6eab67b0ec929d9d0c2386ca191ff7de","datavalue":{"value":{"amount":"+0.7709614038467407","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":"Q1978251$9D474225-DE4E-4333-95B1-E095D8F49E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978251"}}}}}