{"entities":{"Q6483351":{"pageid":14062009,"ns":120,"title":"Item:Q6483351","lastrevid":76583061,"modified":"2026-04-24T12:47:52Z","type":"item","id":"Q6483351","labels":{"en":{"language":"en","value":"Transformations of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930327"}},"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":"Q6483351$858A515C-453F-446C-BA9F-09ED73463E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9873e456b6d09619732b0b5aea8cf516066d043e","datavalue":{"value":{"text":"Transformations of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6483351$241EF36D-C4D0-4463-9A21-D3219854244E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed4739b5e62d38ed546b255ea64e26e16ab902b","datavalue":{"value":"581.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$616DB3BB-3931-4A18-892B-04CD3D8D5B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18c7dfb87bf776e73a03015b34f6a08b76881d2e","datavalue":{"value":"10.1016/0743-1066(84)90028-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$261AA3D1-7B58-4ED5-8921-B1B5C5C6D3A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ea05a65a2e89072fb99b98c3bffe374c37656c","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6483351$D41C1274-FB67-478C-B623-F86D783F6A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58dbf3f5c446a388e1e3eb0c603c6179f0da2014","datavalue":{"value":{"entity-type":"item","numeric-id":802552,"id":"Q802552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6483351$5BEE59B7-574C-4C28-BEB4-E4997442DCD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6483351$BA9DF864-68FD-480A-ADDE-9E6E9FD483B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$18ADBA1E-0826-4A42-B9F2-30E2965083CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$35AF1BF0-8AF3-4241-9F85-7A2907D02E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$65AA010A-2E44-4EB6-BA48-84CB4A4B4AF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af460f6025a6dd12f3286256eb08700ae2fd9950","datavalue":{"value":"3930327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483351$FBE80462-F762-4030-82C5-AA02BCB6E3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afed029624869c3f1cd911322ad6ae398a5fce78","datavalue":{"value":"program complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$2896281A-019B-421B-8C57-5E23DDE54190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdeead1dc9aeeaa44b5ca67748b2710c8891968","datavalue":{"value":"normal form of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$4E96AB3C-8EC8-4C66-9EBA-77398192B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$20FE6557-A06F-434B-B5A9-1CE4BEFCF692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$541E4DCD-1D69-4ABB-B557-77567B1AE5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$4675DEE6-09C9-4020-A6F5-4F40076FC006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cff94808e7143328193c4e4455471a569a111e8","datavalue":{"value":"measures of complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$ED34F186-7CCD-47FB-9AEE-6B88A1AE2AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c330334592d68b81fd86a2a31e2bd5fa1acfa367","datavalue":{"value":"computation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6483351$D39BD80C-5D64-41AC-971E-DDB7E4F884F0","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":"Q6483351$E20B274C-F46C-4DDC-8E12-42EF1F188ED5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf333ff86297caa4152590975d8550edb27c087","datavalue":{"value":{"entity-type":"item","numeric-id":3347254,"id":"Q3347254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9a8ffe3c19428b1d2ade8f16313aff5ccae786","datavalue":{"value":{"amount":"+0.8470752239227295","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":"Q6483351$C563D063-1344-4B22-AD5F-A9BF5D849DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7e472536d7177b365442f663cfcd38ab9fc35c","datavalue":{"value":{"amount":"+0.8404639363288879","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":"Q6483351$60CD8E0D-0FFF-4C04-AE9D-D117A56E75FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2949fe4b7e3062d8fff293c6804458b87f4b77f","datavalue":{"value":{"entity-type":"item","numeric-id":756406,"id":"Q756406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29e98d80f8a1adfa56296553930d16aef250bc9","datavalue":{"value":{"amount":"+0.8268802165985107","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":"Q6483351$474E4018-813B-4AA4-B279-864567B34EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42302c140e38d1b4d07fedf99a6cdc445beb17a8","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762e08b2a3b0599291e95660eb0fccb113aa6268","datavalue":{"value":{"amount":"+0.8207036256790161","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":"Q6483351$161BA499-0687-4CE0-A01C-5573307EE531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299ebbc086cbfd5e249a96d973e400e3e2ed5b40","datavalue":{"value":{"entity-type":"item","numeric-id":1119029,"id":"Q1119029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762e08b2a3b0599291e95660eb0fccb113aa6268","datavalue":{"value":{"amount":"+0.8207036256790161","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":"Q6483351$D71DA0BD-A5CD-4D6D-B09D-B7E64D142B73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6483351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6483351"}}}}}