{"entities":{"Q4669648":{"pageid":6699229,"ns":120,"title":"Item:Q4669648","lastrevid":48461299,"modified":"2026-01-04T21:35:38Z","type":"item","id":"Q4669648","labels":{"en":{"language":"en","value":"Speedup of logic programs by binarization and partial deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157089"}},"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":"Q4669648$F8B1D6FE-B917-4D6E-8391-D9297BDDE233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1e23ead560619e0bacbc8d11d62257e51d30e8f","datavalue":{"value":{"text":"Speedup of logic programs by binarization and partial deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669648$0E170ADB-15EF-4555-A0EC-DAC8A31DC853","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b807f5a630eb5a2da1e13af778df63c7483e1e3","datavalue":{"value":"1093.68557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669648$5C4D41C4-D91C-4C29-8973-BFB2D19F1E70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37740770a28748894fd0cba110cc5251327cbe27","datavalue":{"value":"10.1017/S147106840300190X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669648$57A94C65-84F3-484E-BAAE-3218C59A9C02","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":"Q4669648$48AD3E02-8176-4CE8-A4AE-F130E797985A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669648$6497A9DA-227A-4344-B85D-9C04425FC03C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669648$CEFEBCE1-ECA7-4221-A520-6A4FB42A65BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5462f6d1dccb5cff40545af7e5ff866040f61b00","datavalue":{"value":"2157089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669648$3C4446BF-DD9C-4D5F-A4AA-0B21A84CD64E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669648$C0AE58F2-D08B-4972-A003-D1F41FB7BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d1e239d75582ba1bf18a62dedd3df8b470c298","datavalue":{"value":"binarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669648$7D84F80F-2434-439A-BBBB-DC7C9717232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669648$3FC4E909-D444-40DF-B877-7F7F6F420ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75881d19882288a2c892b8349c9d403064ec7d4","datavalue":{"value":"partial deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669648$03F302A6-E8D6-4F40-BE85-2583CB203A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e20c0482078eadaa7ad2ed9897358d4d26d","datavalue":{"value":"continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669648$B648A9B1-68C6-45C0-9F29-B493BC855717","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669648$59DA3835-0F14-4587-9E65-74CB46331320","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":"Q4669648$296EF090-C95A-4056-B960-52462FC7CC63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9545ec51f0f20d363b9e4d7140193cb625d25ad","datavalue":{"value":"https://doi.org/10.1017/s147106840300190x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669648$A2214F4D-0288-4625-BC2A-9A8C6612AE1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6845bda0c53e4b3b44bbddf83fc58f0fad3c867","datavalue":{"value":"W2137485986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669648$85F7DC06-1236-4DBA-A3A9-9A80ECF241EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7e8b59c35a072b916f2cd4ea4375cfaa599080","datavalue":{"value":{"entity-type":"item","numeric-id":2767048,"id":"Q2767048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5f5c2c4ef506a4d69110b385c6a4db5f410d98","datavalue":{"value":{"amount":"+0.9694899320602416","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":"Q4669648$75FD2DB1-7BEA-468F-B733-68BED5689E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be38d12a01dc64ef90da2860a1846fbb228f6c7","datavalue":{"value":{"entity-type":"item","numeric-id":4217937,"id":"Q4217937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5f5c2c4ef506a4d69110b385c6a4db5f410d98","datavalue":{"value":{"amount":"+0.9694899320602416","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":"Q4669648$7E21E493-734E-46E5-99EA-04E4B95CB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e97ae877187290e8c40cb957954647fd6a7d26","datavalue":{"value":{"entity-type":"item","numeric-id":4286220,"id":"Q4286220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdaea5aa9f6cb1377f2b98b30fefccd3efde9e9","datavalue":{"value":{"amount":"+0.7651067972183228","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":"Q4669648$E5051A3B-04D0-4121-B533-651B58D0B1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3578d29938b0a0cae2f1e6803d23f47b5c12d939","datavalue":{"value":{"amount":"+0.761069655418396","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":"Q4669648$B44C9013-3157-455E-A842-F24838E3A23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dac2e56839e06153654f40d8d02fa06e6b96372","datavalue":{"value":{"entity-type":"item","numeric-id":3142026,"id":"Q3142026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e653ee15a474e1241c839ca7771c58468da90b","datavalue":{"value":{"amount":"+0.7609992027282715","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":"Q4669648$39D75BAC-495F-4FE3-B629-228EA7E4FB8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669648"}}}}}