{"entities":{"Q3614661":{"pageid":5644567,"ns":120,"title":"Item:Q3614661","lastrevid":50599670,"modified":"2026-01-14T12:53:51Z","type":"item","id":"Q3614661","labels":{"en":{"language":"en","value":"Synthesizing and verifying multicore parallelism in categories of nested code graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5526614"}},"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":"Q3614661$BCB97A8E-34D5-4853-A452-8E3727EE1649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c26aa01bab0f1b6ffa797f44ed6572fbd555faad","datavalue":{"value":"1172.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614661$94EC4756-D078-49DE-AC5C-433C940A2E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34312840674eb24746652539916e39e517b88e73","datavalue":{"value":{"entity-type":"item","numeric-id":192235,"id":"Q192235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614661$3FDC9D1E-E735-4FB9-A7FE-454350533EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614661$037ED387-ED4F-417D-8E6B-52B764064795","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a9c5ee59be6fd8de83ba262729607364501071","datavalue":{"value":{"time":"+2009-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614661$309E5A70-5833-4BF5-A6F8-6EECCEA6E090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614661$D3677986-E173-433E-98AC-CC7C498B0A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18e3eaea70fd48fb3a51d6580699f81c96546568","datavalue":{"value":"5526614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614661$D1E5BCEB-DA79-4D28-BEB3-9B0F25BA2260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddf77c24bcc95f13b3e72bacba3b010668298ba","datavalue":{"value":"control flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614661$0140155F-7774-4B5D-8642-6D269F37CA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5141d7961c41b2f703eb147c2a9bc9a5a55744b1","datavalue":{"value":"code graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614661$B3650AFB-FC36-45E5-947B-39AA0A613BB7","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":"Q3614661$BF98C27F-C087-4928-8D8B-14CD3479BAA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d594ba336fb6fff379591782640173d95486c2","datavalue":{"value":{"amount":"+0.6887451410293579","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":"Q3614661$283A3640-0AFC-4F76-A972-914DB2BB0586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d4089fcfe10ef585d32e315eb9b207a47b49b6","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234558352f3e16698a02eca959faedead57d8a43","datavalue":{"value":{"amount":"+0.686712920665741","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":"Q3614661$646D06CE-C6FE-4CB3-BAF0-BF980C4A33B3","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":"ce91d2a6eb690183838ae76ffa0a01409cb002d4","datavalue":{"value":{"amount":"+0.6796573996543884","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":"Q3614661$C82FA5E9-9137-482D-B369-92A92F623FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240a75bc871de32439f8143b5e5d40987e78159a","datavalue":{"value":{"entity-type":"item","numeric-id":481104,"id":"Q481104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66aa100f2280f96db389369bd88daa64d9f02be9","datavalue":{"value":{"amount":"+0.6729764342308044","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":"Q3614661$28A6F6FE-63F3-4F28-87F8-4497A3F4E828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ba328c99d55bcd0269331ee9f3762a9ed07754","datavalue":{"value":{"entity-type":"item","numeric-id":1708646,"id":"Q1708646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469c620bd1c698437a8f0f4b7754b7cb56050357","datavalue":{"value":{"amount":"+0.6698077321052551","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":"Q3614661$B501C5FB-786A-4C92-8949-273C27B78862","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614661"}}}}}