{"entities":{"Q3192072":{"pageid":3202780,"ns":120,"title":"Item:Q3192072","lastrevid":52096196,"modified":"2026-01-20T22:32:59Z","type":"item","id":"Q3192072","labels":{"en":{"language":"en","value":"Dominant controllability check using QBF-solver and netlist optimizer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348066"}},"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":"Q3192072$2BD8108C-9DFD-44DA-99FE-ACD71463696C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf7a131771b6ec02099c48f2125e416af83bd2cf","datavalue":{"value":{"text":"Dominant Controllability Check Using QBF-Solver and Netlist Optimizer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192072$D5FF02EF-8F4D-4FD1-ADEB-46CBAFE59D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"066784638b81d402e23dbd4b146e7370dc5e167b","datavalue":{"value":"1423.68450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$A5A9F5DB-ED5E-4710-BCA7-D7EBFD6DAA0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f377b1c1dc5ab6b8121fd9a4408785fbbf5da52","datavalue":{"value":"10.1007/978-3-319-09284-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$5229E1B4-3317-476B-90B2-B3D7A42C970C","rank":"normal"}],"P16":[{"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":"Q3192072$0839EA5F-CFF1-48E3-A9F7-623B6A4D2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"654d134e5c922342ada29ea83ff0d492e25e219b","datavalue":{"value":{"entity-type":"item","numeric-id":3192069,"id":"Q3192069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$9CD25F60-0EEF-456C-BEBC-02E1C1D83F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd21fd5d04fdba6e368062bfbf623a1666ede60","datavalue":{"value":{"entity-type":"item","numeric-id":453490,"id":"Q453490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$D9C5988B-36EA-46CF-A7D8-E0F4EC05FF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef9a26eef94c7eb67917b87394a5a4b576215f14","datavalue":{"value":{"entity-type":"item","numeric-id":3192070,"id":"Q3192070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$C1181B1B-EA2A-40BA-8208-66ECB953E924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"771e582fe5625b6635c8174bac9c42c0787e74dd","datavalue":{"value":{"entity-type":"item","numeric-id":3192071,"id":"Q3192071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$61DEBBA5-1645-48D0-A31D-3419B63746CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$79A73433-BC9A-4BAD-A13B-3C1A87590C83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192072$8DF42D8C-B4C0-417A-BC61-9EBD828C5CA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$A1C571AA-94B7-4713-9889-278A7472B5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$9542B394-EBC5-475D-A42B-528D300347AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5697de107634a0be8ca3c3ed3afe4a1e7da248","datavalue":{"value":"6348066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$E7945AE9-DA1D-4ADF-BA04-820B11A62E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192072$3BA841C0-86BA-4CAD-ADFF-021CBE663E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192072$451C68B0-3030-420F-8C48-F9B22E5A50F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f1b33aa2254f679b1636212cfcd9434779ee46","datavalue":{"value":"QBF preprocessor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192072$2E4F5C29-4203-4A5A-86F8-6C298AB6697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aee442953fad45adbb7d9a1276d5b54be1c8bea","datavalue":{"value":"netlist optimizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192072$C43929D9-955F-47ED-8A9A-429422CCC542","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192072$234F7D87-D042-4722-B94C-98FCA705EB0E","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":"Q3192072$7922CC18-FE3E-4CD6-9DE9-190FF6551142","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e2d0568063df560b9ba1b346c0851428b5b3a45","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09284-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192072$FEC85B2C-40A4-4DC5-B89B-DA680ABE0728","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa7d5c6c90557c5cb14f395006ba1314e5a7b906","datavalue":{"value":"W95027819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192072$37CB563B-7113-4055-9439-62E0F023A1DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d757373e5b77d1a36fa1275c0c27637dcb7d2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2783114,"id":"Q2783114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f353a867824d22c539b257fd6da41217167fd881","datavalue":{"value":{"amount":"+0.7002195119857788","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":"Q3192072$12394C77-5CB0-4258-AEF4-F451DAA0085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbca72df5e30b49613cc3ef49bd5589fc7f4b07","datavalue":{"value":{"amount":"+0.6779172420501709","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":"Q3192072$828CF4DE-3195-4EEF-B4E7-893C18408420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6732d6e9db663678f6a92a9419b533fbcb160d6","datavalue":{"value":{"entity-type":"item","numeric-id":2487686,"id":"Q2487686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad6938c1cd806675278d45d91cd0deb45931057","datavalue":{"value":{"amount":"+0.6687638163566589","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":"Q3192072$A3B57C58-14CA-46C1-9CF8-F2435F8682F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1129ff0b010a4a504e3137d8b4eee2c6c49ff94","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5320348fe05f5eb746ffda7ef5faa538834d880e","datavalue":{"value":{"amount":"+0.6659775376319885","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":"Q3192072$183DF306-0CAA-4D86-8D71-F2A7D33C7887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e8145cf6fac5792fd217c220367702afb86d21","datavalue":{"value":{"amount":"+0.6641809940338135","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":"Q3192072$BB719E86-7B94-4CDA-81DC-7DD9036447FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192072"}}}}}