{"entities":{"Q5277753":{"pageid":7307328,"ns":120,"title":"Item:Q5277753","lastrevid":52850462,"modified":"2026-01-23T15:42:28Z","type":"item","id":"Q5277753","labels":{"en":{"language":"en","value":"Logic program-based updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743997"}},"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":"Q5277753$75F8EB95-4E56-488E-8EC8-F61F538EAA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418bb486ce98ec569f34cb547c995aca4e084478","datavalue":{"value":{"text":"Logic program-based updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277753$F80CC792-013D-4BCA-B4EE-5D41CA674E90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9da9b1c324f13d4b162d472b2bfb63e7ec44fb37","datavalue":{"value":"1367.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$6DE5BC50-53A5-4710-9A7C-C03065C802EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ace75abcd3de670fa065735645ff7a1d9105cc8","datavalue":{"value":"10.1145/1149114.1149115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$1DA0EA3C-0C43-4A54-AB06-BA8CFBFBE9F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7551bf152405a58cb456e3287c72b5bb18d865","datavalue":{"value":{"entity-type":"item","numeric-id":897474,"id":"Q897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277753$1AEBFD7B-76E7-4303-BF15-5322F6BBB0DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277753$975C4576-70FA-4347-84DA-81E76694A339","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277753$BC3533E3-D2C2-4CA6-8994-31D5CFB4614B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$871A43A2-347B-4ED8-B5AA-B97100630D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$74048791-4322-4584-830C-72777AB5922E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca83f6c31ab2a52eec5243a07f926fbd4a571196","datavalue":{"value":"6743997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$09739A21-890D-488B-A80F-B3406A7CF21E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277753$F24EB017-9532-4FE6-9C22-4BA19A555E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727381a01547b9fefc51132a7eb9b5b0f6a7dc5f","datavalue":{"value":"conflict resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277753$C6DBC46D-6F5C-4D86-8C14-8566EF52F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239d93cf64368be23a82d5cdc838179b746c0b35","datavalue":{"value":"logic program-based update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277753$BB2C0D0D-FAD6-48B8-B0B5-4DE5A982E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3327642bcf13bd4717e81e39e031218b574abda","datavalue":{"value":"prioritized logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277753$5A29A939-43DD-4990-8331-85105992F120","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":"Q5277753$9F422860-146C-44D0-9366-7CDA15FE584C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f017e418f1fbc5e553baaaf48ea53eb39a04eb","datavalue":{"value":"https://doi.org/10.1145/1149114.1149115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277753$50C2B48E-0C46-4D95-9FC2-D5D0ED540324","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f754a3a3d000ca2f79c122da544ca8458903dbae","datavalue":{"value":"W2156974579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$E2E330DA-AD3A-49BB-8CFE-C623714224CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43016dfcf84358a162fcfb4e3758c954751a077d","datavalue":{"value":"Q130874211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277753$C8D0B358-E865-4EDE-A912-AD6BB6D7F690","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e711222149079b053dca529b1a1070d5d14634c","datavalue":{"value":{"entity-type":"item","numeric-id":4475200,"id":"Q4475200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6e3e33694354ed78a9a19f5136448e6c796599","datavalue":{"value":{"amount":"+0.8122201561927795","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":"Q5277753$A8C20E97-6AAF-4037-AB36-082D679BA97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d52be7747c21b7f4534c72fe969efb030d7010","datavalue":{"value":{"entity-type":"item","numeric-id":4536313,"id":"Q4536313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8d28308664d13315a6f0dc5684481bf4009d96","datavalue":{"value":{"amount":"+0.796818733215332","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":"Q5277753$AFF95202-CB38-4493-AC85-277C2CAE4856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa2a8bce062580bcca5d7d55156a7d858fb136","datavalue":{"value":{"entity-type":"item","numeric-id":4955335,"id":"Q4955335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1454db4d1a092adc1046f63af1f47f8a67b2115f","datavalue":{"value":{"amount":"+0.7951419353485107","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":"Q5277753$459E26E6-BDA7-4A52-9E4F-32FDA10B4CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad8fc32814c4013fc532abba49a620500961565","datavalue":{"value":{"entity-type":"item","numeric-id":4800165,"id":"Q4800165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ea86f89a35b16562ba4ba9a49a0859c574cbd1","datavalue":{"value":{"amount":"+0.7948757410049438","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":"Q5277753$1ADFD299-0615-4454-9680-5457540C56D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca68c3a702b6595c8961823cbb2b4fbea2ac4473","datavalue":{"value":{"entity-type":"item","numeric-id":5392782,"id":"Q5392782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71dab1dd1267e712a7ff40e72aa7f6e059cf98e5","datavalue":{"value":{"amount":"+0.7915732860565186","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":"Q5277753$025617C9-98BC-452F-A0B7-4A37E0E7D140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277753"}}}}}