{"entities":{"Q338624":{"pageid":340391,"ns":120,"title":"Item:Q338624","lastrevid":61073175,"modified":"2026-04-10T21:00:13Z","type":"item","id":"Q338624","labels":{"en":{"language":"en","value":"Effect-polymorphic behaviour inference for deadlock checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6648214"}},"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":"Q338624$C7C59F01-AEBC-4003-A813-1F3753F2D344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c2bb97a420509778a9b1c56935e4ea8f2e9517c","datavalue":{"value":{"text":"Effect-polymorphic behaviour inference for deadlock checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q338624$1EE32EC2-C6C4-4312-B0C5-95E845737033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16684f7021b5b22ff4424a2d5323e696fd79683","datavalue":{"value":"1392.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$E21445AC-2B19-4006-8F2B-98769680742F","rank":"normal"}],"P16":[{"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":"Q338624$02D683EB-F15D-46EC-B0C0-2B6C24C33448","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":"Q338624$B7014B18-1702-49E2-A19A-F8C7750267D8","rank":"normal"},{"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":"Q338624$94156907-94A0-49AC-8E8B-535EBDF84FC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$84A1119F-5AD5-4011-9DE0-B0F9AAAA56D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0de08f7c166202c119e064327d0e745050bbcd53","datavalue":{"value":{"time":"+2016-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q338624$61171326-8ACE-4B3E-88E8-D3EB2AC5BCF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$403D09D5-9CC3-4708-8229-DDC86C0A66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$306E3524-7C95-4776-B1A4-658877364639","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968b766337429fd8a244b94f43e7ace125920de6","datavalue":{"value":"6648214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$1E77531D-30D9-4E97-8E43-68288CBD854C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q338624$3A00AEA7-D7EE-4557-9E13-75E5E3EB34BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q338624$97D04361-83C4-472B-9B25-67754162CA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47fe42bbf00e6f95865c9578dae5b4125d34b54c","datavalue":{"value":"type and effect system","type":"string"},"datatype":"string"},"type":"statement","id":"Q338624$D33C320E-86C3-400C-9222-0C6B0D5CBD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q338624$5D40B0E3-26A5-4586-9C54-B7A7B19831F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q338624$F1038D06-F9C2-4381-BBB3-36C6062C8299","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$A45A1D57-990D-4F15-8A50-6D80AA5477DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$6CCD9951-BCEC-432E-9E67-8DE25814D585","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":"Q338624$BCA3EF8C-2825-4D1E-8D1E-8B73E2B8F5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$FD44D4E2-4B93-43D0-8158-A12A8AE875F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e01f55fa4bbaf1f74d3e3deb839030a9561a352d","datavalue":{"value":{"entity-type":"item","numeric-id":32043,"id":"Q32043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$C31191D9-E1A2-491A-8C24-1D9C5CF0ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$ADA57424-0DD4-40AB-8D02-D85452AC483C","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":"Q338624$E2AE9C40-0F0E-4BC0-94D4-4EB7DAF2A3E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3524f6cc6cdcb8ad526252381ef334d477a8ecf","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q338624$3CD1AE64-6AEB-4407-B1B8-33A73A774865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15f081eafa15a8f5508c1c8cda7377b95a231fd9","datavalue":{"value":"W2394951157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$097F82F5-8ED9-4ABB-A9C5-08306EA48570","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32c8103a77458e4d3ac82d3b4eff828c1336e39","datavalue":{"value":{"entity-type":"item","numeric-id":3393404,"id":"Q3393404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$5CB16774-24D1-4ED6-96CA-94A36A351EDB","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":"Q338624$F8AFA29F-334A-4A5F-B78E-EE19B80F4046","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":"Q338624$15077080-FAC9-40D6-8576-C5665210386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ebf5c4faf8ce2e1407cf3d8a283167d10c6299","datavalue":{"value":{"entity-type":"item","numeric-id":5175772,"id":"Q5175772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$347E200A-4180-41ED-B6AA-644013551D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97df89f37810f43d3626f4f5f3b97c9f097cb75a","datavalue":{"value":{"entity-type":"item","numeric-id":2753774,"id":"Q2753774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$61C676DD-345C-48BE-BC53-914322099799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884d51eedd303606c739079be383d06ea9f6e54","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$C7BACD78-F422-400B-9D1B-E26F13054CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$86D7B45D-1A83-4D39-9306-3890F0B0AA24","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":"Q338624$9EF06153-97B1-47A5-AE61-71ACFB6EB2A5","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":"Q338624$928CFA8C-CC80-4B49-B3B8-9158A679610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b246c98de0e52097588815a52fd998f1c1e3d01d","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$1B01B41D-41EB-4BB9-B9C4-EFE28252873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$0F80932E-AEDB-491D-A2FF-40D95EAF231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91abee4d69192f216b9f10baba2e597434e6a785","datavalue":{"value":{"entity-type":"item","numeric-id":4380998,"id":"Q4380998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$F296C2DE-595F-40B1-8DD2-31563FB27F9C","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":"Q338624$4B7FDEC2-68A4-4217-9D9B-D31A93404D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4513ab0e93aaaf4518400d0c55e2b1121521253d","datavalue":{"value":{"entity-type":"item","numeric-id":5178873,"id":"Q5178873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$30B967E1-F96F-421E-ADBF-EA6D88A8D4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02c92f51281a79932f7a0cec8637b9fdc625150","datavalue":{"value":{"entity-type":"item","numeric-id":2575137,"id":"Q2575137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$C96BC25C-CEA3-429B-9A90-9A82EF9D8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620a285a6d83cbe0fcb2ca22f0db8111fb4fb562","datavalue":{"value":{"entity-type":"item","numeric-id":4764612,"id":"Q4764612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$F3F34476-7A40-4EC2-9B20-A6749FD27633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0607ed4c0036b6285d9aa331b729d86741bb73ed","datavalue":{"value":{"entity-type":"item","numeric-id":3653849,"id":"Q3653849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338624$2E78B569-D048-493C-96C6-97726D8840B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfceeaa0facf544351ec96d904c9129d26095d6b","datavalue":{"value":"10.1016/J.JLAMP.2016.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338624$43DB248D-A828-419E-8EFE-D0C788CE2BA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7695a285e7741862f33df63869caceff333797d","datavalue":{"value":{"entity-type":"item","numeric-id":444480,"id":"Q444480"},"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":"Q338624$A7730C03-D3FD-4B13-9B83-CFD047070940","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":"2b176e968086602e436453f20510bd93a2fbfc75","datavalue":{"value":{"amount":"+0.7672926783561707","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":"Q338624$980F0DDF-63CF-4D0C-88E8-E131E37A53B0","rank":"normal"},{"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":"c942c4b8a6ff42f703919db1dfea6dced7eb0cef","datavalue":{"value":{"amount":"+0.7591952681541443","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":"Q338624$3C29CB5C-E53E-4AA2-9C61-5BB1EF9B5D12","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":"6e9d7193eba55439f4ae3fbc5b227ef07914ad35","datavalue":{"value":{"amount":"+0.737679123878479","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":"Q338624$BB584F33-2A7F-4309-81B4-C082B7197E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641721da4a4f0f39677e5bd8e9ea9d97d184c9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3455052,"id":"Q3455052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f0d96afc69e95bfa2d15d3b4d88d51f8508409","datavalue":{"value":{"amount":"+0.73248291015625","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":"Q338624$850F4BC1-B9B7-4714-B5DE-F279BD760466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effect-polymorphic behaviour inference for deadlock checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effect-polymorphic_behaviour_inference_for_deadlock_checking"}}}}}