{"entities":{"Q1395277":{"pageid":1406017,"ns":120,"title":"Item:Q1395277","lastrevid":68773593,"modified":"2026-04-13T01:58:07Z","type":"item","id":"Q1395277","labels":{"en":{"language":"en","value":"Implementation of a class of Boolean functions with a small number of zeros by irredundant disjunctive normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1940650"}},"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":"Q1395277$ECE51B08-A325-4D5F-BD63-0E5F455B2A79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ecd661b2b9e0444d6eaa2630d794550aef3881","datavalue":{"value":{"text":"Implementation of a class of Boolean functions with a small number of zeros by irredundant disjunctive normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395277$47D8767A-6698-4C6C-A6E8-BDDCE7EA3DCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af3bf90e1ee2bb1905b868e18008f564a96ba576","datavalue":{"value":"1021.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395277$105012E8-62F0-4722-B84D-65B28C3AF001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa83c43be3e0137a1deca770860050e5d1f73028","datavalue":{"value":{"entity-type":"item","numeric-id":179364,"id":"Q179364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395277$018782DF-EAF4-4F59-B08F-8FD6841FDD20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a438af6643ae7f561353c4bef7c698e900a48bd3","datavalue":{"value":{"entity-type":"item","numeric-id":178986,"id":"Q178986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395277$65CE9000-3B28-4A67-ADC5-F68033D61BE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395277$E87975DE-324A-436C-9D50-450EAEE5A909","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e09b72e2f25587e975bba069deb993bc7677e2b","datavalue":{"value":"In this paper the author obtains irredundant disjunctive normal forms (DNFs) for Boolean functions defined by a matrix of zeros of order \\(k\\times{n}\\), \\(k\\geq 4\\), that contains an identity submatrix (disregarding the duality and permutation of columns) of order \\(k\\times{k}\\). Special attention is paid to the construction of irredundant DNFs for full Boolean functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$42A7E72A-97CF-4BEE-8EDA-5F6AB220D69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395277$9E3DE4FF-08F9-45BD-A90F-310E33EDD0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395277$8AB9A9DB-EAA5-4B95-8E1F-7253E230A273","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c5f19940c394d8eef086225b169e68e2636e39","datavalue":{"value":"1940650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395277$6C38DC23-EBE4-4A2E-BA1D-70DA219C2A56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$B83A7F28-55D2-4A53-B617-A0198DDE419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$24C35FA9-0D6C-4514-B947-7DCC56F5E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03db48cda591eb90710570f0f22201a6ad31dd96","datavalue":{"value":"irredundant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$3AC9457D-9DA2-4E36-A3BD-70C5B76A40DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"495cddb2e7d07ef24a051004a4fe42e200a85aa0","datavalue":{"value":"matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$65E60F7D-EF1B-44F8-BE6E-ED925F7291E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$8310F75E-7489-4413-8859-07C0C9EA010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51aba755ea92906b7b2fc830c7ff47d9e14cdf2b","datavalue":{"value":"estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395277$F3603740-DB6B-424B-B9A1-8A85DA07A7DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed265ba6e1e2136763ce4118f4ac2a5bd10314bc","datavalue":{"value":{"entity-type":"item","numeric-id":378460,"id":"Q378460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395277$2BF9D6B7-51F8-4CD7-89F4-694A8CC6DA65","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":"Q1395277$62EED92F-5A57-42E6-B9BA-86C1B30701FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8f4ecb3e60ae3f8ff929da92f6ee7370af42a5","datavalue":{"value":{"entity-type":"item","numeric-id":3160196,"id":"Q3160196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49666929843964088730bbd97b695fa972a1383b","datavalue":{"value":{"amount":"+0.8660027980804443","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":"Q1395277$AEC66B45-7110-4B91-8761-628DBE7E517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118db5e9195a3fe28c2d5213af55a925f5c2a5b8","datavalue":{"value":{"entity-type":"item","numeric-id":1761058,"id":"Q1761058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7206640251d730153bb39dcc0301591d457da","datavalue":{"value":{"amount":"+0.8543846607208252","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":"Q1395277$2A115661-D7AF-4422-B5A1-0516DAD6F293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e587d66ad51bb25a6fab2eb1169e80d27978b9","datavalue":{"value":{"entity-type":"item","numeric-id":3728820,"id":"Q3728820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438c3374bdd1066eb36cf4d5fe620e874fec4c2e","datavalue":{"value":{"amount":"+0.8508030772209167","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":"Q1395277$31FB62BA-EC64-4EB6-90C2-E1B560B37034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd183c944ad428d661329cbf339c31d1509a19a","datavalue":{"value":{"entity-type":"item","numeric-id":5413210,"id":"Q5413210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f891410d49895594554d072eb739930feaf67c","datavalue":{"value":{"amount":"+0.838151752948761","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":"Q1395277$39A55F19-ADC1-40CE-8D8D-BF741A8100FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517d1604fc3092f360536525a196b83a60199012","datavalue":{"value":{"entity-type":"item","numeric-id":1945211,"id":"Q1945211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4e3755c39952708c99d905253a8614783dcfe5","datavalue":{"value":{"amount":"+0.8317053318023682","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":"Q1395277$4B58A7E5-9445-45C1-A430-C6DD7FBC9D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation of a class of Boolean functions with a small number of zeros by irredundant disjunctive normal forms","badges":[]}}}}}