{"entities":{"Q704639":{"pageid":706488,"ns":120,"title":"Item:Q704639","lastrevid":63657126,"modified":"2026-04-11T14:39:56Z","type":"item","id":"Q704639","labels":{"en":{"language":"en","value":"Exploiting functional properties of Boolean functions for optimal multi-level design by bi-decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2129710"}},"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":"Q704639$76AB9F0F-57E3-4303-A2C6-0A39BB507D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f057ad929dcbaf6bcccdae366f3aa185896c609","datavalue":{"value":{"text":"Exploiting functional properties of Boolean functions for optimal multi-level design by bi-decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704639$176405E5-461F-4E1C-9E2B-A435DE81B060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081dfcd397c460b5ea5c76bde93a327ddffd5a10","datavalue":{"value":"1060.94052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$2AB0F0B0-353C-40DD-B2DD-1875143D40AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2350149e41cc76dc477a6c769a429effde79f32c","datavalue":{"value":{"entity-type":"item","numeric-id":704635,"id":"Q704635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704639$A1CEC57D-2621-479F-ADEE-E5FA19BFB9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a9fd2c36a9025e9c3d63867a10ee6d009b626d","datavalue":{"value":{"entity-type":"item","numeric-id":704634,"id":"Q704634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704639$C2AFD2C8-D1DB-4290-A55F-535E67BD1046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"864a75a6839514803d74f762d339f267e13fd31d","datavalue":{"value":{"entity-type":"item","numeric-id":71170,"id":"Q71170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704639$4075BD46-D0B4-4B11-B0D9-91D2B30499B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704639$3CD3F164-E2D1-40C4-AB1A-AC8B913EF6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$96C599C4-A736-437D-8DAE-018AE12A3D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$85843D78-C8A9-4D00-8677-7D1E8C6AB1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$E3F4EC20-4D60-4D90-BB64-4BA739FDFD72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71887eb2d5225b79863985569e3f77cab814cdcc","datavalue":{"value":"2129710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$F29B5D8F-67A6-4DA7-B196-EE919094FD6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090813809bd3d711013eac32b33a51110a36f550","datavalue":{"value":"bi-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$C9788EDF-03F7-4F49-80A4-C658E44E4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41dba29ede29b059ef955328de15a544e011d2f3","datavalue":{"value":"Boolean differential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$647A9D63-D9E6-4DD6-9F82-FC1F8D85E7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$FB0081DE-43DD-4F8F-89E4-94F1C2D61C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76a5f96cd2aadef4a656a5e792c750f2bab46b","datavalue":{"value":"delay","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$D461D19E-E29C-4BF0-8572-A86111B3A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e02d3aa37530c095d766ff4f56a0e3d90676ce8","datavalue":{"value":"derivative operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$A96B2550-1E16-4B12-A798-E758440A0E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$FFD01982-BFB9-48E6-9A37-8E450231D5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3e000ae45e3c99bf601e03719f5087f47e0c41","datavalue":{"value":"multi-level circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$DD6D2C66-F241-49C8-891A-3C78DE4AD7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e6b80af768592f185fb3b451c535f4805ec94b","datavalue":{"value":"area","type":"string"},"datatype":"string"},"type":"statement","id":"Q704639$68C5BA54-A697-4C70-9CCD-CC13B9EBF413","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":"Q704639$EC2C9384-0FAF-4C2E-ABAE-44F2C243DB97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93233d41cc0bb6f5b17a8069fde7d69501f7c27c","datavalue":{"value":"https://doi.org/10.1023/b:aire.0000006606.01771.8f","type":"string"},"datatype":"url"},"type":"statement","id":"Q704639$C4B9B7B5-B207-4EE8-A4B5-A6EA67D0AF6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b12e3c0474734e83eb4f3df03d3da19eda8b4c8","datavalue":{"value":"W2131527561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$61BAC44F-7A4A-40CD-9426-A69D5635443D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7597167b3051e5b9ee1ae087a4ebe8843fa8950d","datavalue":{"value":"10.1023/B:AIRE.0000006606.01771.8F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704639$2C13F354-B59C-4CEA-973D-019D8CA87FD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d3a14fb745fc46d67b33ba23a7d7ba21b68df7","datavalue":{"value":{"entity-type":"item","numeric-id":704636,"id":"Q704636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8212e8350ee21bc85e4c04a27bc98ac552d72b5d","datavalue":{"value":{"amount":"+0.8436855673789978","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":"Q704639$49751E5F-5886-4AF5-BF32-7A29567F20AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b6b90966f73086747341044b083334389d98b5","datavalue":{"value":{"entity-type":"item","numeric-id":5151439,"id":"Q5151439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a0849baba537f75a5416738febe5d60a291b55","datavalue":{"value":{"amount":"+0.8160037398338318","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":"Q704639$ABCAF928-73AF-400F-95A8-0062CAE93E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ffde352355334a89ca02a633cd3deadba33f7d","datavalue":{"value":{"entity-type":"item","numeric-id":2895123,"id":"Q2895123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a134d405d494caa22c360d8eaae8290826e7408e","datavalue":{"value":{"amount":"+0.7894505858421326","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":"Q704639$5CF4738D-1C2D-42F2-9E0F-4A287BA8D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7240f336b3c12491b0c587036a08cd12dfd5398","datavalue":{"value":{"entity-type":"item","numeric-id":1057236,"id":"Q1057236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36144e196cf0b49668b2641aa38eacd83389afb1","datavalue":{"value":{"amount":"+0.7586362361907959","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":"Q704639$1C376D36-5740-4CCB-A58C-E6B6C483D94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d6fe30c4f0f4b92da5fcf55a3baf39e30f9ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2356648,"id":"Q2356648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09a35f947a1dc4b86688697f326760709699c01","datavalue":{"value":{"amount":"+0.7534894347190857","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":"Q704639$2FE23DDD-1336-44B1-A5D2-769511689997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting functional properties of Boolean functions for optimal multi-level design by bi-decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_functional_properties_of_Boolean_functions_for_optimal_multi-level_design_by_bi-decomposition"}}}}}