{"entities":{"Q4559802":{"pageid":6589393,"ns":120,"title":"Item:Q4559802","lastrevid":58287258,"modified":"2026-04-04T14:05:07Z","type":"item","id":"Q4559802","labels":{"en":{"language":"en","value":"Temporal answer set programming on finite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988652"}},"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":"Q4559802$40C3DC8A-92AA-4AD1-B5CE-2FF25F748032","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d736215aa44e5bcfc222e7a10944bc1bce7704fd","datavalue":{"value":{"text":"Temporal Answer Set Programming on Finite Traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559802$54F63675-CB09-4EA2-AFF8-FFFBC5885F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bc2bbfa8de8f374c0c1751e26c9dc74bb216cfa","datavalue":{"value":"1451.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$0F6C669F-F550-4F80-944F-DAFA5319DB30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"052e506565bf9631ca0e39c012fb12811843cec9","datavalue":{"value":"10.1017/S1471068418000297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$01DFBD27-324F-4238-9C2F-53A4572D485D","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":"Q4559802$4340BA87-F342-4B22-83A5-3650177DD34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c1a751e9459a140c8a6debf3d1adb676a06c88","datavalue":{"value":{"entity-type":"item","numeric-id":1796483,"id":"Q1796483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$7495A306-6753-4C35-8F00-06C06872D578","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":"Q4559802$42551EE9-07A5-40C6-86CD-B10FD8125A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df5988dfaba0c44df5c94dc8fad31f90aa03d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2694558,"id":"Q2694558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$F6324DA2-81E1-4C67-8B15-0C8CA7DCA761","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":"Q4559802$E98F39B6-FD62-4CDC-BF5C-B1A60F7A967A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559802$0EE3A153-2D45-4BB9-BF91-BDF12595439A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8c970f50a9b95d052bc0fa9fb8998894978207e","datavalue":{"value":"https://arxiv.org/abs/1804.10227","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559802$A1D9AD2A-6D98-4AF5-A1F4-B8C05153C1D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$75BA583C-6A36-48E0-88B8-51436BCC3E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$98A4DBD2-6757-4587-98E7-A50D7599FA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$5CCE2D6A-89B0-481D-B25E-F8E85A4F3B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$D35F9F69-0408-411E-9753-E24C104FF267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"641fb14dc9c25f9dd1f800455fa093f2be13e707","datavalue":{"value":"6988652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$5E2798C0-8822-435C-86BB-1E86DF8A66F1","rank":"normal"}],"P1463":[{"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":"Q4559802$B10BDDEF-863E-4D19-ACCB-34F827B30EF5","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":"Q4559802$CF5A178C-D424-4B24-90F0-5B4D671FE3DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f455707a85c6f0184135457468e3b8314675c8","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$AC4E6B92-2EBF-41E7-AC6D-D4E309A3B37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843907f121430c8b485a6da170576e37f9fc2a30","datavalue":{"value":{"entity-type":"item","numeric-id":4593006,"id":"Q4593006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$2B5A9348-3E22-43EE-A24D-3F162D34BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$9C026CF8-1DC5-4F46-AF7C-1087DC643FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cab127ced1638ab08ee90c61f35c1117d8b73b0","datavalue":{"value":{"entity-type":"item","numeric-id":428469,"id":"Q428469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$AFC2898A-95C3-4448-B542-0D1BC908A000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368c14c802f61adaa26ccf8fb6625a6ea4b478f","datavalue":{"value":{"entity-type":"item","numeric-id":4839154,"id":"Q4839154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$C11E196F-39C9-4D01-AAC7-474CFE5EB813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559802$BD5F3BA0-57CA-4626-8D3B-27CFC6474353","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79adcdc3a554b7730709253843cf929190e7da41","datavalue":{"value":"W2963254488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$0A5E88B6-6C18-484B-9522-E7782C2FAADD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c390ddc971b9af74081a18144334a84f3367752","datavalue":{"value":"Q129410152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559802$5ED51896-064F-44A9-A4C4-ACD12493056F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659c390ce47edafd970430a6efc6a1ce1f1a6e94","datavalue":{"value":{"entity-type":"item","numeric-id":5398086,"id":"Q5398086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6872953e77bcbef03be979cc4e8b4b441576f5","datavalue":{"value":{"amount":"+0.8220940828323364","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":"Q4559802$429BF4C6-228E-44F7-BE3B-3876503736FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c223ad00283d7ac4421080c787b34def6ab90367","datavalue":{"value":{"entity-type":"item","numeric-id":2326722,"id":"Q2326722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7865e1a31518a75c5f86f47f0ae085700a7aab","datavalue":{"value":{"amount":"+0.8206284642219543","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":"Q4559802$9C456A10-772C-4961-A877-CFD64AB9A686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a330a46b6cf46446a0aa9e6010663580400bc243","datavalue":{"value":{"entity-type":"item","numeric-id":2326733,"id":"Q2326733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fe9798899ccb8f0ae262f059551846479147bb","datavalue":{"value":{"amount":"+0.7950689792633057","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":"Q4559802$4F10DD39-AF90-4FEA-A557-E6CA658E29FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faed175f80fa864bd1c059cfe71a8aebd0667619","datavalue":{"value":{"entity-type":"item","numeric-id":2851228,"id":"Q2851228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35819f979564f5aab5c0a7913b78e356d701a2a","datavalue":{"value":{"amount":"+0.7867671251296997","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":"Q4559802$BDF749BF-A9D4-4F4F-869B-BE6E5EE919D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab188ea6f812d105fd090fc928a11f3e1f74ea89","datavalue":{"value":{"entity-type":"item","numeric-id":5299584,"id":"Q5299584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841dc22422754b7572b90ebe95c3d354f94888d6","datavalue":{"value":{"amount":"+0.7629215121269226","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":"Q4559802$59872C3E-614C-4BA7-AEBB-AA8A4358779C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4559802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4559802"}}}}}