{"entities":{"Q1039850":{"pageid":1041698,"ns":120,"title":"Item:Q1039850","lastrevid":66010692,"modified":"2026-04-12T06:55:41Z","type":"item","id":"Q1039850","labels":{"en":{"language":"en","value":"Functional verification of power gated designs by compositional reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637102"}},"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":"Q1039850$89F07C02-3EE2-48DB-9F76-3ACE703825C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82130c48c33559201ee2a0b7a7d72c3a8da96e19","datavalue":{"value":{"text":"Functional verification of power gated designs by compositional reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1039850$EB1CF294-0E80-4BEA-8518-E13BA93958CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2d0b42d172e88c9302c0c2559cd3a5837716b3","datavalue":{"value":"1185.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039850$E2E837A7-7E39-46BA-BFF7-2DBA2076DEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afed46769c393c237def5cd835ed5bcf922e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":202473,"id":"Q202473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039850$88220B7F-1BBB-4320-8690-F395AFCCE9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"511894938e9e2c7243c21c9e3ffce857600fca7b","datavalue":{"value":{"entity-type":"item","numeric-id":1039848,"id":"Q1039848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039850$6DAC8075-C257-4F4D-A0D9-8AEFDEDE533F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039850$27A507DD-4E62-4928-ADBB-C955ACD9DAB1","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":"Q1039850$992BAF94-DE8F-4C95-A3DC-96712A7FB81D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1039850$8797C56D-4280-45D8-B24F-F427988B3465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039850$E34A500C-15F3-4DE7-93C7-CCA0151A7D95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c241a1321bc7deb5cfec65890af83aaa1a0e72b9","datavalue":{"value":"5637102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039850$30745ABD-2F84-4312-BC0E-4038C1330DA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fdd30e3a29683b2e25b80a2d613649776254c6f","datavalue":{"value":"power gating","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039850$C16AA936-196A-4885-BB50-B9AA2A1860BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039850$DCA1FB01-B9C8-492C-85C5-FB3460FD096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039850$10071D35-B583-4A06-ADC9-203170643D60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ea8ef6347659dca6037f56cb2a8facb452dee25","datavalue":{"value":{"entity-type":"item","numeric-id":16606,"id":"Q16606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039850$743750F3-30F4-47D5-91E4-280768EA1E3A","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":"Q1039850$4A47292F-7ECA-4EEA-A522-C8DDC4424E73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7cb50ec70456f1998684ec0f7f545ac0f7dfa5e","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0077-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1039850$9911D9AD-C8FE-4F8B-8192-99E3BC1EE215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"011b2d89b72b8321e547d05406b9805e8f53c50b","datavalue":{"value":"W2006853699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039850$E7F78EAE-7DFE-40AD-B71E-8FEFD9665102","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d059a6dd875dcfe8632d3db0f7192d3e0d277520","datavalue":{"value":{"entity-type":"item","numeric-id":3512508,"id":"Q3512508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039850$859C9AF0-BFAF-4B31-B86F-66FAFF287FB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62dd795e61c6ff7c0639ae1f66a79125e6d58f60","datavalue":{"value":"10.1007/S10703-009-0077-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039850$E298D44F-75E7-4041-A5A3-785A752E82DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ed8cb1169c30c4597a30ab5038a10feffce91d","datavalue":{"value":{"entity-type":"item","numeric-id":3512508,"id":"Q3512508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bec8d6ed47ec9c8743f06b1c030c367afd6e0d9","datavalue":{"value":{"amount":"+0.9673579931259156","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":"Q1039850$0D848B1E-517A-4259-94F2-D92546A1B959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e700c0293dc4c7e175dfd86d8ce1f8e06fc06f04","datavalue":{"value":{"entity-type":"item","numeric-id":5691118,"id":"Q5691118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abf7ab127394ffb084a73657305be5c7f189d5d","datavalue":{"value":{"amount":"+0.6801350116729736","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":"Q1039850$7A6DD99A-5EB0-42A7-A50A-D46AC8846190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c139fcf1c461ff63e9f46efcd34947248c8d26","datavalue":{"value":{"amount":"+0.6787354946136475","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":"Q1039850$B90232E5-A3B6-48DB-9AB1-632F8ED2B344","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":"1730429f9883f8b75c7b8e0031e45d31ceb139aa","datavalue":{"value":{"amount":"+0.6786383986473083","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":"Q1039850$2D5E1909-3245-4DF8-8F4C-500F799D2B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d551f1e50e29d03def227f4fa06891fa0bdd2d38","datavalue":{"value":{"entity-type":"item","numeric-id":4788549,"id":"Q4788549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1935a892d37a25137004bd13b7b39de9210613","datavalue":{"value":{"amount":"+0.6715496778488159","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":"Q1039850$257DE4F7-AC63-4275-A34A-C3FFA946B7DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional verification of power gated designs by compositional reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_verification_of_power_gated_designs_by_compositional_reasoning"}}}}}