{"entities":{"Q1183439":{"pageid":1194188,"ns":120,"title":"Item:Q1183439","lastrevid":66785397,"modified":"2026-04-12T12:50:50Z","type":"item","id":"Q1183439","labels":{"en":{"language":"en","value":"A simple fixed point characterization of three-valued stable model semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33293"}},"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":"Q1183439$DC6DBB48-60B7-42C7-87F3-F99F711881A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"503cd976f48bde61305eace86e060691fa53b04a","datavalue":{"value":{"text":"A simple fixed point characterization of three-valued stable model semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183439$8ECDBDC2-CAB1-4D6D-B99E-EA67AD3FCBEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"255519c5cd9dc234c734e758d36d1f3e323f3b9d","datavalue":{"value":"0749.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$2F6ADB02-74D9-4F8F-AACE-BAA1E7642612","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792e0a8c6238c6bbb21d511aef8099f31ea45b8c","datavalue":{"value":"10.1016/0020-0190(91)90012-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$FEB70C01-27F4-4DA9-BF46-80D9E93F16A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c56e32f9724b2c92188a71c09861e91ace827f5","datavalue":{"value":{"entity-type":"item","numeric-id":1183438,"id":"Q1183438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$9D4F0EB5-7AD7-4DE0-894B-47DDEB90DFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"614865c792fc9cc5e0ae3df80f199328e64cdbf2","datavalue":{"value":{"entity-type":"item","numeric-id":1097681,"id":"Q1097681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$7B43AFA4-F531-493D-BFCA-EA5B6F408864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05debd28d30b5b089c81f4235d4b68fae4d5a6f7","datavalue":{"value":{"entity-type":"item","numeric-id":174606,"id":"Q174606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$00559D8B-B9B4-4EBC-BA65-23CC4D186FE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$7718639F-F54D-4CEF-86C9-8CF31568EE43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183439$742A601B-28E3-4D63-A1F5-94062051ADE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39275710e1f98cb4a2f38a93c19f542c412ad2c8","datavalue":{"value":"This paper provides a simple fixed point characterization of the three- valued stable model semantics. Due to results by \\textit{T. Przymusinski} [Fundam. Inf. 13 (4), 445-464 (1990; Zbl 0706.68029)] we also obtain a formally identical, but notationally and technically simpler characterization of the three-valued well-founded semantics than the one given in \\textit{T. Przymusinski} [Every logic program has a natural stratification and an iterated fixed point model, Proc. 8th Symp. on Principles of Database systems, 11-21 (1989)]. Because of the constructive nature of this new formalization we also find it appropriate as the starting point of an algorithm for execution of restricted classes of logic programs (specifically datalog).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183439$6C221F0F-036A-4484-8429-467AD24BD427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$69874F39-4413-4846-AE9E-4850619AFE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$1AE4FC08-92D8-4CB0-BC0E-FFF4EA407FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$FCA8BD3A-8024-4F6D-A496-DA2907664E7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6041c18855426f5ccb602d4b257b018d58e5a118","datavalue":{"value":"33293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$F801D275-4158-46F5-A822-A2DC6649D5E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183439$C805C024-F70A-472E-82B0-F9841214E20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183439$E70FB563-37CB-45D1-9017-C422ACF588F7","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":"Q1183439$B75A8D90-3236-4ACC-B200-25401B0894C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ac958b743c172dfd50129d7efbcb063b1ab3bd5","datavalue":{"value":"https://doi.org/10.1016/0020-0190(91)90012-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183439$011CEEC3-E4D1-4E04-A5B8-62A0ACDADC70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d04494a8155c742290003bca6d976915a7327947","datavalue":{"value":"W2011895230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183439$777A2F4C-300F-46F8-BE79-55519E76C455","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc28057b2e0d22eca49a140c3dca9a51e7238581","datavalue":{"value":{"entity-type":"item","numeric-id":1311405,"id":"Q1311405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$3F72934A-0DF5-482C-9B83-2C39AF90F53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$4514F0AB-74A3-46E5-9F6E-C2CD85203590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$97180D11-332D-4847-B721-48D8F03BB001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$8ACF8F35-7B90-415F-8552-BC97DA76C4A1","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":"Q1183439$5F526240-6353-4BF3-83E0-57EAEC27C0A9","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":"Q1183439$B5247F90-63A1-4540-B144-B3EDB6A1B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$88FD1298-FBD5-4EE9-8DC6-D925C3B2D515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$3675E668-F111-4829-AC9D-9B1924D6D6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$F4E235B6-5C14-4DE6-AD5B-CF28A36AD5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183439$98B1735E-0576-49B4-9D4B-A4F855F53FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1dcb6c61c8a53f8466be386f41e3d9c9209fa3","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c412844755fb92dc30f54b1f6c31350646eae55b","datavalue":{"value":{"amount":"+0.8076750636100769","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":"Q1183439$7916F34C-16E7-4DB9-9C64-53F99915379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac60ee3c18e3ba2c69067f05dd4f0deec88f1fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5101443,"id":"Q5101443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f158ede56923c0acfc5ff2c16b142becc990141","datavalue":{"value":{"amount":"+0.784264087677002","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":"Q1183439$3AADC858-A961-4A9A-876B-6A0459076E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7301680fa7de8c1070c0fb8f2a99612986f6438","datavalue":{"value":{"entity-type":"item","numeric-id":3318096,"id":"Q3318096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5c799ec8595f63bba9d310e3b207c0dc1ae779","datavalue":{"value":{"amount":"+0.7770790457725525","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":"Q1183439$7157B0D6-0A67-444F-8080-25BC4CBB5F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d75d1a3f6823c4e9b5ed73ad34b457ed6371e8c","datavalue":{"value":{"amount":"+0.7763180732727051","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":"Q1183439$A724EFC7-00EB-4847-9EC9-EACA3D95C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef73443031c9f3f9ab5e6e413e2b3e7e82754977","datavalue":{"value":{"entity-type":"item","numeric-id":3586017,"id":"Q3586017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18e86ff991f7254f66797b99300695c55168402","datavalue":{"value":{"amount":"+0.7731258869171143","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":"Q1183439$A417DAE3-5236-491F-B196-930FA8DAFE80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple fixed point characterization of three-valued stable model semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_fixed_point_characterization_of_three-valued_stable_model_semantics"}}}}}