{"entities":{"Q3426203":{"pageid":3436906,"ns":120,"title":"Item:Q3426203","lastrevid":86897828,"modified":"2026-06-04T10:08:32Z","type":"item","id":"Q3426203","labels":{"en":{"language":"en","value":"On the existence of stable models of non-stratified logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132019"}},"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":"Q3426203$2B0290D3-88C7-44BE-BC97-E2F85E89905E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a0cd4ba23574e35e5c8bd1aab0315ded046a19","datavalue":{"value":{"text":"On the existence of stable models of non-stratified logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426203$22CA8C6C-12AB-4CA7-945B-3F7830E6B4FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de4fd61ad6232d955d736f9b7d53310dc5d28ad8","datavalue":{"value":"1109.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426203$6FE20696-D880-4470-9B33-4F9AC5D609D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"990be6b87a8adcf801d48b0466e130a17fa32d07","datavalue":{"value":"10.1017/S1471068405002589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426203$66632DED-4CA0-4785-990E-A42CED76176B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426203$53A6092B-9EC7-4F70-8D23-DE99F015F65C","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":"Q3426203$A5AF2F34-871A-41AB-98C9-52DB5A43DABC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98de7ac5d0d4ff1396834df23ff7caf6645b6ad9","datavalue":{"value":{"time":"+2007-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426203$FD2B378F-6EF1-4B97-A5A6-678045D1199B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426203$CD01A60C-74DF-488B-938B-DBB7FA285F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b6552c56be3ee5e682e515f42a45db8aaca0533","datavalue":{"value":"5132019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426203$896F3C67-D3E5-4E38-8D4C-73AFED64C677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426203$248E2649-8FE5-4C52-B40F-059AF28E2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19decf5072148ef59183f9ec37ed09e3562acc57","datavalue":{"value":"logic programs class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426203$1FA749C5-03B6-47EA-8E47-F43ED3641F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b8cc9fcf12b334b13f7b3209d6604cecd8fc8c","datavalue":{"value":"canonical programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426203$80CED426-0D4F-4A41-84A5-A1E0786DDA88","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":"Q3426203$5CDD2CEE-5E8D-4F76-BDA0-D5BBE7598662","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c85f710c93c78d308c835886a0862559fd8e1b92","datavalue":{"value":"https://doi.org/10.1017/s1471068405002589","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426203$ACF711FB-2781-4747-954D-3CCC4E67D1E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc57663e5b813644db98bd679b8c01c7c039f335","datavalue":{"value":"W2156621773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426203$BC48F5DE-E6E6-46E2-8D16-31D58B30C9B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf9c63f54a46d1369381768ca087a77ded45d1e","datavalue":{"value":{"entity-type":"item","numeric-id":2887039,"id":"Q2887039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea37ead946920b6b806ed9bd49f680ca1868373","datavalue":{"value":{"amount":"+0.92923117","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":"Q3426203$140F12B9-B4A0-45C1-BC24-0BDE8308EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca7f298e0e67647b6944c775d6b7268a4c5d5c9","datavalue":{"value":{"amount":"+0.9287696","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":"Q3426203$6D4D53A2-AF78-4C52-B757-AAB5801A49BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3d505f96ed8ee77ec771f6339d22613dc2f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f76b32d49175b034b91643fc12d98f208071bbe","datavalue":{"value":{"amount":"+0.9216595","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":"Q3426203$43FED5CB-6920-4DBD-AB0A-417C87B3AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929a57e6ab705cc4a8300e567c8398683c05c7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5457704,"id":"Q5457704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c64034a0b867e73082f60465ec17804f519911","datavalue":{"value":{"amount":"+0.9148411","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":"Q3426203$0DC5D54A-5F34-43C4-B8D4-B974C7D58ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85808d41a6174f8989b86e1bab6c72145e5aa245","datavalue":{"value":{"amount":"+0.91444314","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":"Q3426203$0F6D8F79-2EC1-4C66-BFD1-5A5A7369D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b985d2626f022a77c9dfe089d0d4c2553ab09a","datavalue":{"value":{"entity-type":"item","numeric-id":4375821,"id":"Q4375821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372ce15dfedda887e8b687ea574e51c06723478b","datavalue":{"value":{"amount":"+0.90990734","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":"Q3426203$07221D3C-1D61-4D5F-882E-B6E7C7863BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f78f59a048ac6fc714e5498e3e7f4fca9661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278207,"id":"Q5278207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8946839ad62bad30c8e3a523d0637a81eb9c45","datavalue":{"value":{"amount":"+0.9087347","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":"Q3426203$89A38A43-6280-485F-8B66-D764612B6ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9683d70a90859a0c56090c74ee51b5fff4aec43","datavalue":{"value":{"entity-type":"item","numeric-id":3129493,"id":"Q3129493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a934308cd5fcbaad47f8d35f219d0c07ad7c07","datavalue":{"value":{"amount":"+0.9065158","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":"Q3426203$558B1A55-B1AD-4297-864B-B00C84AD8F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3991d346ddd214fc3110421947ee830abb8997","datavalue":{"value":{"entity-type":"item","numeric-id":3183130,"id":"Q3183130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5afc01ef7cdc1e9bf8fa63f6deb574e141e6445","datavalue":{"value":{"amount":"+0.9056861","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":"Q3426203$6F643A03-4E62-49C4-9D0E-03E132DDE1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754df203b34310fd16c1164891c2c90432acad8d","datavalue":{"value":{"entity-type":"item","numeric-id":1924748,"id":"Q1924748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d58088d4fefb84eb703cbec22bd3576275afc44","datavalue":{"value":{"amount":"+0.90506834","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":"Q3426203$A3ECAA8F-225E-4CA2-AA66-89D7F18946DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the existence of stable models of non-stratified logic programs","badges":[]}}}}}