{"entities":{"Q1425001":{"pageid":1435741,"ns":120,"title":"Item:Q1425001","lastrevid":70376787,"modified":"2026-04-13T14:21:56Z","type":"item","id":"Q1425001","labels":{"en":{"language":"en","value":"An abstraction algorithm for the verification of level-sensitive latch-based netlists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057622"}},"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":"Q1425001$D5BB3DD9-55DD-4CC2-8421-8BA3DF9F0BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c45151cb5ccc446fb99ac413c4d68da34cc9cb1d","datavalue":{"value":{"text":"An abstraction algorithm for the verification of level-sensitive latch-based netlists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1425001$EAEEF933-A4AB-41AD-8977-ACA5ACEBCD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9492d9ec6fdabca4992ecfd52a44dc85f0c4664a","datavalue":{"value":"1065.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$6BCFFFA8-30FC-4955-906C-92C74DDEC54D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c42154ff83e01ae75ef65af0b3680d0ad753ab31","datavalue":{"value":"10.1023/A:1024485130001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$89049610-6771-49AA-A5BF-AF9B2A31B163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"892fa34cd0be4bffbda3b77e3329bb1bf07bfb95","datavalue":{"value":{"entity-type":"item","numeric-id":1425000,"id":"Q1425000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425001$EC6415F5-AC6B-46B6-84E9-57292675B25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e7cea0bf119ec4d04b6ee0ebb9596c4918092e","datavalue":{"value":{"entity-type":"item","numeric-id":209465,"id":"Q209465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425001$A082F8D5-3959-46A1-86EE-DAA68BBC43C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2489f64c292581e753c070c79d0b41597f8b696d","datavalue":{"value":{"entity-type":"item","numeric-id":698101,"id":"Q698101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425001$CD72F9F7-C10C-4503-881E-EE0D083BE29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238db7322480cbf9b60af7b2fd0ef39f78fa5615","datavalue":{"value":{"entity-type":"item","numeric-id":698099,"id":"Q698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425001$E54E4284-79D3-4806-91D1-E073947157AB","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":"Q1425001$8F875738-CF12-499A-8482-ADCA44ADE1CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-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":"Q1425001$815D6FC9-74F8-4B02-BA8C-A5BF2891BEE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$47A56642-CC46-46F0-8B42-7CE35601D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$8755A696-066A-40C7-AFCF-859FFF27DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$C2D13799-9EA4-4F67-9545-534811FEBB3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ad5cf22d311aca64247fb0d26bc41cd533a207","datavalue":{"value":"2057622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$1C410914-8FC9-4899-9737-E80E5C93BCCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c1731357ea80bcdbceb97dc083fe6c42cce06a","datavalue":{"value":"phase abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$40EC196F-529D-4CE3-B4C3-443408E0B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f786bc9b22188529490a2aa4a74c89d11c83dc","datavalue":{"value":"automatic abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$3E0A381F-CC59-41FD-86DB-6D765F0F492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$558EF7F2-AA5D-4117-988A-7510275FEDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$608FBA09-3822-48C1-8E66-BD5611E7B7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b2bed11dababcab09097a5cb31da4a0684c969","datavalue":{"value":"CTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$30948102-DED6-4C8C-BFDF-B2E9778C9CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c832e01e11921a4d44d26f6ed484cc3e95881eea","datavalue":{"value":"level-sensitive latch","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425001$FD002909-9EC0-4959-98C6-B7FD6B9CFB39","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":"Q1425001$E8E53057-CE4A-49C4-9D54-4F7954B12764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a448cdef758b4083f47a8519fcfbefef8d62dc1","datavalue":{"value":"https://doi.org/10.1023/a:1024485130001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1425001$1AC9CFC9-C6BA-4209-8D83-530F0B5E4662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4792aee4e3f02e225cf41f8fef50697f2c7d88c9","datavalue":{"value":"W1596418796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425001$023FEA20-1E07-4F86-8AF6-90D77409597A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1373cabe5746a8dd10b6ff4b8db85586af5ee1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5325852,"id":"Q5325852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b855342dc7089c49bdb349f9255347944b7c60","datavalue":{"value":{"amount":"+0.825658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$3FD97DB2-4FE2-4DAF-BC17-95EAB0E65FD6","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":"894d2df6c9c053e6d44e6820364cb59d15ac4d2a","datavalue":{"value":{"amount":"+0.82468563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$CB77F19F-1830-49CE-ABEC-2A666515E78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790031abf3a1eb795a18c4e630caa83b3a38832","datavalue":{"value":{"entity-type":"item","numeric-id":4817534,"id":"Q4817534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31d9dcbdad39ca2c9135b0d1809e266ad7341e4","datavalue":{"value":{"amount":"+0.82415575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$DB72E6AC-1F57-4BFE-8128-3E38E1B70D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a009210232de500721e233f93acc0d291c9b144","datavalue":{"value":{"entity-type":"item","numeric-id":4282514,"id":"Q4282514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34638c41a06950948f5e2e16b09f83e155d05ce","datavalue":{"value":{"amount":"+0.823032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$A036789E-FB2D-4462-9C89-0F93BC2024B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b6a186de5b7c2507e1e719e9b05735e764de74","datavalue":{"value":{"entity-type":"item","numeric-id":5370919,"id":"Q5370919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1d9556f0f233b4ddc6965b9288f4cb34baf414","datavalue":{"value":{"amount":"+0.82302004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$43D70DFA-FC47-4B38-A1D4-65436670B9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c44b9b1f62db9ed4139e6b7ab0e649134f595a","datavalue":{"value":{"entity-type":"item","numeric-id":2754070,"id":"Q2754070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c225f28c4ca50a59a9f178975b952068ea6365","datavalue":{"value":{"amount":"+0.8228698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$BF9FB958-3CB5-415C-A8C3-413B04A979FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e3b7718d586fed80f9afd2835b62523fd1332a","datavalue":{"value":{"entity-type":"item","numeric-id":877830,"id":"Q877830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401c9c54f2445298fa5c508f622cc478fab15c02","datavalue":{"value":{"amount":"+0.8227441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425001$9F9E9025-797E-4DF1-B347-E8D27A479D82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstraction algorithm for the verification of level-sensitive latch-based netlists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstraction_algorithm_for_the_verification_of_level-sensitive_latch-based_netlists"}}}}}