{"entities":{"Q2407875":{"pageid":2418618,"ns":120,"title":"Item:Q2407875","lastrevid":74101557,"modified":"2026-04-14T18:22:16Z","type":"item","id":"Q2407875","labels":{"en":{"language":"en","value":"Infinitary equilibrium logic and strongly equivalent logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6787415"}},"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":"Q2407875$B64094C8-4CBA-4F8A-885C-6D7CEA724691","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8998376407cf4977b0e8b441b606df5aed5d47b","datavalue":{"value":{"text":"Infinitary equilibrium logic and strongly equivalent logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407875$059877E9-CA3E-4DF3-A0C0-F13CE1B60BF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8effe02f0bdd485845fef36d52624a6d8950fa9e","datavalue":{"value":"1419.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$A420DE7E-A70D-48B0-8CCE-531230F15DC6","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":"Q2407875$7D990EA9-3201-4AD3-BD31-2B8F147494BA","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":"Q2407875$4B46BEF5-D935-459B-946F-DF20F5AE787E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695616c5b4ef01d1f1677c41fec2326bc5390a4e","datavalue":{"value":{"time":"+2017-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407875$DBABEF30-A89D-4465-8372-C3323C316C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$1EF2AA27-0D48-4AF8-AD0B-5AFFDF1178AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$0D1A538B-8A0F-41A6-9A52-76D89AB21707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff03249e01e5d0568674c3d1ccddb3663f9c780","datavalue":{"value":"6787415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$F6006035-7B54-4DA0-A1D6-0F07AE00F4C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407875$530059DD-49D0-4C49-BA76-1CFEB12851A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407875$4208C596-DDC4-4069-89DC-458F0F3499FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523058d49ad030a3fe6c55ba3f577151f388f8fb","datavalue":{"value":"logic of here-and-there","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407875$98940405-CB7D-4F2F-8E8D-88EB0C021E5A","rank":"normal"}],"P1463":[{"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":"Q2407875$22501813-8427-494C-A255-79E91B751544","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":"Q2407875$7E30A0C2-EED3-4B61-BF69-4D527A1FBB15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5b9e5c2e160d8c8927570a3b864966311881485","datavalue":{"value":"https://doi.org/10.1016/j.artint.2017.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407875$AAC20458-D20B-4F7A-BC72-179D1F9F9B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"601c78c48af5b4a959e44dbb14370e791c253ecf","datavalue":{"value":"W2590401811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$24478D4F-AD06-4FDF-90B1-4C7E3D5908DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$E01939D7-AE50-4D12-8B74-494FFFEA7C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$43AC4043-E06F-41D5-9098-03FF31CA05B6","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":"Q2407875$1B24545F-BECE-4163-8074-F2ADCE3E2367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$4323E978-383A-4259-84A4-8A875AF815BA","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":"Q2407875$77AB0A4C-7809-4976-81D3-2CE6109EB653","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":"Q2407875$01C5EA6C-AF4C-41D6-9208-D81DFB8A6ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9a002c27d4f40c42364ffbdf4cc7af05f9a626","datavalue":{"value":{"entity-type":"item","numeric-id":2900547,"id":"Q2900547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$150005DB-5982-4C17-B1DA-AAB250939E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2729c88c33051a0b3121b400e2322b3a6dea92bb","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$704F82AD-9845-4606-984A-20428A1DEB93","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":"Q2407875$786083A7-14AF-4A7B-92D7-A8A4BD6C15BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$4383BE56-B231-4E20-A034-EC2AD32D458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2038f0183acfa0ce782f0d7bc3187371edd4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$96E15265-C2F3-4B5E-B3D6-EEBA638D870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add49254ee2d5fb1029984592805bdea93a2d53b","datavalue":{"value":{"entity-type":"item","numeric-id":5730888,"id":"Q5730888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$2D54FA10-5E2A-493C-9D21-0BB5D02F81B4","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":"Q2407875$EC2FCAA5-BE4E-4B73-BBA1-380379BA1E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4222f6544b76280d4fa03de079893177c5e59e","datavalue":{"value":{"entity-type":"item","numeric-id":5839920,"id":"Q5839920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$6979CF7A-1548-4177-B886-5C43182EE323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48aae1aed4e9997941f4c0fd7233b7b6d0b0c9e1","datavalue":{"value":{"entity-type":"item","numeric-id":2395196,"id":"Q2395196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$3CB3F69E-E8E7-4FB5-B0D9-0A34E920700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcf9cd174870188d902e446638ebf9ee84dd1d8","datavalue":{"value":{"entity-type":"item","numeric-id":771031,"id":"Q771031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$A32CE64B-3620-4138-A70E-BF95CD8B0BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3e515340606ae45d58314f0c72b73f8af74a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5537356,"id":"Q5537356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$16659A7F-9AE8-40D3-AFB4-BCEB47D85838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$94273B4C-48ED-4407-A745-0E5185DFE058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$74FE9614-0A5C-48A7-91B6-E85ABFB87471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$0BB59AE3-9CE4-4FC3-893E-E2AD4FAADC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528c1473a40ac683980c6f58b694d2e57ab584e1","datavalue":{"value":{"entity-type":"item","numeric-id":4593059,"id":"Q4593059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407875$9237DBBF-AC85-42CE-AE2B-7F20688BF1BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee7f360153626b241e45554a4194a4be49af305","datavalue":{"value":"10.1016/J.ARTINT.2017.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407875$68EA0D91-61EC-4465-A538-2987534FC2A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7f79f182f7e33e150748fc4ebebeace804e4a1","datavalue":{"value":{"amount":"+0.9651656150817872","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":"Q2407875$749EB7E8-E430-40A8-BB09-1C4DF62F1040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea33aa3d446a4a35599d608bc7a3833997fb16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3992a9c7171731a92ec82cb1dfac29b173f632","datavalue":{"value":{"amount":"+0.8720274567604065","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":"Q2407875$E6B457D2-4AF7-4B89-B02E-787614FB4D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb075d1448187fe48661745ccdb7caaac872227","datavalue":{"value":{"amount":"+0.8716163635253906","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":"Q2407875$DB72BF9C-B55C-4F69-8561-696202C51CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe0b00c4c5a7ec217d0cf22965bf01ab044b50c","datavalue":{"value":{"amount":"+0.8493012189865112","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":"Q2407875$B7106756-BF6B-4A77-881C-CA850F765254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0692647d9308d3886ce92ee2e5d527c3df406711","datavalue":{"value":{"entity-type":"item","numeric-id":987828,"id":"Q987828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f11887ac23117b7f1097144e84997a8f5e8f1eb","datavalue":{"value":{"amount":"+0.8474560976028442","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":"Q2407875$7122F1A9-7A9C-4A96-BF76-0402860C8608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary equilibrium logic and strongly equivalent logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_equilibrium_logic_and_strongly_equivalent_logic_programs"}}}}}