{"entities":{"Q3075484":{"pageid":3086200,"ns":120,"title":"Item:Q3075484","lastrevid":51188798,"modified":"2026-01-17T03:44:34Z","type":"item","id":"Q3075484","labels":{"en":{"language":"en","value":"Verifying deadlock-freedom of communication fabrics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851853"}},"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":"Q3075484$143733C8-125D-4D23-8CD8-3A815AF32FF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22ab42d1321a832f1f422a70fc669ea7e7c29a4e","datavalue":{"value":{"text":"Verifying Deadlock-Freedom of Communication Fabrics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075484$05EC1410-E81D-412C-BBBC-40E0F488B8A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a658158aee79822ca14b2bc33884490d13ab748","datavalue":{"value":"1317.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075484$CB4A3E07-C379-4571-AC35-6177DA1085FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de5e7fd6199df719f0419cc016c5cdf198f02499","datavalue":{"value":"10.1007/978-3-642-18275-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075484$978DAB62-D1F6-48AA-854A-8441FDF0DC37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1863bcd752a27ca54e8b82c29967daf6f6f0a35","datavalue":{"value":{"entity-type":"item","numeric-id":3075483,"id":"Q3075483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$E6EE9C41-5340-415B-BD0B-8D77C44B8F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17075243845cb5a1f0dd5e49076c817e25dcc7cc","datavalue":{"value":{"entity-type":"item","numeric-id":453524,"id":"Q453524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$1BD2762B-6951-4F6A-BB86-734BF6232C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f8cf3dcbdf2d1e087ded5ff30fae209d205dd99","datavalue":{"value":{"entity-type":"item","numeric-id":453525,"id":"Q453525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$7191D032-7D63-4629-946B-4D0F028126BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$63A2A0BC-B257-4B73-B3B9-F7203C005608","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075484$8C64D15A-0B69-4765-AD8A-870ED4B1874D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075484$E1DAD15E-5C25-4CE5-9EA9-6E9ECACE9E6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07033091ac73ae8422739d67d9550a7730a78194","datavalue":{"value":"5851853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075484$3B9E316E-7A77-406D-AF9A-D0D4FD7A87FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$96C73775-9ED2-44B2-97E3-B24F092F9975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$B4DB7ED4-527C-45AD-89FE-38DF0E168A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57e007bbd638472734a63eb40f8d67be9bafe19","datavalue":{"value":"communication fabrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$6009B20A-138E-4DE9-A4ED-B8195DF2969D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b65fda7ab3cd10d6e70a8082bb30a40e7cfcbd6","datavalue":{"value":"networks-on-chip","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$D89D5A7A-AA38-432E-9AE4-BEF0DEF72969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e611eb1824b4a059dadc3d592dc930fd9911451","datavalue":{"value":"microarchitecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$D7735BBB-A254-4E57-A253-53814746CB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae4186e3a32e115ef910f2d1decd27ce5b81520","datavalue":{"value":"high-level models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$49E5664C-71DA-414B-A526-F522A210B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075484$A21258AF-ED85-481A-8FF7-013EAE0FAEB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$C558C58F-A2CC-42C5-BB59-B19E49DC944D","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":"Q3075484$DA599537-F020-45F1-A4AB-2BF7242E7C4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694b62528cbe7b3629212b487fc1ec3673908d62","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075484$89EBAA5F-A301-49B3-A664-9D876E510A37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f27fe62b54981aa8f268e8be31ea3c8e3128f09","datavalue":{"value":"W3139271637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075484$BDE256D9-1BA4-47EB-8953-70BDB343DC0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1b71995dfbf59ec22a42464360943046c71282","datavalue":{"value":{"entity-type":"item","numeric-id":5493241,"id":"Q5493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$2365B4CE-C61C-41A8-8391-61A6AFE02C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7afd84026a589ead941413edb4998bd0304d440","datavalue":{"value":{"entity-type":"item","numeric-id":2946655,"id":"Q2946655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$749F2CC1-DAF3-4431-9F07-4534014027A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475f8fa6cb77c023d7c800b8cdb0f884638c95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075484$192E3E2C-1E5A-4B0E-90FE-EEDBA65A5DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046c05796c6551242b29ee4fbac0cce84b771656","datavalue":{"value":{"entity-type":"item","numeric-id":453526,"id":"Q453526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef41aedca32c5765eb220441a2d1297a356baf8f","datavalue":{"value":{"amount":"+0.7426255941390991","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":"Q3075484$8CC1E3FD-F2E9-49EE-9BD5-7108B379BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54deb013900cac843ea7a88ec2ca3f20e219d47","datavalue":{"value":{"entity-type":"item","numeric-id":437040,"id":"Q437040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed61e4920c18a3ed3ec6f7b1dc391ca5ed386644","datavalue":{"value":{"amount":"+0.7033783793449402","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":"Q3075484$4F6421B1-35FD-4F2B-B6C0-4C94E08248FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d136d7a9b3364d0f00459e9c88445f571e598588","datavalue":{"value":{"entity-type":"item","numeric-id":2152663,"id":"Q2152663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67a2070d2a994c2e4e1099021861ca22ae21952","datavalue":{"value":{"amount":"+0.7009510397911072","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":"Q3075484$20CF6D63-5660-49BE-8A82-B9A24258D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4248098ee9d910fa7664e823a3e1771bdb5f71cc","datavalue":{"value":{"amount":"+0.6923459768295288","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":"Q3075484$B5E038F7-F1EB-42E8-A558-418EDA478026","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":"13c63a399a9d54855935f8c495bb36ac14ab7551","datavalue":{"value":{"amount":"+0.686700701713562","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":"Q3075484$E6983CF2-70B0-449F-B58F-418A2A38E303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075484"}}}}}