{"entities":{"Q4815031":{"pageid":6844611,"ns":120,"title":"Item:Q4815031","lastrevid":74560608,"modified":"2026-04-14T23:21:14Z","type":"item","id":"Q4815031","labels":{"en":{"language":"en","value":"Tight logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092648"}},"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":"Q4815031$5829C947-E620-4DA7-A7F8-94C965417CCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac54fc743babc276e56e7ea753cc378a65fd2afd","datavalue":{"value":{"text":"Tight logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4815031$3F1F3032-35E9-4116-8FD7-660D0546BCD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1070e85a2d94527a11f274682fae23a05b7f6a66","datavalue":{"value":"1079.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$F452E024-75FA-4BAD-ABCE-FF8172D7A1C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f54d0fa708b8c4ddd88b227dbc7cefcb05bbb3d1","datavalue":{"value":"10.1017/S1471068403001765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$22094519-D4FF-4B1B-99DF-E762AEE52CC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d75ab9c8a34b62c69edde9297400ff2a813b4e39","datavalue":{"value":{"entity-type":"item","numeric-id":421453,"id":"Q421453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815031$17A8426D-5E48-41FB-9CCA-5344D7D8DDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815031$1FCCE21A-B319-47F5-B2F5-A5329C9F6144","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":"Q4815031$9BF3720F-BD3F-4A1A-843C-BAF6352CC47C","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":"Q4815031$A26EFE49-29F8-4F78-920E-BED61EA1CC55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$481C831B-8F33-4B15-9A2F-93B3D88406F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$004B3D7E-0B27-499A-8F27-313740D5469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$0E9BD9E1-6D65-4CB0-80AD-878ECC247627","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4503789f8f37241cbf3a6c4adaa062b032c23857","datavalue":{"value":"2092648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$1D1867EF-ADDD-4F38-8659-0C5DD29282AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b55d730ebd71dee81ed11158db60d308dc175ef9","datavalue":{"value":"Answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815031$4CA42E62-989A-4ED7-9959-4DF798C0E652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad4449a765947a06827d68bf6bae39b1f0ba439","datavalue":{"value":"Completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815031$13DD055D-CCA3-4CDD-9489-5E6D43A45445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e386157b34406d9b397dcd9ac56626d42300949","datavalue":{"value":"Supportedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815031$3593CBD4-099D-48E7-9E0F-509D4619EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33826c8b7602b8b4c59bcfbd8b26491049b8fc84","datavalue":{"value":"Tightness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815031$892FF3B8-AE21-42A4-8DC8-39B9AA68B36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776aeb480dfbbf498e9017f7276aa6a3149e88f8","datavalue":{"value":"Fages' theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815031$B6AD132B-BD4A-4A5F-A783-FD12999DCAD3","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":"Q4815031$9021AEE4-2FBE-43E4-964C-23A1CC98BB96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b37601245fb4095a5a60acba71df009d2d428d3f","datavalue":{"value":"https://doi.org/10.1017/s1471068403001765","type":"string"},"datatype":"url"},"type":"statement","id":"Q4815031$3035F739-E225-4A2C-8FFF-06B3B6E363E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43217a2a10b72d9cba787744c00b4320ab7b771d","datavalue":{"value":"W2158059231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815031$7A9516EE-2643-47CD-BE74-4CA549EE6CB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3a38e78f6a156ca29efc1a7eef2d172e6e013d","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb817677b8830dcfd0ce30d9c41a0fa992fcd862","datavalue":{"value":{"amount":"+0.826024055480957","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":"Q4815031$D6B3D86B-91AB-4AD9-AAE8-858C07A97EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0cac6981f58e33f807f4f8d9568fa6c53de152","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e337906705f476a1c82ed3d7a878012615164885","datavalue":{"value":{"amount":"+0.8231655359268188","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":"Q4815031$427AD7BD-3AD2-4861-91D1-591C71A278CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57174e8a3ecbc292f684f68723e332e7d5c6cd99","datavalue":{"value":{"amount":"+0.8001530170440674","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":"Q4815031$275B0538-AA5D-4BDD-AFF6-FAAA3BE3BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf67681e0f32eedeb6b49c09fce8612d504403c","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57174e8a3ecbc292f684f68723e332e7d5c6cd99","datavalue":{"value":{"amount":"+0.8001530170440674","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":"Q4815031$6F38293D-B281-448C-9522-A55C0E2CDBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95b5af4344e478db00bfda54ad8c51a2db6f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":2883086,"id":"Q2883086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5e3edbe1661e7fafb1fb6411b317cf58fa04e3","datavalue":{"value":{"amount":"+0.793239951133728","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":"Q4815031$D8390558-3F64-4D07-8177-49EE2119769B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tight logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tight_logic_programs"}}}}}