{"entities":{"Q511027":{"pageid":512794,"ns":120,"title":"Item:Q511027","lastrevid":62381319,"modified":"2026-04-11T05:42:01Z","type":"item","id":"Q511027","labels":{"en":{"language":"en","value":"Proving completeness of logic programs with the cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6684505"}},"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":"Q511027$E55DBBAF-EB13-453C-B072-C1860466FBAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a94f8d0fccc0b7f4cda7b36c9634769c784488e5","datavalue":{"value":{"text":"Proving completeness of logic programs with the cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q511027$952524E0-9F6A-44F4-ACE2-2DC4231613DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"145750137ee6cfeff35d8e2980531e9b019261ea","datavalue":{"value":"1355.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$E0CCC8A9-E7B0-48C3-89BE-A857BD396FAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$25FEFB2C-2118-494C-9E05-9C1951B6ED63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$27B761F5-0C8F-478C-9005-2753EC26AD7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db40ba1d53c33135c8dbe5d4d9cf42f70aa50a74","datavalue":{"value":{"time":"+2017-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q511027$BA28111E-8821-4020-B498-BCF7306A66C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cefd8f5266cfdf7c72965f9180c98f1d4dcf34a5","datavalue":{"value":"https://arxiv.org/abs/1602.08778","type":"string"},"datatype":"url"},"type":"statement","id":"Q511027$932E5248-A953-4F6C-96C5-6736B78FBE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$1529C914-215E-499C-86FB-7F24C2B5FCB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a20159589e470b304c5ccbe24952b0b2b2f92e1","datavalue":{"value":"6684505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$3A5937FD-4AA4-46D6-9EE1-F34BE5BCC8B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q511027$2B2D3B9F-FC68-42C7-B4EF-5DF4D27E1B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q511027$BB4CE2BD-87B5-47D3-9571-EDC7C5C7CB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q511027$8300F370-D812-4856-9425-A6E49B9834A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d43f729f6f3364a4fe7aafeb4a1e84220e941ba","datavalue":{"value":"program completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q511027$33474543-4EA3-480A-AE10-E910D3FD7E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q511027$98E35FE5-0EA0-496A-A2EE-7F5C1D121110","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":"Q511027$DF4B0406-245A-4BD2-9C8B-D94389BBF554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97992dc250d1284d45b64e15f7cd0308377a325e","datavalue":{"value":"W2289914401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$0335502D-5D99-49DA-9577-D8EB61CFED94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00afa3c8d62457d23c4b5795d13ecb0434dd78cb","datavalue":{"value":{"entity-type":"item","numeric-id":4452589,"id":"Q4452589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$A50E53F2-B3F7-4188-8235-A2BEA879E2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$B6EBE2D4-B195-42F3-BEF8-42A4BDCEF062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239a5ad48880ac4ae8c8ab05a5afc8e6e25db418","datavalue":{"value":{"entity-type":"item","numeric-id":3585154,"id":"Q3585154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$2A747BDA-5316-4849-B862-198A27EF14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$168FC8FC-022B-43E7-957D-8954CCAA55A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$BBCB5BB0-0D55-4299-89C8-C0B51DD3BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$F6739063-ADA1-4AA2-803B-08C5EA5F60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$468477F2-DD9A-4288-AC7F-5738AC120714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$916E33F1-14DD-4237-A449-B5AF08B4767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07031ee71c40306176d9882eb83a4e5adafbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$0FC60342-581A-4658-95E6-843385B0F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$0A7E45D4-157D-429A-B6A0-93670F2D778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0678fc8c1f2ed5a27b558c1d8db9d3d1e59c2e1","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$5234E5BD-4A06-4620-84FC-5225A77F4D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26126f876d4c6d7688c2d6c268f25eb029e7a268","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$16010CB3-C3EC-416F-9069-D7822D30F9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45540783df911c2622f08da2e8d70f1ad2d600b4","datavalue":{"value":{"entity-type":"item","numeric-id":4593038,"id":"Q4593038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$0112ACD3-284E-4556-8E80-1F02BFDB2B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a018ae0012997acbcad3c78eb1443f3f21cd52d","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$7932AE22-A652-43D9-9A03-BE483A45F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03741dc53218d567daef9852d74ff42b1945c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5170718,"id":"Q5170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$FBFDA8F0-F391-4346-A417-4F80EDF78EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db5c740654841c88eff53691dabd54ddd6dabcf","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$ACBC3520-50C3-410A-98B6-623AE5E734FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$26107BCF-F1F3-479F-A6C4-257D486BC001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c354e46dae3b4cec8334dce56537996bccb0ad6b","datavalue":{"value":{"entity-type":"item","numeric-id":4934231,"id":"Q4934231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$AC83FBFD-50A3-42CE-902A-B0593742A0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511027$931EF2B9-A588-4968-9448-D2D0000E6960","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98a1e991807a83fd1774ec57471263e91bfad182","datavalue":{"value":"Q130853227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$7080C6DB-98E6-4AA7-9EBB-CCEDCC61C666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6acb629da4ed80b9193b14f9aef83180808cb2ea","datavalue":{"value":"10.1007/S00165-016-0392-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511027$523260E7-2235-4578-8A2C-F850D7BBAD7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53834e3688bcb88eb36cbd9d544d09fa4f7a6cb3","datavalue":{"value":{"amount":"+0.8798055052757263","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":"Q511027$3FE1EE4E-D367-4E56-A7AF-91AF565BC214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9384d301adb94b0448b78e947fe4261d45d08","datavalue":{"value":{"entity-type":"item","numeric-id":4283249,"id":"Q4283249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007cfc2dcbb9d13247daa969241b753d45e10bab","datavalue":{"value":{"amount":"+0.8223437666893005","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":"Q511027$24A4461E-9D73-48A5-A997-D2D630D7A4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd76aef2340b4bc5c0bb7005e042c1a10a77247","datavalue":{"value":{"amount":"+0.8147026300430298","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":"Q511027$C88EF56A-FD58-42C7-8822-BC3FC0B5A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a98a05bda9ef5c87258cef48929efd72e5b35fc","datavalue":{"value":{"entity-type":"item","numeric-id":3782841,"id":"Q3782841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6f467dae35f0786a6cb01f5dfdc04dfbf823f9","datavalue":{"value":{"amount":"+0.7809593677520752","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":"Q511027$8AF7B7C9-0B5F-4CAB-BFAE-6CAEF3ADC6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1f5772c2c522d00d94de91a9d335d81fb4a2e4","datavalue":{"value":{"entity-type":"item","numeric-id":3835051,"id":"Q3835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0860a5cbee5b671979f6d0784ebc457b3d676ea1","datavalue":{"value":{"amount":"+0.7682209014892578","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":"Q511027$6686F468-61DB-40A6-BE79-0C4ED6E5C587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving completeness of logic programs with the cut","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_completeness_of_logic_programs_with_the_cut"}}}}}