{"entities":{"Q3498431":{"pageid":5528334,"ns":120,"title":"Item:Q3498431","lastrevid":90213827,"modified":"2026-06-04T19:35:06Z","type":"item","id":"Q3498431","labels":{"en":{"language":"en","value":"Local Reasoning for Storable Locks and Threads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275785"}},"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":"Q3498431$87E7DA40-8460-44C3-87B9-26CC3B0794F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ade1dca6786d75536adcf5fdd3a1abe83fe2ef7d","datavalue":{"value":{"text":"Local Reasoning for Storable Locks and Threads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498431$C4DD8223-707D-421F-ACA5-46DA80549E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56558449499cae84cde67ff3f061383918d0dd9b","datavalue":{"value":"1137.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$F7660AEE-0E1B-4C8E-9A9B-FAC0A7FBCD65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abfb75bbac7041f3776aa6f99d3c4f5cf26a1321","datavalue":{"value":"10.1007/978-3-540-76637-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$1EC667B5-E159-4CCF-8385-9737DF9FA903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498431$F485CD60-4513-4C10-92D5-418C859F1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4e56a36e4bde76c0ca7e5e91f617c37b6d9345f","datavalue":{"value":{"entity-type":"item","numeric-id":1870490,"id":"Q1870490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498431$636FB53D-6A21-46BA-BCE5-643712E788BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498431$B10AFE64-DB8D-4A7F-8A47-43CE2054B2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498431$929DEB57-93F8-456B-91C3-1627F313F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498431$7633F789-6044-4C83-A740-E5423A848D26","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":"Q3498431$59DDE098-F26A-43CB-8AD6-6AA9F02C7659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498431$F79179BD-B05C-4495-8BC9-C6671B1E7CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$3235609A-2F89-4ECA-8ECF-7A647194EAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$EE047CC9-6ACC-4505-BEF0-4916E1C61C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$1716221B-A362-4B07-9E25-0446CC919AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a70fb2a9eec4c483dad5a812c8c84cdaba63072e","datavalue":{"value":"5275785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$B22E005C-5152-40FA-818F-C9E3F9ABC6E6","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":"Q3498431$30FDD76B-37E7-4619-92F2-063C8BFA7B56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5a807a9a995956419ece0e225d6849d2e58b0f6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76637-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498431$53B5D32D-2E59-48E0-BF74-9A853BCD3540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"977e6b39d8ba15a009e67b8b32bf581172cf5019","datavalue":{"value":"W2155032935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498431$80EF7029-D538-4D62-BE0A-2FEBCF1E86D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5410b57f751fa522fcc88af509181771eef3ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5739354,"id":"Q5739354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69068dd4ac775bfb76c3ea047886206edac42af8","datavalue":{"value":{"amount":"+0.7976904511451721","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":"Q3498431$4D54828F-48F8-4747-9403-863DC77E97D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967abd651b10af40f40123511c8765d386b75551","datavalue":{"value":{"amount":"+0.7736523151397705","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":"Q3498431$BECDA844-52FE-4C86-B20C-06D8CA753BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdce00ba571f280880b4719d9b5bfb3d5440802","datavalue":{"value":{"amount":"+0.7677932381629944","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":"Q3498431$E2615891-CC21-45AD-920C-320268D64DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492561ccd770ae3fd7a0dee4480709eed873a42b","datavalue":{"value":{"entity-type":"item","numeric-id":5308684,"id":"Q5308684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9cc9e713cd01b4dc7d2751327e8dbbafcecee1","datavalue":{"value":{"amount":"+0.7660858631134033","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":"Q3498431$F9550D07-DD69-47A0-BE40-AF80ED608250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea802ea3ef0d8482349546553abc678f15a83e3","datavalue":{"value":{"amount":"+0.7562954425811768","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":"Q3498431$560244FD-AE37-4A6F-92DD-00B76012AEF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local Reasoning for Storable Locks and Threads","badges":[]}}}}}