{"entities":{"Q4930747":{"pageid":6960329,"ns":120,"title":"Item:Q4930747","lastrevid":51095627,"modified":"2026-01-16T15:46:43Z","type":"item","id":"Q4930747","labels":{"en":{"language":"en","value":"Automatic verification of determinism for structured parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794774"}},"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":"Q4930747$373BB2C1-5AA8-4DD3-858F-4B963288E172","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfaa5427430aecccbec5d176986c8599d680cee6","datavalue":{"value":{"text":"Automatic Verification of Determinism for Structured Parallel Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930747$276712B5-C4A4-416D-B629-7B79798C4C22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1713484ce86c2c1bf349679561380fa2fe5391f3","datavalue":{"value":"1306.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930747$39EDC8E7-C839-4199-BB40-AD9D17B86397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e9beff9ad72ca04c0d41125aa5bb82a49d6a1e8","datavalue":{"value":"10.1007/978-3-642-15769-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930747$4A0CEA2B-6475-4B19-8EFD-952B0FAEFED0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$5B283E04-FB8A-4ED1-8823-5CFBCBD032C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$56911767-A87E-45D6-9E49-47B304A0E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5c18dc714b257d8cabcd5ae750c7a5d9d5cee8f","datavalue":{"value":{"entity-type":"item","numeric-id":2441732,"id":"Q2441732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$A0005DB7-AB97-429B-8414-83BBA84F0AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90ac481936d75352d2a0a45956f7462ff07106c0","datavalue":{"value":{"entity-type":"item","numeric-id":698455,"id":"Q698455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$F9A75813-82AE-4180-B3CE-C02DC90206E3","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":"Q4930747$62A4F6C8-DD15-4AFF-BC66-F1BDEA1B2E3C","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":"Q4930747$99BC304D-271A-48BC-8615-DE64D9B49885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930747$A212C739-55E4-40F6-BDAB-395C65F65CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02232db33fac7b95e82f0e2fd8b58687497bd194","datavalue":{"value":"5794774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930747$556E82AC-4F75-47DE-8C72-36A9FC3A71BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876cdc198015d132fabee7f7976964e4a2f99640","datavalue":{"value":{"entity-type":"item","numeric-id":21862,"id":"Q21862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$79B981D1-35B3-4D35-813F-8FCA24BC29A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$05C74310-5042-4731-83BF-2E238FA5BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$6B421EB7-6E1E-408F-9097-A28065590F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8618a83d96f55e451e9b5903227d98b1eaf2781","datavalue":{"value":{"entity-type":"item","numeric-id":21088,"id":"Q21088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$2A5C8A64-312F-46A3-B8DF-7B11B3740F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$3BA18F04-DFC5-4FE3-8AAA-4B6B03AFABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930747$3B214C19-CAFC-4C70-A9AE-C6E0FA568646","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":"Q4930747$A023132E-A2B2-4E4C-AD5B-CFC13E7C6D4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"798595f9a6370ab80b6762d9fd6307b2853412aa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930747$FDE840C3-71AC-4C27-9027-5B811E8E83FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb2fcf41d29cbe3e7b77eeaa96cf7f5c56e16534","datavalue":{"value":"W1584993430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930747$D3DF0234-80C9-4B07-AFBA-D29C3F12F3F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370d10863c67b31446da886f0b0e0433eeeff87","datavalue":{"value":{"entity-type":"item","numeric-id":3617716,"id":"Q3617716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc42d2f05044a93e8ddc0838565801b0e75b81d","datavalue":{"value":{"amount":"+0.7556197047233582","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":"Q4930747$52C447C1-E604-45D6-B518-7D3452409324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb99b2c3f55279fb4f4de3f676d16f030714b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2892749,"id":"Q2892749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f72bf5a0bb8a58c2c43471ba24080f6f5dd4d1","datavalue":{"value":{"amount":"+0.7240414619445801","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":"Q4930747$1FEF26B8-6FF3-490D-BFAA-43AC81E1175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b4b035c274604c4b72f254bc8d206b9efd8872","datavalue":{"value":{"entity-type":"item","numeric-id":1293918,"id":"Q1293918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12651d39ffab43c40c520f75fbdc59706be928b","datavalue":{"value":{"amount":"+0.7213039398193359","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":"Q4930747$1C1E9A03-7719-452A-AD31-07485CE2B618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52121ee2bd91fb8be046c49435e9ee56268f2a38","datavalue":{"value":{"entity-type":"item","numeric-id":2225107,"id":"Q2225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12651d39ffab43c40c520f75fbdc59706be928b","datavalue":{"value":{"amount":"+0.7213039398193359","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":"Q4930747$2D1BAD59-0853-482C-A91A-22A57B590DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16894397aa487104aafd25b6101453a0e788ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5000450,"id":"Q5000450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f6861177c10a212ed2d093371976521ac57180","datavalue":{"value":{"amount":"+0.7188993096351624","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":"Q4930747$12961878-4B60-4D54-9EDB-4FFEEAFEC431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930747"}}}}}