{"entities":{"Q4593042":{"pageid":6622627,"ns":120,"title":"Item:Q4593042","lastrevid":58286391,"modified":"2026-04-04T14:00:19Z","type":"item","id":"Q4593042","labels":{"en":{"language":"en","value":"The power of non-ground rules in Answer Set Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804597"}},"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":"Q4593042$DCC908F4-C4A0-4E30-98AD-1E43BDDB6D2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02d958f1cbd768d66601d1d26026ada365c3dce9","datavalue":{"value":{"text":"The power of non-ground rules in Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593042$457A01C1-F616-4D8E-ABC2-84A4E3ADBFF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e072a4fbb2f30e23bdcf7cbf7875f7b089a0f81c","datavalue":{"value":"1379.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593042$0C951C20-8396-4D29-8BD0-8BAB8C5A90E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0b86acbdd27c49d0f816d506c6448274b259e83","datavalue":{"value":"10.1017/S1471068416000338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593042$C69433B1-A1D5-498E-80E3-7308463FBA7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809fe7c07ba8329318ea2f15226d12b4be473b29","datavalue":{"value":{"entity-type":"item","numeric-id":2409730,"id":"Q2409730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$03760185-0263-4E97-AEAA-2F7033124019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21125ee683c7f30480be8432ba6e610476a2a1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1656575,"id":"Q1656575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$24BF9138-01B4-49FF-B946-A8A3CECFC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$F578F2FF-516D-4125-8F6C-6426C5F98271","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":"Q4593042$4F247F81-FF72-4140-A13E-E6173B3AECE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593042$4626DD6D-951E-4D12-BF9F-A54E9E015335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bc3d59f2839294d96959d7671eeae82c9198782","datavalue":{"value":"https://arxiv.org/abs/1608.01856","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593042$CC75F4BF-571E-42DC-92FC-C3118ECBDBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593042$7BBED1CD-EE4A-4A5D-BD16-00BE1F07382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593042$7BA90586-14DB-440D-AF01-F15568212B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13484b9e836d0cee857ec123c947bc4bc92d3f4","datavalue":{"value":"6804597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593042$57B49D43-B4BE-4ABC-B5BB-27B7BB56A365","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593042$2936F040-25A0-4684-88E5-9D5A7D49E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593042$7707D228-BA56-44AC-896C-66B06BE8A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e344553daa5a1b093a54bff18657e779850531a","datavalue":{"value":"non-ground rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593042$3E1E25B4-0EC4-4B62-809D-D547D0B498AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26305d72bdd9a4836f6e3c7c6ab0f47a2848932e","datavalue":{"value":"rule decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593042$219FFFE8-71DE-42BE-992E-C53855E08573","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4598c9f7bbaa7e799ef3fe998b605539c90d4f5","datavalue":{"value":{"entity-type":"item","numeric-id":19154,"id":"Q19154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$5BCA4A1F-78C2-4743-A50D-98F0F866A016","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":"Q4593042$B0E6A64D-E42C-4734-84C2-DE02DC3A32D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"770bb68de47752f527df3eb5fd0239815f0bd638","datavalue":{"value":{"entity-type":"item","numeric-id":3751595,"id":"Q3751595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$288A8D39-1191-433A-8C03-BDB03A2E7A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$B7C70161-B5E5-4773-B030-71E0D7C2CBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6f2a6965fffb588938634b66267f90d3abb939","datavalue":{"value":{"entity-type":"item","numeric-id":5398058,"id":"Q5398058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$303C781E-060C-4394-874F-B3F3A3DB64C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c304399ccf35ed6fdeba08cd4913d079b81371","datavalue":{"value":{"entity-type":"item","numeric-id":2426101,"id":"Q2426101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$B2F583C4-EEEF-435B-98F4-8A2EEB9D1D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$BAA1A051-A9ED-4B21-AC86-5398AA22E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020400486e39b5d509f5d55f7c473b1a3798202d","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$A7EC462A-D357-4F2F-A408-085422249938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a929d47e1c4afcd5be2a2c4f25caf6584e4c60","datavalue":{"value":{"entity-type":"item","numeric-id":3426200,"id":"Q3426200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$CB26EA73-F904-4F2B-B6B7-46CEB86B85DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f32a5e365ef5e0077d6c46227d2553358340b6","datavalue":{"value":{"entity-type":"item","numeric-id":3087462,"id":"Q3087462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$2CD7C6F5-5CAA-41F0-88D1-54A467541E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$C19BF159-0B57-4097-BAB0-90C68C4C9FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2f27dd7da06e34a999ccaf46d2e06fc4675448","datavalue":{"value":{"entity-type":"item","numeric-id":3452226,"id":"Q3452226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$AF250510-D9F7-495D-94E3-770D2FB1B3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba90289a7cdb139bc7068a2d498d8c18dae2d63","datavalue":{"value":{"entity-type":"item","numeric-id":1401945,"id":"Q1401945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$CE3BA9AB-CC58-4577-A216-15A95A25D756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$A5C1AFC4-ECB1-492E-93C5-7F3A27311656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a68cc60804613a7acb4af9a6e5a107724c588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$67B692C9-7F91-43FE-8482-E36B165012B3","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":"Q4593042$DE7A7709-7906-4F43-8541-747B5EB5EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b8c93bf5790e1ed0e0a6b8fd719867e5946a72","datavalue":{"value":{"entity-type":"item","numeric-id":5398063,"id":"Q5398063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$594C4BD3-CA42-4F42-BD03-DF0527EB801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0d2309614c05112ed0834e1fffb734dda082a3","datavalue":{"value":{"entity-type":"item","numeric-id":3400569,"id":"Q3400569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593042$6DD61D5C-5713-476E-92D7-554BBA5CA6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3f95b2526baa15f22e256b04abbea03967d5f9","datavalue":{"value":{"entity-type":"item","numeric-id":5398063,"id":"Q5398063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692a9ee5159456d41753dd487c59123e3bbb9ede","datavalue":{"value":{"amount":"+0.9262456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$6DCB1962-AD2F-4D39-86FE-C9DCE7F70881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e78ab434bda851307f43e5587be496c331c3bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4631192,"id":"Q4631192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe09ba6ae2fcbcf70bd1eaad248e3ae3d6521fd","datavalue":{"value":{"amount":"+0.8972981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$C1D58990-C5E8-4887-BC22-78DA7600B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5733d143d1d68fe063b3e5bb96e19fa74e3870d9","datavalue":{"value":{"entity-type":"item","numeric-id":5919432,"id":"Q5919432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7fac7a298c5fd46f6ca5121a2cd89499f58fdf","datavalue":{"value":{"amount":"+0.8953344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$BF93FBAE-78AD-4275-BD89-55F816B61625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89c691828d4429325e49ba33f2067f16a13e7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5919127,"id":"Q5919127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7fac7a298c5fd46f6ca5121a2cd89499f58fdf","datavalue":{"value":{"amount":"+0.8953344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$0930DC5E-2764-432F-A62C-335B05750A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb698a9be676a115e12352e45c18d1bbe1eefca","datavalue":{"value":{"entity-type":"item","numeric-id":5425403,"id":"Q5425403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336ce4a687dd258b3245f870665817d9653a5a13","datavalue":{"value":{"amount":"+0.89430726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$7A92A8BF-E159-4B63-B7DC-3BAD28DD77DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878ffb9ebc9c66bb02f5772ef775f2ec1675de5d","datavalue":{"value":{"entity-type":"item","numeric-id":5504682,"id":"Q5504682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba351457a6c2f17e7c168f93c253ca9c55137df","datavalue":{"value":{"amount":"+0.8772745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$565CBDD0-3214-4E5B-86DA-27A66F80FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b8bd55d05e646344b6522522fec971fcdb6662","datavalue":{"value":{"entity-type":"item","numeric-id":4559798,"id":"Q4559798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8552997955772bc8597e5b1e75fe70703f98c3","datavalue":{"value":{"amount":"+0.87648195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$4890301E-05B1-4810-AC16-95CBC7EEFACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7193a133df7e7e7b20242ab1aa5ba6fde0b82354","datavalue":{"value":{"entity-type":"item","numeric-id":4589242,"id":"Q4589242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e9672c8b6d3cec379b8ef59a8ac0c235876910","datavalue":{"value":{"amount":"+0.87578803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593042$0DC40198-BD70-4E53-AC99-9A594C61D5D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593042"}}}}}