{"entities":{"Q6152659":{"pageid":13286975,"ns":120,"title":"Item:Q6152659","lastrevid":56779560,"modified":"2026-03-23T14:07:53Z","type":"item","id":"Q6152659","labels":{"en":{"language":"en","value":"Syntactic ASP forgetting with forks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803979"}},"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":"Q6152659$7E1EFEF6-D235-45DB-886D-D0BEC2EEEB04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8894c4e1d906bd3c65a7fa2ae920dce7d4ed096c","datavalue":{"value":{"text":"Syntactic ASP forgetting with forks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6152659$5DF515DF-C528-4C1D-BAA0-56D130706DA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$AD5E56A4-386F-46D8-8349-B0C88074E1D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-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":"Q6152659$8B73B88F-0753-45A6-89A2-CFA3FCC90BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$CAF22DA3-9E13-4CF8-A7D2-05D8FAA470BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$2E1E39A9-78C2-4D05-A5BB-B1C1320CBEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$D6BFCF42-4217-4AAF-97A7-1B5CCEEE96BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21be27504e6942f48daaf3ac4f49b2d64778b11f","datavalue":{"value":"7803979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$16696D5C-5931-4DA9-A4A9-3149D2A52B59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$A393B622-6076-470F-B663-CCB3BFC3E81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$7573940F-02A3-4CB1-92F1-6B0A8D5EEE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$BC58A95D-A15C-4529-BE99-C805D0F3AAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de4c9fbd4fd69a5d82ef9be173c3c32429ccedc","datavalue":{"value":"strong persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$5B5F6B83-5B2F-4994-93B0-6EEC74E51D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$791DB634-3BA6-4D88-96E8-B165EE463A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f2a0b0919dae55faf2364191336c884956936d","datavalue":{"value":"forks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152659$DE7E3141-4F33-4790-BAFB-2E2594025457","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":"Q6152659$05B019DA-9F96-42C9-A76F-1F18E091A9BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57e2dd76fc129c0341292fb34cdf29f2fac3b712","datavalue":{"value":"https://doi.org/10.1016/j.artint.2023.104033","type":"string"},"datatype":"url"},"type":"statement","id":"Q6152659$7944AB60-35F6-49B7-9CCA-C8635F9C7F55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19870564836422d229ee3b7f9aba5c3cd847fc4b","datavalue":{"value":"W4387817554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$51A7B9C1-C2A1-4B62-90AA-E64251143E44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b02adb637486ae94a0ec4d7ccd744b928273df7","datavalue":{"value":{"entity-type":"item","numeric-id":4256671,"id":"Q4256671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$E9EA396F-AF27-43FF-897F-0D25E3348E56","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":"Q6152659$DD1538D2-5712-4874-9A03-D9E81C9F3CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f68eed57831a6decdaebc41dc7490f3d7885a8","datavalue":{"value":{"entity-type":"item","numeric-id":6085582,"id":"Q6085582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$C20EE1C2-D1C6-4943-8513-318228277DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1bd081cb827107095a3e56e696184b9b2c2ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2938510,"id":"Q2938510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$CD77721F-F66B-4899-A110-61DA454D34AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2ea6069dfa6450ccea31bdeae3d734ad234a17","datavalue":{"value":{"entity-type":"item","numeric-id":4576228,"id":"Q4576228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$0895749C-F3C3-43EA-9979-22423AF74598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf275ea16c4cb3b4c034947ed7873316c29790a","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$9141A0FA-B876-4F49-86B2-8032BF4B0808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e70ff4632e81bd680b01337c672c0cbd029ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3608649,"id":"Q3608649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$C504E7D4-350C-4435-A09A-927DF37544ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1e3dc598e873a4ce4d2e495eb65f218e1d6181","datavalue":{"value":{"entity-type":"item","numeric-id":2321342,"id":"Q2321342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$3AF7FDE5-34CC-46C1-AF95-2B5994692B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0522717a694ff68eddaa49b4775c18e95f4c008e","datavalue":{"value":{"entity-type":"item","numeric-id":5108521,"id":"Q5108521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$19DF64BD-4607-4812-9528-5CACD9537FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42999258f87cb378358ed5abd4b7a42af14f2c85","datavalue":{"value":{"entity-type":"item","numeric-id":2694542,"id":"Q2694542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$68831A60-5222-47EA-ADA8-B2E03C157597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887835ddfb4693ad6c2140285acdb5356361ad62","datavalue":{"value":{"entity-type":"item","numeric-id":4593002,"id":"Q4593002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$2459AEF4-F480-4F99-9E01-1C3AF87C49A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$81A18A38-7CB9-4674-9E18-0797D8170A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3a50df59c14ab0de152ca3c699a30b7712351b","datavalue":{"value":{"entity-type":"item","numeric-id":4700442,"id":"Q4700442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$E0884E5E-2060-44E5-8367-539EC7E72C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71eb40d587edaab08e87b2b339af18bbe5e40841","datavalue":{"value":{"entity-type":"item","numeric-id":638492,"id":"Q638492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$67486BAD-FE78-440C-917E-0418CB1AB7CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9194cd086da96087c3f58b1cd1b1084c324c2dbf","datavalue":{"value":"10.1016/J.ARTINT.2023.104033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152659$5D471C79-6EF3-495A-9BD3-A713790B2444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddbc5afab1719aa585ff544d3ec6e6b891fac60","datavalue":{"value":{"entity-type":"item","numeric-id":2694542,"id":"Q2694542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e12bf3df865f6a36af1061d26ed22f8fb4cbbb","datavalue":{"value":{"amount":"+0.9690811038017272","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":"Q6152659$07507F80-74A0-4E4A-8E1E-A47D2087E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb986fccd7e92e0a0b20080147f9be1498443e2","datavalue":{"value":{"entity-type":"item","numeric-id":2211850,"id":"Q2211850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c7854394c7066b2a961457fc53e1dd3aa766ba","datavalue":{"value":{"amount":"+0.8346368074417114","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":"Q6152659$9FD25E2E-69A6-46A2-98D5-4E098A1721AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f0e62cd216a57c9a6cfd5e308744f989db57dd","datavalue":{"value":{"entity-type":"item","numeric-id":5108521,"id":"Q5108521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94baef99d2dcbe7844a91675695fc046806892be","datavalue":{"value":{"amount":"+0.8299071788787842","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":"Q6152659$7B6CE848-F1E6-401A-B7C9-05F512537CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbaabf00b1660534bf488c67b27035a7ec4ec12","datavalue":{"value":{"entity-type":"item","numeric-id":2835900,"id":"Q2835900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413169963a23789a97ed619730d99165b9443011","datavalue":{"value":{"amount":"+0.8243828415870667","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":"Q6152659$40D81682-7E90-43FE-80B0-24D9AFC8E438","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152659$7910FF1E-D5D9-4B34-8FF9-9447EA1003CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6152659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6152659"}}}}}