{"entities":{"Q4911140":{"pageid":6940719,"ns":120,"title":"Item:Q4911140","lastrevid":58359468,"modified":"2026-04-04T21:18:54Z","type":"item","id":"Q4911140","labels":{"en":{"language":"en","value":"An improved proof-theoretic compilation of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144691"}},"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":"Q4911140$A9B3061D-D602-4118-BA5F-D7F59557B295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"056d789b95a446bc86c70861cc3bc47ca6c23112","datavalue":{"value":{"text":"An Improved Proof-Theoretic Compilation of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911140$412DBFF4-CE47-42F0-BAF0-058B8248D819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71e13a79e996f70f1d368b8da3ae44882fdb7d93","datavalue":{"value":"1260.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$8FC1D959-23D4-43D9-93AD-DADE732990A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"674e3795d3994af63dccf89809aad396b5894171","datavalue":{"value":"10.1017/S1471068412000221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$E56B2B88-1F68-4E3C-B310-B94C925D9BC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$B25E9324-B1FE-4295-99A9-154FDBE9C0D4","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":"Q4911140$3CF267B0-E4FB-4231-A6F0-31C8A3023A5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-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":"Q4911140$295A0DF7-6BA3-4A09-80DD-414D432D2763","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a828d4eb17af16c12f168ae0c7d01801fb283656","datavalue":{"value":"https://arxiv.org/abs/1210.1653","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911140$F5E79ED2-406F-4C54-9820-F8650257CD08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$A2912ED5-136F-4197-B819-4EF6BC493A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$470667DA-222C-456D-B8D5-2FD5ECDA6FBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2beb69a60486cf7386dde618bbef114652f7e79","datavalue":{"value":"6144691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$BF973501-2B8A-4D62-9D47-7FA25E7F847A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911140$6B6C36CE-51B6-4DCD-8F3C-4A8CD914828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ae732590de36907c362e68c9d8581dde7f2678","datavalue":{"value":"abstract logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911140$BD0BA278-33CF-4F29-A479-36ECD3856D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c2f5832dfcccc0ade18342f09637f003eaf6cf","datavalue":{"value":"hereditary Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911140$F76D952D-E93F-4665-A54E-5764740ADE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0de0ce5d9be8ec7cc1c37553d66884801ab8e84","datavalue":{"value":"well-moded logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911140$E8799093-20DF-4565-8604-28A12E08CE16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$46981D64-FDE2-499E-9C89-7BC98735EBBF","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":"Q4911140$DEA713C6-88D7-4224-817B-5889CD08202D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$7206740E-D4BF-4CC2-9C28-5E835A829373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d4de458b582bff7101ec6fea58a295e0f043f8","datavalue":{"value":{"entity-type":"item","numeric-id":3792215,"id":"Q3792215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$144B21F9-3F9B-456D-A72F-BF1D1FD36895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$B280F1D5-623A-43BC-A452-6576B8885082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$9C3340FC-3119-4141-9420-3C2A385BA483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95182f2cc2a60105385a6076ab3574d89a529bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$CF457B4D-56FB-4C9C-9625-A08AF86D8AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169b2f339340359af747448063c133ed6019c736","datavalue":{"value":{"entity-type":"item","numeric-id":3395096,"id":"Q3395096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911140$3AC74071-5526-491D-89AB-E036EB0746DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c035881232b87026efaf65f1429d7dad40383ed","datavalue":{"value":"W1991813723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911140$87042DE7-934A-4FC5-B16B-911515074965","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b59b8ff94a887eeacfa89279cb7525faf9fc91b","datavalue":{"value":{"entity-type":"item","numeric-id":4944869,"id":"Q4944869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1ccba6056f3eb953058222b7707b4db0c01f23","datavalue":{"value":{"amount":"+0.8489712476730347","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":"Q4911140$9BDCF214-A0FD-4C5E-9DF2-76C679937928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf38afce0735c00befb4dff53c39e111244570","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51effa317aa054df0d05f764816408dd2eedc5e4","datavalue":{"value":{"amount":"+0.760069727897644","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":"Q4911140$3ADE1B58-96D9-47EE-B0E0-2E10B5B4E14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51effa317aa054df0d05f764816408dd2eedc5e4","datavalue":{"value":{"amount":"+0.760069727897644","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":"Q4911140$7D554E88-4CA8-4703-8A02-4337CAF64380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc39902aca67d2b41184be6c21315510dd47a1c9","datavalue":{"value":{"amount":"+0.7573827505111694","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":"Q4911140$6D1D01FA-C154-4C81-B476-75C17E76B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79ccd4b6f03857a9c1f335cac9856c38943d462","datavalue":{"value":{"entity-type":"item","numeric-id":2949715,"id":"Q2949715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b19b28b5b4ae61b2bd3896ca2fff4bd0cf42fbb","datavalue":{"value":{"amount":"+0.7567716836929321","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":"Q4911140$F3EFF0CA-0F5E-4081-9523-8B36A4F154C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911140"}}}}}