{"entities":{"Q2133436":{"pageid":2144179,"ns":120,"title":"Item:Q2133436","lastrevid":57345903,"modified":"2026-03-30T14:18:18Z","type":"item","id":"Q2133436","labels":{"en":{"language":"en","value":"Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516358"}},"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":"Q2133436$F27E6006-CF3A-46C6-9443-039B55932EEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8b54ef150211cfa5573628522cb3f30020ce57","datavalue":{"value":{"text":"Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133436$CF3652D1-47C9-4545-8DBA-1CB0A2A7AD3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4c3afe6fd78087e0c7fac4c38500834690583d","datavalue":{"value":{"entity-type":"item","numeric-id":2133435,"id":"Q2133435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$A4215D33-339D-40E4-AED3-271D4982F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f05a97db92f2db631599e955e7c058f7fb9c38","datavalue":{"value":{"entity-type":"item","numeric-id":186033,"id":"Q186033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$B146056E-6CB9-4AB0-8429-5D089E1C5715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133436$BCB9E11B-4B1D-41A8-9726-5C54D07308DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133436$C80B29D7-49F8-4740-90AD-AC9B4C496F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72c86dabc062d9e9f049b75e44b409313838d24","datavalue":{"value":"7516358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133436$04FEE51D-A0FE-4666-B77F-234E61F66FA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133436$59BB709F-FDED-4774-A217-8DD326DBD3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65cc46adc318e4042bf16d3974c1ef4b35a8e98","datavalue":{"value":"combinatorial optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133436$83A430D1-70C4-4167-B4AF-605A706486DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6c9452327df7bd9003b7d6cb430974a3ec58e7","datavalue":{"value":"parity aggregate operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133436$46F67BC7-3424-4ED4-818C-D903E9FFCBE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8fc6bc294aa651e0d128a3cdb7b9cfd605da2aa","datavalue":{"value":{"entity-type":"item","numeric-id":44792,"id":"Q44792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$3D99DF3F-D252-41AB-B06B-7045D37A2FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$909E6C7D-E7C6-406D-9134-1E28C5122830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da1332a808a086f6b44209ec6288b20715e7cfcc","datavalue":{"value":{"entity-type":"item","numeric-id":18440,"id":"Q18440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$27A8BC0C-2A7A-42DF-AE0B-D84F452EC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$C503A733-9452-4148-B002-08ED75184B51","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":"Q2133436$99FDCB07-7896-4F32-BA34-A4A98B38C1DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad045b17d6c7e3f82785fe3fa56a815a12f5a5c6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133436$90438B37-C9C8-47DE-89A0-DCE85EB5A5EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab98b6dd4e7c240bba6a83829bda592b9fc5f8ad","datavalue":{"value":"W3108137713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133436$A9A4F0DF-D4B2-482C-A6A5-E1E8770F563E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"415870edfcbe410ee15751989b3b5cf9031fb87e","datavalue":{"value":"Q113317268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133436$16933828-A011-4135-916A-2B267B979430","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$9B8F62E2-C3CA-4C0E-927B-B4FFF2D9242A","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":"Q2133436$00602FE6-3B2B-4DDE-9BDA-150126271F1A","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":"Q2133436$213424CF-3FF2-4679-BFE0-08D16580B5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"369a364f9641d5700ca87b89c820ef82f65b7ea9","datavalue":{"value":{"entity-type":"item","numeric-id":3638997,"id":"Q3638997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$EC04026C-4778-4235-9C61-248C6903E751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ef3a0260e1bb0eff33bb40662f2af2da80eb18","datavalue":{"value":{"entity-type":"item","numeric-id":2938503,"id":"Q2938503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$BE21995D-5804-484D-BBA6-A8FA48BB5AF7","rank":"normal"},{"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":"Q2133436$6EE4E28A-1ACD-4C2B-A8E2-A03149D01FA5","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":"Q2133436$B7D4E6FD-26F1-4659-9F96-74FEC0B8504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$D79F625C-D5FE-4D38-AE77-E771317C6D87","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":"Q2133436$3AB06E32-B02F-412B-ABC8-495221FEFA61","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":"Q2133436$79655220-CE0F-4658-B5F0-EB8D13FB951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cc8fa824231246d9f4afb888d5c2b3944b16d4","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$7275EB55-8755-496F-ACCC-622371615D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cb5c274d960709d34eb3f1eda588d0413360ee","datavalue":{"value":{"entity-type":"item","numeric-id":4669647,"id":"Q4669647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$F130905F-1640-4D1D-8A15-03DE001C54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cbf16025d4b515995a6bf101a066671a0859ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1779312,"id":"Q1779312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$641370A6-B2AB-4E4D-B712-170A76FBAF03","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":"Q2133436$6A5B1678-F725-4650-8593-3A3239551379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778d74c38440f27dd33785cce0f5034f39f594c9","datavalue":{"value":{"entity-type":"item","numeric-id":2326736,"id":"Q2326736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$BFAEB006-EA34-4143-BC58-B430A7BF1BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cb48798ec55867b7755398fd1665da0f5d25b7","datavalue":{"value":{"entity-type":"item","numeric-id":2326735,"id":"Q2326735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$05C0EA9B-BDAA-49D2-A1FA-B614CA8B77CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa470c39e483cd778b462724e89f77534417348","datavalue":{"value":{"entity-type":"item","numeric-id":3612459,"id":"Q3612459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$9A9A1096-119B-4AAA-A65D-EF244C078D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$C534AFBD-9FF6-4737-BAD9-5E208A45B7A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7b6518cdb06f2f167f165b6bf2ffe33fb3ebc7","datavalue":{"value":"10.1016/J.ENTCS.2020.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133436$21C78373-D3E9-402E-A012-5032F7742919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17716700cfe7369fb0aeb00b5bbca0f16ee440f5","datavalue":{"value":{"entity-type":"item","numeric-id":6488098,"id":"Q6488098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3ed73cbbf803aa60546ec5e4c2ed33fdcac788","datavalue":{"value":{"amount":"+0.90735805","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":"Q2133436$A2CADAAB-7774-40E2-AA95-65DD8656E248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a9f898dfcbdb99ac7978c7d3152f9237ca270b","datavalue":{"value":{"entity-type":"item","numeric-id":899190,"id":"Q899190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27ddfa242b35f6f0e6d39cc2e3e27e742067d4e","datavalue":{"value":{"amount":"+0.8955821","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":"Q2133436$03C80C2B-4203-4051-896C-51FAE7BF2BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d583e807d56238215e02a70bdaca1991c6c187","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1405662c47d0611c1db1750ca462570d6c7c228","datavalue":{"value":{"amount":"+0.88481796","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":"Q2133436$B33B4D74-4091-4982-9949-921F914DBEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f290dadc05a56772384182cf99333857e16a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3533116,"id":"Q3533116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08beb0a42cfe5936d749087b6fd12307639814c0","datavalue":{"value":{"amount":"+0.88442385","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":"Q2133436$4E16A7B5-6B80-4C43-98BA-50448FAF64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f71e41fb7a6461bf65b46313a2f73f3d337ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4906891,"id":"Q4906891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4368f58987177ee95f6bad09bdbeb1d9c374f27","datavalue":{"value":{"amount":"+0.8834633","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":"Q2133436$12574E8A-7239-438E-96E2-5496C69C5C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dafda52c1d6d083e81360367180c3aa8845757","datavalue":{"value":{"entity-type":"item","numeric-id":2909167,"id":"Q2909167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4368f58987177ee95f6bad09bdbeb1d9c374f27","datavalue":{"value":{"amount":"+0.8834633","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":"Q2133436$DC3B1182-24D8-4209-869E-BC76A3972D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c30f8e1c0b9481275bce4e179f1b194df0bf20","datavalue":{"value":{"entity-type":"item","numeric-id":3464628,"id":"Q3464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1b4a6b28cced2ebedfd6db0af5bb058fbd39f6","datavalue":{"value":{"amount":"+0.8778647","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":"Q2133436$541BD6C7-48C5-4B52-88C8-B4E0C85F18E8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133436$72707502-9A16-4FB3-8173-C6285E9116DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133436"}}}}}