{"entities":{"Q2851269":{"pageid":2861989,"ns":120,"title":"Item:Q2851269","lastrevid":44703648,"modified":"2025-11-25T07:20:42Z","type":"item","id":"Q2851269","labels":{"en":{"language":"en","value":"On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214678"}},"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":"Q2851269$60AB0235-38E4-4519-80DF-1D64D7BA258C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dad14f3b7815fccc42a96661ec024b733c2249e","datavalue":{"value":{"text":"On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851269$3EBC9034-D12F-4CAA-A51F-46B40D2E5928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54490d5b91f3ddfe624d3ffb2a8edd235e965692","datavalue":{"value":"1405.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$403665B7-BE7E-4906-83F2-E99F36EE518B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a905131efaafd275289f9313dc5d7dff7cde6bf","datavalue":{"value":"10.1007/978-3-642-40564-8_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$A445C9E1-E639-4FD8-AD68-CDEF827D4AAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31527fd5fa2d485080ce4997c33daed29d656ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2851268,"id":"Q2851268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851269$DAD77C02-8B8A-43F5-BABB-44F0E3688D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851269$1A0FDB4D-E442-4B8F-B401-481B089452C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851269$7C27683E-1033-41DA-91F4-2861B65B265E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851269$B53F431A-AE88-4448-9F55-005EC2A9956C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b924bdcab1a805ec7a84a6d050c0c2e1a9ae3ca5","datavalue":{"value":{"time":"+2013-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851269$0AD8C46E-208F-4EE0-AFB2-47C60CF16247","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$12361DA9-2E45-495B-88E0-2920FFC0F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$4E12D3D6-B05D-4F06-960D-226964C60CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f73b31b90157369933cce5eac1b43dd89df9e8","datavalue":{"value":"6214678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$C61049F8-6EC6-473C-BAEE-98A80F4FDEDA","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":"Q2851269$9408593C-4C8D-4499-817B-D740A28F6044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86a4f369bffe17698f79304415dd1e8f0b5e33d3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40564-8_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851269$39D70441-BB06-4211-B5E6-35327AE25D8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b620136f75c4c3b7a703216b2b06c4aa867bcf7","datavalue":{"value":"W227481680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851269$C29D3FF3-4A8D-460E-80EA-B8FECF4FB24F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b43030581441f2060ded8f89b3e8975b8272af","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4186384d8f2da1365d91586da85fff850c3afcf","datavalue":{"value":{"amount":"+0.96010417","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":"Q2851269$A3037EFE-4E76-4531-BDD9-8C13881FA856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55ae1b3cf08e109c26bcc7cb6e24dbbfe3f8d52","datavalue":{"value":{"entity-type":"item","numeric-id":5398043,"id":"Q5398043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d289b240b71f1315c1e173e26bcbfa702ad23748","datavalue":{"value":{"amount":"+0.90289736","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":"Q2851269$ACFCAFD4-ED8B-43FD-B38F-28154078291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc59495f8065bb30860c2251be720226c350f8a","datavalue":{"value":{"entity-type":"item","numeric-id":4593057,"id":"Q4593057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f545ecd60ce969c8208ec2197e8be7e252589dd","datavalue":{"value":{"amount":"+0.9021605","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":"Q2851269$FC5F5B20-505B-4EC9-9F44-35A3BC9D9CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a22cb6abc729dcb8acb79bb87a25788cee49d7","datavalue":{"value":{"entity-type":"item","numeric-id":975880,"id":"Q975880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd4f4c9ff25beef33455ce29b2897c404cde177","datavalue":{"value":{"amount":"+0.8707185","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":"Q2851269$DC065472-1974-4823-A230-46B2F0C9ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6598ad4ce88d5fe1e20cb662f62976aed96809","datavalue":{"value":{"entity-type":"item","numeric-id":5215503,"id":"Q5215503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18a1cd8b64801be8d695ceba840ca82f89db221","datavalue":{"value":{"amount":"+0.870405","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":"Q2851269$6A7FE290-3815-43A8-AC9A-C0CA28FC50B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042bc40c436fef70a3cb87eafdab0e65537c9893","datavalue":{"value":{"entity-type":"item","numeric-id":4247808,"id":"Q4247808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85371a6c4e34a66a011a83b89d5f80725a2473fa","datavalue":{"value":{"amount":"+0.867306","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":"Q2851269$619FD179-59DB-4F99-A79C-4CD7CAD257BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142d54ec6bd34ea6158405c365882b6ed200bac","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa3413ec6c1783f09ce9cc6f0d8ab24b4571c92","datavalue":{"value":{"amount":"+0.8621778","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":"Q2851269$2A926F4C-588D-4F7B-B998-E1908439E350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d3b114a843c883863124d4bced32cf2c7a32e4","datavalue":{"value":{"amount":"+0.8620807","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":"Q2851269$750467C4-7B5D-421F-A9FE-5F1A4C938725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ae2aaca300b2304ecb21877c998d07d6268fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4645216,"id":"Q4645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffd7e9da353682639d2afff14cda93f2ff7ea9a","datavalue":{"value":{"amount":"+0.8594994","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":"Q2851269$6BA84768-EDE5-42DE-8FA7-94B4F69BC6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d31c0dacfa44dbf0ccd4e5151ad359bfd7af6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5398316,"id":"Q5398316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43759974a01c9d8565984a68bdc96a59152c53f6","datavalue":{"value":{"amount":"+0.8581921","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":"Q2851269$C477BE8D-1289-45EB-8F6E-478EDD848D84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851269"}}}}}