{"entities":{"Q3606920":{"pageid":5636826,"ns":120,"title":"Item:Q3606920","lastrevid":50585504,"modified":"2026-01-14T11:46:07Z","type":"item","id":"Q3606920","labels":{"en":{"language":"en","value":"A proof of the correctness of parallel addition to a shared variable in IPCL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5521027"}},"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":"Q3606920$4B25CAB9-A1AD-4846-A93F-70CBF8D4A92C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b5f08080e673e1af3b44bc4a964d461985a568","datavalue":{"value":"1164.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606920$9BD7B012-C05D-4C4B-8E9D-3FC877F451D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b973ba50d36b5a25c38ddc273f58d1b5c6e99954","datavalue":{"value":{"entity-type":"item","numeric-id":2737175,"id":"Q2737175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3606920$96CE5195-7665-4381-9261-FB464CD1F485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34f3336c19b24d140c76eda7f27c00258dde62a4","datavalue":{"value":{"time":"+2009-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3606920$CA5BB0D6-8035-4692-A97C-B3F3CFF1D376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606920$78953491-82DD-4E1D-B94C-D9F9D094B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606920$9779E430-1FF0-474C-BBE7-DC5F792138FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbe9b5571408c5a20c5e3601e9190e274d895ce9","datavalue":{"value":"5521027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606920$FAE0E0E5-0DCD-45D9-8090-CC0E232173F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443b59449e0f661699e53a009af3f727fb8a4f36","datavalue":{"value":"compositional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$0940A475-F4CF-426D-9D18-5456829C7B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$DC64E4DD-C466-4775-8E58-A42B7243DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d30d38575faaa8e4163a8d0356d90cdca464b99","datavalue":{"value":"program execution model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$B34D8790-BCBD-4D72-8DC1-37CEE8C85D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$2345CA74-DEAF-44EE-8328-9BA6FF0D5C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$C5FA054C-AE3A-4581-B0AC-2A3F1AC941AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$F6239D12-8D58-437E-A38D-20FB1BD9B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c80641f3aea95c2b238a51fe512777ee37b838","datavalue":{"value":"shared memory concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$A88275BA-37FA-45D0-AA9C-CB67F86EF07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$9E679583-8A65-4FC4-97D2-B3E2B7C4884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$7C348689-9077-47A7-ABB0-2F31978CF920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e152a940df99ec842e8dd16d80a14f7098bf7a91","datavalue":{"value":"shared variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$9312EB48-FF30-4738-845B-BF07BB18FEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606920$E04597D5-75C7-434E-957E-D5AEDF9F9630","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":"Q3606920$D6224AA0-25E9-4A12-BE47-205A7C92DD54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c27df48f8f85246023282f98c637ff01ea69fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3465202,"id":"Q3465202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a901403b9b832a9dd7e8430893d0756d799ce125","datavalue":{"value":{"amount":"+0.7915535569190979","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":"Q3606920$ADED7AB2-9786-4E3F-A861-9CEDFD279672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c371460c8a7c3325f1aa460fd2a045f7ac6448","datavalue":{"value":{"amount":"+0.7742450833320618","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":"Q3606920$E572BED6-55E3-42E1-B930-84281FC6AA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8c86159c6b66dacfdca65cfaf472b36b79297f","datavalue":{"value":{"entity-type":"item","numeric-id":3455549,"id":"Q3455549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569b066a86a9e8ba405a2cd1a17aad2ffcf74321","datavalue":{"value":{"amount":"+0.7402022480964661","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":"Q3606920$60E170C2-F919-4769-9DC1-4267329AE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da28e42febcf85edc5f46a7d40f912fc47cb379","datavalue":{"value":{"entity-type":"item","numeric-id":2706056,"id":"Q2706056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8370fa607cc6ae22a98948ca07e445ee7fcb0c","datavalue":{"value":{"amount":"+0.7324894070625305","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":"Q3606920$CFC642BF-5A0B-44B3-A386-CF16FFCF9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee55cc44f330eadddbb3d8e4d84d5fc69ef8fc9","datavalue":{"value":{"amount":"+0.7315537929534912","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":"Q3606920$E4F9C399-2F5E-4DB2-8F4B-DFAC10B4F46A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3606920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3606920"}}}}}