{"entities":{"Q3179284":{"pageid":3189992,"ns":120,"title":"Item:Q3179284","lastrevid":58142148,"modified":"2026-04-03T23:45:29Z","type":"item","id":"Q3179284","labels":{"en":{"language":"en","value":"Static trace-based deadlock analysis for synchronous Mini-Go"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667489"}},"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":"Q3179284$9405E69A-F70F-4B4E-8EE4-FB6CA611A378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ad85a3070eb513ec0d2791cad9a7503f6f8b1a8","datavalue":{"value":{"text":"Static Trace-Based Deadlock Analysis for Synchronous Mini-Go","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179284$A2A92939-30DE-4C55-8A4A-2EC048521005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab51e6f4b1b4bf4b2f60add650349fae34e50d45","datavalue":{"value":"1483.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$E8BFB8B8-04B9-42F9-9EC0-5715D867C803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d871e81a73926aece0b8cc2120cf9359c04413ed","datavalue":{"value":"10.1007/978-3-319-47958-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$58228998-2957-465F-B48B-ACE13FC2AD4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6108e44983b9d28713e32640d11d266b3209d8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3179283,"id":"Q3179283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$9A4BE555-092A-4093-AB35-C1CCE05AF358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$C7C27F13-0F80-43A8-91E3-7B6AAA50B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$60B6996C-1712-4161-8C53-9ECF60FE7445","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$20BE0497-8F7A-4F99-B9F8-66396ADCF1C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179284$C6F7967A-238B-420C-BFAF-2561FA6F78CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfcf8bd52ea769d167b7547fadb79e8ed5506768","datavalue":{"value":"https://arxiv.org/abs/1608.08330","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179284$3B069E82-2F21-455E-90E9-CB7A528AC363","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$D4453CC3-F69D-4A7D-933C-8B278B93E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$E8AE9EAE-FF16-4A51-8504-0E7C084EFE27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5556f43659b02eaaf6bc612ba463ac61a2facbd0","datavalue":{"value":"6667489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$9E21F606-1A28-4F56-AE87-8A8AE3725DD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca1e4d0f48ab57cd83a8ef6d610158bd1005e38","datavalue":{"value":{"entity-type":"item","numeric-id":34991,"id":"Q34991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$61B56AA0-4717-45FD-A22F-55BE22B08543","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":"Q3179284$FD813D22-F79D-4455-B28A-6C04A7266CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d06ab5629e6c8be6abf4aeb15fe2fe8af69eb74","datavalue":{"value":{"entity-type":"item","numeric-id":27968,"id":"Q27968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$4236DD6E-3BFE-4DE7-AB4C-96ECE1AC156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce50a86b5bf6e0193a5ed8a01928b66f47818a22","datavalue":{"value":{"entity-type":"item","numeric-id":34990,"id":"Q34990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$B59A5F4C-5DB8-4C35-B6A0-EF2C26ACD1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$DC37640F-38B5-4D7F-98D8-267D9A0513CA","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":"Q3179284$6B979978-1F2B-4566-A720-4740018B3C39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"457a67089a7f7c09716d099099d96134bb5a299d","datavalue":{"value":"W2512167970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179284$23E036DD-3294-4678-B76B-E91AC0E5D177","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$D0B2CEB3-C7A9-45C7-9C6C-6EB6DAF8BBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$8832AF15-D278-400A-BB24-E78ECDCDD6E0","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":"Q3179284$59DC3C5A-ED8C-485F-B184-57E97B4E9A52","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":"Q3179284$9A709759-B2BC-4F1C-9A68-2B6D8CDF3A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea77639cd291a6e0fa7b547a97ff1252a152c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2753765,"id":"Q2753765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$176B777A-27BF-45E5-847C-8C20E484FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$9A841325-4911-4466-80A6-DF9B8735E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4bb238cb610f993b67c0bde07bbfac57d8a271","datavalue":{"value":{"entity-type":"item","numeric-id":4856173,"id":"Q4856173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$D75F8087-4E22-4474-9766-732FBA7E474B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d05b0b1766a69827dd8bc40b46f516095d203df","datavalue":{"value":{"entity-type":"item","numeric-id":2798720,"id":"Q2798720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179284$6F40C849-0275-4823-B5F9-216C13E18651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ab4b8a877e9a1cbfdb5e696406e7bc749118c5","datavalue":{"value":{"entity-type":"item","numeric-id":5370909,"id":"Q5370909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e7cf48ce7cb513932ebe3f7e04f8061dd75203","datavalue":{"value":{"amount":"+0.7982611656188965","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":"Q3179284$1A9507EE-D851-4AF0-81B2-645ABF451BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5144645ab21fd8c810b17c7aedb26b47e33655","datavalue":{"value":{"entity-type":"item","numeric-id":6041176,"id":"Q6041176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4328f325a66cbd6aa6a7fb8a46ba6a9b180bf8","datavalue":{"value":{"amount":"+0.7623107433319092","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":"Q3179284$9C83DDFF-35B6-4448-A5DA-CD3B7DA4350B","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":"af940df26e173a31d3584d73598a05f89f6f3216","datavalue":{"value":{"amount":"+0.7421947717666626","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":"Q3179284$ECD7E642-8BF4-4FA4-87D7-67646668E4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152612903ef77d251df9a1960b00b71af29976c4","datavalue":{"value":{"entity-type":"item","numeric-id":729810,"id":"Q729810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c793da5657429f05f25658b4d0ea91d94435029","datavalue":{"value":{"amount":"+0.7412915229797363","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":"Q3179284$728257B8-041F-472F-AB34-8373D4E2194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9cdf4bb266031e9939ee78bf3d5c739faf6b6e","datavalue":{"value":{"entity-type":"item","numeric-id":2830031,"id":"Q2830031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac2ac10bf9de476a4952cb72b7ebf7f0f8e298b","datavalue":{"value":{"amount":"+0.7263675332069397","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":"Q3179284$949A5BEC-141C-4F6C-B46D-35D4C4DA751D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179284"}}}}}