{"entities":{"Q3392920":{"pageid":3403623,"ns":120,"title":"Item:Q3392920","lastrevid":50747654,"modified":"2026-01-15T00:46:46Z","type":"item","id":"Q3392920","labels":{"en":{"language":"en","value":"Automatic Parallelization and Optimization of Programs by Proof Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596298"}},"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":"Q3392920$08035BA2-FB86-4B1B-93F3-F2496F09C9F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e0b6026c9611005c298a4a2e22768525f6fb7eb","datavalue":{"value":{"text":"Automatic Parallelization and Optimization of Programs by Proof Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392920$2D398ADE-425C-48C8-AC16-0C0D5E77D7AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b5ea1a5ac1fe8de07d322b9da7d8bff3209b77c","datavalue":{"value":"1248.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$F974FFD4-38FF-4888-ADDC-3C6DCAD4E7A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b5c6ac9bca4f4e87215bed2354fa0664a151990","datavalue":{"value":"10.1007/978-3-642-03237-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$C19A94AB-18CE-43B2-BB19-D435E313824C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cdc26614cb23756dd4bf1bffa0331d657ec461b","datavalue":{"value":{"entity-type":"item","numeric-id":3392919,"id":"Q3392919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$81ECBD59-34A3-4851-88E7-B123564DA0EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$9EBA5FA1-443C-43EB-80DC-228A1C2204AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392920$C1100767-8B01-41BB-AC1D-A9DAA8D4D136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"774c1f4a4aa9ee5b08183aabb06c7a9dfca88796","datavalue":{"value":"https://hal.inria.fr/inria-00380528v2/file/finalversion.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392920$C71FC944-8FA9-4DF6-A68A-5939DE60BBB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$1DA0A100-1D26-43DF-A6CD-8E4B0ADDF815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$96C60401-8BA2-4FEB-8F36-3740242CAA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1051d951adebdb66f5d9aec9547b7f4482c08d93","datavalue":{"value":"5596298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$994E7474-D9AA-4187-B5D6-70DEB29E185E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$E20A084D-BAD0-4D28-A919-DA45618C05B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$7345BF0B-C75C-4175-8216-0D51EEB9C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$CE72AC85-7BA5-4992-A68A-1AC69633EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$57B83397-1A4B-4A2F-893B-991EF742EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff3afe29d1e8937c87b1c893d05e113e8bb60d3","datavalue":{"value":{"entity-type":"item","numeric-id":21793,"id":"Q21793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$9FCB51E4-FB92-4CFB-8747-9092D87AF1A8","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":"Q3392920$4F3AD4E8-A833-4993-9986-9B00E1CA6021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a334cd5e9f96b35d29424e78c0b28dde703394a","datavalue":{"value":"W1606028453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392920$55DD30C0-69C9-485A-B622-AC4FC78C5FD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$35584C93-7994-466C-BB7F-C70C9507D9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$2C6F0144-23FC-4F30-ADF1-5205FE09B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$066431BF-DA0A-4EEB-9955-8BDF41C4DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67625aaf8ba1a48060cec8621d1bfe60db9cb31","datavalue":{"value":{"entity-type":"item","numeric-id":2852352,"id":"Q2852352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$C70FD75D-2F9C-41C8-B58D-3AE24186DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$E2AE25A9-72BC-48A7-B4D3-01151B58E4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$08ABB266-F53E-4B83-B775-892C07DC4356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$C8E6B447-CD96-4FD2-8807-EA24094888D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$1E190184-8A40-4A16-9D14-C1FB8604C667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2da5f727d92d7d66ef9c2c8c6cc0c752b004a04","datavalue":{"value":{"entity-type":"item","numeric-id":5505424,"id":"Q5505424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$AA1BC664-704C-48A3-A3AC-9FB613E33E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c1a857f3f7c0262819037009104978fc49cb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3392920,"id":"Q3392920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$8D294387-C039-4EC3-841D-7E05DB71B8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb7b88898929d94c0af2834f8f864d8ec7a21de","datavalue":{"value":{"entity-type":"item","numeric-id":5180827,"id":"Q5180827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$BC22B490-C10F-4007-9A28-5081AF3B6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$CFD77ACE-EA3B-4476-A622-6C971DF20FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$6F37EF46-BAA1-43F8-AA8E-12FBD33BCB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$C152B3CA-BF5A-4CDE-B7E1-7F597F389136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d699cb8884cea9bd8b2b7ef6885a4fde58dc0253","datavalue":{"value":{"entity-type":"item","numeric-id":3617713,"id":"Q3617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$C9DFFA44-1FEF-44F5-A904-D42732AD0650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392920$62EA6168-C1BD-4161-A31B-C55DC06AFCD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c581e951f58f3bce6a6014276c8ace14793f96c","datavalue":{"value":{"entity-type":"item","numeric-id":3617713,"id":"Q3617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ce2b5dee1afe413a5e3cb543a89b5cc5f3592d","datavalue":{"value":{"amount":"+0.7962492108345032","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":"Q3392920$DC064DC6-C27D-46E4-B793-508C2F3C88EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6736cf797efd74ce05dd7e57734fa354138ade","datavalue":{"value":{"entity-type":"item","numeric-id":4930723,"id":"Q4930723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb93a4fb724f3391678c9a04c0a9472ccbe0a97f","datavalue":{"value":{"amount":"+0.7679070830345154","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":"Q3392920$74FFBBAF-8F9B-4185-BD31-2B6538396847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedb0abcc53691ba1899bbb91612ea523ad5566c","datavalue":{"value":{"entity-type":"item","numeric-id":4728226,"id":"Q4728226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379d5de0dde97c5fedf0b76a5c120412a64e1eff","datavalue":{"value":{"amount":"+0.7619825005531311","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":"Q3392920$99CEEC77-43F4-4F11-BF67-05AA6E6F0127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7a18813d678dad7623afc23eb8515f5a4b4eea","datavalue":{"value":{"amount":"+0.7568973302841187","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":"Q3392920$EED82B80-BA14-41A0-A905-303A16CA69E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395c064621b7be02afe7be83f3da6c2d0ef02a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2938050,"id":"Q2938050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8e3d2794c7f11b60001ced583379a9f556c37b","datavalue":{"value":{"amount":"+0.7491394877433777","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":"Q3392920$7B303BCF-5580-4A21-A617-470831E806B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392920"}}}}}