{"entities":{"Q4592970":{"pageid":6622555,"ns":120,"title":"Item:Q4592970","lastrevid":58276332,"modified":"2026-04-04T13:03:26Z","type":"item","id":"Q4592970","labels":{"en":{"language":"en","value":"On equivalence of infinitary formulas under the stable model semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804536"}},"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":"Q4592970$BFB0E859-7538-486F-AC04-3E0077527457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08535fce81b73f8c84b95085b85aa3bbc275f57d","datavalue":{"value":{"text":"On equivalence of infinitary formulas under the stable model semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592970$2E5E20FF-AAFE-4D40-80D9-A79B51239595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0006ea6f844182ee936392aa57ab8b91dc4d5bd8","datavalue":{"value":"1379.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$290E2E05-8E17-4815-B858-92B51BC8BF55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ec4df6f3e50cce1146b420c22a89db33289d06f","datavalue":{"value":"10.1017/S1471068414000088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$FE34DFDA-99D8-4202-BBFE-1940D9C2CC20","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":"Q4592970$F3830B46-5DA0-4DE9-A716-237A835A3D1E","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":"Q4592970$F709F492-61AD-41A0-A891-76128AD10189","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":"Q4592970$12570AFA-A012-405D-9DB4-14A50BF87B62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592970$922C8736-9A05-448D-B5EA-055AE446510B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592970$732A7C87-3FB1-498E-9C76-901D92B6BB25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e1e76679911e957fc4c3216d612d9b4bc091e92","datavalue":{"value":"https://arxiv.org/abs/1403.6689","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592970$A3359480-F2E4-4E80-90D0-517B5A4A816C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$C747E184-72AB-473B-BA6F-C2445F386DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$C29034BD-66F2-4E87-9DF5-EEADA22AEB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$A84B922F-8AB6-4B03-BFF6-005DFDD6AFE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99af41c8bebadb5facee94a7fb064c03c1b1fc72","datavalue":{"value":"6804536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$9432083A-C484-4A97-91E0-0AF67F196865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592970$A808A31E-7AF1-435E-B41E-E33A8ACA4CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554313d14c76dc9a99611938b4bc4e2dc3119ffd","datavalue":{"value":"semantics of aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592970$4022B74E-BCC4-4F29-983D-3AF669E3EF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592970$046F2612-4036-4378-8775-0D9F92EC176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592970$52EFBF0B-F448-4E30-B4FA-7C8914EC96AE","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":"Q4592970$E5688A2A-A192-4AD7-9579-3F51F92541B0","rank":"normal"}],"P223":[{"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":"Q4592970$53F26685-4396-44BB-AF09-F7E9F92C5FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619f46634e99bfb6ac9e02e51a08555faedf7f38","datavalue":{"value":{"entity-type":"item","numeric-id":2851269,"id":"Q2851269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592970$38A77D23-A26A-4067-9FE2-8227BC6134C7","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":"Q4592970$1949DBBD-CDD9-473D-99F1-BB8C8F36C70B","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":"Q4592970$1671058D-84CA-4386-909E-0B9545F6F929","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":"Q4592970$A0B6F0E5-D014-4F73-BA7C-569EF7D55596","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":"Q4592970$264F3F02-F0EB-4594-8941-D7C2FE2D0654","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":"Q4592970$E90E1A2F-2D45-46C6-B4C1-E2C283A84AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a31ad98a5ad61eda477b53341bcbfcd0f124749","datavalue":{"value":"W2135808442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592970$A5AD266C-2CE6-4CCD-AC90-3BD17790031F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a8de509f071d884124747848d4a95931bc41e5","datavalue":{"value":{"entity-type":"item","numeric-id":2851269,"id":"Q2851269"},"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":"Q4592970$022AF502-EAA9-4530-A759-7E550FF4B448","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":"58b29d673e17ccf255bdaa6ac4798e1c6660b841","datavalue":{"value":{"amount":"+0.9336965","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":"Q4592970$D31F0BD7-3B60-42E7-A474-DB12915D4DE2","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":"2424b49e8dffeaef3c11932b6a39e2c24d53d424","datavalue":{"value":{"amount":"+0.9025725","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":"Q4592970$0B0263C0-43B2-44C6-8C3D-A79829681C68","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":"b50450cb0db9540086bfe79c37bddf76d0861816","datavalue":{"value":{"amount":"+0.9016165","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":"Q4592970$12F269BF-BA9F-460A-AD6B-B0796357B57B","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":"0f9530475d9505747b50edf9ee2bdbe804d773f4","datavalue":{"value":{"amount":"+0.89992994","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":"Q4592970$86174BF0-A4AB-45E6-8B16-1ED6ADCCA3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c7cc3c32b2b50e6c65e290314088a78012e537","datavalue":{"value":{"entity-type":"item","numeric-id":3128483,"id":"Q3128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9d3b73549467e89c27aafddd777ee8d5a6b1da","datavalue":{"value":{"amount":"+0.89474946","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":"Q4592970$F0CEE477-C6E1-4FDE-AF71-626D1C83D0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6dc47650d87076448af47b4e41eede71f9e4c9","datavalue":{"value":{"entity-type":"item","numeric-id":5677454,"id":"Q5677454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aef5c3a0e4441e72929ca5b6ea22113f16a349","datavalue":{"value":{"amount":"+0.894456","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":"Q4592970$81E1ACF4-3B3E-422D-8BB6-3BDAE174D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f752efb42ed4e9b4d63ef8ff12555a2548e02399","datavalue":{"value":{"amount":"+0.8921935","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":"Q4592970$BA25946D-4E71-4155-AD88-7AA940D8E724","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":"9a417f712cbf9ea1996aa894695e254198445472","datavalue":{"value":{"amount":"+0.8917156","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":"Q4592970$F93EB574-E2E2-4D38-A758-C739FF56D83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705fd68aa19068b3ee3de2691e2d16f0a78f829c","datavalue":{"value":{"entity-type":"item","numeric-id":3360169,"id":"Q3360169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203a5cbec441665439166198a02f29547747c607","datavalue":{"value":{"amount":"+0.8906967","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":"Q4592970$D845C824-D69F-4780-A6D5-2E109D22EE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592970"}}}}}