{"entities":{"Q1815857":{"pageid":1826599,"ns":120,"title":"Item:Q1815857","lastrevid":81995252,"modified":"2026-05-06T19:50:56Z","type":"item","id":"Q1815857","labels":{"en":{"language":"en","value":"On the completeness of SLDENF-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947553"}},"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":"Q1815857$49C6525F-E8B7-45D3-88C7-67F6955F200C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb32c8fafa01f842d63909b7e17060d5fde1723e","datavalue":{"value":{"text":"On the completeness of SLDENF-resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815857$ADF0932C-FB5F-415F-A4EB-DEE932EB3F24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6bfb8ca7515aad1ec101563ce0301664b8eade3","datavalue":{"value":"0855.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815857$3FB3F3A2-7220-4986-AA31-8944B314AC8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c08d88317b511f5232a069da4c5f37e0a660f0","datavalue":{"value":"10.1007/BF00244496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815857$34AEEF94-B23E-41F4-8F71-64E8A3D70FDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82441ec970bf6eb1a8e3fce48a62bed4f63c45fc","datavalue":{"value":{"entity-type":"item","numeric-id":208502,"id":"Q208502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815857$C61D3304-15D6-46E1-982C-0FA86C611D6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815857$D5EA369F-9B28-4385-9CB7-B1A777CDBCAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0be8ff382edb32f3da22feee8dc070930911f718","datavalue":{"value":{"time":"+1997-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815857$53876E32-3890-4223-B53D-FC98751D524F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815857$E19277EB-151B-4474-BBFF-81546AA53A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85302f6b587611ef9c30b9a9d9d20a2b7dfbe9e0","datavalue":{"value":"947553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815857$4D8A4729-B885-44AF-A17B-21C248B46A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c209554440cbc36315556422834f15d2ab6574a6","datavalue":{"value":"SLDENF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815857$DD7DA230-174B-4C78-8EBE-9A9A66AA0C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05037599df3a57724aa2b17e36b7b88fed1b6a7c","datavalue":{"value":"negation-as-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815857$A480FB25-0D95-408B-B28D-990D2BC94BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815857$0598C4AD-5A5C-43BA-8D84-BA41AB9DA709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64cf7885c383fdd7f822c46daf7d92556cab66e","datavalue":{"value":"SLDE-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815857$68D5794B-831E-468F-802A-62234FA33468","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":"Q1815857$9C36211E-E7F5-4A47-B64B-D38220246D54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228583431b7d7b49b68a10e5ad593f8ceb57e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e99dcb53d096787cb8d4ce6a4678278430aa6dd","datavalue":{"value":{"amount":"+0.8589946627616882","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":"Q1815857$8EA9E27F-2D24-4012-988C-87573E539762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddec39672dc8919395d3c8e6e18ec86b736d8d10","datavalue":{"value":{"entity-type":"item","numeric-id":1189731,"id":"Q1189731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e6634aab831607145c99533fd9d6e28025dbfc","datavalue":{"value":{"amount":"+0.8486906886100769","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":"Q1815857$0A0A011C-81F2-49BE-BCCD-07E74E4E7777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a6263ab84800b5758c896df5e4e5e08402b58a","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619ba9e6a1b657c0e77e5c94382ad70ded3774b1","datavalue":{"value":{"amount":"+0.8287665247917175","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":"Q1815857$02DD113A-49D1-450F-A126-91C0428B307E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of SLDENF-resolution","badges":[]}}}}}