{"entities":{"Q4923517":{"pageid":6953099,"ns":120,"title":"Item:Q4923517","lastrevid":92186780,"modified":"2026-06-05T01:05:22Z","type":"item","id":"Q4923517","labels":{"en":{"language":"en","value":"Operational semantics for reexecution-based analysis of logic programs with delay declarations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165881"}},"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":"Q4923517$2E711A3E-2398-4FE6-8553-A94694A9EEDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc2775253dddc6b1784eee7ecec01be25b64af70","datavalue":{"value":{"text":"Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923517$6E5EFD27-B0CE-4E62-B691-D580995820DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f934bf04e649ff02b04a416b16360c44fea2693f","datavalue":{"value":"1263.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$00233703-3BA5-4941-9828-9DE014C46959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f651dd19c311767fe51c15246de80f577706e9","datavalue":{"value":"10.1016/S1571-0661(04)00148-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$0675AE60-6B25-4192-9288-A8B1E0CA2CDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$D69813D3-3934-46A9-BB86-E9C88AC16AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$408038AC-8709-4682-BBB0-01A04AF1CEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d580d5e989b5b82886bdcefab7b54e9c9a839b","datavalue":{"value":{"entity-type":"item","numeric-id":1581060,"id":"Q1581060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$CE4B9014-038B-48B0-B9D3-F342527343D0","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":"Q4923517$1FF8ED98-F19E-4DCE-A87F-758251C774B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-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":"Q4923517$D41114D7-C525-4BE9-94A8-CF924838827B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$8029E036-905B-46DB-A523-C3F584F8E7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$2F5A1BF4-5437-499E-846A-A6551C2F4953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4754e3096088b73e0cdeadec23cc6394949c2be","datavalue":{"value":"6165881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$E41BDB7C-E938-4E34-94C3-96E4F7DEBFB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$B65F4ADB-A184-4BF8-928A-85A6DB3B9312","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":"Q4923517$47804A4C-F966-4FFC-B7F1-C7076771DAB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25607625a32a06719a32eef6f0c34cc8125483a","datavalue":{"value":{"entity-type":"item","numeric-id":5096380,"id":"Q5096380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$091C1D4C-81D8-4508-A253-7576BD340F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe9d3fea3f22edc2072aedc37637ab5db009415","datavalue":{"value":{"entity-type":"item","numeric-id":3129500,"id":"Q3129500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$0F4B4A65-5909-40EF-95E5-732D64F22FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$E90AE1F6-815B-47FA-9BCB-89A066302FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$FA626CF1-602E-4C18-98FD-B706643F84DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6818f13ba80d30c54cfd3306f0c4718424c096","datavalue":{"value":{"entity-type":"item","numeric-id":1368380,"id":"Q1368380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$D959B527-0C2A-41B5-B6B4-4D2D1BE900A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b43eca6b85243b13ea884b233884584d3a98d54","datavalue":{"value":{"entity-type":"item","numeric-id":1892715,"id":"Q1892715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$C3394A79-1FAC-40DD-844C-DCEE1ED3AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$A5BF19EC-70B3-46C3-9B82-FF1698E23C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b8c569075d3da1a1eb203a906a379a567bdb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4700387,"id":"Q4700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$B1AB0D54-1850-4B2D-BB03-C83397EF7D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$5B3A7B21-BBDA-486E-A5F5-6FD15578E91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c122ab6ae89a0c8826af9d6f702399375a1a4ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3125089,"id":"Q3125089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923517$1584F002-7C57-42AD-AF62-E25AAD20D79C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bea23234cbe6687c4f85ced5a19facd1c83890c5","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00148-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4923517$05642DAA-8881-44D2-8F43-C940D4D1274B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b407ca69fa4d704d5661f65554daae6541c1286a","datavalue":{"value":"W2038396541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923517$37D06096-18F9-4BC5-B231-82B707019FDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebb12ed1eb6fc96ae568e1bba460e72a9780cb3","datavalue":{"value":{"entity-type":"item","numeric-id":4475098,"id":"Q4475098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9bcf59aea67944300cc4f7ce304213760c016e","datavalue":{"value":{"amount":"+0.90635484457016","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":"Q4923517$249FD516-DF57-4F45-8D82-94FAFE606FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bfc7c03ed93396713b92f99be63b78760f791d","datavalue":{"value":{"entity-type":"item","numeric-id":5096380,"id":"Q5096380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb1bc89a6432f3aa2ae6c78cc9bd10376bff2ed","datavalue":{"value":{"amount":"+0.7705709338188171","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":"Q4923517$8AA7B601-53E5-44E7-B58E-6DE2F893DE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbe318ee9c44b574bffe8a18cfb976d0592cabd","datavalue":{"value":{"entity-type":"item","numeric-id":2745732,"id":"Q2745732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82558013fac71105900cc639792532bc09adad3d","datavalue":{"value":{"amount":"+0.7659684419631958","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":"Q4923517$F7982556-DDCB-4866-AEA7-FDA8389593E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13269822f7e8c8692ae6169da5d61dde2517308f","datavalue":{"value":{"entity-type":"item","numeric-id":5277806,"id":"Q5277806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc653220c5900071f3526a8083be5c74d7c9247","datavalue":{"value":{"amount":"+0.7629265189170837","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":"Q4923517$055386DF-E4BB-4A6F-A6EE-2D654EEF6148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120a550c40f7847c3e4d07547acf9cdb7ffb7b22","datavalue":{"value":{"entity-type":"item","numeric-id":4417885,"id":"Q4417885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b3e9e703ebaa993839167be2ca747f7e20da88","datavalue":{"value":{"amount":"+0.7432072758674622","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":"Q4923517$FEC6D245-8F01-4B0C-9A1A-DCDF2EA6D210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational semantics for reexecution-based analysis of logic programs with delay declarations","badges":[]}}}}}