{"entities":{"Q3512488":{"pageid":5542392,"ns":120,"title":"Item:Q3512488","lastrevid":88313516,"modified":"2026-06-04T14:12:08Z","type":"item","id":"Q3512488","labels":{"en":{"language":"en","value":"Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301103"}},"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":"Q3512488$0E903030-FCE0-46B8-8228-D80CCD7A568A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01007ceab6ce1c80e44092683fc2a46f1808be6d","datavalue":{"value":{"text":"Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512488$9BDE5278-3A0D-4B16-A616-AA490B05FB50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751e196dac39a6b074102fc264ec8991f82d7636","datavalue":{"value":"1155.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512488$450D1E6E-E709-47D9-8499-4E516A4DCD2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c70502514656e15a6826689b937889ad2e3f44fe","datavalue":{"value":"10.1007/978-3-540-70545-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512488$B872C5E3-2672-418A-A28F-8F89DFE61C4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27b4e49c274969915c032526e9907d2ac1e77574","datavalue":{"value":{"entity-type":"item","numeric-id":792194,"id":"Q792194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512488$C51037BD-12C9-4D0A-B020-E436F0BE16FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512488$27C8A59F-7A6D-4173-9A3A-EF7C1AEF45AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512488$6C9F87B4-C135-44FB-832A-6A8E8295D8EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512488$33B62189-FD65-4AD8-A350-E558B0E2DA5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512488$601B9623-9BC9-44DF-A98A-A611F8CB1325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512488$6D3CEF1D-9BAE-4494-BE61-00C5135BFF15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90250ca90a10f7d95ab432c3ef4af423cbef0b0d","datavalue":{"value":"5301103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512488$C30EC71A-6704-4895-8925-9E35E257CDE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66062915c8f8307ed1d4569cd30a02c394839f8d","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512488$C401F6F8-D423-43F8-80A0-D525659D80E6","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":"Q3512488$0C429463-B90B-4BEF-91B0-C5EF172DD4DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c348f1e533e6bb81db22f49bee4e03a1dfb333f5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512488$EC970E8A-176B-440D-A629-93DCA47425A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"985026740b4dbcc720ec978bbdc9c1a52c85bc4a","datavalue":{"value":"W1823360320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512488$20CEB713-2FEF-4956-A2C0-A22BA4DA54B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573201f06fe9b16eb9dc3d33f5d647a5d78f5831","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9e942e230708605fe2a154f9eb99e1d7c11802","datavalue":{"value":{"amount":"+0.8489181995391846","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":"Q3512488$6A7D7E1B-8AEC-4DAC-96A8-084C571E45C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c334e8232bc5ad004702c67c08ebf996e4b8acc","datavalue":{"value":{"entity-type":"item","numeric-id":2912700,"id":"Q2912700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e48553b73fa8de5bc67a12c51c4d22ffa4dcef","datavalue":{"value":{"amount":"+0.808362603187561","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":"Q3512488$A969D7EA-5C11-46CA-B00E-7BE19EFEF9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2fb2d96afed1535b27a8e57dcda1142b297fd3","datavalue":{"value":{"entity-type":"item","numeric-id":2377134,"id":"Q2377134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84bc8f30af036a711f09602aea5e8ce649b3348","datavalue":{"value":{"amount":"+0.795228898525238","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":"Q3512488$36172AC3-03BA-4795-9060-C92E20AE160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865baf72e3d1a99cd8c01f11c171b92b9c876787","datavalue":{"value":{"entity-type":"item","numeric-id":3174968,"id":"Q3174968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c46ad1470f9d5c4a04f6608a3bdb8d6ead606a0","datavalue":{"value":{"amount":"+0.7814717292785645","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":"Q3512488$91DF037A-79A4-417C-B550-8C645F525759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43edea7c4910069bcdaffbce23efce22ef0d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":453508,"id":"Q453508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6c7eca0578e6d19dc48cf6c15659eb03415b4d","datavalue":{"value":{"amount":"+0.7812929749488831","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":"Q3512488$AA30DB69-D062-4688-9ECB-05453B5BC652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_Verification_of_Transactional_Memories_with_Non-transactional_Memory_Accesses"}}}}}