{"entities":{"Q4930715":{"pageid":6960297,"ns":120,"title":"Item:Q4930715","lastrevid":51095567,"modified":"2026-01-16T15:46:38Z","type":"item","id":"Q4930715","labels":{"en":{"language":"en","value":"Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794749"}},"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":"Q4930715$830D173E-0DBA-4EBF-8642-C6A11E02F7E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f062ec68b22b60c9b6fd76482180acc0f73106e5","datavalue":{"value":{"text":"Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930715$57A0B450-5339-4649-9C7A-B30731C031DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f8a7d1909929b1f2b60fce2e24e507042e9c032","datavalue":{"value":"1306.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930715$CC007E4D-0BD0-4F9E-97DE-D4F194AE393B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3568a9dc35e4ea4c8cc88b555d953c35964d20fe","datavalue":{"value":"10.1007/978-3-642-15769-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930715$91A6511A-6B82-4188-AFD3-6817188CA8E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"160206bb9d8a89f080042e01ddcbea98c3bfb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":812058,"id":"Q812058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930715$1E7EB3BF-CDEB-4BDC-AF91-BB7A27CDFC8E","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":"Q4930715$C9557527-EECC-4DD5-A221-18A486C55FFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930715$E0A39227-EAE2-4F44-B022-52BCBECDA0F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930715$D2B679F7-B48C-4C00-980E-4F7868AF3A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c42475368ad450071ece731fe010c255ae3c3732","datavalue":{"value":"5794749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930715$4EE2EC52-151C-465F-A808-86B92B0F0912","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930715$452C777F-F623-41BE-86A6-B4D166BAC4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930715$83192E12-5A70-4ED1-B436-AC1B8DD04AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930715$9F1F963E-EBD1-481B-A32A-62EAF36DB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930715$1C2B6798-3D8A-4D40-BC7A-6B987DFA96DF","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":"Q4930715$4D99FE01-DF99-4810-A9F8-66C7B55FAF33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04d6122926f8951be03f19ec2e48c1ca45631ed8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930715$46E9E3A2-A115-4468-9E77-4EF14075A77C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5832af40e588e1c32fc67c9f4b5df4e1552ab168","datavalue":{"value":"W2186030525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930715$B3F1CF18-ADE3-4A70-B44D-E3A881FA31AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3353af92dd78cebd40747392ca6e9e8796f8b63","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4480a8dc63f061fa096a47c2f8a7db660bd8eab","datavalue":{"value":{"amount":"+0.8442574143409729","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":"Q4930715$5A643F60-ED05-40B3-B643-99EBC43A8982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225d6b073a4d5174f0bead3523ce2db60c18bbd2","datavalue":{"value":{"amount":"+0.8066480159759521","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":"Q4930715$F6A85C91-6B08-4D45-B34F-3D676796ACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582f858bd35925726a755a13af036eb880c2eda","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7389acb180a0e9df70af910f4d06e8ff8eb7eb","datavalue":{"value":{"amount":"+0.7864946126937866","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":"Q4930715$CA2D717F-DEF9-4C3D-8836-D1E8D8619B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86411324ca28b2808ef4d1738380c1c5c9a73bdb","datavalue":{"value":{"entity-type":"item","numeric-id":812060,"id":"Q812060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceecf91c11ebf762cb86c849999d791cbda7f18","datavalue":{"value":{"amount":"+0.7434086203575134","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":"Q4930715$239BA840-A88D-4F4F-9F7B-F9944876F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9dfac8cc19b75dd084a8fb60586e9905df564","datavalue":{"value":{"entity-type":"item","numeric-id":5255064,"id":"Q5255064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893b0461b498ce856889ea7784cd9501b59327a1","datavalue":{"value":{"amount":"+0.7242908477783203","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":"Q4930715$F945D5D4-B216-463A-A062-7C85F4033440","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930715"}}}}}