{"entities":{"Q3090848":{"pageid":3101563,"ns":120,"title":"Item:Q3090848","lastrevid":51324725,"modified":"2026-01-17T18:41:25Z","type":"item","id":"Q3090848","labels":{"en":{"language":"en","value":"Reasoning about threads with bounded lock chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945208"}},"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":"Q3090848$186DE020-D12F-4C3E-9657-BB533E765EFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"848219129a4d967bb7ef3fbfe2700450cfac62e4","datavalue":{"value":{"text":"Reasoning about Threads with Bounded Lock Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090848$7D23F94E-C020-488B-8329-D1FA60484BCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8af772a5960bd68710c562c349d0d392ed12059b","datavalue":{"value":"1343.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$BA28AEBF-A27F-4EE3-9CF5-D611C8E21FF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49596b8b1af76d4d200b182ddd88b0d7aa11a59b","datavalue":{"value":"10.1007/978-3-642-23217-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$EDF7415A-ECC0-4B56-AB29-D92B8CC4017F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dccd13a2e71c75b860bf298c2386cebf24a966","datavalue":{"value":{"entity-type":"item","numeric-id":2723422,"id":"Q2723422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$7D633573-6BD8-4AED-9150-1124F294BC08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$A39E02C8-1EE3-4B4E-BAA6-1BAC432CB368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090848$249A5A02-7FD5-4631-901C-3031D226798D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$28986838-F229-40A6-81A0-AEEAE99B8D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$275B3273-37DA-4E7F-B84E-4700A8001417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fef829ee4bb17e99836d27512961ad2fe6f500bf","datavalue":{"value":"5945208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$1C355996-C505-49E3-85C4-33D125F2263D","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":"Q3090848$364EAE4C-65D8-4F0C-B04A-20F7CE45DDAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58ba8637a75be684f1baf31cb3fb4c1d31b61eb6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090848$4B776C2D-7564-4D6B-9598-B90C72366511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b56d4d166cddfcd5847e1a624945a378fda4a24","datavalue":{"value":"W2178845291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090848$50A28615-BA07-4949-B9ED-AC56AAD787FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04941868d724514b2169d98168bdb89f64a18289","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$D5D3BFB6-6CE7-4970-BB38-A2242B9F8A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d00d6ef8f724f476086457cec76ad27e35331","datavalue":{"value":{"entity-type":"item","numeric-id":3637351,"id":"Q3637351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$EEBBEDF3-1205-4A56-8397-76AF432D4AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d44e0d283ee4a6747f41419e53b399d833e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$FA208D91-CDD0-4A89-981A-10074D1ABC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$CC3AF4EE-E9B6-4F58-924E-570323AFAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$7A1D4D17-2B2A-4045-8C63-92138579DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$D78F6A00-C9A5-4E3F-B0D8-7C18574371CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024e5fa4de8f716298ab02999628d2f814871fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$B0BF1473-78B2-49C6-ADFA-7CA4A48DBD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$E0EFBDAC-8764-4857-9D59-D7FFF4733322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6972538526c9435ab100dae8117e5422c96eb22","datavalue":{"value":{"entity-type":"item","numeric-id":5716587,"id":"Q5716587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$FFFC0170-6F36-4F49-B4EB-7493ADFC171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728714e704897dc5089dad7a6353e4ee7c8d2097","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$4C77AB44-594E-4056-B0B3-D10896F2B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$EF69F849-268E-4500-AA9F-751DE2DD8102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090848$29F88F0B-B1B4-4FE9-871F-BED86EDADAF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133439633d30fd2dc09cee8689548d8882704c82","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38396a4fd67261c3203d23c10ef03147a9a595e5","datavalue":{"value":{"amount":"+0.8120171427726746","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":"Q3090848$611E95C1-3845-4F20-B6E6-0C2903005BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9ad684359cee10f14d500c78494bcaf4d18328","datavalue":{"value":{"entity-type":"item","numeric-id":3172801,"id":"Q3172801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c664878221df4e4ff3259381d453f45680cbb7","datavalue":{"value":{"amount":"+0.777842104434967","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":"Q3090848$3E21937F-4616-4A71-94FB-9DC620DECE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0249f4d020508490de3ff6426bfb85cd3503d8c1","datavalue":{"value":{"amount":"+0.7533418536186218","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":"Q3090848$FFD624A1-B9BB-47AE-AA62-9B1D07E1FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea26f3a34d503fae6d997918207cfc6a7c36e5fa","datavalue":{"value":{"amount":"+0.7449891567230225","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":"Q3090848$2E25B363-DB9E-4847-BAB6-F7388E9A991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebfe0118d4e156ad7924a705caf1d9074c89dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2842113,"id":"Q2842113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140ba13e685a85a9deab37e8cb264b27cf833932","datavalue":{"value":{"amount":"+0.7435608506202698","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":"Q3090848$39852D5E-EAF2-4850-B0C4-D68ADDD86EA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090848"}}}}}