{"entities":{"Q444480":{"pageid":446247,"ns":120,"title":"Item:Q444480","lastrevid":51528287,"modified":"2026-01-18T15:55:30Z","type":"item","id":"Q444480","labels":{"en":{"language":"en","value":"Deadlock checking by a behavioral effect system for lock handling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065759"}},"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":"Q444480$8C093F30-A53C-4B57-9C9B-05A850287A72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d05bb5f8c1f122b1af9f894125be77d536b5f131","datavalue":{"value":{"text":"Deadlock checking by a behavioral effect system for lock handling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444480$2D0D4D06-4EE4-443C-A050-FC7D51DAFA8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"995e9716aa98b3b050a2c47f0e3befb572f0ddf6","datavalue":{"value":"1246.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$A5233E56-C882-4A62-A0C5-34405D63179B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef511e44a751bca3a1b7a13f1a4f39eebf812ed0","datavalue":{"value":{"entity-type":"item","numeric-id":444479,"id":"Q444479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$0BD23AD9-170A-43A3-8523-3AB8A6CE42B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$38BA7378-6AB8-4B0D-9F12-EF0DC5FF8280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b123cb8ed588008e378239d988da5831697738d","datavalue":{"value":{"entity-type":"item","numeric-id":338623,"id":"Q338623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$760A19E9-8C7D-468E-ACBA-6AB40807E495","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$2B074DD5-BE2A-4F33-8667-77736C6A7B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-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":"Q444480$0B3B9828-DC52-4D21-B4FC-F08EE1162DC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$0D18AE2D-A0BC-4983-830C-5A70913CCA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$7184D447-9155-4567-84CA-9831F4883C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7714dd14a1fa978043ade9467b58f3c47b0c441","datavalue":{"value":"6065759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$F77078AE-9230-47DD-A864-90BE7DD6AC00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$15D5C8B3-C8E8-4B7C-B6B3-8E1B97AFF346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$10F66E9A-E5AF-43F3-B9BF-7AEA6937E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$6BFA9F1A-6658-4351-92D3-96957B454EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4699f0d2b21e5da7ba23955492858be0a2216af6","datavalue":{"value":"behavioral type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$57490CC2-2131-462B-B2C1-188C23F51FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$31E46574-E6E9-4125-8201-6D2B9A76E0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q444480$C7DF23F9-5584-4DC7-AE44-B6845E664BDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$9062CFCB-F07B-4C63-ADBB-E459381851D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$815EDF12-734D-44F7-AA1E-E579B973CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$603852DF-6318-47F6-9935-E867B2EE144A","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":"Q444480$8B06B34E-8FA0-4359-9F87-629D0D7EAC6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f5c738b87007443222fe870d6b0a475cbdf6160","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q444480$8AA41159-DBC7-4CC4-8F7C-6C8D9638481D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe4b82974aea27cc5a13d1dfb66a2a39db4d75d6","datavalue":{"value":"W2084800560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$EC839950-8334-495A-AC61-41996718D407","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e1c5654ccfe355ec49da83034ed3115f3b07e6","datavalue":{"value":{"entity-type":"item","numeric-id":3393400,"id":"Q3393400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$B39935E2-F049-4BFA-8983-517024BD8293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3ded47d522181f913b9f33a249ef94198aa6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5505419,"id":"Q5505419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$7CD9BA42-150C-40AC-A8B2-07AE6E816A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3692b296a33e238e2bac956eca17e6b4d638ba1d","datavalue":{"value":{"entity-type":"item","numeric-id":3776606,"id":"Q3776606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$8456F108-7201-46CA-8446-856DCDD14B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58539d575c8d1875a2d20f5e305eb0c3f50180","datavalue":{"value":{"entity-type":"item","numeric-id":5633643,"id":"Q5633643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$8D0F6083-B007-4210-819D-238EC4643E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$39125152-33B0-4772-B7E1-774090F1CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$8D72E315-8F1C-490B-9677-3B4A14C9DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4d4fa69845ba44333ace4261196e3c34493f2","datavalue":{"value":{"entity-type":"item","numeric-id":5178019,"id":"Q5178019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$092205FC-91B3-45BB-A671-A220BECFFCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d745b9f8acac729a11e5e9ec63ab3b576d11b","datavalue":{"value":{"entity-type":"item","numeric-id":3401092,"id":"Q3401092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$8A25E3E6-2E13-4DF3-9021-BC96EDD7B682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22ee0365bc67df794f7358ffbc9f6a486cf3bc2","datavalue":{"value":{"entity-type":"item","numeric-id":3735045,"id":"Q3735045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$C883FB0B-0E9A-4AF1-A8AE-4EAB012709F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e868aa03a0e9f4fa0546b4808ce3119282be9d83","datavalue":{"value":{"entity-type":"item","numeric-id":5190777,"id":"Q5190777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$B119C676-EBE1-4300-97E5-D23A8B8B878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fb5486878979db4428b757a9dae38f8d1a87cd","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$E2EFEFA1-5A56-4977-B4D8-18E29315E5A6","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":"Q444480$EB1AE59F-9FCD-4E82-8CFE-E2D9B85ECFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$DD48C4C9-6F5A-4E52-A9A7-8AE4F7785D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d5f4b8e96efeaad5a01fa88602ad9035a10db3","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$D0140038-2BB5-4ACA-AE92-A3AF5344A7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cd725fdfb06489aa9a045bf3a0ad88b009f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$6CBA9FDD-FBA5-48DF-A0BA-70C12C8852D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570e39de7fb89ba407e4f9ae908fa4ce80a912af","datavalue":{"value":{"entity-type":"item","numeric-id":3189812,"id":"Q3189812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$E4BF06A0-7B58-4C9B-AD24-ACA844932113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$2EF4110E-1F9D-4556-B3B0-DB1BC6A1344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa3f2b63d95370d2573c0e6d4338f9d59b8d832","datavalue":{"value":{"entity-type":"item","numeric-id":444480,"id":"Q444480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$FD44468A-3AF5-4FE0-AE8C-4719B4A9C090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb261d04fba6b34bcf6ef093e8e25e1dde3475b","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$BC791B5E-B939-41A3-AB2F-6FE34C24BAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6819556940bdf91a07ff6bf13a443c5182a3760b","datavalue":{"value":{"entity-type":"item","numeric-id":3569200,"id":"Q3569200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$422D36DF-D17A-4F3A-A74A-0F5A62C38772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332792fe1d0c7937b4298fa0d77ce991ce447284","datavalue":{"value":{"entity-type":"item","numeric-id":5458404,"id":"Q5458404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$F730A664-A342-48CF-8E54-EB0EF9CE0035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444480$ABE46606-0848-4EB8-9531-44C655D588B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a4017d9d85c934119f5a860aeaaec53f87036b9","datavalue":{"value":"10.1016/J.JLAP.2011.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444480$8288AD45-727D-4F67-AEAB-45E92D30BE82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7056bb5de35aab65f9b9fc2b8f5109e6798d2882","datavalue":{"value":{"entity-type":"item","numeric-id":2948236,"id":"Q2948236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc6c11fcf3047297014261fc48759f22357cc75","datavalue":{"value":{"amount":"+0.8557220697402954","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":"Q444480$9FB4728D-38DD-4158-BB5F-EF67FD928640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd36be3ef3de51103991c0706ab736e02c09ba6","datavalue":{"value":{"entity-type":"item","numeric-id":465488,"id":"Q465488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05aa686825da283cf5282aef75fac2f782fbddcf","datavalue":{"value":{"amount":"+0.8508439660072327","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":"Q444480$A948CFE2-DB47-4EA2-ACB5-013A6EAA97B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bb0131cd22048170ae2b091522f3be96f875b4","datavalue":{"value":{"entity-type":"item","numeric-id":338624,"id":"Q338624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e654dd954d82a28e9c3ea0b222b6510f3f06ed3","datavalue":{"value":{"amount":"+0.8156688213348389","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":"Q444480$01336293-CA96-4FFC-9A47-831220ADDE96","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":"ae138e469a9d42bd1f81ed55d8a24af41753a62f","datavalue":{"value":{"amount":"+0.745243489742279","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":"Q444480$20F3E21C-57FB-4BA8-829A-BDD623BB8F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e304a0368df7e1320526d9e15c3b04aa4d431edf","datavalue":{"value":{"entity-type":"item","numeric-id":3558239,"id":"Q3558239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d539a22975e87fadb1e6252bab299aad70443ef","datavalue":{"value":{"amount":"+0.7406837940216064","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":"Q444480$9E2D1935-6562-4A7B-974B-8D53BB37F06B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:444480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:444480"}}}}}