{"entities":{"Q2912700":{"pageid":2923425,"ns":120,"title":"Item:Q2912700","lastrevid":51561194,"modified":"2026-01-18T19:12:49Z","type":"item","id":"Q2912700","labels":{"en":{"language":"en","value":"A framework for formally verifying software transactional memory algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086199"}},"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":"Q2912700$7D2A6A93-0CAA-4DD5-87C1-9D16ED0307FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1ee0109d67c3320c982be19624eb4a8f41c5e6","datavalue":{"value":{"text":"A Framework for Formally Verifying Software Transactional Memory Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912700$53822BA2-7E89-496D-B88F-FB91440B8A77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ad67227fc16b2400d90e3be0a42d614ec70479","datavalue":{"value":"1365.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$088F112D-2DF9-450B-B760-2D990846BB56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc4b65bc6328a23792185daa1d815b65223f62ea","datavalue":{"value":"10.1007/978-3-642-32940-1_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$AE77DA60-595F-46AF-8375-1F2B7C767E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcb541dab5f1c3824887bc1dff316db7de102932","datavalue":{"value":{"entity-type":"item","numeric-id":2225110,"id":"Q2225110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912700$B066F103-9D64-43BC-9015-071E893CF9EC","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":"Q2912700$8AEFF2DC-A653-45B4-A743-D16B86E3D6C2","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":"Q2912700$C3DAAE7E-4405-421D-9804-DD6B78052549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912700$22822D00-4A55-4E81-AE12-5391CD85B308","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912700$2DF3A53C-9A62-4133-B866-A0BEBD083A5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$BC3CA779-D109-44C2-BF64-B01D32FD1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$6C5E199B-21CB-4261-89D7-7C473A7FAFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$2D436C13-BD4A-4BF2-BC4D-29683FC72B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$2093C6E9-4931-4C50-936C-47B201603D63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58bcc5af0cd75a52b48193089f33ed002eee4a7b","datavalue":{"value":"6086199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$576D601D-4451-4C8E-A1C4-217FD6874CC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912700$2CAC6DFC-BE7F-4CC0-9681-D7BADE7A315B","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":"Q2912700$4AED78B5-39FD-46A6-937F-2D5DFA4862AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cc5579109706dafec82416d4e4670b5bb60df21","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912700$70D9E461-BCF9-408F-99EA-C535412795F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe80f88b7e75c1c0884af788d98d2c62c82bc84","datavalue":{"value":"W3741743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912700$5DC3FE91-C57F-43BE-A1B9-3141B576EADA","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":"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":"Q2912700$E3055D98-2F90-4707-AD1B-6AE0E4822791","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":"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":"Q2912700$848BD5D3-AF1A-4BF3-8894-A37F82191EB5","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":"db695b762d8e0c0e2cee5172c7ca42accaee37e2","datavalue":{"value":{"amount":"+0.778098464012146","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":"Q2912700$2E28A670-95D4-4D83-91B1-1D2B365B7BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1fbc28be788c99b297cf16feb220d09804c854d","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef071e46dca33a27a02bd1f0f06b22f8269dc12","datavalue":{"value":{"amount":"+0.775464653968811","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":"Q2912700$5F682EF7-E6E9-4830-947E-930028C68E2F","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":"6f9842e0e9e22de3659fbe75396fd9959ad0ee8d","datavalue":{"value":{"amount":"+0.7664334177970886","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":"Q2912700$3FB7B999-8941-4CF7-A904-CC7A3BEB5AC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912700"}}}}}