{"entities":{"Q5962116":{"pageid":8138918,"ns":120,"title":"Item:Q5962116","lastrevid":51082547,"modified":"2026-01-16T14:04:10Z","type":"item","id":"Q5962116","labels":{"en":{"language":"en","value":"On simulation-based probabilistic model checking of mixed-analog circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5786502"}},"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":"Q5962116$DDF90B7A-067B-45CA-9469-775C087465A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25cc23217aa1bb752f936f6704d67526d22dc70c","datavalue":{"value":{"text":"On simulation-based probabilistic model checking of mixed-analog circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962116$0886F082-D71A-48A4-8886-6D3F49CBB8EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ea80460c0491808750f86c07c22ac811168fac","datavalue":{"value":"1207.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$208F9346-7AC5-4094-B4FC-AD482506A757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$021B15C8-DB75-45C4-934B-E0FC1765B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$50AEA6DF-E4AB-4C01-BA05-9D4541FBD6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$F58ADCC8-AA80-4BAA-B2C5-0F32B09B8053","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$BBAAF353-4F27-4F0A-8A73-6181B3EEACD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baf45dbcb13e63028464b24262c188c8428a543a","datavalue":{"value":{"time":"+2010-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962116$9E43DC91-C16D-4015-BA8B-6662CEA8FD98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$6EC0789E-3715-4AF3-A165-BE03CB89B9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$8BB0C788-AF4C-4697-BFD4-8B70B618F5C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7143dad9e702805a43bec1682f96da3febb5c69","datavalue":{"value":"5786502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$91F62E77-5573-44ED-AA48-C7BD71F5AC58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbea43848768d853cdedbb4cead425995a53dcc","datavalue":{"value":"probabilistic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962116$4616D53A-ACC3-47C1-A173-9DE497F8BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7878a2230a0095c33ce816da030c3c6dd444383f","datavalue":{"value":"simulation-based techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962116$DEB598AE-1540-42C7-907C-F7EEF1C0F6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad80feddd4a9f0ce465185b168257b54268fcb9","datavalue":{"value":"mixed-signals circuits verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962116$6316427C-3787-4515-B518-CF3BD4079ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3684c644eac580a78ccbcc7e090851892d8c4198","datavalue":{"value":"delta-sigma modulators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962116$A804CEDD-01F0-4BFD-95E4-D743F841B279","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$1A35FBC8-25D1-4149-87DC-40783BD945D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$BF0FC78C-B529-4CBF-9AA2-56675D76A5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$28139486-A39B-4FB4-88B8-907C45FF04B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d638f22ad147a9418a5391674729107412f38982","datavalue":{"value":{"entity-type":"item","numeric-id":21451,"id":"Q21451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$231058D4-CCEA-4F32-904D-23201846EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beab9ef68093fca2538dcc2b21bcb255893a00cb","datavalue":{"value":{"entity-type":"item","numeric-id":23981,"id":"Q23981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$1EE4EF08-C5AD-4ED8-BBCD-8C400923F326","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":"Q5962116$C56F3CCE-8127-432A-8D2C-D21000769980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc2de9d3316a2930afdcd098191b2d212a8d3683","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0076-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962116$C803AAAE-0B08-4113-BE84-A75DF9EF50E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24e47f4c0d8e3f2c9000eb958cbb0163f0811c64","datavalue":{"value":"W1998674588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$452C48A0-E668-4FD3-9051-6A0B51F01CA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$31760F4C-0FE1-4C28-A3EA-2B71DE5E5F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4ec52b4648c01916cc032df29870163cb10a","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$D4BCC0BB-DE1D-4BD1-A732-32A3B72F0263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$ACD0C79F-0F37-4D28-842F-2B2BDECAB765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21958d14c341df368a1478a0a491594ed6071c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$C946BE87-EBCC-436B-A0AA-AF97EB4662D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$00C75F85-87FC-4317-A090-4E5FC1F2DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9dff2137e34fae5f36c00f55e42dc3a4fca82d6","datavalue":{"value":{"entity-type":"item","numeric-id":4275208,"id":"Q4275208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$25E42F89-8028-4491-8889-F9041BC1A47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$54B8B264-2ACB-496E-92AE-9C8F9482C7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$C7FBE25C-CA9B-4B14-9ED2-6DE6092E837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27c3d7723f28194a995f526d5c63bbd591aa725","datavalue":{"value":{"entity-type":"item","numeric-id":5836364,"id":"Q5836364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$2E18042F-BED6-43E3-B087-810B3167E0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce01af582c701b2a4eecc4506a63c981a4f9c6d","datavalue":{"value":{"entity-type":"item","numeric-id":5716564,"id":"Q5716564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$50D68949-5B6C-4236-837F-0930971F926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531d4cfff969c5c7b38b58a6f6e59713012e22ee","datavalue":{"value":{"entity-type":"item","numeric-id":5716586,"id":"Q5716586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$7C428B8D-3334-46B3-95ED-648883D6A613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237b2e37dda09b6829cc29b36cd88ad81c2173f8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$CF964121-647D-4062-81C5-1847F3AE3A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$C65BD77F-EF18-43BE-94C4-33332C9D0B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962116$EEE0E7EB-8501-42D2-9769-410D6C775012","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1219b812a6360d4bc5c6604eb9329b3a2ea8471f","datavalue":{"value":"10.1007/S10703-009-0076-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962116$D5903220-C06D-49BB-83DD-7CD2B748FBE3","rank":"normal"}],"P1643":[{"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":"701fd79b5c256af44c33c98aa4353a9a4d6b0c32","datavalue":{"value":{"amount":"+0.8137620687484741","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":"Q5962116$2A780726-E4A1-496E-B10A-C4CC6AD18133","rank":"normal"},{"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":"72e2a9a2c9e276f4fe9b43564763cce08ded4295","datavalue":{"value":{"amount":"+0.7808493971824646","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":"Q5962116$E30884AA-8549-4A90-976D-B18CCDD14E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52cfbcf818ef3aaad64ff48edcb1fb43c85f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3552520,"id":"Q3552520"},"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":"Q5962116$B61091B7-A472-4724-997E-7ED106FE6760","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":"ec4163bf9e0b845b8e86d484b77a6c667386b341","datavalue":{"value":{"amount":"+0.7696770429611206","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":"Q5962116$ED0E5F4B-5766-41D9-A5D6-7D178A258EB2","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":"70a79ee1a62eab253148b10f20db794781e15329","datavalue":{"value":{"amount":"+0.7613052129745483","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":"Q5962116$EE2CA8A5-03B8-4FDB-9412-7A46367EA5DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962116"}}}}}