{"entities":{"Q3179280":{"pageid":3189988,"ns":120,"title":"Item:Q3179280","lastrevid":52706324,"modified":"2026-01-23T07:58:10Z","type":"item","id":"Q3179280","labels":{"en":{"language":"en","value":"Observation-based concurrent program logic for relaxed memory consistency models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667486"}},"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":"Q3179280$60CD0658-18FD-4BD0-AA68-8D118375E630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c38c703927bbe11b82e65d265d249e1678a629","datavalue":{"value":{"text":"Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179280$B40734EC-55D8-4812-A9A5-951B94294681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda2a9f7b39721e2071faa01cd572058bef9329e","datavalue":{"value":"1483.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$28E849B9-659D-460D-82BC-F84E430EDC88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"055f4f357dfd6e64e8157273b5d81b0a5944e598","datavalue":{"value":"10.1007/978-3-319-47958-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$F802DDDA-735D-40B1-8C92-7FFA5D94B2C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"404f7ed71c109ed4665798cb42a91614fe27dec9","datavalue":{"value":{"entity-type":"item","numeric-id":1630038,"id":"Q1630038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$CF2D2747-607B-4AC3-8914-7E2739A8041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72982b67a28d0cdbc678bdcffa0143c1ed5d55e3","datavalue":{"value":{"entity-type":"item","numeric-id":1630040,"id":"Q1630040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$87652E65-D210-4DDF-A845-11BC9B4305CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$BA57E342-F9B8-4640-B421-1A422CD85435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179280$1A7A4BB1-0FE7-4C83-AA0E-CBE189746806","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$051B359D-B0D4-430E-B766-22EC3884185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$03F0A332-3671-405E-94C7-2967407A5CB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b1c504fd71f3e95ec72706e3599288d2d35671","datavalue":{"value":"6667486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$E9384AF8-E55C-44BF-ABE7-03C98701A350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf54e9b8a02c39b00147cda890afdcbe19e3adf","datavalue":{"value":"relaxed memory consistency model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179280$7A275A45-57C5-436C-AA1D-07B565004FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ac3d149cb820e9fc1da9b2c7e25eaf904cf3b9","datavalue":{"value":"concurrent program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179280$00E69DE9-DA65-42AA-BFE1-7B6F0B44A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0347b73f6b0fd830bebd8f22abf9c3ba6536116","datavalue":{"value":"rely/guarantee method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179280$27D72067-96E4-40F8-8046-0B2C46723958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffa30a5b257d6ea2fcd08dd4273ce0179f6b735","datavalue":{"value":"observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179280$EDB3A7D4-E300-47EC-B39C-A5F9B4640A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e4a90323c781e71fff7cf3cc08e136e7c53b8a","datavalue":{"value":"independent reads independent writes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179280$887A06F2-CD92-40EF-8080-4C3136E0700D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$E2AD70EE-31A1-4ACA-83E0-B4E0FA3712EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21403b0e58561e65fe7b82759d26857a8ae8413b","datavalue":{"value":{"entity-type":"item","numeric-id":27719,"id":"Q27719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$D0CFAAFC-B887-447C-8174-C65306681337","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":"Q3179280$46CC4059-418D-4A49-9F07-58F861FA242A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f0b776f65d63b06237bdf76c2b9a528c6c04040","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47958-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179280$D0937D46-74ED-4AB7-8D64-620C1F2CD78C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d30cbbbce8761df584e6f236ba9d4fec967fde","datavalue":{"value":"W2529658871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179280$33BAF9AC-0365-49CB-A5EA-479E7F9D2460","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39879b8012374720acd52d902235d635c99ee45c","datavalue":{"value":{"entity-type":"item","numeric-id":3179280,"id":"Q3179280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$EE082AB5-5A27-445A-AD1B-07DD6F3CD56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4571140468827117de9ef82d7ef08c246a067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$15016BE6-AEFE-480A-9886-A153A71A1AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b470b5857961117b31497ec6ea7193bbde634ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$0189785C-49FB-4EB7-9B19-BDC6B030D83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$D407C02D-D09A-4CDD-9245-C5777C4E9555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$5BC1B153-39C4-4A66-9C00-6B71C04DBC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cc5a574b49803eb1701499baba77e3e9ea7f","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$3C544762-1BCC-4BC4-B059-6FFE7A80DC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$31740A95-E37D-4D49-8B02-33DEFE1E40EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa80dfc69cb7be6c303c7e26d95ab3fd5950e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$2132FC8E-A6E3-4C08-BC3E-B2E4FA4DFB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$90CAAFEB-5B96-450D-9CEF-2FE6F175B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179280$5C39436A-4BED-499B-B686-904CB43A8A94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66f4384df96745c6af7530ad355cd4d7eb29833","datavalue":{"value":{"amount":"+0.7824326157569885","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":"Q3179280$BD6598B4-72EF-4580-B0C9-7CD044B61893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53389ff29cd92def7f542c1a68c503dc45db02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884427f138b2fd1c4ad6075b926e99e40b96a2cc","datavalue":{"value":{"amount":"+0.7601854801177979","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":"Q3179280$67B4FBE7-4BA9-480D-BFFF-0DB877CD30A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5558b7bd2391c98b2bcfdc4d59551097defa0a","datavalue":{"value":{"entity-type":"item","numeric-id":2802463,"id":"Q2802463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff02fdc5c0ba4857fcaa0ebeb136ec5736f060f6","datavalue":{"value":{"amount":"+0.7407410740852356","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":"Q3179280$266BEA2C-4A4F-4843-97BE-36339C32F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d44043fdd68efc195851955e9d27d6a5d215f79","datavalue":{"value":{"amount":"+0.740352988243103","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":"Q3179280$23617374-EF56-46F5-9A48-47E937BF6EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e286dd4a00cc3df5fc0eec48e4601cdac458f8a3","datavalue":{"value":{"amount":"+0.7358052134513855","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":"Q3179280$5874C43D-826E-42B6-8EB6-4B1A6D21134A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179280"}}}}}