{"entities":{"Q4986257":{"pageid":7015834,"ns":120,"title":"Item:Q4986257","lastrevid":98334959,"modified":"2026-06-05T17:15:25Z","type":"item","id":"Q4986257","labels":{"en":{"language":"en","value":"Relaxed operational semantics of concurrent programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7339671"}},"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":"Q4986257$60257CB4-4B13-48A7-8E5E-185AB6F1EE02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f48dccdbae56cd9396e55f1fb5e7596e0842636","datavalue":{"value":"1459.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986257$21B39498-7A28-4404-ABD5-3D7B18B0607A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986257$FEA38197-2F04-4C51-9234-212C85075B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754362b8a0c777b4de7ff5ba146561683f73d1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1687773,"id":"Q1687773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986257$82E99BEE-B773-4A13-88CB-DEBBAA323F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b7ef19f407c37a1344dec34df08d6a64a61774f","datavalue":{"value":{"entity-type":"item","numeric-id":928670,"id":"Q928670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986257$52DB4D52-FC63-4697-8859-09A294973780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986257$6B16D60A-958B-4B00-8829-0C94315D1B7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f7531adc31ab08d2b54c4fb1b20d8b4def91566","datavalue":{"value":"https://arxiv.org/abs/1208.5915","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986257$D028FF81-F200-45E5-BBA1-AAED6CF69603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e228aebb3ded51d7c910f6d0f96a1b84c0a49ceb","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986257$8863B425-2DE5-485D-816F-798A4D938CBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986257$AA927E9C-F0BB-4495-951E-E365964A129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986257$D404A1BF-C67D-4105-86FB-040C30EFB962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986257$751A5FBC-0BED-4EC9-9254-28F21310A039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bc593d18aca6f09fa5ae73b743928a0825e5112","datavalue":{"value":"7339671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986257$A0156A3F-B0D6-4126-B42D-CCDC5EB4E7E2","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":"Q4986257$D266C04D-2555-4D57-A186-6569DF8C97CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8338724daa029caccb2c3016b9f8787797e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2830038,"id":"Q2830038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a2e44825e5dd1b181af757aa7592eeeaf26f97","datavalue":{"value":{"amount":"+0.8566263914108276","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":"Q4986257$96A6E77E-FAA0-45F1-8412-A585DE509620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763fdac44ab4eb2d0b0f8d66e7259e5fabf667f","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052009d0f33b99bd3cc578163aa66d1551ebe2f3","datavalue":{"value":{"amount":"+0.8413837552070618","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":"Q4986257$AC5D20BF-6B6D-4CD4-859F-AB6D236ECFCA","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":"c3841f2fabed01d87ba6529ba8cca609c77a53f8","datavalue":{"value":{"amount":"+0.8044714331626892","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":"Q4986257$12051E18-A374-427E-82E3-1C014CD91E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722f6d723f5331863cbbacb6cb6588dcc25dd211","datavalue":{"value":{"amount":"+0.8004471063613892","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":"Q4986257$14ED6E71-D601-48B2-A81A-92D152C13617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa25c425d44737190debd10515932f310325acc","datavalue":{"value":{"entity-type":"item","numeric-id":3558229,"id":"Q3558229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e00f920bad68eaaa53b082b440adf6ceca1f9a","datavalue":{"value":{"amount":"+0.7956814169883728","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":"Q4986257$EF30D336-11E5-4660-B25D-AF118C2DAF37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxed operational semantics of concurrent programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relaxed_operational_semantics_of_concurrent_programming_languages"}}}}}