{"entities":{"Q4815033":{"pageid":6844613,"ns":120,"title":"Item:Q4815033","lastrevid":74560626,"modified":"2026-04-14T23:21:14Z","type":"item","id":"Q4815033","labels":{"en":{"language":"en","value":"On the expressibility of stable logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092650"}},"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":"Q4815033$829D2A17-0F02-4755-98FC-848ED8C33D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cb3cc845065ac23e3b7ffea1fbe63b3ecdd196e","datavalue":{"value":{"text":"On the expressibility of stable logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4815033$968D1627-E4D5-4B8D-8CFA-D22033541B4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84135a4da3a0a499023132fe5b6c93788a543b4c","datavalue":{"value":"1079.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$8C40E336-85D7-47BF-A8A3-098F0EEA33D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6c16642ebc421c36bc6140d9650a3dfbf3d8da","datavalue":{"value":"10.1017/S1471068403001777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$69FCADF1-93CB-4807-BCB9-3044C5E9BBE3","rank":"normal"}],"P16":[{"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":"Q4815033$C635BB73-FE84-4482-BA97-6ACD69D90CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815033$B2889563-7D74-4201-8D18-1A1C9FE6E725","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":"Q4815033$30B2FC06-3023-48E6-AF6B-DEC678CF8846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4815033$13CDB531-E901-45B7-997F-9EA0B505FCA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$FCB1CC8A-F567-409E-99FD-64F5D916054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$6E6FCC27-1DEF-4881-9F03-6AE126A3E526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51fb3c5adf187dcc9cbb1ba038427ba4c1b47f62","datavalue":{"value":"2092650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$C3F8396D-37A9-4A71-848C-5F303788386E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db59140853637909bf2a7eb91e85c978b5beb2a","datavalue":{"value":"Answer Set Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815033$E9AC1AD2-1082-43F7-A7C0-32BBADDD8F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815033$BEF07DEF-71AA-4643-ACB3-E962029C69F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf9a47e04916850debae32488240667912df923a","datavalue":{"value":"expressibility.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815033$E87989E2-D4F8-4221-A6ED-77FDECC25BFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815033$E5FFDEE5-798A-4EA7-94BE-37A1FBB7C2BC","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":"Q4815033$00545A85-69EB-4912-8836-728F36F38678","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9681914efa2b2a5dbc816cbdb9327a34c0ff0965","datavalue":{"value":"https://doi.org/10.1017/s1471068403001777","type":"string"},"datatype":"url"},"type":"statement","id":"Q4815033$F443D86F-463E-4F07-BBBE-96F157BE917A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"567e149ddf8e35b6e30eb1ed5f97a48dd66db9c3","datavalue":{"value":"W2141407569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815033$28E474FE-E5D3-4A4B-BA64-84580F4CB1AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280d771e24f08f0a211a2ad0567d631b1556027f","datavalue":{"value":{"entity-type":"item","numeric-id":4798003,"id":"Q4798003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q4815033$59CB192C-838F-4130-AF7D-F7AE6A44007D","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":"a049f6816e45a867eb6e15098fd65becd40c287e","datavalue":{"value":{"amount":"+0.9599551","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":"Q4815033$7EC34FA7-B18D-4A4C-A76B-ABC8C26ABE2B","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":"bcd94998834b8648b730f02a734a38cce597966a","datavalue":{"value":{"amount":"+0.9496247","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":"Q4815033$2BE65D9C-FF57-4362-81B1-5DCFF096F318","rank":"normal"},{"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":"2fd161b9c92430f6f34b793e0e0efc6126f019e4","datavalue":{"value":{"amount":"+0.9205327","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":"Q4815033$E96A2E76-6923-4D6B-96FA-68468B671086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55706b60f86d931a893849fb4747816256a4fa9e","datavalue":{"value":{"entity-type":"item","numeric-id":5434521,"id":"Q5434521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5caaf798f042cc167ba40a7e2144be9a4340ab","datavalue":{"value":{"amount":"+0.9194187","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":"Q4815033$8D64B249-2E31-4A26-B8C9-7C103A9BBC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0c51c92e93fb233514ecf9371ebfdfe0bce8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5445168,"id":"Q5445168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5caaf798f042cc167ba40a7e2144be9a4340ab","datavalue":{"value":{"amount":"+0.9194187","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":"Q4815033$F1C6C772-34AB-41DA-85A3-1244F8275F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd958883deeb9bba04aea55b296dd671709f097","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77de96a9e3fd3aaa6eba237febd26e5d490b94d5","datavalue":{"value":{"amount":"+0.91903937","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":"Q4815033$2357EA60-F2AC-44AB-93D2-9427BC19C729","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":"5df3f59cbc1d60e05d66cfa3f5f7cbdd195a42e1","datavalue":{"value":{"amount":"+0.9160855","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":"Q4815033$8801185C-AB2C-407A-B5FD-DE66CBAA61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa462a9dfabb62c953496b2f91b2a585d8732c47","datavalue":{"value":{"entity-type":"item","numeric-id":4371993,"id":"Q4371993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4a5d72785b6d8ec5312e66f7804d0eb059488b","datavalue":{"value":{"amount":"+0.91464126","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":"Q4815033$3357DF6B-7176-4451-AD31-1586B29E321C","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":"7a3ce80630e1cec35d563ac3a08d590931608fe4","datavalue":{"value":{"amount":"+0.91406065","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":"Q4815033$06C6090B-309A-4572-B63D-3A8C23A7A1E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressibility of stable logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressibility_of_stable_logic_programming"}}}}}