{"entities":{"Q2341728":{"pageid":2352471,"ns":120,"title":"Item:Q2341728","lastrevid":74144226,"modified":"2026-04-14T18:34:52Z","type":"item","id":"Q2341728","labels":{"en":{"language":"en","value":"An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431508"}},"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":"Q2341728$3863D207-00D9-4C96-88C4-52C11A50BE5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"297fa316a7d19b8c1ed12296f2faf034bc0e273a","datavalue":{"value":{"text":"An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2341728$585BBC18-0E07-42AC-A45F-799A8D8E8E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c616ccdb93899140a3def2e73e39316e57a164d","datavalue":{"value":"1471.94042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$79206DF6-C904-4A71-9FD5-8637891F8F41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97262153177916464af5eccd7e798fd17882391d","datavalue":{"value":{"entity-type":"item","numeric-id":2165671,"id":"Q2165671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$79B9F978-7509-4E3C-9BF7-3F6C6B02322E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f796a1d28e05c20a1c433f5ffbfc0ee4500aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2341726,"id":"Q2341726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$3D61D92F-F206-40C0-B2C0-232E2FDE3FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4904574f738afb0ad71a5f7d0b00293d68e49f","datavalue":{"value":{"entity-type":"item","numeric-id":2341727,"id":"Q2341727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$C17FEF0C-8D4A-4DA1-8988-7311539B1340","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$1A007DC6-D859-42FE-9AD2-CD97FC2FDD9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a154ed7143bf16397ad499b838597b529f45e34a","datavalue":{"value":{"time":"+2015-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2341728$452B7ECD-07FC-46C1-A25C-27951560D44B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bf534479b9242e973ca011ffc03f5c515318eab","datavalue":{"value":"94D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$B85019AC-57AD-4092-8299-03AA17DC846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$5BB2AC2F-C190-4211-88C5-1BA15EF80527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be707467c60094e5fd22eb11ae3067937426439d","datavalue":{"value":"6431508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$C977877E-820A-4665-9D1D-5C14F6D497C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341728$40653C77-669C-472D-8159-14DFA4650479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45324fe2a9ef970893f6718c7580b06f94064225","datavalue":{"value":"functional decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341728$262760B3-4DFB-45EB-8C5C-B120D66EA4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de65b68988e7c70502aa3cd3cdd4758527e773ae","datavalue":{"value":"variable partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341728$DBC76D47-682D-4A18-9532-571A66E6DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac28b19d9c245637f76ed6ebd4aacf4557215904","datavalue":{"value":"cover map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341728$6A52A8B7-D746-4D1F-80B1-8659E6C2A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf202fc43d6d908782ebf5c18654a211d4ede79d","datavalue":{"value":"compact table","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341728$25E6E42B-7A6F-44CC-B81C-61F466A999F8","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":"Q2341728$8B732D19-5F66-421B-91B0-0E4F1DE73647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a04476e1490fd2eaa0961ee9fbb79e0e4c8b9f75","datavalue":{"value":"https://doi.org/10.1016/j.dam.2014.12.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2341728$414DCD87-F3A1-4632-8EC9-669CEC07FE12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835a0d39fa8e30316dc6b2432ba09e7d4aad21b7","datavalue":{"value":"W1999630397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$55DE347A-46E3-4817-AC1E-360EAC5056F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"593a33a11bf0b21aa74aef589d5315caa82a1c4b","datavalue":{"value":{"entity-type":"item","numeric-id":880771,"id":"Q880771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$21FFDB05-974C-492D-A145-882DD45486FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a453b6fe9e2d30751015ba30ac31170b46db4ab3","datavalue":{"value":{"entity-type":"item","numeric-id":353738,"id":"Q353738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$B626B1A8-6D62-405A-9F02-2306B5C14BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$55538D51-8B1E-4259-82D9-D4FE18B53328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73745352852f0b30d3d910b005ba2f5dc135fefa","datavalue":{"value":{"entity-type":"item","numeric-id":3422388,"id":"Q3422388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341728$588B9503-6118-4CF3-8EE9-278F88EEAF7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019025b6f32fe5d89199d3fb410ea3970d702b71","datavalue":{"value":"10.1016/J.DAM.2014.12.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341728$953C86F8-AAE1-43E1-BBDE-11DF38AE8D11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2340913af7ad008b3d3d5956b0a5618c022547fa","datavalue":{"value":{"entity-type":"item","numeric-id":353738,"id":"Q353738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893924e3ac26fd5254be91eb463931121fb7819b","datavalue":{"value":{"amount":"+0.8234509229660034","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":"Q2341728$C5E874DC-B687-4558-BA0C-E4CD780F501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada87c204ea032602eb6d584f98393fcc960e9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2290478,"id":"Q2290478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6120ec4fd747b01ee816ae94bd3a6f4e2c450a","datavalue":{"value":{"amount":"+0.7979544997215271","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":"Q2341728$7CC595F7-B3C8-47BB-ACE3-8ACEAAC03720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07dca76a27f64b9dc375a1a754645acc716a38b","datavalue":{"value":{"entity-type":"item","numeric-id":2835185,"id":"Q2835185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a440b1f6e71ddb16e8e4929487eab91e961c2081","datavalue":{"value":{"amount":"+0.784828782081604","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":"Q2341728$F9F16746-9B67-4EFB-857A-8B1BBF22304A","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":"25274ebed566ab78dfc6e9601684383236df175d","datavalue":{"value":{"amount":"+0.7839486002922058","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":"Q2341728$707C98C7-9E70-4C01-B0A9-89E85901B157","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":"3514b51ef0c519cb266830f05a3976a043b471a2","datavalue":{"value":{"amount":"+0.7633183598518372","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":"Q2341728$2EEC63BF-0F4D-42B8-A836-CC098B80BF88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_input_variable_partitioning_algorithm_for_functional_decomposition_of_a_system_of_Boolean_functions_based_on_the_tabular_method"}}}}}