{"entities":{"Q3840911":{"pageid":5870816,"ns":120,"title":"Item:Q3840911","lastrevid":89123414,"modified":"2026-06-04T16:25:01Z","type":"item","id":"Q3840911","labels":{"en":{"language":"en","value":"RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190113"}},"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":"Q3840911$B5B8206F-56A2-4725-B9B6-B8A5FC2E41F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4baf33321ff4d8dbb6942588698fb30c8b76b82d","datavalue":{"value":{"text":"RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3840911$A53A22BF-86EE-43E1-9696-4919B73D49FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f709ba0ad9f16596ce02d6e8934a2a39045c4581","datavalue":{"value":"0905.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$0E9D1CF1-329F-459B-9819-9205EAF4E458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2ec9f24322552fc5dd77189db7f8d8bdaf7bab","datavalue":{"value":"10.1016/S0167-9260(97)00023-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$0226DBF4-E131-48E7-945A-24527D66353B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6a4a1f9ba50852db82b1764d7977930f7ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":3840909,"id":"Q3840909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840911$A1C598F5-6B0B-4248-A240-396260FA2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f5ec0bd57f4e9049523f183bc2069b4af28b800","datavalue":{"value":{"entity-type":"item","numeric-id":3840910,"id":"Q3840910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840911$A71ECC3D-D053-46C7-91E1-18CA8D38F86B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840911$4CE7D832-A7FB-4F0A-9520-06AE4E7C98F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-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":"Q3840911$D48FDC82-5690-40C0-B5C1-0A7A2E6FE983","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$8741355F-CDFA-4FF7-911D-7535CB96FA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$71EDE705-5BC5-40AF-924F-B9DD8DBDADEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f00a960b66118b151658fdc0e5e119c42c4af4","datavalue":{"value":"1190113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$30874124-0315-4862-BF26-0F19603EEF16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b876b2131166bbe764461e432444504013d67dd","datavalue":{"value":"register transfer level verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840911$000BFC46-F507-4FCC-850A-27B5E3FBB3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840911$38E51233-04FD-4FF0-9D14-33F9BD688EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840911$FCD6008B-6C92-452A-8B30-939B7766A2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebecbfb4cba16d9fc238b23906e8b83edf22746","datavalue":{"value":"timing assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840911$57C24517-541E-48E7-913A-8616511B6DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6343edc1d366a19e889216d07e8425673dec0a38","datavalue":{"value":"time discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840911$5F365C29-C4CA-40F8-9571-D4A83531B981","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":"Q3840911$A23CF549-0BC0-4E1B-9D3C-7A7B40FC030A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdec94b5b71f6dbf02e77f3a6ce030893add90eb","datavalue":{"value":"https://doi.org/10.1016/s0167-9260(97)00023-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3840911$7703E3A9-D94F-47DB-9688-BA59A4059505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee7ad07b4171285d0a69177b1f8cdba16b52459","datavalue":{"value":"W2010093723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840911$01BC21ED-F72F-4E6A-B788-936D41394F4C","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":"3a93796e30329782bd011eab10f01135711cb0d6","datavalue":{"value":{"amount":"+0.8431729078292847","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":"Q3840911$D5FBD316-B597-4EA4-878B-80E045C975F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6ab1696bb60271c16eb5584e75323309886f12","datavalue":{"value":{"amount":"+0.8036962151527405","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":"Q3840911$3EB5309B-2C1C-4C99-A10F-2BE354D54628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cee5d9fabe03aeab4e9fdd7f9e1e9604515583c","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60f4483372de36f4c2eea9c35c041c0d1c99be7","datavalue":{"value":{"amount":"+0.794776439666748","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":"Q3840911$031EE970-D638-402A-9EE6-A2402641AA98","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":"ba435e26b39bfc8d0d3fdcae8b6e5eaf322dae68","datavalue":{"value":{"amount":"+0.7918404340744019","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":"Q3840911$A52D4F31-6ADF-4C6E-B07F-9A0156815CE6","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":"79d20ffa98e87c497ca177d353eddc97353d93df","datavalue":{"value":{"amount":"+0.785400927066803","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":"Q3840911$8AB250B0-2FEC-4BFE-B17B-001AEF6A6856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RTL_verification_of_timed_asynchronous_and_heterogeneous_systems_using_symbolic_model_checking"}}}}}