{"entities":{"Q3552520":{"pageid":5582424,"ns":120,"title":"Item:Q3552520","lastrevid":90286061,"modified":"2026-06-04T19:46:43Z","type":"item","id":"Q3552520","labels":{"en":{"language":"en","value":"Analog/mixed-signal circuit verification using models generated from simulation traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697181"}},"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":"Q3552520$4A80CB24-8339-42C6-B4E4-AF60755B5D95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38a18620e730f8ad0fbd99192f9b5f2070b43902","datavalue":{"value":{"text":"ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3552520$D313EA03-B265-4543-B0EF-6342F619A1AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a773f6b5f31e7d6d381f20de66ad899bda0809","datavalue":{"value":"1200.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$4324DE74-46DB-49EA-B00D-AF0ACC24B988","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"259e361392099b2603432a28ba83a54edca4fd07","datavalue":{"value":"10.1142/S0129054110007209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$BF0CA03F-2163-4ED7-B63F-23D903C8B135","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552520$F0AF2A30-6552-4B97-99D9-5D02D452A5DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3552520$9923355F-1B9D-4D95-B7BF-8E71D7472E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$A5A66116-1558-4061-93F1-B233304E4792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b70bd815e06b062bd4b1271ade3cebaa799a12e","datavalue":{"value":"5697181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$589E5121-D61E-4035-AED7-4D46AFD1B017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552520$FF4149F4-CBE8-4F85-BAB7-C0283434C645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02c8ddc942d2cac6c0108881c307cc105db4068","datavalue":{"value":"hybrid Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552520$460F1EC8-D85E-4FD2-9AC0-4DDC4BD86BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa24ac87d2a114e204e98948b8d9834783b2c9c","datavalue":{"value":"analog/mixed-signal circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552520$AF3E4D1F-6356-4384-A2DD-C5ED610C20C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1645007b24800e97888c1aa3947d52ea8bcb090","datavalue":{"value":"abstract model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552520$9DF32202-369F-464E-9354-15B70FC9ACC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d79f6368c2fb08b295c4e9995365bd4e039040e","datavalue":{"value":"Q59859532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$E4850BF9-8C06-4B4C-B759-E6F4821CF85C","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":"Q3552520$F9B87045-89AB-4AB7-B768-B6125D5C0CA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0830efe1421cf68086add5503eb796bc56980d5","datavalue":{"value":{"entity-type":"item","numeric-id":5930250,"id":"Q5930250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552520$D75D94F8-50EB-45C7-AF87-2A33065F6FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75ce80858690338af8f4b5c74aeae651f2dcdb67","datavalue":{"value":"https://doi.org/10.1142/s0129054110007209","type":"string"},"datatype":"url"},"type":"statement","id":"Q3552520$931D2448-C14D-4BC6-9DAA-BAD71118AF4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6088920db23778b39e6191bd02beb5c804516150","datavalue":{"value":"W1994364444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552520$F2F069F8-E2A6-4D3D-AA8B-A0894F1006CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e026d6034bd00b6d460fbef7ea2abc75f14279","datavalue":{"value":{"entity-type":"item","numeric-id":3510791,"id":"Q3510791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc0d72261909824b6dd37e9c9db45d1f8b21a41","datavalue":{"value":{"amount":"+0.9601633548736572","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":"Q3552520$21946F46-059F-48B1-89BE-AD3295328E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5e3394d1c1079816d47d75b9dcd3deeacfe6e2","datavalue":{"value":{"entity-type":"item","numeric-id":5492964,"id":"Q5492964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff082c14d1ab8ec012af49a8b22fc63b8628aa5","datavalue":{"value":{"amount":"+0.7919813990592957","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":"Q3552520$67E0CBC5-B986-4D57-B09F-C05C64B75E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edee228a64437f996b73028c61b0ea30ed5a7af","datavalue":{"value":{"entity-type":"item","numeric-id":947801,"id":"Q947801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18db0e8a8afb54e406e8f149f46c4cb83d5b7597","datavalue":{"value":{"amount":"+0.7774981260299683","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":"Q3552520$85F461C0-BD04-467A-BDD4-1CDF52C01ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed354ab277bae726c4177adaa86b43f5f1a44bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5394211,"id":"Q5394211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f97e93b06e9c887e121e9d4c44bbad52459380","datavalue":{"value":{"amount":"+0.7735939621925354","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":"Q3552520$6FE23A4D-FB60-4CB3-AB68-7B6766575F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a233148bffa454c52cc1b73874d35a146b36926","datavalue":{"value":{"entity-type":"item","numeric-id":5962116,"id":"Q5962116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf497d140846c67d770fd0b86e6da7bc74fb31e4","datavalue":{"value":{"amount":"+0.7714816927909851","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":"Q3552520$4952E660-F8A8-400D-96A8-F54060D236FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analog/mixed-signal circuit verification using models generated from simulation traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analog/mixed-signal_circuit_verification_using_models_generated_from_simulation_traces"}}}}}