{"entities":{"Q6587253":{"pageid":14198409,"ns":120,"title":"Item:Q6587253","lastrevid":55725670,"modified":"2026-02-17T21:45:16Z","type":"item","id":"Q6587253","labels":{"en":{"language":"en","value":"Verification of building blocks for asynchronous circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896673"}},"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":"Q6587253$CED68259-EBAE-4382-8E11-C9DD6221997A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ff0cc544cf10382bb9853c07b2b495c433b40d6","datavalue":{"value":{"text":"Verification of building blocks for asynchronous circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587253$AE5FC732-DA1C-4172-BB8D-62BC9CA2E1D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81ced5838e659e69128a0293594dfa5412c23b4d","datavalue":{"value":"1542.681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$B7A303A1-0974-4823-A77E-FB784C91D44F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bf01e8df1c87de639938e4e74854e4e2315839","datavalue":{"value":{"entity-type":"item","numeric-id":437038,"id":"Q437038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587253$4A990EE4-9FA9-4226-8304-21229F556912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587253$2BF7D852-9F8D-45C7-A4F1-4EED3F8E55FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587253$05279894-E63B-4A48-9CA3-EB49D1214239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$62E51068-FE4E-48E3-9763-619537082019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$2301B908-1E5A-4301-A0EC-A24F6A4EA0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$296FE35C-9CD6-4DCA-9C36-C445878CDBF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efe4e4a0ea90c79e28d0544945919245f0e2024","datavalue":{"value":"7896673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$0DDC6A3B-E488-4AC1-91C5-0C361569B5C9","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":"Q6587253$862A44F0-58E5-4B96-8645-D14C5A5AED5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d82c33f3c13b04981146d759949a6aa6dfceba","datavalue":{"value":{"entity-type":"item","numeric-id":3075484,"id":"Q3075484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587253$CB782813-14A8-4BF7-9370-CABC04391EB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b6aef273fcd8c9b1f5a5654a48c22f2d4a32fee","datavalue":{"value":"10.4204/EPTCS.114.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587253$E66530EB-CCE0-4F77-90DB-D0DB0D0386C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5aac8713d4727a3349ba09811102d0730fcb80","datavalue":{"value":{"entity-type":"item","numeric-id":2637261,"id":"Q2637261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec20019714421ebcdec1c774925e2e972e8ae63","datavalue":{"value":{"amount":"+0.8179500102996826","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":"Q6587253$B8A06638-B750-44F5-ADFC-22ADE4654969","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":"8310b8a1453ce43ccb15a07844e91dbd0fdb9d30","datavalue":{"value":{"amount":"+0.7794236540794373","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":"Q6587253$D52D4B77-5F6F-4A78-9C35-94B6CC166A3C","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":"1519820c1e4b1a16fbd1bb7b37fbf971a375d26b","datavalue":{"value":{"amount":"+0.7551059126853943","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":"Q6587253$45C8B834-2CC8-48B2-9BCD-1C01F578FD83","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":"36b3309b88ce633d7ab0ac5ae0fdb86da258d7ba","datavalue":{"value":{"amount":"+0.751582682132721","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":"Q6587253$93557D0B-1D5A-4C21-AF1E-C674948D8E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c0698470c46bd1ae97fcd495baa6356b030e","datavalue":{"value":{"entity-type":"item","numeric-id":1329086,"id":"Q1329086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1d6810eeb530e2513334d3aa86651bc092a13d","datavalue":{"value":{"amount":"+0.7476043701171875","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":"Q6587253$108FD102-83C8-46DD-9A75-DAC430B81FBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587253"}}}}}