{"entities":{"Q3000572":{"pageid":3011296,"ns":120,"title":"Item:Q3000572","lastrevid":79819829,"modified":"2026-05-06T14:46:51Z","type":"item","id":"Q3000572","labels":{"en":{"language":"en","value":"Proving Isolation Properties for Software Transactional Memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897335"}},"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":"Q3000572$0190B643-5803-48BB-9A72-A83FBACDDB11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f6fd3db2e53796ab4376bf4fc9e5dfb82b6c0f","datavalue":{"value":{"text":"Proving Isolation Properties for Software Transactional Memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000572$0E5EBCE9-A10F-4B36-BAAB-ED61F23CD465","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9aaffc54c532948e8474465ed8cd54750f98641","datavalue":{"value":"1326.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000572$EADF126C-F88C-4851-8526-DE9C2B7F1877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"737d4f739af45dc51aae5592a4e4838e7b7db8d1","datavalue":{"value":"10.1007/978-3-642-19718-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000572$37768FD1-440C-48C0-A70A-27B1BEF6DB68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b3058b6a9b0f8276e2cc358bdacaeeafb46bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":2942862,"id":"Q2942862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$4C6955A9-8145-4FCD-BC40-220AF27407FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$986884D1-8800-42A4-BDCE-2A811AD49930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$E43207B0-7F12-462C-B15A-FFACAC8483F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000572$85D57641-D557-4530-BCC8-CF4653D8249A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000572$6A535F80-0F93-4722-AF5E-CDC9553F1DF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91baf2a1e7988c0f2bd5b89f31a04df67c21b561","datavalue":{"value":"5897335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000572$B487DC08-DDEA-4868-8556-3760C043B07E","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":"Q3000572$535FCFDE-3B4C-46D2-BDCD-5543348B7EBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8d35f304b91dbcee442416ca70b74aa123c49b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000572$D10F1CF6-4B42-4090-A6F1-9511559AFCF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0997641cad2e7acd895f82c2e897ad006c18b47c","datavalue":{"value":"W1588468239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000572$2F772EC5-2EB3-4D49-9B2C-65545437715A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8f40d53b2bd3ef8eb212cacafb139de0f8c77a","datavalue":{"value":{"entity-type":"item","numeric-id":3189827,"id":"Q3189827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$5C403D88-C22E-41B6-AF61-40F2B5FA67BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c469b26b9633a8e102b3ab11def224fe75c91a5","datavalue":{"value":{"entity-type":"item","numeric-id":2485278,"id":"Q2485278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$BCD7F121-FD93-484F-B894-FEB70000335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$E1E10206-8D62-49D7-BAC6-5CD3713DBEFD","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":"Q3000572$25BD65BB-462A-4739-83CF-764AB79A5844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000572$E4DA25B2-0290-4A66-9865-08EFF9D72657","rank":"normal"}],"P1643":[{"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":"6579880d5340429c04f925b5e4d0068a07322b45","datavalue":{"value":{"amount":"+0.89394665","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":"Q3000572$A3F1692E-69B0-4EF8-8747-E629F80FA955","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":"a41cd28324dba204a1591805cf799a2f59bef348","datavalue":{"value":{"amount":"+0.88924515","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":"Q3000572$D788F691-7E28-4115-8462-1BE10BC89B33","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":"aba7c3ec493959184ffed62d2f21d12b49037701","datavalue":{"value":{"amount":"+0.88543856","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":"Q3000572$E09720CF-3B91-4998-BA4B-278CB59355D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f72f27ec8ed3bfc008b04d151f6dd8c58c9ff83","datavalue":{"value":{"entity-type":"item","numeric-id":902713,"id":"Q902713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327ab757a28ac0b145af0cd1a9067561680154db","datavalue":{"value":{"amount":"+0.87084424","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":"Q3000572$F362E40C-E38A-4637-8B59-8DB1C94B0C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f6a4af358f896a88aaaed27cd737cbf89cce5e","datavalue":{"value":{"entity-type":"item","numeric-id":3541008,"id":"Q3541008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31bb8b9e716928ee547de2c5755fa017995b41f","datavalue":{"value":{"amount":"+0.86844873","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":"Q3000572$5EBAB7A3-933A-45B7-8956-3B217B0DAF68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Isolation Properties for Software Transactional Memory","badges":[]}}}}}