{"entities":{"Q3787464":{"pageid":5817370,"ns":120,"title":"Item:Q3787464","lastrevid":52713164,"modified":"2026-01-23T08:21:38Z","type":"item","id":"Q3787464","labels":{"en":{"language":"en","value":"Transformation synthesis of efficient algorithms with auxiliary specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050973"}},"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":"Q3787464$18323FCB-89E9-4FF8-90A8-A81071D157D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1b822f7e984647a94084a8889d875eef9e1a534","datavalue":{"value":{"text":"Transformation synthesis of efficient algorithms with auxiliary specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787464$9606886B-F4EB-4B79-9D0E-0107A123B1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb465c892815c72f9921a50bb55f42e5ea910e54","datavalue":{"value":"0644.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$02D93182-CF0E-40BC-9244-9887B262F432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6def04b132276d502a130300b73d0b9460b4982","datavalue":{"value":"10.1007/BF01068689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$0AFDFD98-8A54-4F14-A416-143F5CFB316C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58aeda4272a999744bfea79950e821af55428ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1364091,"id":"Q1364091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787464$2E9D58CD-B4C5-4863-B63C-DB9D81770CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c275fc55dff7e2794b6bbca9032b74f9bbcfd75a","datavalue":{"value":{"entity-type":"item","numeric-id":1842441,"id":"Q1842441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787464$2E636CED-429B-465C-8632-D3FC7D050963","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787464$895CB007-ACAA-4E29-9C4F-C8066779963C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787464$1866C0EF-D738-4A53-9BB6-B09C0528D57F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$3C8868EA-AFD8-4FCC-9781-6B4ED020E34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$C1F8ED67-9E7E-41F4-B395-09ABA6F8BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$3FF883A3-069B-4A52-B302-214B2A335F4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02fe8e5fd9097ff42c2c546e781c65390f8631f1","datavalue":{"value":"4050973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787464$491EB5A4-6551-415A-8A52-58A0AB57524E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe621df8330be764c15b91879ef516703e75a330","datavalue":{"value":"transformation synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787464$55EE67A7-60E4-4CCF-81D3-0A6D6884A00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f78089affef06c072081bb824e40f99a75bd9","datavalue":{"value":"efficient algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787464$E3CA75E9-F1ED-4A9F-98DD-62AC109B6EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"449cd30e0594b6b8257688b0bf08dde49bc4db9d","datavalue":{"value":"auxiliary specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787464$1441F372-D38A-462F-B1BF-4238B2C0349C","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":"Q3787464$B0A2F857-CC32-4FFE-8E4C-8EB5360C07F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787464$992E1823-40A1-4F34-AFCA-2D8E87FC1AA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750cc1a42ad0287899f8ac4b7dc422627623575e","datavalue":{"value":{"entity-type":"item","numeric-id":1899896,"id":"Q1899896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197b22488733ad3beb4022e73b4f455889245341","datavalue":{"value":{"amount":"+0.6852999925613403","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":"Q3787464$B7DC3BF6-5065-4142-8192-37F6CF3D9C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1181c1757874949fd794c44531f402bb92d72f77","datavalue":{"value":{"entity-type":"item","numeric-id":3707401,"id":"Q3707401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ef7bb0ea2ee7ff95cc8c5d59deaae2db8d4f04","datavalue":{"value":{"amount":"+0.6848903894424438","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":"Q3787464$284B29BF-5810-4E1F-8FE5-BFE0F3A233F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7930b793b2b9c66b5d16571462f9cf7e55bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3314972,"id":"Q3314972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ef2664da8fd559f0e4c675e0067029601a3621","datavalue":{"value":{"amount":"+0.6847274303436279","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":"Q3787464$411B09EB-16F7-4EE8-94B4-256B71EBAE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899b8fbdfbd424cbec1d2b299c0de8e823331401","datavalue":{"value":{"entity-type":"item","numeric-id":676845,"id":"Q676845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8eb8b547c92ebeb32da23250b5b36b8326c11f9","datavalue":{"value":{"amount":"+0.6707099676132202","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":"Q3787464$29A6976B-1C4A-45C9-86C5-4A63115B2986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616de11a3c5610269ca01dfa82032d1ecc3e18e","datavalue":{"value":{"entity-type":"item","numeric-id":464896,"id":"Q464896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f7530150cd413b6a7de455a0a0124637b3806c","datavalue":{"value":{"amount":"+0.6690139174461365","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":"Q3787464$1BBF7732-55FE-48CD-921E-96E7AAC279B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787464"}}}}}