{"entities":{"Q1199545":{"pageid":1210294,"ns":120,"title":"Item:Q1199545","lastrevid":66465072,"modified":"2026-04-12T10:15:39Z","type":"item","id":"Q1199545","labels":{"en":{"language":"en","value":"The relationship between stable, supported, default and autoepistemic semantics for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94465"}},"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":"Q1199545$C2AD0860-A6F5-430F-8F74-0B0261B62A6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d3b565b591719a5964ea7c011da475bd184b718","datavalue":{"value":{"text":"The relationship between stable, supported, default and autoepistemic semantics for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199545$79786E39-FAA1-42B4-8CF6-9053B5420F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45444c31a3739360b4bfeefbd5319d879c704075","datavalue":{"value":"0753.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199545$AA83D2F6-67A1-457F-9853-DD70837B1AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7459d8300e0a1cce3b9a0c4a1d979c81662fcf","datavalue":{"value":"10.1016/0304-3975(92)90019-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199545$134A3942-7173-4607-82D1-620705B42D4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$470EF269-ECBD-43CF-955B-8BAFBA21F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$0246783F-24B8-41CE-BCCE-F328B640C502","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$B035080E-A11F-4575-92C9-7C0CB322271D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199545$1FC266B1-BA3F-4F29-BE26-36FF24024001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199545$D48351AB-2D54-4801-86D8-D6285835A123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199545$FD797E91-D3A9-436E-A98B-D103AF8AF9D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85deda49403a2d25448c4d3735307a620414ae4e","datavalue":{"value":"94465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199545$0BE0A142-C01B-4A53-94FE-BE73C7FD546E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199545$C1C78C14-076B-4C89-BEA3-86612B0AEA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199545$7FFEDC5A-2CB3-4B62-8616-B7E20BE11D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c5faeb59a78ce9a8e88a9ff0abfcbb42d5eb","datavalue":{"value":"default logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199545$9713AB16-26E9-40B3-86E9-12CA097D92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5eaf902aa7bfdb4995ef75334cdd3996a74860c","datavalue":{"value":"autoepistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199545$7EBBDA22-61F0-452B-8A26-E304A1927D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199545$A63292A0-E8ED-40A7-ADF6-8E6C2AD207DD","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":"Q1199545$69F7DCA0-C78E-4F84-B5C6-4550188CB5C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e7a1590207902f6cb021ac8a30f369b885a498","datavalue":{"value":{"entity-type":"item","numeric-id":1117211,"id":"Q1117211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$C488816D-E9F1-476C-AE53-D5EF5850D89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$B95E0A85-A956-4E21-9756-10406AB25852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e45ddc3d4be797ff6ef9e0400966d52256103","datavalue":{"value":{"entity-type":"item","numeric-id":1079022,"id":"Q1079022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$C47CB0C5-B273-4469-B4EE-4C12F56BB034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$20AA6840-2925-4FDE-A74B-4A258273DADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd30a691b9386bba551315548061d59bf2f45079","datavalue":{"value":{"entity-type":"item","numeric-id":3826524,"id":"Q3826524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$1CF2B282-55D4-44CE-8CA8-9CC504003224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$8D8ED2F1-7DA7-42D5-910B-737A34145F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cc9a8327d453984ec7032053ea2656c70a83e2","datavalue":{"value":{"entity-type":"item","numeric-id":3486549,"id":"Q3486549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$81C44B59-3AA6-415A-A72D-EDCD4E49ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$9860CD15-54C8-4574-B26C-FBE8853A6456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$C2059251-2B60-472F-BCFB-1AC05F4CDFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$FF59EA04-AA09-47A3-AD88-8EA337620D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$1CF10D30-03C2-42F9-807F-9313F2FFEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$7399F31E-2DBF-4600-91D6-E1081ACA02EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199545$DE1738D1-17BF-4EC1-BB60-6FE78BB1A87D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cadd0220917350c7d4b2de15558574333cb764f","datavalue":{"value":{"entity-type":"item","numeric-id":1200977,"id":"Q1200977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff2a283411946f62955645b38ec343ab2b1fe1c","datavalue":{"value":{"amount":"+0.804458498954773","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":"Q1199545$A17FB2F4-F0EA-4D9F-BB49-D7A8F4C23D46","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":"2274f6de4c4b2a1dd3c750ddc977058dc7e655be","datavalue":{"value":{"amount":"+0.7989996075630188","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":"Q1199545$07BD3018-6CB9-4D6F-91FF-D05F00D016D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da936e44b2da3eac180549c622b7b974d5946273","datavalue":{"value":{"entity-type":"item","numeric-id":4719371,"id":"Q4719371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fd8c6481b3585662ddde1a9cf23ab9135309bb","datavalue":{"value":{"amount":"+0.7983266115188599","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":"Q1199545$3E27AFBF-29AB-421C-A42C-E5255A4AA992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1c8b6b52c85dd2930b3b068fb2786dd70f16b","datavalue":{"value":{"entity-type":"item","numeric-id":622117,"id":"Q622117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83451296fb703eff1249f7d449cf4030fcd13de8","datavalue":{"value":{"amount":"+0.7964391708374023","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":"Q1199545$68B55FFF-9656-40F0-AF1A-660C2762B9CA","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":"108cd126a917d9449308e5171df88f9efd9da842","datavalue":{"value":{"amount":"+0.793402910232544","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":"Q1199545$1C4477D7-DBE7-413C-B134-3144287EDF69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The relationship between stable, supported, default and autoepistemic semantics for general logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_relationship_between_stable,_supported,_default_and_autoepistemic_semantics_for_general_logic_programs"}}}}}