{"entities":{"Q465488":{"pageid":467255,"ns":120,"title":"Item:Q465488","lastrevid":52116443,"modified":"2026-01-20T23:31:40Z","type":"item","id":"Q465488","labels":{"en":{"language":"en","value":"Deadlock checking by data race detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6360846"}},"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":"Q465488$1D01829C-57F1-4945-8B61-10CEE6E151D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be179cbd2d4c793c95241c0c6c719d6111df21b3","datavalue":{"value":{"text":"Deadlock checking by data race detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q465488$ADEE98F8-3AC0-4FD1-8B4A-6FD30311DB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf40c6b2719be90d657c31f60339d8aa9a8f8049","datavalue":{"value":"1371.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465488$DF206647-B055-4457-91A3-B8DD7C553BE0","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":"Q465488$F09EDEDB-DCC0-4A46-85C2-7314D0C0DBB6","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":"Q465488$0CB9A0DA-152C-401B-8D4A-7CA8C73AE9C9","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":"Q465488$CABF08B1-5E7F-4E0A-AD2A-8232536ED52C","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":"Q465488$54492DAD-C084-4B51-A751-183A146FA9B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19223fa13371e3ce1b1dd08c8b63557fc81ef3f8","datavalue":{"value":{"time":"+2014-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q465488$8834F4E0-E77E-4E69-9BF2-D148F9766FB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465488$1187BE1D-00DE-4108-A338-4D102EE7AE38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aeef7cb5c714b0d44c507bb3dd3ee7468ddd475","datavalue":{"value":"6360846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465488$DBF6A7F2-3E5B-47B8-B964-D690064A9637","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q465488$0C605A0A-E5FC-4191-8B04-0F36F2621D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e656572b1264c3d67b61ebc30059aa8d4fd1bd","datavalue":{"value":"race detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q465488$16A69210-7E85-49A1-8EFE-D3D347A34620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47fe42bbf00e6f95865c9578dae5b4125d34b54c","datavalue":{"value":"type and effect system","type":"string"},"datatype":"string"},"type":"statement","id":"Q465488$31E3064E-D314-41FB-8AD3-CF94A707D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q465488$DFCB2D50-1C3F-4C48-BBDB-73B334504235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q465488$FC9544E0-B30A-4589-829C-277CD1D5BEB6","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":"Q465488$971CF420-C767-4BA0-8646-FE5247232D99","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":"Q465488$78F7D1DB-87BB-4D66-996A-C272EF284C12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77f2d69157e1cc66722ce7f950c6257cd0abe00a","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q465488$B12C8064-8AFC-481E-AE86-04691088C1F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"695e8b84cc6d4e693abd1b1f5fcd53efa7d2c30b","datavalue":{"value":"W2065314458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465488$65257A9D-77E1-41D4-BDC3-6B431DF2E4A8","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":"Q465488$5991A5F3-3DF0-4944-A1B9-4BC5579A626A","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":"Q465488$4BA3FCE7-BC91-4AC0-8D95-68192B583A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed048245d39da8329792c893332f9ac9c6063220","datavalue":{"value":{"entity-type":"item","numeric-id":5466554,"id":"Q5466554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465488$7E2FEE70-A1CB-48AE-827E-1161B875803F","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":"Q465488$3AD82010-C1A9-4DF3-8286-9747FED3D1F9","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":"Q465488$D3AC9357-33E3-435D-9F36-AC6D318DB149","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":"Q465488$C4408AE9-76E1-47DE-8E79-1C3195ECD8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a251ebd4027beed7867f6cdbdf8a30a87972f23","datavalue":{"value":{"entity-type":"item","numeric-id":2948236,"id":"Q2948236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465488$9A1E9401-D08D-4A32-B5F5-0BEF51999430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7314c233131ffa2d488c9b8e5f850a4f69e2669","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465488$72427CDC-0BC0-4BCD-AEEB-4774B9EC6837","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":"Q465488$DD669C63-E9AF-4860-8F10-4D4CD205AAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99e9d74cb850b48087abdc6a5063ea0a5f2524a","datavalue":{"value":{"entity-type":"item","numeric-id":3392925,"id":"Q3392925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465488$5FBA4118-7638-458D-BFDD-AC3E9E4E3438","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":"Q465488$D466B759-9C10-4FAB-B616-C78A0282CCF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eebfc23c4d1ad8caea3fb099242441fd2dd45597","datavalue":{"value":"10.1016/J.JLAMP.2014.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465488$7700558F-A6B8-454F-A4A0-D9E025E6676B","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":"c04fb1f132c88124086c77e072f3a5c7d0216d1f","datavalue":{"value":{"amount":"+0.9947961568832396","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":"Q465488$911FB3BA-505B-4DF6-A5A3-DE094361C8E2","rank":"normal"},{"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":"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":"Q465488$72AE50A0-91A1-406C-9A84-0499E48D5020","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":"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":"Q465488$65C649DD-9899-44A9-B3F4-7D5952776FA2","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":"0f912e2245a6961c8f1ae78b3282a0de97a1f1b0","datavalue":{"value":{"amount":"+0.7565486431121826","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":"Q465488$A51BEC31-3AAD-4BAE-A25C-DF9AC2B5512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036ed25311e47f09f436a44694f9290118d730c0","datavalue":{"value":{"entity-type":"item","numeric-id":3527867,"id":"Q3527867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032a6279cd6b2c7b7d0af6737920a3b70ae1b09","datavalue":{"value":{"amount":"+0.7512075304985046","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":"Q465488$103A8350-C9D6-492C-B421-C28F7CADAACC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:465488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:465488"}}}}}