{"entities":{"Q617922":{"pageid":619698,"ns":120,"title":"Item:Q617922","lastrevid":51164036,"modified":"2026-01-17T00:47:28Z","type":"item","id":"Q617922","labels":{"en":{"language":"en","value":"Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5836583"}},"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":"Q617922$F85E8803-9CC4-4B03-A8B0-664FE15E3764","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b450a2986463c0513f80efcff87442b16f7639e9","datavalue":{"value":{"text":"Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q617922$0CD49C83-3E0D-43E1-ADF9-9AD190E81D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a375ca54d5ebd6cc2ee95a8625cb3a814dae5693","datavalue":{"value":"1213.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$E2FACE68-0597-40DB-ACCC-E443B09A0ADE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664cb10eae783e230c25ed1968f2d93220a5d7af","datavalue":{"value":{"entity-type":"item","numeric-id":617918,"id":"Q617918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$204E1BD4-3798-4691-B49C-F471E4D905B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d74baa56103c344878e0706987be10bb374c5e6","datavalue":{"value":{"entity-type":"item","numeric-id":617919,"id":"Q617919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$D0672C5A-E0CA-4B43-9FCB-6F81A581F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c59604767b465b5a79ea3a73dd412e20d1df36","datavalue":{"value":{"entity-type":"item","numeric-id":617920,"id":"Q617920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$5CBF83ED-2D17-4B4B-8FE8-66936685D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$943ACBBF-E968-458D-AB17-EAFDF78E0211","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$86E6F318-880B-47D0-A19F-ED62C2E6E6B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d14a749cd124a799ecf622509edfb6062024c1c","datavalue":{"value":{"time":"+2011-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q617922$F2D73660-6096-483C-9CAF-8E3C5966F8C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$F5E16617-3B64-4B97-8D25-72F7E73D0837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$DD986500-55D8-4D98-B7A2-58DCE1D669C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e3cadbac961ec3b749ce6a5b6b425e13344a31","datavalue":{"value":"5836583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$B2AA0A55-6A10-425D-894A-DEECE327B810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$2A705013-358E-4516-B27C-B5B54B699769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$16DCAC61-7562-478A-8D7E-6DA460B9760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb0786b515962e8181fae0160db87ec7c3755df","datavalue":{"value":"readers-writers algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$5EF78851-DAB8-4EBF-B91B-724E480EDF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$D2DBFEC3-E4EC-4D28-B7E7-F10AA4EC8C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$FA6A9691-3AA5-42C0-94A6-1222CF769B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d828af59158f5cd2b362496281af4197035aa96b","datavalue":{"value":"concurrent software","type":"string"},"datatype":"string"},"type":"statement","id":"Q617922$BA19C24D-7A56-46C9-BB44-693540BC2937","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$F10A0D02-037A-43A7-8E25-CD4D3478C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$BE040851-7E11-44F1-9DC7-700C4C11A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$4A07019D-EA38-4071-966F-01D8262444BA","rank":"normal"},{"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":"Q617922$59C449D6-EDF9-47C5-9202-467FAA7C02E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$0BB2BFC5-9937-4E32-8AEF-E1F2E80502BB","rank":"normal"},{"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":"Q617922$850C33C9-D79F-435D-8F9C-82D0A395F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$0B3A6D81-6BBD-4F7A-993D-C7F6067A80B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$BADAF6DC-6BC6-4136-BBA9-90639422317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$91D2613F-FA49-4F17-B508-D75511BD1385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6377d9e2443ed2d598838b0cb43c6c6774ad62ea","datavalue":{"value":{"entity-type":"item","numeric-id":23972,"id":"Q23972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$FFC4CFE8-7540-41BA-8E9E-9F9A0ED6E730","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":"Q617922$019A15F5-AEA8-4C35-95A9-846DBB20E0B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c6f23e0d71944de94e2c3fadc1c6fdbb94b95e2","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q617922$9F12B8B5-D9F4-46BE-A8B5-DFC0A69CAA3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f12eca65f10d1f4c07c0276d8af50010e941991c","datavalue":{"value":"W2171982732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$F7497C31-D858-4720-9403-5E3E448F0651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829741667be3983b7964ccce80365d24e5dea50f","datavalue":{"value":{"entity-type":"item","numeric-id":5312934,"id":"Q5312934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$47C72A24-20B9-4F1F-B3E2-106C7B9D92E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$7D6E3111-C04D-450C-9CA7-77F47D48FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$485CC885-3B32-42B1-B2A4-10EA8B5247F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24807ea1d12a165916242f08fba102fd18c46849","datavalue":{"value":{"entity-type":"item","numeric-id":617922,"id":"Q617922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$28DC0D6C-82FE-4917-8FEF-DCE2348F1351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$30C424E0-BB77-481A-A318-469C3AF23023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29268b962e7aab82b1002446827f2f232523e231","datavalue":{"value":{"entity-type":"item","numeric-id":2643124,"id":"Q2643124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$642BA661-2D7B-4715-B1E4-980DAAFC3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eb5052b678b8480347da340c5f5a44db7aea2","datavalue":{"value":{"entity-type":"item","numeric-id":2763984,"id":"Q2763984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$D43C20D5-7AAD-499C-BDCC-597C8D13D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$515EC599-FC53-49B9-B811-D22F125C179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$F71145C7-7570-46B3-BDCA-787C2FC9B5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$7EAD67BC-7B39-4A36-B00F-84A7759F0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1bd5de719087eec833b1043662e4bdf8caff01","datavalue":{"value":{"entity-type":"item","numeric-id":5308423,"id":"Q5308423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$D2F72A75-5A87-4B78-9453-9FE0862EE27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2b1a1129e52300307f9b1e97a46c54c82f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":4536588,"id":"Q4536588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617922$4CD55414-1F72-44DC-9022-FBA96ECCB6AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd30e6819f669a5d975fedf792272e77e83d6867","datavalue":{"value":"10.1016/J.SCICO.2010.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617922$77102480-B1F6-41B2-8292-918CCE4E9C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36277ef934a2f1711c723a22553acc727d1957f","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690777d4a702af7359a4e3006834ae2402df8302","datavalue":{"value":{"amount":"+0.6603907942771912","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":"Q617922$947C12CD-43AB-435D-825C-E063EE44C662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b252a360cc0fee5af6737363beb3e303d737ef","datavalue":{"value":{"entity-type":"item","numeric-id":2024377,"id":"Q2024377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4826eb0b5021efce246e8b903bd7dedec05b019e","datavalue":{"value":{"amount":"+0.6568881869316101","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":"Q617922$15B2C28D-1B93-41E3-95B7-A64DB6E776FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeb509b73a042deebca797bb04c4d9ff9979f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3140462c73d794ebeccef34e9b5fc2816075b0","datavalue":{"value":{"amount":"+0.6535660624504089","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":"Q617922$DA8A691C-7353-4D75-AA47-69D641122AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2815cdabd4a56b637568661c2091f5af3e119f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5290073,"id":"Q5290073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a49dd5177922ccf4a5149508a5b9489e62682e5","datavalue":{"value":{"amount":"+0.6528335809707642","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":"Q617922$E192DDDE-CC8B-40F3-AEAF-AC966997C6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2fb2d96afed1535b27a8e57dcda1142b297fd3","datavalue":{"value":{"entity-type":"item","numeric-id":2377134,"id":"Q2377134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c7ab31a6044ad1d475eb584177ddeed8baf0bc","datavalue":{"value":{"amount":"+0.6472337245941162","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":"Q617922$6FB80C42-5A3F-471E-9C12-5CE497D2A82D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:617922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:617922"}}}}}