{"entities":{"Q2637261":{"pageid":2648004,"ns":120,"title":"Item:Q2637261","lastrevid":51923369,"modified":"2026-01-20T13:26:44Z","type":"item","id":"Q2637261","labels":{"en":{"language":"en","value":"Structure-based deadlock checking of asynchronous circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256644"}},"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":"Q2637261$6B9E1613-82FD-42E2-9731-DBAB6ABA3B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35e0506eb5b77a15885f0d1ee8f9e28334e70fcc","datavalue":{"value":{"text":"Structure-based deadlock checking of asynchronous circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637261$40996B2A-043E-492E-B266-ACEEAC8D6740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95413a44f0dfb769240d301086c50d5bbf0779b3","datavalue":{"value":"1280.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$4BE5FBFD-842E-4644-B5C7-31C937BCB136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6dfeca380d7fe856139b9c5d8b1ef5406557659","datavalue":{"value":{"entity-type":"item","numeric-id":2637259,"id":"Q2637259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$8AE33803-FC2E-40B9-BBE6-B6E2ACF52D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076161defa3dac533ab9ce507605cbf3a6d61245","datavalue":{"value":{"entity-type":"item","numeric-id":2057457,"id":"Q2057457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$F194EF34-790F-45EB-87E4-AAB8FF63ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1752225437ce1e25db6829f2317f1a5f8bf6f35","datavalue":{"value":{"entity-type":"item","numeric-id":2637260,"id":"Q2637260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$053AF8B2-58CB-4D2F-9D28-962C3C740C0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$2A034DC0-F8C7-4B09-BBD5-5BF64F8A1276","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5358adfc8d76e07392e1442ff748721538588ad4","datavalue":{"value":{"time":"+2014-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2637261$097D8380-42C3-4A2E-8D91-F323B125E748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$EC24B111-3CE1-40E6-98F3-3D3D959BAF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$CDFFDF87-531E-470B-A696-9E7E552DCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$5B87CA14-F198-4EEA-BF3F-7AA85F9AE204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29b67de116143c37c8e672ab1d9a4beae9b90d7","datavalue":{"value":"6256644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$9C22954E-4404-48FF-85B5-B187363EEF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b25b878a64016ae851539540f5539e1c529fae3","datavalue":{"value":"asynchronous pipeline","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637261$EE6554D3-647D-44FD-B5CF-067850335C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d6c71f071d143a5388d2739cf93ab0cd665d85","datavalue":{"value":"data-driven","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637261$17ABCACA-407B-4C58-B0F3-769E854EF06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637261$9C9811F9-A468-45C5-A510-B90BF2A162B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637261$C138DE62-AEC8-4387-B349-F8212B8EB55C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"583ff11db004aa19fd5f8056604b99788a42cbf1","datavalue":{"value":{"entity-type":"item","numeric-id":16592,"id":"Q16592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$CCBE8922-4807-49A9-AE73-1237652B63EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$849D1AAD-D667-45B5-ACC8-BE835CCF5F37","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":"Q2637261$5C8AAB08-F37B-4376-A91A-B7D83DB55D66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dad8206751d6a070422bbe12be808747ff2582b8","datavalue":{"value":"https://doi.org/10.1007/s11390-011-1199-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637261$45F3F7FD-6543-4109-BDFC-1737042925DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e80f38733be018f8bfc42073b5e803c8191ba1b6","datavalue":{"value":"W1980924035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$2FB86F77-0634-4FF4-8B7D-4DCD5AC3A951","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f5fb8282de7c9c053dceb48c71e91e3e324a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4328963,"id":"Q4328963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$B0650DCD-F87B-4CB6-B808-3B804B42902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f135e564bafeafcdf40038a504d1f7c4c90315b","datavalue":{"value":{"entity-type":"item","numeric-id":4321781,"id":"Q4321781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$D0A8590A-E87C-4F79-A8EB-32D6D4F55B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$2ABF64D2-AFB9-4166-9CC5-3A6569F585D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$CAA64D13-B09F-4AB4-8382-63D1F530A78D","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":"Q2637261$9A3EDF45-5D2C-4B13-A42F-C0C2868EA4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdee478a94969c6dbea5f6517b5ef86dab3af35","datavalue":{"value":{"entity-type":"item","numeric-id":4536617,"id":"Q4536617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$A269E235-FF55-467D-BF0D-4DA7DA079A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$A84DB1D9-2DEE-4813-92D1-09B1852ECF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2cf13def9728830914391283cbcde4ac588578","datavalue":{"value":{"entity-type":"item","numeric-id":5632462,"id":"Q5632462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$4FA17AFD-E701-40F6-A7F0-DCAAC3D73A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d929cebef0c67648fc1fc589408abfec82aa3be","datavalue":{"value":{"entity-type":"item","numeric-id":5181391,"id":"Q5181391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637261$1E49E209-9A52-4979-A173-A99CB3AB42D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882dfa9bc01c58799805ef843429d19eb25dfde2","datavalue":{"value":"10.1007/S11390-011-1199-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637261$1BD4AF87-702C-43CF-9495-1317B87CBC12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adbe20bcab8f0440494c0edd7c0a3f88ca12ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096372,"id":"Q5096372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cff25c5bd7950ed92e8af079300c3fc7f7e9d35","datavalue":{"value":{"amount":"+0.7674292325973511","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":"Q2637261$8D6F5929-ADD6-4743-A83F-AB7B6CEBE048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f22eb12c7540f8a6fc47a3fe3a5a56408bf64","datavalue":{"value":{"entity-type":"item","numeric-id":5431924,"id":"Q5431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76e306f0820e24f026bfd4ceb83df0c5460d89d","datavalue":{"value":{"amount":"+0.7427046895027161","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":"Q2637261$7A7A91CE-9648-4B96-96DE-B02E7DE41686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb7f656e2805a8af5a5a3ece69d6121f0ac23bd","datavalue":{"value":{"amount":"+0.7216842770576477","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":"Q2637261$0294D1E3-B645-44B0-B33B-83EFAA4A73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eae23f6cfc9b2b72e990620c98e04cbd4d21a74","datavalue":{"value":{"entity-type":"item","numeric-id":2848424,"id":"Q2848424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7383f83ba7fbe34d3fc119d1da414bba3ee0f5f","datavalue":{"value":{"amount":"+0.7173240780830383","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":"Q2637261$F53F0764-A365-47A1-BEBE-C0785BAD74BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83788130b07741bc8729a9367b03d4c8a703ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3602748,"id":"Q3602748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd33df9745d93ac67d5ff14c8a8d0c68e854c57","datavalue":{"value":{"amount":"+0.7159320712089539","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":"Q2637261$CB74A410-A83B-4EE3-A607-DD488E0FC6D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2637261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2637261"}}}}}