{"entities":{"Q4608717":{"pageid":6638300,"ns":120,"title":"Item:Q4608717","lastrevid":90089042,"modified":"2026-06-04T19:09:01Z","type":"item","id":"Q4608717","labels":{"en":{"language":"en","value":"Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852231"}},"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":"Q4608717$80B9D3B2-E93A-4327-BFA8-AD02F45F192F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ca7584050b115cefe44a295c2fb159f8ede90df","datavalue":{"value":{"text":"Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608717$57EC8565-1F02-4D2D-B302-4691ABE9F877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eadd6d4f26925aba94549f8c33606635e10a1bd2","datavalue":{"value":"1407.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$4651B9B1-3C0F-4D8E-983D-8E91EA12837E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e83c52925f13b4297474b01c77b95bc19ef136c5","datavalue":{"value":"10.1145/3143804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$175C549D-C666-43DD-8634-E928AB4B6F19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b2deb5ad71ade780789664165e175578853d31","datavalue":{"value":{"entity-type":"item","numeric-id":2035469,"id":"Q2035469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608717$B9DFB300-3F3C-4CFF-B9F9-91021C037723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e783cdbe9cd5a5931f0254f84f99d76af1205513","datavalue":{"value":{"entity-type":"item","numeric-id":199226,"id":"Q199226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608717$23F80FA3-2871-4689-AA15-EC040935524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e90e94d598cbd6fbff9a6f5d02ed5983e94ef47","datavalue":{"value":{"entity-type":"item","numeric-id":2084949,"id":"Q2084949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608717$1C9C77A3-D0C3-4C5B-81FC-31B2791178B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608717$8816F853-AC42-48A2-B65D-32D782FDB1DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608717$4E82B79C-EEBB-43B2-9078-EB23444E0E76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7173b6a54497d40df82ca51a58b93bd2b317d273","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/74662984/Detecting_Decidable_Classes_of_Finitely_Ground_Logic_Programs_with_Function_Symbols.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608717$476B6C1E-542A-49AF-862A-320705C1FE00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$517778D9-7EC4-431D-9849-E4FF684D0989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a40e31f6a0348d3e66983d5ddc087abe30d65e","datavalue":{"value":"6852231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$142B40C7-D0A1-4543-9C0C-9D1EA1CE0E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$25A5E544-6E1C-40A0-9A6E-23D84F3E445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19cdfec03e959da67e41acf2efd4ae8bbeedd73","datavalue":{"value":"bottom-up evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$8AFDEBE1-93EE-4F4D-8669-3EAE4718B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$4B62556D-0D6D-431C-8904-27BE7E491E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$8AFAE900-4563-4EB6-9143-5895802FE169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$77864E2E-26C0-47F4-A9A8-8EE7A37B15B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608717$9BE32FC0-4487-49D2-9AF9-28D0D57D2D9D","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":"Q4608717$D6F137C6-F6A5-4373-8BD5-EFBC495DA53B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf1cf2b0791b84974abf9c8b9c1ac1cde20c108b","datavalue":{"value":"W2769306164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$65BA0328-1711-4071-B470-722688E2DF87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc4e9750b3c6f67f25a89546d854bb32c0d0ae22","datavalue":{"value":"Q130847072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608717$F4DAF0BA-F0D3-492B-ABBD-BBDCE902C8BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc4642589f40989be2c99d99ea2ff3b87788dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5398070,"id":"Q5398070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2494ff466a15066dc7bd8a68e0b07fde202d0653","datavalue":{"value":{"amount":"+0.8945306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$67F30E3E-E4CB-4D74-8B15-3BD1048FFC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c915d8018df45b75f48c9b82e10d728bab824c2","datavalue":{"value":{"entity-type":"item","numeric-id":5742242,"id":"Q5742242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567180fdf27ff6c6fccd3ee465467301919fffc6","datavalue":{"value":{"amount":"+0.88400745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$D304AE42-A8F2-4D60-BFB3-62CF4BD69579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebf92be8aea5ce03820e93ebd9511fb24449a59","datavalue":{"value":{"entity-type":"item","numeric-id":4982472,"id":"Q4982472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecdfffdbe0eba046334220d4ff27a375504e9a2","datavalue":{"value":{"amount":"+0.88109183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$F9577747-FF4E-4589-B609-DFA90AD25980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1236b71e1e35dec92c94e2b1ab677bc3fe22333","datavalue":{"value":{"entity-type":"item","numeric-id":1119618,"id":"Q1119618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76f809ea494254022529705ca563eb8b591d57f","datavalue":{"value":{"amount":"+0.88088703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$915ED10C-C17D-49FC-AAE5-041A450BF195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00fca672d40318103ba18d4f7aeb0d42b23e5a1","datavalue":{"value":{"entity-type":"item","numeric-id":2946602,"id":"Q2946602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac480a0373f8508af21cadec204068ff51f4bdf","datavalue":{"value":{"amount":"+0.8778988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$148F01D7-84F4-454E-9E09-E768208AFC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591cb6fa7c553187d47806ea2707f0818834b1","datavalue":{"value":{"entity-type":"item","numeric-id":2932848,"id":"Q2932848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1cffe96c03bf8e2b22ae9ced2be83c1987554f","datavalue":{"value":{"amount":"+0.8769438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$5396F173-EB64-4234-97B6-8ED771307FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b52d4bf43f49391ab09ef9a2c5cc675be91ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3498490,"id":"Q3498490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4a4efda2608f876c1b1553e435de25c373ba97","datavalue":{"value":{"amount":"+0.8763017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$ED63D2E1-314F-4DD4-991B-782AE1D7D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cc14de1494e9aca1d50b99ebb2c57240077b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5108018,"id":"Q5108018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8543814943ee8d00918b792fcad39e9781ab14c","datavalue":{"value":{"amount":"+0.87189156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$A517190B-12C5-4449-986C-1A19AB1159AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364f41ec84f9279869216a15651fae8f693e8d92","datavalue":{"value":{"entity-type":"item","numeric-id":4593017,"id":"Q4593017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2db6dac80e1b4d85e6c3c60a91098e0a96f480b","datavalue":{"value":{"amount":"+0.86218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608717$6C2B854B-5DD1-483C-A109-CE2B45300CE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detecting_Decidable_Classes_of_Finitely_Ground_Logic_Programs_with_Function_Symbols"}}}}}