{"entities":{"Q2841262":{"pageid":2851982,"ns":120,"title":"Item:Q2841262","lastrevid":51780005,"modified":"2026-01-20T00:07:17Z","type":"item","id":"Q2841262","labels":{"en":{"language":"en","value":"Don't care non-determinism in logic program refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190956"}},"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":"Q2841262$4EE7226D-AD90-4A69-9F59-F5702EA8D905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba31eb43c836f4368d203a7d52875f4ba41c1ed0","datavalue":{"value":"1268.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841262$1396671D-D63D-4F09-AC45-018DA292952B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8ad966604ff4a194317b7af12b9a6c399620e2","datavalue":{"value":"10.1016/S1571-0661(04)00308-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841262$4EABD278-4DE7-47CE-A475-E6B7EF6F2D6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"401acd651156f8f24a4edd9efe62ea6cf40a784e","datavalue":{"value":{"entity-type":"item","numeric-id":2841261,"id":"Q2841261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$8F22D0D9-F774-4DFA-9594-FFA00500D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$6F0E209A-5104-4069-A78B-95CEA0C1A24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$E88D7670-9CAD-4CF8-983E-2C1608B20AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2dfba78a04b1615c287fc4b443b44d5dae01f","datavalue":{"value":{"entity-type":"item","numeric-id":1121799,"id":"Q1121799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$27BFB7E7-084F-4675-8061-35E969012D33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$A9A405D1-68DE-4A4A-B95C-78E7CB01104F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841262$268FB71B-56AD-47DC-B4D6-0C02347AC534","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841262$ABC2272E-A9E4-4627-812B-E086DBFE4AB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6722d716aff029e0cce49a02318958aa1a6766d","datavalue":{"value":"6190956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841262$606F8D63-66B7-4AEF-AE11-353CC097D6CD","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":"Q2841262$C26B9EA1-3567-4BB8-B44A-0F1A0DB6D4C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf0209be40d7b3761f559f336155ceacd73a1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2767044,"id":"Q2767044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$B397CCF5-B374-4069-8680-A227AC5E2F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$878B9759-EA66-4C56-B678-2F41DDD08812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9496c333f6af079a5bb50148668e0c18fe5837d","datavalue":{"value":{"entity-type":"item","numeric-id":4250656,"id":"Q4250656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$A0090EAB-456D-48BF-B14B-F7FD9E3D582B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$7B04F451-CAA0-4D39-8FE5-413B8E1378DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3c8ffdb7787def991e7be80190d884bfc2737f","datavalue":{"value":{"entity-type":"item","numeric-id":4370272,"id":"Q4370272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$6D85BEF9-CAA0-4FA0-8302-C84D51263826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841262$2C2E684B-019B-4600-9451-2AF70A92614D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a46a5eb09653f9f06be79de473dd14b63c9804","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00308-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841262$0B49E11D-5A91-4A35-BDF5-C42E003E43DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54d0b9d18f6f70d4cae71ffbc951a2b75eb7cced","datavalue":{"value":"W2050087473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841262$C79F7678-DE97-436F-B911-932636F55B57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3db0dc2a87286a338acb45e38c74ae976d278e69","datavalue":{"value":{"text":"Don't care non-determinism in logic program refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841262$55905B23-B9C8-45DB-9894-25D145A15C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ac42d60317fde4c37666f10d986c26a4eaeea0","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb266a6fe28ab4fb59c904ddaa0eac687d78aa5","datavalue":{"value":{"amount":"+0.8276394009590149","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":"Q2841262$708B3BBD-CDF4-4437-82A2-10B8D6031C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e31581e665ea6043b10755c93f2d9aa1b4cb58","datavalue":{"value":{"amount":"+0.7682757377624512","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":"Q2841262$4D59C6D6-7DAF-409F-BFA1-1B86CEE45F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c4c4b4d6e9293e2abd7fac4e56219dab7d0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":287006,"id":"Q287006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3413ab6b10799e0000c18757f88d4e7a792341ce","datavalue":{"value":{"amount":"+0.7672349810600281","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":"Q2841262$F0B7E47E-A15C-4F91-A29D-6C5F5BDBAB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819214126c1c94e9b067a06e7484d2b50529a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1057fd5f61d8efa4f64e5f809fc207341b9bef","datavalue":{"value":{"amount":"+0.7560550570487976","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":"Q2841262$A9D2EC89-439F-439D-98B0-7E5B7A416CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1057fd5f61d8efa4f64e5f809fc207341b9bef","datavalue":{"value":{"amount":"+0.7560550570487976","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":"Q2841262$3581DB70-7035-4043-86F0-AB2A79302283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841262"}}}}}