{"entities":{"Q2573636":{"pageid":2584379,"ns":120,"title":"Item:Q2573636","lastrevid":79093256,"modified":"2026-05-06T13:07:51Z","type":"item","id":"Q2573636","labels":{"en":{"language":"en","value":"Using heuristic search for finding deadlocks in concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2231413"}},"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":"Q2573636$8E0F0844-BAEC-45FD-AD0C-24CB1DE10100","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e4cfa869b3605766c3f1487000ed7cc61ea62a5","datavalue":{"value":{"text":"Using heuristic search for finding deadlocks in concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573636$030126EC-FE88-4253-8098-7E32AA073B59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e72e50f51233b0078688e1a36e89e1188f58af5e","datavalue":{"value":"1101.68680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573636$2A9486D6-CA4B-4754-B72A-5B11BDB60CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac95800f63ca0dc7cbed859c04bc082936fdb150","datavalue":{"value":{"entity-type":"item","numeric-id":856421,"id":"Q856421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$B9D7D66E-A435-4C44-97F4-574FA663651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$A414EF28-6C92-458F-AABD-AAC1E6ADE7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dbfc9dbe3ed0f0280a2b4795bd7826b0fd327b2","datavalue":{"value":{"entity-type":"item","numeric-id":856422,"id":"Q856422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$B7B838AC-6EE9-4A66-86CE-045ED7E34D7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$D59B0F93-3CD7-4C1F-B5F8-FF3C8D1E36AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bdc0ef30ef09ae596e5098dc0403362d54aa573","datavalue":{"value":{"time":"+2005-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2573636$F04FBCAB-D075-4C75-8CBC-9D877CEAF98A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573636$19C89B3D-D0C9-4F17-8FD2-034E549DBA0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5910d8e2c9deca1605ba4c1ae5922d6947722c8a","datavalue":{"value":"2231413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573636$9D19C9A5-EA03-491E-A377-B0B2797FC2E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5157c56fa32c3fe1cc9300dada0aa6821686ca","datavalue":{"value":"State explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573636$6237E430-FEE4-45DD-8514-D6D8D5672B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e688283caae3ee1278d17923ed78ab5808d8b1","datavalue":{"value":"Deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573636$4B5093E2-AADD-44AD-8817-DDB7EECA8B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a204b272a3e3619451d490a4349046f09249931","datavalue":{"value":"Heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573636$730570C1-ECA0-45A4-A792-B57516E3F73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573636$17E6442A-5D3F-47E8-88B0-93C53D23DD76","rank":"normal"}],"P1463":[{"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":"Q2573636$E50DBFF1-3B3D-4FA0-8DA6-ACAF212B5F1C","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":"Q2573636$85603C71-E11C-4B43-9B18-28E45C0E96F4","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":"Q2573636$D64C2168-E4E7-479B-AB7D-1AF4C519EDCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92022b9bc2a24c2487efd4ca27f2cc894e8260de","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573636$3B4F0266-1B15-4021-A619-9949E005A8B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a864eb086e190e1978dd1bc8c94baf37d4ff9105","datavalue":{"value":"W2004043832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573636$52A3F866-31FA-4975-9366-EAC53320B9CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78374d3e67354d92950f04b03a24bae076032bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2747744,"id":"Q2747744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$38D0FE3B-B709-4D7F-84AB-D6D58A8E1BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$59A4EB81-1C21-4E48-B303-5F2BF7C28EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$19903610-4504-4887-A2BD-7C986624A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$2683BB14-BA41-4622-93BC-23EA6EDBEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442f45f3c18c8b22505978e31640898de7dd7261","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$3D851232-92D5-43E6-B801-92BD2B3459DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f22d5de0ed7493cc09714187c79ae1bcf6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$7E2F2F60-5087-40C7-8C14-21DD05DBBA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f3459305ac937293a3547b4e7b928bd3325bae","datavalue":{"value":{"entity-type":"item","numeric-id":4318992,"id":"Q4318992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$885D73D5-0F1D-4301-AB09-2B889C7A6C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7936b2ab9f3b12e57591a251dee3c581d3abeb75","datavalue":{"value":{"entity-type":"item","numeric-id":688829,"id":"Q688829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$2C4A8801-E57C-452D-94DE-3B49B36B0A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$1EBE9691-1E67-4885-AAAB-EE139E242C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af385177259698927f3031d4a1372f7cde432e2","datavalue":{"value":{"entity-type":"item","numeric-id":4039698,"id":"Q4039698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$203F9336-5C6F-46BA-A75E-0B1C5A0CBC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$E378DD98-BECF-4F4D-A87B-96263A502D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$401CE722-752A-4617-8F47-16F76FCA2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$0050F713-D115-4307-A425-7A376E22E69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$C1C15D1D-CA9A-4DF0-95FB-0C9569187C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a6adfc4aa428698cbb36dfa7179dec69749907","datavalue":{"value":{"entity-type":"item","numeric-id":4472244,"id":"Q4472244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$39B19C7E-E347-4931-9550-2E4B01643D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$82D55A5D-FD79-4CB9-854E-A5E64CB77B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$34CDEEA4-ACDE-4022-A67F-3F64818D3D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f2cd1ab72021229ef51c78e234823c044c6f32","datavalue":{"value":{"entity-type":"item","numeric-id":5178996,"id":"Q5178996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$584D7304-CB65-4163-B0BC-471299DE84F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$D2ECC481-C842-453D-928F-4FD120D5BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a42467b52e94511ef177e7169682110c81f3562","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$B5600B3F-2F1B-4964-8174-F41D3A6D179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74adc34352d02acb92f7aaebafd8969b9a78e3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$A1C7288B-7C46-4BEF-8C58-F6B1C6A17446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$335B71B0-E0CE-4481-9C1F-F71CCF20466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45f1502c71e48f475d0240f9ba1fae43f8ba9cb","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$8361D390-7C8A-488C-A86B-CC13272B431B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$20E797C4-1F66-4353-B18E-3B83F02D0944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$8185FA00-3A74-4E17-9E14-50F0B8357740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$7BBA7003-8A26-4EB7-87A9-43DEDEE9781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f86cecb726537f2bc3541fa1c0b8c11f4686c6","datavalue":{"value":{"entity-type":"item","numeric-id":4787214,"id":"Q4787214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$08CC1BA0-2A5F-40BE-BF7D-182A8AB3CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea939779de98dc53de3866b9f8bfeb8f8497ee21","datavalue":{"value":{"entity-type":"item","numeric-id":4431372,"id":"Q4431372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$2D166AC4-4BED-4CC1-BFE5-6C18309C7CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7768cbd05f23f145912b5e887c14a6fb6af1cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1336776,"id":"Q1336776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$97B1A06C-37FA-4111-9FBF-4332B3BAD4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f1f3d872d72ffade3ed61bbdb1328cce6cb623","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$D115DE9A-14F2-45FF-8FCC-888E7BEA3955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$5D0AAE9D-C828-4132-BDEF-55F087AD3F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$54C5E511-3C22-4261-9B00-316672B9EF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451907b9c0fe3bf39634c908f7af7cc5faeaa19d","datavalue":{"value":{"entity-type":"item","numeric-id":1165571,"id":"Q1165571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$3CC7E16D-2685-4D09-AC6B-3EAEE907164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573636$D3F8A79A-6501-440F-B224-077FBF711665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd565ab1f112e9534df39c52bc1e007b41943e4d","datavalue":{"value":"10.1016/J.IC.2005.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573636$43DF79AE-C48A-4F07-A7FB-930D23763ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9969fb1d11c8211f56f1becbf8af09fd629e1812","datavalue":{"value":{"entity-type":"item","numeric-id":856423,"id":"Q856423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356067d7d544fdfad24d9745d3f80c6bf753473a","datavalue":{"value":{"amount":"+0.8239226341247559","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":"Q2573636$59121C8C-9AF2-487B-AEDA-BA941A3677F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d0fa93acb6d8434cc5fadbb7e16162a63088d","datavalue":{"value":{"entity-type":"item","numeric-id":5178996,"id":"Q5178996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba930e248ba23a70f93cf3b922797eef83f09ed","datavalue":{"value":{"amount":"+0.8029301762580872","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":"Q2573636$0F929C40-E457-481F-9370-2E9788CAFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7192efc1d9605abdf50acf080ffe4d2d7f962b","datavalue":{"value":{"entity-type":"item","numeric-id":715051,"id":"Q715051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8061c444b10e2a5335b6a6f54240e47148a7ba97","datavalue":{"value":{"amount":"+0.7980638742446899","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":"Q2573636$4E8AA53F-CF04-4148-891F-12EA2C2C4F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28865db41c40ae048e1f46773db5c6c172dea1bf","datavalue":{"value":{"amount":"+0.7774761915206909","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":"Q2573636$B40923EB-96F7-4195-B4F1-892E0B646207","rank":"normal"},{"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":"d366e6a78e6fa089a3f7f516378e1ff20599c1ac","datavalue":{"value":{"amount":"+0.7760221362113953","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":"Q2573636$CACC96C0-AB84-45B1-90B8-4920D62EC0BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using heuristic search for finding deadlocks in concurrent systems","badges":[]}}}}}