{"entities":{"Q5376661":{"pageid":7406235,"ns":120,"title":"Item:Q5376661","lastrevid":96081560,"modified":"2026-06-05T10:22:00Z","type":"item","id":"Q5376661","labels":{"en":{"language":"en","value":"A denotational semantics for SPARC TSO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056234"}},"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":"Q5376661$0211FA1D-3CE7-4F8B-A7C7-83743A8AD3EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e580d96fbc37bacf190be05971948ead2c6f71","datavalue":{"value":"1421.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$65CA8534-2088-4428-9BCE-2ED8F259A6FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7efab2234a49c2f151ea1b715974962564a31737","datavalue":{"value":{"entity-type":"item","numeric-id":2130594,"id":"Q2130594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$3D153DCA-1C7E-442B-8FF4-E59B0381F8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$B5EEE3AD-069F-463D-8DDD-B035E63234E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376661$FAD6D2E7-BC67-4BC6-A63E-2C190F252371","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03f230e549635dccb976635674cd119af3b29ead","datavalue":{"value":"https://arxiv.org/abs/1711.00931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376661$5CF69538-A7DF-405E-912E-A87B001FC5D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$0629EB86-32AE-4455-B3EE-7FC068B883EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$0358F304-FCFD-4CDC-B656-5080AEDF6F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$036DE489-9D19-4748-A35A-D090303308AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$A9141336-A0D0-40DF-968D-4D4DA1BDFEB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88923c7d82fe2e856e0ca4a7c145e7a9392f26e0","datavalue":{"value":"7056234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376661$8BCEDC18-D375-4CF9-AC21-67CDFA3F7FB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea5c78a2c1e017ad6d1e1940f9b63b158252395","datavalue":{"value":"SPARC TSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376661$86D9C4F1-661A-4C95-A258-F4C5EF6FBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376661$A9FACD91-6A6F-4883-8756-878EBE2C787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e76e561a3b0c4270112f0f12f70da8f8c27984","datavalue":{"value":"pomsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376661$40FBE1BB-9237-4C89-8981-B6A13ABB5397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376661$1E810CFC-A28F-4F48-8A33-AEC4B5A906B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376661$F7722635-88E2-4FE2-BE22-4E83F7977A04","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":"Q5376661$341E9222-BAD2-4577-9786-CBE63B8E67C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$5F8F8087-6F77-44A2-9AC1-3DD26F598F12","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":"Q5376661$F4A472C5-B80B-4175-AC93-538AC9B1AB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$576FA60B-78E8-4F07-A506-EC29C6F2E139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854e173f49eb24123e6c5e5385e3fc3a1c6eb543","datavalue":{"value":{"entity-type":"item","numeric-id":2931808,"id":"Q2931808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$26B5FE1F-3F02-44CA-868E-B0BFC2559FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f250ee2327962dc3e0544f14e4180a6b464aafb","datavalue":{"value":{"entity-type":"item","numeric-id":2892770,"id":"Q2892770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$117DCB47-2D89-4E4B-8441-51D069F4E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3838fcc237e9aed0bc8e49524f6fe6e8d24838d3","datavalue":{"value":{"entity-type":"item","numeric-id":5376661,"id":"Q5376661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$0928C42A-55E7-4D81-84AC-35D28FA1E1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$3103C169-C726-4100-B37F-3417302B56DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$81FCB26E-133C-479A-8BE1-DF2DF54DDEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376661$350CA31B-0BCD-45DC-BF40-C8ED86744F91","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":"50141362a3915555c4d50e269edcb75707d1ea31","datavalue":{"value":{"amount":"+0.7495608925819397","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":"Q5376661$D3764997-2C8F-42E5-8D4C-5E0792F72B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c25ca5e49a67ba513c8a109b68de4de70a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c5553e60e9d3f3e495adc9e9342b2c9004d320","datavalue":{"value":{"amount":"+0.7475950717926025","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":"Q5376661$5818806C-7E3D-4332-8C28-C7FF6EB7EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513fb70b2c7da06b197d77aa2c4a7c4452060d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b067e7766cea3b983f8519886fe57398b3e6a93","datavalue":{"value":{"amount":"+0.7395783066749573","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":"Q5376661$DB2C5F76-1D72-488C-B7AA-073796F2290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcbe17e18de08b97c8faad62c2d745f93dd257f","datavalue":{"value":{"entity-type":"item","numeric-id":2851906,"id":"Q2851906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4c536d8b631f062fcc1efc1ff8e5948f96ccec","datavalue":{"value":{"amount":"+0.7295794486999512","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":"Q5376661$687E29CF-D08B-4FEC-859B-3C47286EDA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800335ff9f4de6db5195da56b55ec16b937256d2","datavalue":{"value":{"entity-type":"item","numeric-id":2892770,"id":"Q2892770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6449386a1869e9bf065cfa5af622beb87a1fb24b","datavalue":{"value":{"amount":"+0.7215071320533752","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":"Q5376661$1A5BC100-72B1-465B-AB71-D9614A889D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A denotational semantics for SPARC TSO","badges":[]}}}}}