{"entities":{"Q2457959":{"pageid":2468702,"ns":120,"title":"Item:Q2457959","lastrevid":50194043,"modified":"2026-01-13T11:47:05Z","type":"item","id":"Q2457959","labels":{"en":{"language":"en","value":"Complete formal specification of the OpenMP memory model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5204357"}},"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":"Q2457959$27D4556C-4617-4C7F-9B07-EE626EBEFD1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"009c289a956a125ade8adb040cac86de893cecf0","datavalue":{"value":{"text":"Complete formal specification of the OpenMP memory model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457959$E5AE7ABC-8403-400D-8E2A-8DDA76DE5B99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32f1145af71ceac975721a58fb4a2c53a6ba6bd8","datavalue":{"value":"1124.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$A813FF21-B3FF-4BA0-A0FE-B4744C8D0106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b45c69e280cb2746e73fec4d9716d495e02928","datavalue":{"value":{"entity-type":"item","numeric-id":2457957,"id":"Q2457957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$B107B108-718E-4544-9194-A0FF3290EECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"066d3c098840cb8be7033e2d1756bf7dde6a3ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2457958,"id":"Q2457958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$7FAB75D5-B6F9-4639-ADDC-A4A2EBF16548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$467A8A2C-9B8B-4CFE-B76B-988471CAE658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a19682939d5d51d7134f009961afc05c691ec406","datavalue":{"value":{"time":"+2007-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457959$F00B7F1F-CE44-412D-92E7-0E8DBC512DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$24AC8B3C-3DBE-43B0-86BD-6D64DC4A3617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$862C3F67-B365-47B6-9AB7-C1F47A9AB1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$6F75267B-E60B-4A32-8DB6-A0D0B80EEEB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e3747c3735e569b955e3b256f25c41842814e97","datavalue":{"value":"5204357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$1AC46841-5331-4ECF-8880-DCED305E4EFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df96b31c79a3b55580b757a08b0d424d31bd654","datavalue":{"value":"OpenMP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457959$05C7591F-7761-48E9-A34D-396A99FE1257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457959$577216CA-1902-4F7A-B6C1-5A586C5E8656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457959$64858F49-4885-41D3-8297-966B80664BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457959$64940775-119D-410F-815F-785F965283AE","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":"Q2457959$52B85940-93BE-4D24-AC52-5DD54982D7A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20d8f894a99066d4f75e8e9dac305a7391a6dc07","datavalue":{"value":"https://doi.org/10.1007/s10766-007-0051-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457959$FACC57F8-C95B-41CF-9B8E-762DFADDB03F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e01818521115d50a51df32904214975476487433","datavalue":{"value":"W2150717721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$EABAAD3C-8E20-4B6F-AE7C-329C7DE0E98C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b16cbc48a3f1abbebf6ad90b5388b22190614","datavalue":{"value":{"entity-type":"item","numeric-id":1870224,"id":"Q1870224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$F04BC4BC-9EF2-48FC-B4F7-B1E304B05624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$21D5FFCF-3DFF-41DD-B342-163D96FF25C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a585b1284ab5ad9cc38b7f1d4f9d943eead175d4","datavalue":{"value":{"entity-type":"item","numeric-id":4023279,"id":"Q4023279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$89A7A1BD-C2F6-477B-99FF-C620C0808307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0144e62dbe93e52e6565724ba312aa4029964f","datavalue":{"value":{"entity-type":"item","numeric-id":2457959,"id":"Q2457959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457959$0ADBEDB6-AE31-4500-B93D-B88BAC099DC6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dc15c22581c2e0d52f5c2b9012979847bdb87d8a","datavalue":{"value":"Q126211238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$A15178FD-BFDE-401F-ADB9-23F736B85164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5209259f6775f43b596dff17d33c5126700f9c7","datavalue":{"value":"10.1007/S10766-007-0051-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457959$17816AC9-0DF3-4726-A4E7-431E526E87EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dee1d7701508e0ae10786ebbf562c797e8211c4","datavalue":{"value":{"entity-type":"item","numeric-id":4417462,"id":"Q4417462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5254897311ecd0b82820f9d04783c30076348fe","datavalue":{"value":{"amount":"+0.7164287567138672","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":"Q2457959$A3DD7E57-AAE6-4183-AA6C-6DC3A80BC978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82a114598c1dbc39ec9c22420c8517007abca26","datavalue":{"value":{"amount":"+0.7033848166465759","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":"Q2457959$23A7AB54-7C12-4948-BDE6-313D5CE0455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e308caae7526407a55f802559e3b608593d178","datavalue":{"value":{"entity-type":"item","numeric-id":4804891,"id":"Q4804891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82a114598c1dbc39ec9c22420c8517007abca26","datavalue":{"value":{"amount":"+0.7033848166465759","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":"Q2457959$4A1149CC-4CD3-49BF-BAC3-CD965C754C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc18b53626243c48469e1ff709473ddca174951","datavalue":{"value":{"entity-type":"item","numeric-id":617917,"id":"Q617917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0517025b81656d6522560c5cf237551f46264f","datavalue":{"value":{"amount":"+0.7030061483383179","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":"Q2457959$76352BDD-35DC-4C96-BE36-980AF50C3892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86587f2662a09c87989a48ab7311f9208b8e337","datavalue":{"value":{"entity-type":"item","numeric-id":4412529,"id":"Q4412529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e2189bd1ca7a46259d152155c41c7b2e09d005","datavalue":{"value":{"amount":"+0.6889349222183228","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":"Q2457959$7870A741-C01B-41E3-85B8-819CD9997678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457959","badges":[]}}}}}