{"entities":{"Q2842571":{"pageid":2853291,"ns":120,"title":"Item:Q2842571","lastrevid":51800900,"modified":"2026-01-20T02:49:59Z","type":"item","id":"Q2842571","labels":{"en":{"language":"en","value":"Verification of asynchronous circuits using timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198619"}},"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":"Q2842571$FC176099-BC7D-4ECC-8A26-14D0F040CC0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0858303a130601e37ce9e50e9867ab174f35fd76","datavalue":{"value":"1270.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842571$BC2AA403-67F4-4EE4-9248-3AAE15DB57D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e70988ca28f292bb99f710af795de2eb4f6117c","datavalue":{"value":"10.1016/S1571-0661(04)80468-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842571$C9ED5A6F-5526-49D4-96C0-1A0000EEE1D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$81EC6FFD-8849-4FFE-B2C6-25CC9690681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef374af68d3dce7a799084b0a434ec09be46917","datavalue":{"value":{"entity-type":"item","numeric-id":2842570,"id":"Q2842570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$9C538D82-CAA1-42BD-B61B-65F5687BF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$FDAA03A2-A16D-4A51-AB08-7DDC587F512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb56f0c75c4cf32c2f76e3e49feb34da9c9e05a2","datavalue":{"value":{"entity-type":"item","numeric-id":169911,"id":"Q169911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$6BC6103E-AE23-4652-9216-553E9D3AA599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$EC7AA665-F3C0-4D91-A5B9-8FF1C22C776E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-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":"Q2842571$83850075-09EE-4356-9617-3053AD379D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842571$016BAD38-B776-404B-B0DB-D15572468122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842571$6553CB8F-0A54-4D4A-A567-7530DABCBD6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbbdbcab9811cad1dda3b6b6898d53f576da1568","datavalue":{"value":"6198619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842571$CC7B2352-C88E-45C0-80B8-324123E3BB7D","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":"Q2842571$252A833A-FA72-4124-9FFF-5F8ADDB338DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$EEADD762-F856-4F54-B57A-03CA5844D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4671e4cb1fd66747f3274867a94f211f7c97b3c","datavalue":{"value":{"entity-type":"item","numeric-id":21763,"id":"Q21763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$9CC89C87-8F8C-4B79-9C35-E06F02CCDAFD","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":"Q2842571$BB2926D1-2758-45CF-AB40-2FA3537FC6A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$C75AD3BE-1E2C-42DF-973B-08036963F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$D88ACB25-5211-4138-8319-A54533F08C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$CF301F68-3D80-43F9-BD6D-11C3025A78DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5702f6f715b45acac238fdb6ed1a73f4342ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4365005,"id":"Q4365005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$62FDD62D-CE74-40E1-8F1B-2270957AFC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$F3350F65-6FAC-4A56-AEC7-051322E3F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bdec0cc964df7b36e58824894f493e561f3c08","datavalue":{"value":{"entity-type":"item","numeric-id":5558258,"id":"Q5558258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842571$532050DC-799A-4D34-A558-A7F12E038820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c4ad24bf9524cd1900bc0886a928449bcd4f4a8","datavalue":{"value":{"text":"Verification of asynchronous circuits using timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842571$F36BA412-9BB7-4899-B2A7-A07414D80442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9e7fa742a0b6437bbe5b90fbb18253cb8daa41","datavalue":{"value":{"amount":"+0.8538902997970581","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":"Q2842571$11CF79D2-407C-41CB-A57E-C23BC6458EB3","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":"d755bfaa2d3d2335f2cc546044ce5915b6e2b9fd","datavalue":{"value":{"amount":"+0.8281722664833069","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":"Q2842571$64C392BD-A39F-45AA-ADA8-0B78FF6D82CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9a9617426df6a2b838992c80c98623fe8bde62","datavalue":{"value":{"entity-type":"item","numeric-id":4250360,"id":"Q4250360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676a063abcc98d94d081f6dc822c733bbe4e3ae7","datavalue":{"value":{"amount":"+0.8251680731773376","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":"Q2842571$DD8D133D-F4F1-4EAE-8869-2DFE2FDB9B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddadbc0aa725ee5764bb614552dd965beb9dc7c","datavalue":{"value":{"entity-type":"item","numeric-id":4551149,"id":"Q4551149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4421a1b946c8bc2185c68784dc867d8d7b341b4","datavalue":{"value":{"amount":"+0.8079594969749451","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":"Q2842571$BB7A85FB-7A02-435D-A272-067F3C586F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d713e0da00a37b326d8f8f07beaa4e9a6e5162","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e9d8a9746869453c898c68a69eba13a0cca3cb","datavalue":{"value":{"amount":"+0.8078643083572388","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":"Q2842571$439BC2B9-07A0-4B3D-90B2-4DFE1CD2A41A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842571"}}}}}