{"entities":{"Q5140019":{"pageid":7169590,"ns":120,"title":"Item:Q5140019","lastrevid":58450458,"modified":"2026-04-05T06:51:11Z","type":"item","id":"Q5140019","labels":{"en":{"language":"en","value":"\\texttt{eclingo}: a solver for epistemic logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284974"}},"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":"Q5140019$CC481A83-9FF5-45B2-8992-FB57C7EBE65F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"317003108b3ce446752065b3a35f3cf8b206b90e","datavalue":{"value":{"text":"eclingo : A Solver for Epistemic Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140019$1D5AFD8D-4C5F-4788-92A8-4EC0742AEFD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58340668f8cef31f41735f051c17d9337904eb69","datavalue":{"value":"1468.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$B2F8CCF3-C6DB-4F16-9132-943B57AA5087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d32b4dd0479a4d37ac3d384d6cf6e6cbfbb7dbf5","datavalue":{"value":"10.1017/S1471068420000228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$1CA15BE7-78D8-40E2-97AD-B5E1FF9A461F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$FD18B56D-75CD-4C72-9EFA-0EEB25B5F39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dacaca5cad7883409446c214a642c9ac040d88b","datavalue":{"value":{"entity-type":"item","numeric-id":1647483,"id":"Q1647483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$EABB02AA-35E6-4A65-BD18-5866B1B68F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77aa2af9fb1a02ba10951212b39fa1830a04d460","datavalue":{"value":{"entity-type":"item","numeric-id":5140018,"id":"Q5140018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$6093CAC6-6AC0-4FBB-9FA3-335BBB7C0A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34480c467d468dc9ab5ebe5e8bc703349a77dc0e","datavalue":{"value":{"entity-type":"item","numeric-id":1796484,"id":"Q1796484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$3FEFAC9F-D7BE-4736-890B-2C38C0258C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$C406242C-DB42-458D-A228-DF0827E5C2B0","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":"Q5140019$F00B78B5-C764-4E4B-8B96-18191302B41B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c22e955df7a052abb3ce5a1a5d7a826979ac81b","datavalue":{"value":{"time":"+2020-12-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":"Q5140019$99C07697-CA1D-4D3E-8A01-D822DD7C3439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9a0b0131e903b203ba66a865469cd65f207d483","datavalue":{"value":"https://arxiv.org/abs/2008.02018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140019$FDD81231-1D69-4E45-9259-0BC4B50A5816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$71DF5AF9-3B9F-40A0-9900-8ED1D9E3623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$7DC46912-DD37-4D62-B5E5-32DE98583A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c14aa3a06d7b67aaac6869e129aabf323f78d220","datavalue":{"value":"7284974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$6985E104-F27A-4A67-8A9A-513CAB4920A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140019$C2E2C640-A92B-4EC8-8C28-CF4D90900698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488b7a78c7520d335b7e2abeac4ebc297f98bc6","datavalue":{"value":"epistemic logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140019$084780FA-6E48-4AFD-8D25-DDC9AA23E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140019$0406F9F5-0F3B-4C7C-8FD0-3638B555B728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cf6a87b7550e13fbf6d441afde119136c0f400","datavalue":{"value":"conformant planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140019$9325FC43-53F2-4B6D-9F3A-B96F901310A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$326C8625-80D3-438B-B985-55CA74D05A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04a8063f7f839983e40fd9b5939bd22f5d3317a0","datavalue":{"value":{"entity-type":"item","numeric-id":42721,"id":"Q42721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$CABC9523-F470-4815-A5BC-D9351AECDE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$C2DB2993-9122-428A-B332-E159A853F9F6","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":"Q5140019$930E7120-A7DD-4BB5-BAC6-E0F48EDF3FC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2624a72115c3d6fcbad7b19e17c6917f46744d7","datavalue":{"value":{"entity-type":"item","numeric-id":2419700,"id":"Q2419700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$3E985343-8287-47C5-BAB8-77FE4F95C338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c118aa1b6b79ac8ef567b930881763ea9679846","datavalue":{"value":{"entity-type":"item","numeric-id":2326721,"id":"Q2326721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$953354B6-4A2C-437D-BCED-651E20DA3BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32d92e9bfe76260baa8a37a5bf04a511eddaaea","datavalue":{"value":{"entity-type":"item","numeric-id":2326719,"id":"Q2326719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$88DD7C69-7C2E-4399-98C1-437A88F45273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dc0dc0d9264aa4028e3b2545d12c9c0ace0209","datavalue":{"value":{"entity-type":"item","numeric-id":5108495,"id":"Q5108495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$7D9360C1-096E-4DDD-B116-B8B3E141C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$040596A0-45C7-428D-80FF-63280D267B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa0a2bddf39b3bbbdd84c5aeb5798f0749a2e33","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$DDFE3269-33A7-44CB-985B-C612E750505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$F14243B2-1353-4AFC-9FE2-F0A592E78424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95211a8885a5adb74106aedf6dab82f57af4cb55","datavalue":{"value":{"entity-type":"item","numeric-id":3304094,"id":"Q3304094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$80F8813C-3CD4-4FCE-81B7-BB6BF389A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0810c77ca6bf95b21240e8f8c91a758034907e1a","datavalue":{"value":{"entity-type":"item","numeric-id":3001928,"id":"Q3001928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140019$78B671D8-7304-44DD-8D75-902D1E1B4303","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fdc055315876f8247f8f47aa71af7d11cb4afcc","datavalue":{"value":"W3088535933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140019$6F114F45-045D-41E8-A562-56413EEEA066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ce5e67411d0008ec4d27ff8de9d15bb7b99753","datavalue":{"value":{"entity-type":"item","numeric-id":4957201,"id":"Q4957201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1084aebe93dbf9ded9c0ae1c958f18bf547b0337","datavalue":{"value":{"amount":"+0.8539990782737732","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":"Q5140019$D0F72F32-D0AC-4674-9AB8-5159B662DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e4ee7fa119905d482b6ccf75d996d381ac6ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2317970,"id":"Q2317970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2f7b58fc6e3974dd40bcbf31776bb8cb6ab24a","datavalue":{"value":{"amount":"+0.8329101204872131","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":"Q5140019$9716440E-17E7-4CE6-9C93-72E60865BCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de1c3b35877bc09e6341c73cc87264d6d4318f","datavalue":{"value":{"entity-type":"item","numeric-id":4957221,"id":"Q4957221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b3e1aa2934d146ea9e938ad6ec3b1cf36fdaf8","datavalue":{"value":{"amount":"+0.7911325097084045","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":"Q5140019$7B98B511-7D5A-45AC-B712-2B8F01D79A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eacefd959796fbf36ae8b9949bbf6a25a676ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2326719,"id":"Q2326719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d132463b4f0b5a764df7281949657cbe340a637a","datavalue":{"value":{"amount":"+0.7905484437942505","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":"Q5140019$DEDEAD10-C4BC-44FC-8D5A-70E883EAA613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf620a33693d7a1a21cce268565488ed98b6d51","datavalue":{"value":{"entity-type":"item","numeric-id":5019599,"id":"Q5019599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634e14a599d7135e3e6985467454280ba0f14192","datavalue":{"value":{"amount":"+0.7814266681671143","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":"Q5140019$0727AD01-6A90-4004-92A6-F1CD28961D39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5140019","badges":[]}}}}}