{"entities":{"Q2694542":{"pageid":2705286,"ns":120,"title":"Item:Q2694542","lastrevid":55442875,"modified":"2026-02-17T16:28:35Z","type":"item","id":"Q2694542","labels":{"en":{"language":"en","value":"Syntactic ASP forgetting with forks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671874"}},"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":"Q2694542$53B5F31A-D54C-4DBD-AD32-B884496A51A9","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":"Q2694542$9853B10E-0B28-46D4-8FA2-A15A8CC63F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82a8a89cb0bf80a76235f9393fff94d3e0864e32","datavalue":{"value":"10.1007/978-3-031-15707-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694542$E310AEC4-1FC1-4CA4-82DB-279FC53BB4DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694542$16A105BF-3408-4F09-8505-0C6331826764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-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":"Q2694542$6B81DF8F-6942-4F78-AD32-692CCBAE15F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694542$66ED4049-C7BC-4749-B605-120E476C0E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e50d4375b85dc09ae01057af0e51970efd6d0e5","datavalue":{"value":"7671874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694542$AD67996A-BABC-4474-B617-9864C2C049F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$3D43CAA8-416C-4B8E-A2A4-AD36435F3A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$1AC1761E-283B-4EFA-8560-E4C71A3BDFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$AF92D000-2788-4317-BB7A-BAF9346C53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de4c9fbd4fd69a5d82ef9be173c3c32429ccedc","datavalue":{"value":"strong persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$519738C3-52C1-4A30-9D56-F87B1E3FD45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$7C44A64D-3E63-48AA-AAB7-49A9EAEBBD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f2a0b0919dae55faf2364191336c884956936d","datavalue":{"value":"forks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694542$BC85499F-4833-4C2A-B972-FD5FDCA1F87A","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":"Q2694542$96E2EAA7-4054-4025-B15D-63F686321D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e8f13ebb18f8ebf8118c36a8fa5c47806ad1ad3","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694542$089CB085-7771-47B6-9ED0-99D7EC270E76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc6a0358d77cb13ac027902102913f3e0a0ad992","datavalue":{"value":"W4293179464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694542$EFD70176-AC4B-4562-A865-47091FD00AFB","rank":"normal"}],"P223":[{"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":"Q2694542$A74E22FD-7C34-465C-8CFF-8DCB1A2AF4C5","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":"Q2694542$0A53D884-749D-4803-B34D-3D10F40A74AD","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":"Q2694542$9294CB04-F8B4-4FCA-8827-7867F70AC81E","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":"Q2694542$133F2718-199E-4FE5-8DB5-348F1400A37C","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":"Q2694542$6BB2F861-A179-4983-9804-A3459376A827","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":"Q2694542$69FF7456-0087-407D-A42F-A47CBB3F3AFF","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":"Q2694542$46F05567-2A94-4F38-8F9B-DB8E6C59EDA5","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":"Q2694542$567DE502-A2AF-47B2-82E1-BCE971C8E641","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":"Q2694542$BEFEDC6D-46BB-4057-A591-0962CAEC9935","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":"Q2694542$FAF8305E-6D18-4FC6-8551-0C08CE2D142B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c463cade9f025c36f46d9b17961ff121801a4053","datavalue":{"value":{"entity-type":"item","numeric-id":6152659,"id":"Q6152659"},"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":"Q2694542$EA465BA9-A2D2-4C33-9D40-D04C6998D9CD","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":"cc22ba1ff8fb39f5d66f90650af32524315877a8","datavalue":{"value":{"amount":"+0.8132086992263794","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":"Q2694542$3A2CCB45-6FD9-4907-A17D-80D3E9CB357A","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":"6e36b9fd0849d30498cc8d3fd735b28bfe75f6fd","datavalue":{"value":{"amount":"+0.7931743860244751","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":"Q2694542$738001D3-5ED0-4AF8-A6FA-1204D9A71542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5e6365576907138f3cfbeb849a199cb9c8db23","datavalue":{"value":{"entity-type":"item","numeric-id":2321342,"id":"Q2321342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e468d4dc33fab6c82def42a0f3ae16f1df35631d","datavalue":{"value":{"amount":"+0.7929836511611938","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":"Q2694542$A82D1DAD-FA1A-4A23-82EB-91991FE8325F","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":"707aa5e16de87c05625eafb708ab3bd449419f8b","datavalue":{"value":{"amount":"+0.78841233253479","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":"Q2694542$9B084896-0850-4019-BA28-220772218738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2694542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2694542"}}}}}