{"entities":{"Q1783736":{"pageid":1794478,"ns":120,"title":"Item:Q1783736","lastrevid":72948210,"modified":"2026-04-14T08:56:59Z","type":"item","id":"Q1783736","labels":{"en":{"language":"en","value":"Equivalence between answer-set programs under (partially) fixed input"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941239"}},"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":"Q1783736$5A81DBA7-1962-4F1F-A0ED-21F7F3EA16F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a83eea9e9c17e33ae23485613648af6008c59e","datavalue":{"value":{"text":"Equivalence between answer-set programs under (partially) fixed input","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1783736$38B42ECD-4C4F-412A-A757-3D71F928C7CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b31bcfd8aeeb6fb152854e7d432d910c98754a","datavalue":{"value":"1484.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$8521E019-4532-4B44-B105-150081949F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a8e2ad2a343a146faef0e28ad73a2f482c0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":722533,"id":"Q722533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$C465E49E-461A-4775-803F-2ECA793598B5","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":"Q1783736$28C96ED6-7B0D-49C6-9ECA-B10E55AF01BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$5EA6E433-73B8-441C-A6DC-81D33149383A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1783736$570C004D-00D5-4053-91B6-F09AF570E69B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$5951564E-6207-4DEE-80AA-1EDE0F92250C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb06e9b4f2c74d33b17ee576ae7e20a17639b4eb","datavalue":{"value":"6941239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$64286826-3526-4081-A655-A3E4460AABDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783736$EB1ED4DA-280A-4CE2-A22F-A2956B8C70C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783736$3251E85F-81C6-41DE-B0C9-527875F08204","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":"Q1783736$AB29845E-E8E6-48FE-AB97-AD7589DD2E6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5ba198636ea3b8aeca35cb3cbef4ff7db80c8a3","datavalue":{"value":"https://doi.org/10.1007/s10472-017-9567-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1783736$6DC398BF-3E24-4E64-951F-814A4AEDF0FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3b8e7bad9ca3cf9a11c7de64aba782697565065","datavalue":{"value":"W2767502925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$EBF738F2-0CDC-4ED1-B81A-4E1B30EAA64A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1cb7843643e64c03a7968fa51dd5ab2e4e3f5a9","datavalue":{"value":"Q59607521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$D8A30BC7-643E-475D-9765-BBF00AC5869D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$0ADA49A9-57C6-47F0-BD9B-18B906BC01BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$1B970101-1DDA-4AC2-A21A-7EB6151DC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$F4D7E870-BC2F-4926-8EB9-2A8E36851B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8968370e8664bac5c6147e0b6215b90deb36b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3008405,"id":"Q3008405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$5A87BAB6-ED1F-4ED2-84A9-90BFC10FA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550e25e3a74fd3b0952480baa830dd6f8033718c","datavalue":{"value":{"entity-type":"item","numeric-id":5394123,"id":"Q5394123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$6397C9B3-753D-425A-8A80-6D4BD4B39187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8254f1a57bdf07f50aac86da290c24388690bc61","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$431C260E-41F4-4F72-82EC-907E281C9746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$2A219E15-3647-44FA-A330-E56DACB18FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a7b341d619ec73fc115f42df2d9f2bb8bf849","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$F4AC8AA1-5768-4596-A3F9-011B8175DD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41dc7fdacf82d625a187d9cbdca518500e742ae","datavalue":{"value":{"entity-type":"item","numeric-id":3648358,"id":"Q3648358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$0E751B71-57E9-4311-9910-52D859EBBE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6f1672bd9ca61ccb8ef6263c9a7908245e4015","datavalue":{"value":{"entity-type":"item","numeric-id":5424874,"id":"Q5424874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$64DD8EA9-DFE4-4406-8911-453ADB1D45D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d67e2d00061c6573d061d96344b5840b778f57","datavalue":{"value":{"entity-type":"item","numeric-id":3651481,"id":"Q3651481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$5F2A2697-B282-4C1D-B321-A6044F102C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7446bed6881fc83121d6738a8d42804f2baabe98","datavalue":{"value":{"entity-type":"item","numeric-id":5424867,"id":"Q5424867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$8917B7BF-C1BE-4440-A3F1-E2BDB07030CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3210d060a12afe0766e0d0ca189692d5e890a42b","datavalue":{"value":{"entity-type":"item","numeric-id":4583308,"id":"Q4583308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$AACDE623-7566-45F4-9E13-1EE34AFD38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebabd342407a27685e77dda4184360c2094b2565","datavalue":{"value":{"entity-type":"item","numeric-id":2807074,"id":"Q2807074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$6C0B1243-F6D7-45DB-836E-A0CF2425FA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$4119AB96-93B1-4492-BF37-7A7556055A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783736$5C918418-C04A-4AB8-9D2B-87B0733A7F88","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7befdc22e6615eb3b9770faab21bfb67ada2f744","datavalue":{"value":"journals/amai/BliemW18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$D3AAED0D-D4C7-4EBF-9732-5D6FBCF23173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8fad104a51547dbb5943a7372e87f40093c5d85","datavalue":{"value":"10.1007/S10472-017-9567-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783736$55EDA0B9-EE40-43A2-B787-85740F99F6AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4b6d5edce8931976f5539b8f1f26f054d41e75","datavalue":{"value":{"entity-type":"item","numeric-id":2807074,"id":"Q2807074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q1783736$C4442E79-EF4E-4B61-92F7-40C2286FA6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7f8dee2b3a35578697d0f0bee33b5fa9208204","datavalue":{"value":{"amount":"+0.9256487","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":"Q1783736$770B9E7E-019B-43C9-8DA7-E113A39A1078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525e1f3300095c8c1c123c99fbd44f0c2833a166","datavalue":{"value":{"entity-type":"item","numeric-id":5504669,"id":"Q5504669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27e0ad0b2761bcced627af65760ebc6a4d52b66","datavalue":{"value":{"amount":"+0.90926284","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":"Q1783736$9070A550-6103-48EE-894C-B06E910BE6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9afe8c0ad589c17fd2e6c6c7c72642debf4bc43","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8754b208ec3d642e19bf1d4d03e4d200ebe5e3fd","datavalue":{"value":{"amount":"+0.9073893","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":"Q1783736$65995CDB-C0DC-4D04-A855-1EFC0C069E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672c54e37cbebbda8a6cde179406fa5d4f921c63","datavalue":{"value":{"entity-type":"item","numeric-id":5445291,"id":"Q5445291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7c4d0df125dbbc3918f4e6d59de4f10d944eba","datavalue":{"value":{"amount":"+0.8927384","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":"Q1783736$C5A05B7C-0A24-4745-8CFF-AAAAA8D02478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f812925c8d67723c8b1e2e6ab99b4964a6885c","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e910a550ef5f7f437fc136ba2e8a2c0533ee338","datavalue":{"value":{"amount":"+0.89213926","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":"Q1783736$FA4B5891-3A81-424F-B4A2-F4D5A8887648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a789569f5e6934a3f6b788d824a20447a9c05f","datavalue":{"value":{"entity-type":"item","numeric-id":5475778,"id":"Q5475778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27d0d71059d7ef94a0c31f90477af8c1744e403","datavalue":{"value":{"amount":"+0.89093614","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":"Q1783736$48271CF1-8BA2-4E63-9BA3-B32E096FB22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25b74dbece6f252ddc58fd72e3bc573218e5729","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d788e2dc17b24b5a520309bacc4f1d6db307899","datavalue":{"value":{"amount":"+0.8891044","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":"Q1783736$905DC71B-B778-48E3-9221-B084BFB25D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6a77d368d267023de2ce946f794b04821b3223","datavalue":{"value":{"entity-type":"item","numeric-id":2900518,"id":"Q2900518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bfcf388d3c3671149e9a0b47c28b06eeec473b","datavalue":{"value":{"amount":"+0.8822901","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":"Q1783736$A3FCA83E-D5B4-41D7-A99D-0D85B634B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6677fac737afb8a1a54ba08b2424048a001bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":5504650,"id":"Q5504650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e3d9e460c7de0fe7a5487fea05fc76a0398814","datavalue":{"value":{"amount":"+0.88116366","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":"Q1783736$6A8E6D57-5500-48AE-A015-23E27808459D","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":"Q1783736$A75B09CD-3CED-429C-BB26-A3B47568928B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence between answer-set programs under (partially) fixed input","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_between_answer-set_programs_under_(partially)_fixed_input"}}}}}