{"entities":{"Q4911141":{"pageid":6940720,"ns":120,"title":"Item:Q4911141","lastrevid":58359336,"modified":"2026-04-04T21:18:08Z","type":"item","id":"Q4911141","labels":{"en":{"language":"en","value":"Conflict-driven ASP solving with external sources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144692"}},"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":"Q4911141$4B367E0A-3677-49F4-8731-BEBB53699AF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60c71fa839c678f05ebdfda277731e7058e8139","datavalue":{"value":{"text":"Conflict-driven ASP solving with external sources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911141$FFFB1536-DB6A-47E3-9650-0822AA4C2D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fb75086c3219088436d19c4dcb5313a11fac65c","datavalue":{"value":"1260.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$115A62C6-F456-4947-9041-D9A4404312F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26931b5d37b6586198bd709f8f61f55eda9c4e06","datavalue":{"value":"10.1017/S1471068412000233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$34D08E19-E2FF-4FE3-BA29-CB3FA734C298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$2D216BE5-EAE2-4C51-BB9C-80E9B6A632F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$D5343C84-EFFC-4CEA-99DD-57EBA52B959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d63d6cf008583cf83539d518f2ff6f46e31a686","datavalue":{"value":{"entity-type":"item","numeric-id":254000,"id":"Q254000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$18DD30C6-69CD-4F08-AC36-3415AA3E468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bab16758456d8f7b4f03ee99744648e9429195","datavalue":{"value":{"entity-type":"item","numeric-id":254001,"id":"Q254001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$ACD8A5F9-7232-41E4-AEB2-2A22070FA5EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$64F84BB4-3FE8-4EF1-8FFB-7C8E181842D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911141$4CD0D652-ED88-42F5-99A0-714B6E429457","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e24360e8028bb685c0f3a68cbd174545c0ebb591","datavalue":{"value":"https://arxiv.org/abs/1210.1649","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911141$E30BA67F-AB7E-455F-8F5F-32694C736212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$4DAA425C-6BF9-49CC-B248-6D6C42870E6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e9e1dee2a16137fd42c35e02321f566194d462","datavalue":{"value":"6144692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$2B5DCC8F-FFDD-4D9A-9680-F583957008F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911141$0E3A4A78-8EA0-4895-A12A-D0678E12F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911141$1243EBAA-9EE1-4109-8CA7-6F225E40B9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911141$DF92DD89-F537-414A-BB69-0B4B8F88BEAA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3fa66de46e8499dde4a80c3f50c98118086df8f","datavalue":{"value":"Q57549085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$6283BFAD-9508-464B-883D-3ECADC7E1DB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91bca1c2a518a046e416057d3d71807670849859","datavalue":{"value":{"entity-type":"item","numeric-id":19059,"id":"Q19059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$202CB180-BAC5-45E5-8121-2EB113E849B7","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":"Q4911141$A1EEB955-F8E9-4EB6-8B13-3F3FB3DF6825","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$85335A46-C08D-4523-B8D5-C0A5B9E841FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$D490B1F4-752A-451E-A425-9CFFC3F0E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641bb4ce9fdb0771ad18dce06dc66550f63ce096","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$6FD8156D-8907-4DC0-9B10-D4145E3ECCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5aa02927ce4aa9774c969cdb8828f6fa47fd06","datavalue":{"value":{"entity-type":"item","numeric-id":1028641,"id":"Q1028641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$5983C64B-591B-4504-BCB9-5CE7028A6D54","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":"Q4911141$2AE51195-3870-4907-B90B-7DFF2F243236","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":"Q4911141$D7D34A34-2778-474C-9688-88BD5CB26EBC","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":"Q4911141$F6410851-7FA5-427B-8251-2E75FDFA4FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$27F17C1D-D581-499A-B366-67962D079FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d9538b155cd5619c14c671ea100857febd03f","datavalue":{"value":{"entity-type":"item","numeric-id":1603732,"id":"Q1603732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$4DCBF2C7-F798-48F5-877F-3C9132869322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911141$289C45A3-B37C-47D8-8BE0-0AF32259E627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf97c7853c7a4d5bd111861439aba0dc0047c5ae","datavalue":{"value":"W3103165021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$6F759EA1-2CAE-4375-A700-01301D300A63","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"71e1de24bc150831faa7838b29775c0d5d43a8a3","datavalue":{"value":"journals/tplp/EiterFKR12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911141$99C3BC99-754C-49B4-A6AC-29CCA9D93480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfbbe877dfb83069e1a4649cda153f4a72187d3","datavalue":{"value":{"entity-type":"item","numeric-id":5398090,"id":"Q5398090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df91787dff22f982027fa3d59569083f626cf6e","datavalue":{"value":{"amount":"+0.945288360118866","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":"Q4911141$8DF22948-D2E8-46E8-86B6-021D27008940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9a7b17b75ef52cbcf863159ff7e32e818d69f1","datavalue":{"value":{"entity-type":"item","numeric-id":4580278,"id":"Q4580278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3650b1b26a6691acfe1a4b1bfdc77ad6b6e8481a","datavalue":{"value":{"amount":"+0.8922703266143799","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":"Q4911141$E82E275F-B676-4CC4-B61C-F640113BB9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4206354c9d5ad49ca725a075c1f12143a68293","datavalue":{"value":{"entity-type":"item","numeric-id":5086220,"id":"Q5086220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbfa24a31c5bfc383d6c99ffdc2308d2e780ea4","datavalue":{"value":{"amount":"+0.8703823685646057","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":"Q4911141$7BEF095F-79A1-4A5C-8C11-AAC4BF91BF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8955dd84a7ce473c476b19bffa795d79fa97971c","datavalue":{"value":{"entity-type":"item","numeric-id":4593036,"id":"Q4593036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89167345a764be2bd65c62f846022b57be94e7b","datavalue":{"value":{"amount":"+0.8429384231567383","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":"Q4911141$6246A192-5A97-4097-B6C8-05953FD6227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187aea326889f137504a611fc76232e39d028e03","datavalue":{"value":{"entity-type":"item","numeric-id":4957183,"id":"Q4957183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528f040507c5ec69a40fcbf2d0ee7639333bb2f4","datavalue":{"value":{"amount":"+0.8271914720535278","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":"Q4911141$721FF99D-8B6F-426B-882F-DBFA3963BD0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911141"}}}}}