{"entities":{"Q351980":{"pageid":353747,"ns":120,"title":"Item:Q351980","lastrevid":61173351,"modified":"2026-04-10T21:38:09Z","type":"item","id":"Q351980","labels":{"en":{"language":"en","value":"Formal verification of concurrent programs with Read-write locks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183806"}},"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":"Q351980$5BDDBBC6-278C-48A1-9F2F-EC083172C9B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fad3e6d6ba06b293f5fb4661ae12ade8ece4fd29","datavalue":{"value":{"text":"Formal verification of concurrent programs with Read-write locks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351980$860B51CE-9B9C-4BB9-BB37-8D8B78874ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d13d5a21d5b7628efccb25e077e9487453fe57f","datavalue":{"value":"1267.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$9319A078-EE40-4A28-A81A-8EFDB5D614C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31353b1d02b70cbd2b437dd612528ad7108b0239","datavalue":{"value":{"entity-type":"item","numeric-id":351977,"id":"Q351977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$8DE7B6A9-FAE5-4B1A-9EF1-7BC008CC433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2308b37ac219e1ca1b213d17b783dd3af2b3080d","datavalue":{"value":{"entity-type":"item","numeric-id":351978,"id":"Q351978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$88CDFD44-93D1-426B-87FC-662EDDA75C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"137794768d5b70302fdaa58bb2fd0831a19fcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":351979,"id":"Q351979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$2A142E9B-A8B9-4A52-8CA6-7146EE13260B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$221505BF-0A35-4228-A979-18F6DA1370BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351980$A0979988-F7B4-4CA9-9355-75211446B046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$7762B416-94D5-48C5-878D-4015F57C11CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$41D75E1F-5C68-435D-900F-99C63E9E680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$30FF1803-C443-46E6-B44F-AD5D2D0DC210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$A230A403-B214-4901-B857-A12647CD6679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15593a6970dfa0f00c1aba66b0cc805b5c4a90a","datavalue":{"value":"6183806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$A04DAA06-A8D3-41A3-8C80-D442B28E9080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q351980$A3DCC603-BD16-44F1-AB14-EECA78E22CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q351980$3E974916-B0A9-4FA9-B90F-97D300528000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0ad546e00c1682c9ca733793a022f29961a214","datavalue":{"value":"mutual exclusive locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q351980$C50DA993-3E7D-4EE4-B253-ACE23FDCBE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59024e031d8c4ccd4e59abe71621b645a988cb4","datavalue":{"value":"read-write locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q351980$DC00CFD2-4219-48E8-8770-1F96AA351C34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$E04641A2-E4A5-4A79-B626-51A37991D6EC","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":"Q351980$15FACE71-CFE3-476E-85C4-4CE8CC06386B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"075d8f8e33215bf52143ca04f75c48d7d0c2839c","datavalue":{"value":"https://doi.org/10.1007/s11704-009-0067-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q351980$7E363D28-3347-404C-BB3E-393EB1D7966F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3e7a2ce2addccd2ee448205277240b560713802","datavalue":{"value":"W2021598894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$4DB4E964-28A7-4273-B400-0CC4D4BCFF92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$D3E0F98A-14CF-415D-924D-D2A7686B4374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db309a26e2456093be419170f8cab8d44b459d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$04477F56-244C-4C4C-8651-43D4C1EE7390","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":"Q351980$41869FB2-CAFC-4000-8E79-38E77F67AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$C03663FE-1A6B-405D-A75A-495162110806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$F7BFA079-59EF-4480-AB78-8650A12BE926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba54cc831f9d62f5af870cb95f2fd156ea42fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2936788,"id":"Q2936788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$62808D85-D036-4CC7-8860-094CD1FB7F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$F054115E-6E01-46B6-8350-4D56966559B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$8B699E18-DC33-4A5D-B4C4-A01E668C73AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$BF16BB4B-655B-48D2-8364-2E05CE0C79B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$C4FB9587-D7A0-444A-84F9-701645E04863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351980$73D0BC7D-968C-4141-82B9-B80A535ABE54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c34262bf61b93c6e141eaf850b69555e72c45c46","datavalue":{"value":"10.1007/S11704-009-0067-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351980$F37EB25D-5899-489F-BC2D-7749FEC9931E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fb4b11c1f23638940ef76ad02ddf2a1a6f191c","datavalue":{"value":{"amount":"+0.7434329390525818","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":"Q351980$8ADD9AA2-5296-45DE-AA5B-98B05C741205","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":"aa4ab9346adf979fda3950f324a576516eadc7d0","datavalue":{"value":{"amount":"+0.7420246601104736","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":"Q351980$79CF5E52-E1D9-40EB-8D4D-7790C6809001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1db242d04b6ec8dac86ce9fe6bd8d75100dca9","datavalue":{"value":{"amount":"+0.7373761534690857","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":"Q351980$7E5AB4D6-E134-4647-9F5C-C9FAE6172E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c9aa38794f31d9e8e2a4a2966efa97f8f205fc","datavalue":{"value":{"amount":"+0.7306756973266602","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":"Q351980$6D3AE44D-4033-4D27-9EE4-FA3760A932BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08dc37f982591dedf58bcb8f661fd6bc327c026b","datavalue":{"value":{"entity-type":"item","numeric-id":5408547,"id":"Q5408547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ceb0e156797750ee7ae5939dc558b165e51523","datavalue":{"value":{"amount":"+0.7286092042922974","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":"Q351980$1EB87BEF-A172-4632-9B1F-0C24D9C82900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of concurrent programs with Read-write locks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_concurrent_programs_with_Read-write_locks"}}}}}