{"entities":{"Q4399716":{"pageid":6429315,"ns":120,"title":"Item:Q4399716","lastrevid":46700781,"modified":"2025-12-25T10:32:33Z","type":"item","id":"Q4399716","labels":{"en":{"language":"en","value":"A note on SLDNF-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180611"}},"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":"Q4399716$3A869F78-FEB7-4677-BAE1-1FBB3FA02802","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79626fe0c204351920bc9e2aba3f091222645ff6","datavalue":{"value":{"text":"A note on SLDNF-resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399716$3A8FEE19-6BC7-4B93-BDCF-F8C194478171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c52cccccaa72a37c14cd7dd05bbb36639e4d6de","datavalue":{"value":"0901.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399716$CFDBA0BE-AF37-4314-B650-9740248DC111","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399716$30B64203-BEF8-4322-AAA3-91EA24C6D9E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fd8fae299cf234170554d2e7553be2d1d5401b","datavalue":{"value":{"time":"+1998-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399716$35A20433-D4CA-42D1-A57A-1ECA5EDA2725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399716$EFAD1C32-4B2C-4B9A-8DC1-FA8E8529C423","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5321c0d5efa26828deb94f9c16a9b71e64062be1","datavalue":{"value":"1180611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399716$66DD4235-879C-471B-90D7-642EF59A64DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f92bbd3e75d919bbd74a3b3b9a7f42044e22e7e","datavalue":{"value":"SLDNF-tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399716$F5E33577-C1AA-4D7E-BBA3-C35E7A06EB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399716$7FBEED4B-BF85-4502-AA8F-5FBBF2F405D3","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":"Q4399716$FD222C85-2408-460E-B710-03BE495F9B0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c26fc87a7ab31b7aeb767fda1f868c9821e14a","datavalue":{"value":"https://doi.org/10.1093/logcom/8.2.159","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399716$85738BEF-356F-4588-9537-A5379EE4FA70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707aaa94ef7df6d507da5215061adb7352cab700","datavalue":{"value":"W2013345298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399716$2A615100-5AFD-4F71-9651-15E8CAC3A7D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20b18ec3f7fe3ecb3cead2caed04ad1bac70e3aa","datavalue":{"value":"10.1093/LOGCOM/8.2.159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399716$79C32056-8BA5-4725-8E7A-06AE3D1D7588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399716$61A9878F-886C-4C94-B29F-E6F7DAA40EFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920ccb4ea61996d3353ace445b0399bf0d37d00f","datavalue":{"value":{"entity-type":"item","numeric-id":4238483,"id":"Q4238483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b84aba0a43a14ab097bb97abb1d291c12047ebc","datavalue":{"value":{"amount":"+0.8655375242233276","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":"Q4399716$B67194CA-7025-4009-B085-C93C6406FF0C","rank":"normal"},{"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":"7465ddd8adcb70ceca57b5fe2c026375e80d1047","datavalue":{"value":{"amount":"+0.8639155030250549","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":"Q4399716$EBC191BF-5230-484E-B4F4-7DEFA5D03311","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":"1878e0cea1bd528bccbd5d543da5d635213c616b","datavalue":{"value":{"amount":"+0.842605471611023","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":"Q4399716$47C61E11-F94C-403B-ADA7-FC66E3C292CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0262c95d5bb75614f5e82ae1af853cf66185e89","datavalue":{"value":{"entity-type":"item","numeric-id":4285644,"id":"Q4285644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d269d0df756395e16fe3691279cfdb53797ea2","datavalue":{"value":{"amount":"+0.813998818397522","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":"Q4399716$A703B80B-8E48-4935-9C8F-24774669C4B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4399716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4399716"}}}}}