{"entities":{"Q470040":{"pageid":471807,"ns":120,"title":"Item:Q470040","lastrevid":62119446,"modified":"2026-04-11T03:53:40Z","type":"item","id":"Q470040","labels":{"en":{"language":"en","value":"Towards formally specifying and verifying transactional memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368397"}},"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":"Q470040$24F126A9-6A13-4A9E-B6B1-4694A86C6D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cc2ae596b409db18d75d99276b4185961ff6faf","datavalue":{"value":{"text":"Towards formally specifying and verifying transactional memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470040$3A61141F-FA34-48BA-9456-CC788C649F44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"873e5adeb4a011041cd8e85dcb42b1366f71617d","datavalue":{"value":"1298.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$46ABBD98-BF1B-4A7B-82D2-48B10DAA5A15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e53015970cac840f13624d12043d566c18d3f2","datavalue":{"value":{"entity-type":"item","numeric-id":470036,"id":"Q470036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$7755BF20-2CBF-41AE-B336-FB91AA360403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$855098CB-7314-4D38-9312-231056DC0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17b86a4379a0857b40246bb6720846529b20d431","datavalue":{"value":{"entity-type":"item","numeric-id":470038,"id":"Q470038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$662D9F5F-3707-4C08-B01D-475815AB20EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"227ea0bb2a447c6d8ccc9f2ceb8e286547edcbb3","datavalue":{"value":{"entity-type":"item","numeric-id":470039,"id":"Q470039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$8E194EA3-5054-463B-94EF-9D65B7193B07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$14FACE36-69DD-4F45-889C-FBCB29FDD775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470040$05BCA78F-BF92-468F-BDA9-67265FF4A67E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$288F5A1E-6762-4ECD-8744-17567DD9463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$20D59AC4-9C70-47AA-803C-2FE981C24ACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2765f741e9c89e826513caaef35f06a34b8104ff","datavalue":{"value":"6368397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$5C91E552-9DEF-4BEA-BACD-D35C54E8D7FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca78afcadf5c91de023515b1dd628c917653615","datavalue":{"value":"transactional memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$9AC603B5-95F0-415E-8280-9D8FB1C602D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$FC065D19-41DC-43E5-8F22-CECB1766CCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$681A4B1E-70F1-4C6C-96B9-BB369A367963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e9cffeecb376d90ed936e8a4c26331b8a8f3ec","datavalue":{"value":"I/O automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$B8CA8197-5FF1-4B72-8D30-EDA7C0CF2027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b18830618c996c01481f3b1af2413177c4fe4b","datavalue":{"value":"simulation proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$15F059F8-4054-4AA4-A266-F6C7368C7E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q470040$43ABC67F-6F2B-4485-83A9-788C39D56E4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"083fd4c5abc69910b9ce956b10e6f7f1f5b45389","datavalue":{"value":{"entity-type":"item","numeric-id":36244,"id":"Q36244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$B97AA6C1-20D7-49E9-A2BC-1AC0EC655011","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":"Q470040$594488C4-4504-4826-9E44-6A9327BED395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f6e35aaaa69edfcb0028f6d3b5af6255a1c937","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0225-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q470040$83D4CCB2-24A5-4E5E-90E3-4CA9CDA97705","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a527b367ff578d003d72d4b74c39fc936f412d2","datavalue":{"value":"W2035134754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$BE25F84F-CDEF-4F90-8820-F729AACE9409","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$A3B874E3-AFA0-4F11-BD51-B6A0F96CF6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a1ea5737cf850332a9d964580ea660475f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$852F2091-AE91-47C9-99C2-B68EF19E230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2438919fd50440307ed2c5554004b21b73b7f8bc","datavalue":{"value":{"entity-type":"item","numeric-id":3512488,"id":"Q3512488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$4B834DCA-F11E-4413-AF2C-0583DC302CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac24bcde47140102763502797ae911629cf24254","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$4A0748E3-6E87-44DF-8C76-D0BC241B4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b391d71ec35651061bd75745fabb9de874a68158","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$77A525EA-FF40-46BA-B015-0C5107B1A480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3aa15cb73e13b5f5b9b37e28d544520e69676b","datavalue":{"value":{"entity-type":"item","numeric-id":3646231,"id":"Q3646231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$5195674D-20E7-4E74-B779-D2C4616C1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e7e0aca64fa48f1b840a058dc36905bce2e03","datavalue":{"value":{"entity-type":"item","numeric-id":856912,"id":"Q856912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$2845F900-A9AE-41BB-9D3B-C76904E8F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$E2E5460C-4384-4882-92AC-C9033FC4F74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b56066c0daf021faa8b8aad4d63660a4263e82a","datavalue":{"value":{"entity-type":"item","numeric-id":3541009,"id":"Q3541009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$66C88915-8353-416E-A9CD-33D45C1FE073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139fcb1f4b1a046b32cb129c62dd102539e7c699","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$21F9F77C-CD2E-4425-947C-BDCF7AEF8358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2420fb89597eccc6929313663e437d3f726c781","datavalue":{"value":{"entity-type":"item","numeric-id":3636851,"id":"Q3636851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$C9FE062D-0012-488F-A4FF-F32CC0660208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$F6BF5E7F-0E90-4C5E-8A56-256FE1FFF3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$B6BF43E5-D233-42C6-B414-7BFDACEFCF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c618612fdf1cc23278f0b870dd90d099415150f7","datavalue":{"value":{"entity-type":"item","numeric-id":3189825,"id":"Q3189825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470040$CC6C3FE4-48DF-48F9-B531-678CE638082C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d990c007bd5c9a5b53de9f56595350d209c6965","datavalue":{"value":"10.1007/S00165-012-0225-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470040$F0570973-51FA-4AC2-99B5-AFA25BF156AC","rank":"normal"}],"P1643":[{"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":"e7f45cc08485b81ddb52f2a2cc1b1b3b6a1c93ab","datavalue":{"value":{"amount":"+0.854165256023407","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":"Q470040$47B55203-DFC8-44D8-B724-41A6C7CB4613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48ee1c32a7b8fb066fe81b13388acd9a925e7cd","datavalue":{"value":{"entity-type":"item","numeric-id":3512488,"id":"Q3512488"},"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":"Q470040$07FA4FB5-1EB0-4205-8B8D-9EC6FDAE6F43","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":"c396ff2f1d42325330c592fb9e627657f8d721b5","datavalue":{"value":{"amount":"+0.8338457345962524","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":"Q470040$DDCB6F8C-F9C5-4F8E-A4B5-A41BC7213861","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":"1f190a8230becb6d6c38b3f199b507672791b2f3","datavalue":{"value":{"amount":"+0.8304705023765564","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":"Q470040$2B2CACA4-9E5D-449D-B096-B2FFE88323AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b272e12019d907a730c6720acbbd4805fbe345f2","datavalue":{"value":{"entity-type":"item","numeric-id":4967228,"id":"Q4967228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5839ac25c5405239863071d582fea5768901ed","datavalue":{"value":{"amount":"+0.8168982863426208","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":"Q470040$43ED02B3-2228-48B6-A8DB-BD2E4AD23542","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards formally specifying and verifying transactional memory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_formally_specifying_and_verifying_transactional_memory"}}}}}