{"entities":{"Q2377134":{"pageid":2387877,"ns":120,"title":"Item:Q2377134","lastrevid":43977174,"modified":"2025-11-18T16:55:10Z","type":"item","id":"Q2377134","labels":{"en":{"language":"en","value":"Model checking transactional memories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182208"}},"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":"Q2377134$29A7C5BE-1374-4D20-A398-297921DED4B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d333966270ce997707fdaeb4dd87d9e660d04784","datavalue":{"value":{"text":"Model checking transactional memories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377134$E3F56646-701A-4F62-A9E3-238FB226E111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c3f80acc8b9429c8303aff8a18cfa5a7f2915c1","datavalue":{"value":"1267.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$CA76C794-A3BE-4BB2-87E8-8CD4A5E7C939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66e71311a531f5c49e07637d77e90cbb2640dae","datavalue":{"value":{"entity-type":"item","numeric-id":453506,"id":"Q453506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$492BFC1A-3972-43DA-966C-9CA55E7E04B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$18BBDB54-9BDE-4970-BEE6-4EF9A689A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05aeb9289342efc2a224081583506ce557ce861c","datavalue":{"value":{"entity-type":"item","numeric-id":453507,"id":"Q453507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$71FB5D58-2694-45C9-B6A9-A47B359BA8A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$C7D6C90F-CD92-4645-9EE2-9FCC01675852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377134$86777B50-B5BF-491F-96AF-14199D61797E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96eda7c5977ee37f5a5381ac8ca3921c610f004a","datavalue":{"value":"https://infoscience.epfl.ch/record/117513/files/PLDI_paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377134$98C383AB-78B2-4ACD-8376-9488635CA522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$EB0FB844-FD31-4D34-9D93-D84D14EB7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$B2973757-A3AE-4C4F-BDEB-75A8BB50DFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a64416df7ce3faef14213df96874888338b350","datavalue":{"value":"6182208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$4B45CDCD-84B8-454D-B5D3-0C4FC408EA4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85ec92178af1bd0c27e5bb2161d42773fa31c34","datavalue":{"value":"transactional memories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377134$BF4AE829-3B10-4200-B91A-FFA373550BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377134$2E876B54-1950-4BD0-8412-73E697486193","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$3B8BBBB4-AAFD-4F2E-8FEC-B6B4A683AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$1E76F7F5-25AE-44C9-8BCF-AC393DDF4292","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":"Q2377134$74416088-C059-45B1-8D13-4F8D7C4712B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62c3a4120809a62c81c9f58cafc625e803fc2c96","datavalue":{"value":"W2077571050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$159F1D7B-9B13-4B0E-BDF0-54348DCB6B8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$2664010A-CB1B-473B-80C7-B2DF7428B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$C28AEF93-C75B-43AC-97C5-5CC88AACD6DA","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":"Q2377134$D60E278F-F1B8-4FEF-88B0-F386BAFAE9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe91faead361908a57f5abb57ab434ee7f6c53c","datavalue":{"value":{"entity-type":"item","numeric-id":1062471,"id":"Q1062471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$B7245807-767E-4E84-AF49-CBFB65E3ECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d3451bfa7a01037037f2a99b640d0d21e9ce88","datavalue":{"value":{"entity-type":"item","numeric-id":5312917,"id":"Q5312917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$A72268AE-F142-4FB0-B7B9-453F30C27F27","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":"Q2377134$B8A8826B-3DA1-491D-AAFC-BB836D420C3E","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":"Q2377134$943983D1-CE71-4885-9417-A41F453E516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d07534eb6ec3d78740f8c508377e6dd86294b7","datavalue":{"value":{"entity-type":"item","numeric-id":5177247,"id":"Q5177247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$97C20E20-7B92-4826-BCAC-75F2D82ACB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8d80a98a94be82f3859f1a1c1c55a08c7745fa","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$F438941D-69DF-4543-B10C-DA4ED34234F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad95b509958b84989ba393a95e7df3a53c21de6","datavalue":{"value":{"entity-type":"item","numeric-id":5255802,"id":"Q5255802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$F590A268-8521-443B-BCBE-99922FFE0315","rank":"normal"},{"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":"Q2377134$9A97BE09-39CE-4897-A866-058071C8C101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc01c3546dd4a570a6e3cdca264cdb16f26b907a","datavalue":{"value":{"entity-type":"item","numeric-id":5361456,"id":"Q5361456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$26D937B4-C2FE-4F22-9E19-F9558A4C61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$36CB3D7E-55EA-4098-8F34-5B26A441D63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377134$6EC190C0-4F6F-414A-86F5-8F702B8B1C42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15f1ef0d4d1f97bb101a94b5ccfafc6170c715c7","datavalue":{"value":"10.1007/S00446-009-0092-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377134$278C856C-83FF-47B7-86FA-BFE6ED2C6554","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2bcc360226d55945b895ef9bc3ffbef4922b29e","datavalue":{"value":{"entity-type":"item","numeric-id":3541009,"id":"Q3541009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed520d65d5d85b78494239592f6d24ea4345e3f","datavalue":{"value":{"amount":"+0.9191015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$0A92401A-D14C-4DC9-95B6-E6DD9CF1DA92","rank":"normal"},{"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":"a3e09c80b7eb5a64f986fe24027dbeedfbcc0da9","datavalue":{"value":{"amount":"+0.9075112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$B0290703-B9C7-4BEA-A99A-63C8E5FFA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bff7810631a26cbec1ee865f4fbb975067f4231","datavalue":{"value":{"entity-type":"item","numeric-id":2845505,"id":"Q2845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e6d8704d0d1422619d17858bc3d647db72fdb9","datavalue":{"value":{"amount":"+0.89657915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$80EA3897-13CF-42AC-B32F-5DF8C43E28F9","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":"fb0878f092fb3e44d439e1592fcd3aaab588b3c9","datavalue":{"value":{"amount":"+0.8936969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$9B6F29CB-55E3-4EE9-9B6E-E0B1780BA868","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":"a632e2c86673e269ee6bdc05be1febbe46ea1aa9","datavalue":{"value":{"amount":"+0.88330567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$963AA596-C909-4BEF-B204-D8CBA4F29EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32f357e887bfaeea67afa0628687d1b1e43b486","datavalue":{"value":{"entity-type":"item","numeric-id":2039909,"id":"Q2039909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb1de919d8c357d206cc8fbe6ac06c17ebd6c04","datavalue":{"value":{"amount":"+0.8737622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2377134$68CC8FBE-B054-41B7-8EF3-ED5E8F1DDF42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377134"}}}}}