{"entities":{"Q1127348":{"pageid":1138097,"ns":120,"title":"Item:Q1127348","lastrevid":42894870,"modified":"2025-07-15T19:36:48Z","type":"item","id":"Q1127348","labels":{"en":{"language":"en","value":"A note on the stable model semantics for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189656"}},"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":"Q1127348$0E547EB0-3BA5-4A6F-97DE-464F53173BE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d40900abec913e78da0d45eb12904ba42ed98897","datavalue":{"value":{"text":"A note on the stable model semantics for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127348$E14B03DC-7C8F-4C30-8BFB-585611B1CC33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d64a912691771beb6cfea144a79823dcb25d8d","datavalue":{"value":"0903.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127348$FC4D3064-FF38-4D22-9809-7C9C0F2E8098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ffa58e0b9d0bda2eba910d07c60f43e328d730","datavalue":{"value":"10.1016/S0004-3702(97)00058-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127348$005CD5E6-2AC4-49E9-95CD-3FCBD8F4C3D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$D8430309-0F60-4D1D-A6FF-8D8A9BFDB8DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$19BAB457-A679-4ECB-9EFA-3BCA69084A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127348$EB0004DF-D478-424C-B5F1-5C90A6A0F7A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127348$BC85973B-FCFA-49D6-BBD5-257D035B84C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127348$ACE0B8F4-FE36-445A-A8F4-570D9543976C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8afe548ceb89359a218129a9d546f38b47a7fe5c","datavalue":{"value":"1189656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127348$EE63F0FB-3E80-48E7-A817-16CF92AB984F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127348$3DE2B635-79A4-487E-A3F7-3358A82A57EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8d0a2d150e8d3c4cb2b9cdeee5bb05c8750f1d","datavalue":{"value":"Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127348$F339D001-A272-4115-B2D8-D0EACFD6F6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127348$3CECD00B-D503-43A5-A505-8CD8D0EDC7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b17d0069f9647a6dfbb46b6d6a63a8c640786b","datavalue":{"value":"open default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127348$5B28B58C-63D6-437C-BFAD-4F1665C851F5","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":"Q1127348$ED3282CF-875A-4FDA-BF1A-B5A3F77780EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$99EBCDC4-9421-44CC-9346-E9E59C08E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b70255913a491d6bba0eb24319a868d041de84","datavalue":{"value":{"entity-type":"item","numeric-id":1173955,"id":"Q1173955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$4EE52E01-D9F6-4A3B-92FB-97670C810460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$2EC60F35-CF32-4F89-8271-8FC325F3A920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$68A89726-A2E0-4073-A412-056061340F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff6b3556eb054ed554901978cda49578d4418f","datavalue":{"value":{"entity-type":"item","numeric-id":1855239,"id":"Q1855239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$9F448DDA-0FFF-430A-831A-D7A889D12B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e64f7e83fae946e800bd72dd161a8c43f3a85bc","datavalue":{"value":{"entity-type":"item","numeric-id":4399717,"id":"Q4399717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$628C5429-49BC-47C0-8E37-25913F6373A8","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":"Q1127348$06EBCBF8-207F-4EB1-ADA9-FF33303BD2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaa8e0c17da8e06531adaa0adfd9aea2becfa39","datavalue":{"value":{"entity-type":"item","numeric-id":4012230,"id":"Q4012230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$1DEDAFB1-F83B-428E-B74A-765BA7AB7C3C","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":"Q1127348$3BA55563-D9B4-43B5-B58F-079842FA5EC0","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":"Q1127348$5E721096-1CC6-4951-9DC5-85AAEEFD5EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$DDECE6E0-6A18-42A6-BF0D-4F2E608413FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$1C983842-BEB4-416D-9C81-920DF2567AF8","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":"Q1127348$4CA52CEA-E157-4783-8C0B-DE137612E909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16220e9810c1bed07c3d6d93354d56350ef530d8","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127348$F56B05F5-F856-4C04-993E-FFE8718222B6","rank":"normal"}],"P1643":[{"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":"b0fd839b46f527b25fa76acaed412dabcf3ba848","datavalue":{"value":{"amount":"+0.9505677","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":"Q1127348$0AA6B6DD-D6C2-470F-8DEE-29EFF8767871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebff1a88eb2e8d92ed58b7d72126e2aa1677fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":3634954,"id":"Q3634954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56dc75e5c47777634d9b1b3a5500f837e2c7648","datavalue":{"value":{"amount":"+0.9462785","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":"Q1127348$F2B2EBA8-3DC1-492D-B7DB-04FDDCD821F8","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":"8c6a749b0a884f7316223cf007a7ae98193d4415","datavalue":{"value":{"amount":"+0.94465125","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":"Q1127348$B877D1B2-BB40-48EE-95F0-7EE7C070AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7757fac41d1e24adfaf0d63a0120e77e994b6459","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86abc1d938ab50ad5134cadacbe3409c2417db1e","datavalue":{"value":{"amount":"+0.9428066","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":"Q1127348$B8974C72-4785-4F17-853C-6C4757FD7CB2","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":"8b50ab4a14b82fdd83e39ede300c1e43f16fcf83","datavalue":{"value":{"amount":"+0.9419563","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":"Q1127348$B8E846EC-2E8A-4215-8013-1D3D3BA780C7","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":"80b81bbff87e2e3150cb68b02c34db73b8058e9d","datavalue":{"value":{"amount":"+0.9417762","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":"Q1127348$F1ED3753-7765-49D9-837E-B93DF84DE4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64227507c08edd59fc51edfe21c27ee35cfea146","datavalue":{"value":{"entity-type":"item","numeric-id":672705,"id":"Q672705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b39ed8f6fe10c128ad67618d28aa82afc98979","datavalue":{"value":{"amount":"+0.9389669","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":"Q1127348$8FE2AE5C-BFC7-4529-A12E-396785093A55","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":"605d8751fe65f6a8be58343872b047cdbe847897","datavalue":{"value":{"amount":"+0.9346241","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":"Q1127348$FC70C6B4-859B-4A3C-97A9-A6DA1A9D30AD","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":"e461109bf210711b6b673c004ae287bfbf10bc34","datavalue":{"value":{"amount":"+0.93441916","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":"Q1127348$71E04E33-A2F3-4360-B7C2-A638E6264979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea88118dc378c6cff517224091ba046fa6fd69e8","datavalue":{"value":{"entity-type":"item","numeric-id":3426203,"id":"Q3426203"},"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":"Q1127348$62E43432-D390-4C0D-BDB5-167C6DF4C1B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127348"}}}}}