{"entities":{"Q1274969":{"pageid":1285719,"ns":120,"title":"Item:Q1274969","lastrevid":68554551,"modified":"2026-04-13T00:31:43Z","type":"item","id":"Q1274969","labels":{"en":{"language":"en","value":"Transforming constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238718"}},"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":"Q1274969$CC62B155-AB24-4E5D-BD30-2F50F339BEF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b98dc47e96f9405362e8997042fea3f4785516d4","datavalue":{"value":{"text":"Transforming constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274969$10CFF238-83D3-4888-84BA-E99CB7BE2A78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aada1e907ab89e690b031f2755a2a1353d6e3aa","datavalue":{"value":"0913.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274969$758B6C17-446E-4C35-82F5-D87963FAC01C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3b531875198bd8f71286669685d8d4d515b657","datavalue":{"value":"10.1016/S0304-3975(97)00077-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274969$73449034-13A0-437C-9D24-9722402E347E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd4b52af7a82dd2096e06f662e65b9b16f8972c4","datavalue":{"value":{"entity-type":"item","numeric-id":1274968,"id":"Q1274968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$B9593C1A-880E-427B-A919-BA4136A644DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$7ECF8C9E-1F6E-4427-80E1-031A8581E71B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$63F34EB1-96C9-41C7-ACBF-36F0DA4FDF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274969$BF412546-F00A-4ED5-83D1-130790E5A2D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274969$96688B80-4293-4CF3-B898-CC61927D319D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f441456777c1d6fafd7661e11bb5198432b1e583","datavalue":{"value":"1238718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274969$BFAA45B2-4C17-4666-B152-6ADFB346C31E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274969$0E29B4D2-F0FE-432A-88E0-6A5E7358AFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274969$F18F9D9F-A573-4260-8FAD-AFEDCED7C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c7c64208a4ad8d6116f05a3ea9829e813ac9ea","datavalue":{"value":"least fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274969$F009ABAB-1497-4AD1-95A0-F49AE8AC2FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274969$51E93FFD-B691-4471-9858-E942984AE606","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":"Q1274969$3F889882-1D25-4158-AEB3-5CE5C3963375","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c1d39f0a577c51ecbcbfe9d106cfffc14a0150","datavalue":{"value":{"entity-type":"item","numeric-id":4942662,"id":"Q4942662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$8F72E8E0-2E9D-4800-B665-7E6D344C3F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aca387e341fbb9b8bdabd6b9c61c6e540a4bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$B6389543-973F-409D-99E9-653AE1EC5EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$CB214BF9-F649-4C3E-B2A2-AF387ECF4155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e49d24efc4d6e28e97928249b399027bfe2db6","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$C13A9C9C-8291-4BD1-BA83-40DE3F504E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bafb57993c5d7a3d62a6af57eb9d15591c6501","datavalue":{"value":{"entity-type":"item","numeric-id":4013771,"id":"Q4013771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$82444517-51CF-4029-B729-B446C000AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$75F1130F-9AE8-4344-989A-1919CA4B74F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b30a7899071cd6e03259a1b2fbf9fe26a18207","datavalue":{"value":{"entity-type":"item","numeric-id":4259953,"id":"Q4259953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$D3C37AC3-3E98-4316-97DC-EED0C28A3F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$1451759A-5FA5-47A1-AFED-D00270A10B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08660eb960fb992bf546d146b48be64180be461b","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$EDB573B6-9491-4CD8-A3BC-65955CEA05CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$529773F1-BD53-4284-8083-5D7A615F0417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$7DDD5173-BD34-4A4F-8350-67A407FF5415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26a80bcf7a14763b73bdf26c090b46f265a3259","datavalue":{"value":{"entity-type":"item","numeric-id":1208734,"id":"Q1208734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$B832EF26-815C-40BE-A307-C58AC0E4316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80fe7a2bf462f7812078ffcd3913e553fd2dd797","datavalue":{"value":{"entity-type":"item","numeric-id":3142026,"id":"Q3142026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$DE535152-DF07-4148-86D1-0FE6C8830DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274969$0FB4B627-4BCF-4E86-BC85-9EFC496CC956","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6af89c01afe9c7a83e7f5630cfacf676994201f","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00077-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1274969$D0775B64-EE8F-4DA6-BEC5-462BE47CA4F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ff1596258a0ed43e6a183d63b237302fbea91ad","datavalue":{"value":"W1975155152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274969$F0252106-73AD-4703-AB7A-66A89E9E535E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0b9fecf0fd081eac2b4d706ad665fbc9ba56d9","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74977ac9e634ed3a4d1ac9dab6a3269781e75b1b","datavalue":{"value":{"amount":"+0.8377094268798828","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":"Q1274969$D619ABD5-01B7-45D5-93A6-BD5FDBAE3999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ff7aaefedd86c8eb9acf34d1a83331ea5f3fae","datavalue":{"value":{"amount":"+0.8205923438072205","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":"Q1274969$8DD60F1A-7581-4E44-BACD-B470F603F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbd95ed1c621897330e854c29a9d3ca0fae0b47","datavalue":{"value":{"entity-type":"item","numeric-id":5712537,"id":"Q5712537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff82dd6d8d2d8e866cc9f50ab299df653419f8b","datavalue":{"value":{"amount":"+0.8199052214622498","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":"Q1274969$5702484D-C0BE-4A88-8F8D-F0EC6998DC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd969b5fc7f97a2b5042f32c27d3b98479b4a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1037f8fc39638c416ac9bbbeb254dfce534129","datavalue":{"value":{"amount":"+0.8074209690093994","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":"Q1274969$B003456E-5CF1-4C8A-B22D-DB72BE8DAA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b82cea031730bae863c3af58c233750e0f90eae","datavalue":{"value":{"amount":"+0.7969712615013123","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":"Q1274969$59230D68-D6DF-4409-BC12-1D2F04291CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transforming constraint logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transforming_constraint_logic_programs"}}}}}