{"entities":{"Q1426033":{"pageid":1436773,"ns":120,"title":"Item:Q1426033","lastrevid":48252787,"modified":"2026-01-04T03:17:10Z","type":"item","id":"Q1426033","labels":{"en":{"language":"en","value":"On logic programs that always succeed."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056468"}},"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":"Q1426033$B06086F8-DA83-45C9-AFC9-FF546788F4D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e709a7e80b9f2dba93fd4cecedab219aa7af96c","datavalue":{"value":{"text":"On logic programs that always succeed.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426033$38E38EF8-AD7D-479B-9442-C6FE4FEE6850","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a999012fa4f4de740384bf7e3b844b75a207f1","datavalue":{"value":"1058.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426033$CAE8D65D-DA58-4663-8F5E-E0A93DD72FD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e233148720353149c088b82d46f91b8ef6e658a","datavalue":{"value":"10.1016/S0167-6423(03)00023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426033$60416582-2F03-47F1-9D72-71D02FC319A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426033$C4D68E34-4055-4BB6-B581-EA90C5C126BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426033$80ADEA61-BDCC-4F90-9637-534748075711","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426033$5D57298F-4121-4FBB-9A9A-0A155C0D0FD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426033$7D4A291B-493E-4A29-BE47-0959B568C142","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426033$537C21D3-9A05-41C0-B547-343BD856D56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d9f018b738343016baa647cdc5983739e40bdc","datavalue":{"value":"2056468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426033$BA49A0F7-1C15-407D-B123-A73B9FE46196","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":"Q1426033$3329E623-15D1-44E5-81B3-6C14714A5DD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a75c32bbf095413e41d17a2de46bb9d9a9a765bf","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(03)00023-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426033$5C7EFEB0-60D4-41C2-812B-1B404AE259FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7182866d447a7c43bcc3674788e79e2d03cf4228","datavalue":{"value":"W2067796886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426033$D68A01CD-4383-4D53-BA5C-C33A02F588AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358d285ae9b1937d8e4f6b00914eb056783102f4","datavalue":{"value":{"entity-type":"item","numeric-id":4499240,"id":"Q4499240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bb91056343b5b4ca44a6d4e75a75dc91440abb","datavalue":{"value":{"amount":"+0.8367737531661987","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":"Q1426033$9EC9107A-4294-4891-AA5E-6615BCF75E7C","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":"2ec4b997eda15f053aa0765c7670d911f7a48319","datavalue":{"value":{"amount":"+0.7687615752220154","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":"Q1426033$6B3EFDA7-BF78-4265-B5D7-C2A3F4C3EDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962d2c42f5fb97807b687d9ce8db915fde7b2630","datavalue":{"value":{"entity-type":"item","numeric-id":4452620,"id":"Q4452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac671f7be81061c23cbb4e2944ead6305f90bfb3","datavalue":{"value":{"amount":"+0.768753170967102","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":"Q1426033$2D33A48A-6788-4253-8B61-7E69079F1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1f5772c2c522d00d94de91a9d335d81fb4a2e4","datavalue":{"value":{"entity-type":"item","numeric-id":3835051,"id":"Q3835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5b439f4bcd9a8ce56ccc8d435c8f3e3692ffda","datavalue":{"value":{"amount":"+0.7644147872924805","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":"Q1426033$8313719D-18B1-4F0B-9FCC-5ED1293E3097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ef702e412465f5ce5f929a291057d7ee983188","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf555308e9cf993a4f173ecc33b5cdd911d5ddc","datavalue":{"value":{"amount":"+0.7610838413238525","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":"Q1426033$CC5532B5-76D5-4F06-B45D-37A9EF2C0AC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1426033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1426033"}}}}}