{"entities":{"Q1708646":{"pageid":1719387,"ns":120,"title":"Item:Q1708646","lastrevid":72159999,"modified":"2026-04-14T03:01:55Z","type":"item","id":"Q1708646","labels":{"en":{"language":"en","value":"Modeling and verifying multi-core programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852667"}},"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":"Q1708646$822966CE-D693-491F-BEAF-292FBBF365F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fbda1a84d64d7dcbbabee1000c18084a5567d7e","datavalue":{"value":{"text":"Modeling and verifying multi-core programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708646$3C731CD8-B328-45E3-96A4-EF4DF759CE59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0580507efd0412365e59af81e7eec8f0541ea586","datavalue":{"value":"1474.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$02502D34-E090-42D7-B8FA-B98DD8ABCB7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d63b30972bd75e7850fa5cded15e49bc79172c71","datavalue":{"value":"10.1007/978-3-319-71147-8_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$7A4C122E-8A32-4668-80AA-D5ACD7874EED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708646$69B8CDEA-4A00-46DA-A734-8F505525A17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708646$D633326D-9842-43DE-B6A9-2428DB5D94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708646$B551D989-FB08-43A8-A1D4-719119FF2685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4351e59f20a0eaf541c90a96cdee71c8359330ec","datavalue":{"value":{"entity-type":"item","numeric-id":341907,"id":"Q341907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708646$4B356D96-906A-435E-8A08-D6AA134DC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf04311cb9d0e682cbf34fe57dbae20044baee5","datavalue":{"value":{"entity-type":"item","numeric-id":995554,"id":"Q995554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708646$400DD9DF-49E5-43FB-8742-E91D3424C561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708646$86677C35-EA23-434D-9AB3-B53C84B8CA2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$341FEE31-EC72-413B-804F-3FB5C1FFA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$EEB432E0-C902-423C-9FA6-2D66579938C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df54ded88116674af723b4f848db4ee1484d0d30","datavalue":{"value":"6852667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$97BF866B-FB7C-469D-9950-DA78AD5B1F72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708646$D2271B38-AF32-459D-AA64-D9EA768558CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35cde08080b118962795b3cf4a116225906e18f8","datavalue":{"value":"multi-core","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708646$3E8216ED-6F73-4F54-BA32-E6BAA75035CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003d3d19a053181f46a4ecf249493937eb4848d","datavalue":{"value":"parallel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708646$8B9A32AE-648C-4051-A333-8461F36C2BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708646$2B55B109-ECA7-4AC3-A5E5-BE265790B71D","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":"Q1708646$B54368FE-CBEA-4F7A-ACD3-C8B9A9662A28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3a92e712a19a7e3d6d6c7616dffac2a6d72353f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-71147-8_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708646$A5DA50F6-FFFF-4106-812D-1AEBFE407DD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac88decb29c65c17d3f26c8ab5f7d7707bcd5da3","datavalue":{"value":"W2768098132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708646$F7B2F2B9-B533-42D1-AAC9-B8FCDF88667D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17792db92c3a291daea41735ef10fa704b4d5408","datavalue":{"value":{"entity-type":"item","numeric-id":2920446,"id":"Q2920446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3770af2a7b22f72f9f061860174f2651fb66a7f4","datavalue":{"value":{"amount":"+0.7895525693893433","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":"Q1708646$83027BA4-5DB9-4DA3-A84D-1CBC1513F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62beccb45a375d5663542d97661bb2d41ca15d0","datavalue":{"value":{"entity-type":"item","numeric-id":391222,"id":"Q391222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f616b633ee28b521ef2bfed8c8ee1ac227042cb","datavalue":{"value":{"amount":"+0.7883754372596741","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":"Q1708646$FE793861-1175-4B4E-86BF-F743EED8F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897e051298fb271b21d622cb8cd6132f01a5f0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5199172,"id":"Q5199172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffde319a1be4111ce17adad00a2e77a8b419925","datavalue":{"value":{"amount":"+0.784832775592804","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":"Q1708646$F54A9A9B-8DA0-48D5-B054-F58D1CAB4B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed5605144409682e3f788fb632e36a5aaf90795","datavalue":{"value":{"amount":"+0.7619474530220032","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":"Q1708646$75CFFC8A-2CFB-4345-A422-D504C5ED2623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2882461f224f515f8377587d8820d1cceb1a48a0","datavalue":{"value":{"amount":"+0.7371166348457336","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":"Q1708646$3722B4BD-BA6A-4BE9-9A58-4E1D69F0B2DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verifying multi-core programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_verifying_multi-core_programs"}}}}}