{"entities":{"Q3840902":{"pageid":5870807,"ns":120,"title":"Item:Q3840902","lastrevid":54499163,"modified":"2026-01-27T11:54:37Z","type":"item","id":"Q3840902","labels":{"en":{"language":"en","value":"A BDD-based verification method for large synthesized circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190108"}},"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":"Q3840902$05B502B2-6EFA-41EF-8AB7-4632DDD0EF8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"574ab17719fbfe09fc4ae322c94b9aab8e14011d","datavalue":{"value":{"text":"A BDD-based verification method for large synthesized circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3840902$0DD351FF-3E99-4DE1-8BFA-CB377F71EB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2eeb9376128dd15132f46bcb51788c68b447ace","datavalue":{"value":"0905.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840902$4A880591-033E-4CA1-A634-AA62CD63DCFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118b5115ca5fa9e869628d0e7a9584022d083390","datavalue":{"value":"10.1016/S0167-9260(97)00018-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840902$F85EC364-0996-422A-9FF1-A76534B3615E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"364ba39012ca5eb770c929c9740b93b81042ff7b","datavalue":{"value":{"entity-type":"item","numeric-id":3840901,"id":"Q3840901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840902$14C669A3-1093-4023-9C2C-35C16129D89E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840902$FD8F7427-25AD-4914-B472-B7E737D6D724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3840902$7E3D0FBC-4F7F-474A-9E06-30B38FCD58F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840902$60B051EB-D29B-4399-AB4F-CA497E2064FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca8c0528f29af8923627c05e3a8fca2ce68ab554","datavalue":{"value":"1190108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840902$AC026301-14BD-4511-ABE6-ACFB33CA1EB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840902$01AA7D26-FF75-44FA-BCC4-6C98083D3275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840902$57E8994F-B36F-4B21-8FA0-7E97F2ACFDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840902$37F2C5D6-853E-4756-8700-4F2F7B63E3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840902$56D42480-94ED-4C4E-9ACA-1792E5CDE684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0576243b486fcbb35e73cac3249332a2763f282","datavalue":{"value":"structural similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840902$C2821397-62A9-4787-8AF3-F7C66688165D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"721cd3f771a73322a1a8673acde2a092cdadd158","datavalue":{"value":{"entity-type":"item","numeric-id":22040,"id":"Q22040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840902$F95910E6-87BA-41F9-9C6C-640C45F94021","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":"Q3840902$482F2EB6-D137-43BE-88FA-81E8E4A82EF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ed454546f44a3e043dc012544e76585d643340a6","datavalue":{"value":"Q126297841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840902$E863E0A4-E213-4305-9722-A106BB80AD0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e233f335913ac7ab2419150dc03aa030d03a5c88","datavalue":{"value":{"entity-type":"item","numeric-id":4028156,"id":"Q4028156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e1c2f5ee3fca3507a551f1a2c6940341655d6c","datavalue":{"value":{"amount":"+0.802960216999054","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":"Q3840902$E56C2890-948E-4B56-8FE4-D8D6AC347EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21e97faba9d36587232d0e5e87e70b3c944a341","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34bce469727542bfba9d4807f459295dfabcc897","datavalue":{"value":{"amount":"+0.7698729038238525","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":"Q3840902$2BAD35FB-B512-4006-B32E-79CF025ACC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bd13a6d7f81ecf8c119d510e2e24fc745bdff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899155,"id":"Q5899155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0264bac0f1aee2925a6a7434a3afd111e50f61e3","datavalue":{"value":{"amount":"+0.7651003003120422","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":"Q3840902$1FE2BD63-1169-4A84-A2DD-47CBE9C48481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f22dd2c0f1a7cd26a6386915c5bf9bbd06131c3","datavalue":{"value":{"entity-type":"item","numeric-id":1606811,"id":"Q1606811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c158a39c42912e18121d74205c801f4389323a6","datavalue":{"value":{"amount":"+0.7567949295043945","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":"Q3840902$12F943DE-D3BD-4C4F-948A-84936B93236F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3840902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3840902"}}}}}