{"entities":{"Q892233":{"pageid":894081,"ns":120,"title":"Item:Q892233","lastrevid":52398131,"modified":"2026-01-22T13:38:34Z","type":"item","id":"Q892233","labels":{"en":{"language":"en","value":"Ordered completion for logic programs with aggregates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6511407"}},"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":"Q892233$F42D8007-72E2-4FCD-9091-37A036531E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"408ac8e37ef6daa793fc40ef069bd6a184032894","datavalue":{"value":{"text":"Ordered completion for logic programs with aggregates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892233$6F4A0AC3-5D30-4C7D-839E-044F9C413400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"307b9edbdc1e41af28ae201458bc29cdab2753a1","datavalue":{"value":"1343.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$5E163693-03B6-4DB0-AC80-DA72AABD6766","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$8783AF6C-3D26-47FF-8646-400862405FDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$7DE8582F-E901-4049-908C-71D9BE228979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892233$50C00793-5D02-45B0-83E0-EDB93832B1BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$679A3A6E-57B7-44F7-94FF-244F59A4535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$C9D523E0-E699-45B5-A6C8-6E47BDA3977A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da6539bdc42906a045c3238ce480befc2d0aa55a","datavalue":{"value":"6511407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$6E7A6F94-B4BE-4860-8669-FD35C37AAF57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$171988A5-B9C8-4DFB-A8B1-18392CCA8810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$D7488CBE-9E29-44E5-9D9C-9976FADCC23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$6BD95BDA-35BB-4489-BE6C-AC3B16EA020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$25839D97-B0FE-4F43-9280-9E1D398B210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$4E70210A-31C3-42BB-A40B-E4A2632B07C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q892233$6965DBE6-3C26-4874-AC66-0213EA3A9AE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$A7DA3F45-D094-42E6-8289-9F4B53294078","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":"Q892233$BF640B14-F2A5-404B-A551-B11F00C45170","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7a1f8ca6998106774a850a017413d516e4658b8","datavalue":{"value":"https://doi.org/10.1016/j.artint.2015.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q892233$E18CD17A-EF98-4F0D-870D-C384F3A245C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7bc4f589af0d41313d730f2a63ca69a32a56bc1","datavalue":{"value":"W2169055058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$F14FE0B9-2E25-41BE-9FE9-FCC86817F149","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c6484d38dcc3d9ce05da67ebc6b57449ed56bf","datavalue":{"value":{"entity-type":"item","numeric-id":2851230,"id":"Q2851230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$CB4537DA-8F10-413B-B46C-1ED50C6E8A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4233c19302914cdde76ddaae3895b4f5c926e42d","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$56DFC50C-2280-49AE-A5DF-8484C2A7D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$9FD131EE-F672-4351-8934-B139CC5F3BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4918e571e5d554f95702f51f20ba36d95ab82f75","datavalue":{"value":{"entity-type":"item","numeric-id":4649729,"id":"Q4649729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$1840C595-CE6D-4B8A-AEFB-AC0CDCC9B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e695b6da6b279b9df1b46240360ffce22045921b","datavalue":{"value":{"entity-type":"item","numeric-id":5705946,"id":"Q5705946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$7DAA3188-878A-4AD5-B615-7CA7979EE0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25018f8885f29d25f7b22160a6794c87bd5644","datavalue":{"value":{"entity-type":"item","numeric-id":5425401,"id":"Q5425401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$7F0E90A1-A1A8-442D-BBCB-CBF28F3E45EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$229EF3DF-E6C8-435B-AAB2-633329117DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0d5e6f27beb9fa6a4f34d4e6851c16ed004da","datavalue":{"value":{"entity-type":"item","numeric-id":3546036,"id":"Q3546036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$1C76891D-ABE9-409A-9155-1754FDA0FDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$FBD3DD38-CEAA-4AD6-A5F7-C3138256BFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$C4197A4D-8669-43FD-B644-3F34596EE53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db01f3c17780383599ab48b43f14b3b48d73b1e5","datavalue":{"value":{"entity-type":"item","numeric-id":4649734,"id":"Q4649734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$7F21EA30-44F3-4DC4-B7C0-5E1BFE02F5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b84fb72a5e99cafece9f80990ee6fa09c9899c","datavalue":{"value":{"entity-type":"item","numeric-id":3643117,"id":"Q3643117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$0EDF9179-C13D-4ED0-8C5D-D0F8F751B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4601db57cf6ab9d447a26ef9cdc8139c8920b244","datavalue":{"value":{"entity-type":"item","numeric-id":3624035,"id":"Q3624035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$E79D6CC9-AB7E-403A-BE31-3A8DCD576D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$DB375C28-18A7-4225-B078-691DECBBE567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$278883B4-5FA3-43F1-875C-040416F67FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de38fba60c1a9a6c2655027cc9863b7ea50df742","datavalue":{"value":{"entity-type":"item","numeric-id":5424875,"id":"Q5424875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$09E9929B-BEE9-4113-8156-51CE5F8DE2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$6B31CB89-D9AA-4167-BCF0-1B44E8CEF7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33c8e6986b8da420f9eeb670a3b73d0f1028e64","datavalue":{"value":{"entity-type":"item","numeric-id":5424890,"id":"Q5424890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$CC2D6AEA-BBF2-4F70-8600-0A955BF256F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$24EFC2A3-98F2-4871-AB20-69FB3657BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daca2a79e7566c449a29f626072fab84a88f0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3432855,"id":"Q3432855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$C3AE1A3F-5D03-400D-9421-9213D3783876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ca4bc58217503d27dfc6ffe2e6493bc037d86","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892233$0C8EED95-1200-4D0D-B46A-68D3229D4CD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ccc8b78231ade1f74a21b7a7a1d8dfbe4862cf2","datavalue":{"value":"10.1016/J.ARTINT.2015.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892233$20AC470E-BF1E-4043-B2B2-A9B26509CEE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaece1a008a889408362390797c1b72877bc292b","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6467298e5a114b5d9235bb9e31cdc074728cb4","datavalue":{"value":{"amount":"+0.8631407022476196","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":"Q892233$1971E6B7-2695-4DF1-9D89-C19CBD427889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73be2e490032573551041a33e5255499e38b067e","datavalue":{"value":{"entity-type":"item","numeric-id":3624035,"id":"Q3624035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4606934639150831f858a649e85a39a48df19d","datavalue":{"value":{"amount":"+0.7602481842041016","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":"Q892233$2A2E42FE-6F8B-406F-A3EC-516B21FCD441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8570d106904b75a3209202c2c7d28193f291ee72","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ca7608a2ca4dfc3c5e2b929d287666be46266d","datavalue":{"value":{"amount":"+0.7590344548225403","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":"Q892233$680A0C3D-17BD-4253-ABF5-0D3AD24D2271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17107ddbdf51e4ecc6c38d64c4ceab8d51eeabb4","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4b57605f2d9ec020ed221eef268cfd29eb81c8","datavalue":{"value":{"amount":"+0.7557058334350586","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":"Q892233$382A9C23-2659-4659-98BC-BD68CDBB957D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6285f9ed7b7d95c4ff643e1bd309be3b8dd2bc","datavalue":{"value":{"entity-type":"item","numeric-id":5424875,"id":"Q5424875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdab76da9b74e9f55f16a63c1efefbb6705b329f","datavalue":{"value":{"amount":"+0.7536330819129944","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":"Q892233$8B2FC48D-52D9-46FF-ABF5-460AE95AFBF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892233"}}}}}