{"entities":{"Q947801":{"pageid":949649,"ns":120,"title":"Item:Q947801","lastrevid":65554563,"modified":"2026-04-12T03:23:53Z","type":"item","id":"Q947801","labels":{"en":{"language":"en","value":"Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349282"}},"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":"Q947801$94D2BE1D-398D-45B3-AEA4-B5245CEC1150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3c34f102ae02bfac33ec8ceb29f2946c8826a4","datavalue":{"value":{"text":"Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947801$E48330EA-D8C3-436D-8C86-F017C2429A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"140cea865ddea0e001f8ac54231492250c477446","datavalue":{"value":"1293.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$101E87A6-6CFA-4B16-94E9-F56D1377DEB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1677134253ec7c984a35f3ef4d651a8ed05ebee9","datavalue":{"value":{"entity-type":"item","numeric-id":947797,"id":"Q947797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$AD56408B-0938-4F3B-8CE3-684E10C46190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f778e6ab3efe71b6a08daec9d1deebae2a699485","datavalue":{"value":{"entity-type":"item","numeric-id":947798,"id":"Q947798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$E4670588-0AD7-4836-B01F-A2B56C4EAAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edc73437bbe8593a87bcd9cca1ab65b522b008d","datavalue":{"value":{"entity-type":"item","numeric-id":947799,"id":"Q947799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$D88067E1-D555-4BAA-9680-58BECAA47752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddb3958d7b5cc2214e4fd777ba22ca46b25ead9","datavalue":{"value":{"entity-type":"item","numeric-id":947800,"id":"Q947800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$6961186B-D4D8-4808-902B-4649DE717F8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$72B1F793-7FF4-4E09-BCE0-708FCF62E24A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66744bbe42ddef7006bfac5321d344ef281b5b79","datavalue":{"value":{"time":"+2008-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q947801$99F04712-ECFF-467A-BE4F-9CFEE163543D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$03B6C069-2D69-45B7-94D5-E2792E398092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$72963B3E-EACB-4C6D-A655-8A17FD23A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$970D0E50-0959-4CD7-9F0B-8A21DC00DD28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4e93c83aeb56f54711d4827ff91cbcdeb2cc91","datavalue":{"value":"5349282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$EF7DBD82-145D-4C5A-A68E-064D19DA09FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d355ea6410e12e383b5eacffff6d9736decc8f73","datavalue":{"value":"mixed-signal","type":"string"},"datatype":"string"},"type":"statement","id":"Q947801$8C307F16-B573-4091-8DFB-7DD74CB31351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q947801$7EC294BA-0C72-419C-A8F5-105B2EB8A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4013f2ebde86f85b984710015e5b95f2f370dc7d","datavalue":{"value":"property checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q947801$56E020E9-CE07-4E6F-A3CE-CCA149771719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5807735d05c3fb9c9584c2cce4034d4e36af4f","datavalue":{"value":"VHDL behavioral description","type":"string"},"datatype":"string"},"type":"statement","id":"Q947801$4A326E32-0087-44EB-845B-5AE03F6BFF06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$0D26CD68-513D-4966-AAB6-3314D42C622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$2203397A-26C0-469D-8E8D-AC3FBB6B040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$210188AB-148E-46B6-873A-40A7743B303B","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":"Q947801$1A0DFCE2-958F-456B-9DC0-870C2252E3E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcb710b657e49261bcebbee8bff071ebec5d0ab0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.03.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q947801$0AA197AE-671D-458E-997D-CE6A37A63408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"718e8e200f1aedff5b69aab7302209e31066cccf","datavalue":{"value":"W2021724238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$45FA0C5C-8040-4F9B-A53A-9B5599AEF93C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$39BB1CFE-7E1F-45DE-B21F-632CC0CE0E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$671D70F0-0D5F-4296-8C5D-C15AA006B4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50e696050421bf15973742e249de31179a3e439","datavalue":{"value":{"entity-type":"item","numeric-id":2730254,"id":"Q2730254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$C0F7956D-E87A-4A30-A534-0B0984F5074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8f2385293901adc75b35a7f659d489aad67c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4249565,"id":"Q4249565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$873F0A8C-403E-429D-9685-FD4647AC2E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f075cf4fc5e5bc9f404bc25c91b575e8dd951475","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$E5B18899-B44F-42C5-BA68-ED4C0A03E6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$5ED1F04B-3A4F-4CA1-9509-EBE31701D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$ED9A5660-C3DD-479D-A623-586CE60E3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88500ed5c1eb6949f9f1d10bd3a7c042bc8f0c85","datavalue":{"value":{"entity-type":"item","numeric-id":4953384,"id":"Q4953384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$FCD69C66-1AA6-4168-82DD-9B0CB5BDB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947801$8BC97731-85A3-479E-947C-71C15A227E26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd7ac7769c06662d78aa1e7e355b3e5aa46fbea4","datavalue":{"value":"10.1016/J.TCS.2008.03.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947801$206AB67B-C934-468D-B365-0440B9C6BB0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f994b942e75db841c3762a6a2fdb588cf8f5bf","datavalue":{"value":{"entity-type":"item","numeric-id":3510788,"id":"Q3510788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d0b9bd780212badabcc9549835ccb57370229e","datavalue":{"value":{"amount":"+0.8093039393424988","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":"Q947801$D8A57ADA-3DBF-4818-9466-6576FD7DF099","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":"53bfab8ab0d3f877ad40a7fe6128dc4406c6604a","datavalue":{"value":{"amount":"+0.8018907308578491","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":"Q947801$D1B694A3-7987-4994-8653-B5C85ECE486F","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":"93128eca5b1e5b82a2064c16a617785ab043b645","datavalue":{"value":{"amount":"+0.7816623449325562","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":"Q947801$A8E56515-7137-4EE6-B7DB-AF675F081705","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":"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":"Q947801$2225217E-94A4-4B3D-9EF8-E9EFC6701CF2","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":"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":"Q947801$209F264B-5D2F-491C-92F3-6A0AEBBD221C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semi-formal_verification_of_the_steady_state_behavior_of_mixed-signal_circuits_by_SAT-based_property_checking"}}}}}