{"entities":{"Q673913":{"pageid":675762,"ns":120,"title":"Item:Q673913","lastrevid":63721170,"modified":"2026-04-11T15:06:09Z","type":"item","id":"Q673913","labels":{"en":{"language":"en","value":"A new lower bound on the expected size of irredundant forms for Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985832"}},"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":"Q673913$544CEFB3-A1B1-4ED3-81F2-DBA98CEE3CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ad084bfcd735b0469ff34f5b47a0716c882500","datavalue":{"value":{"text":"A new lower bound on the expected size of irredundant forms for Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673913$BAE8A6C1-D828-4525-865B-5ABC44BC0C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a30c94fc3ea0a06094218ce16e490459acba81c7","datavalue":{"value":"1022.68592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673913$12BDE797-CA44-42E8-892D-6A49CC1C6B36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef4ec1489033d99c49c24cf9c9eb52e885730a2f","datavalue":{"value":"10.1016/0020-0190(94)00211-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673913$0DAD42D5-67E5-4020-B99F-C0BC70E95439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c33f382e448bed1b771ba7956c8f35345adc71","datavalue":{"value":{"entity-type":"item","numeric-id":673912,"id":"Q673912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$0F35E9B6-7D01-4DAB-B4F9-09567B5F5727","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$8FAB5652-0345-45AB-9910-ED0F54A1EB33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q673913$B6A8D653-4D40-46AA-96C8-41B208DD537E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673913$F34C7A03-C66A-4AF4-A0DD-B62A64BEEA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a835f93e349142b3ade631015bcb957df70be7ee","datavalue":{"value":"985832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673913$4B620EA3-9F69-4B79-A9C8-36E737A7C24C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673913$A97933EB-D84C-4672-BED8-3451269BA760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568b5b035324515f24f559b5dd23865012eed75b","datavalue":{"value":"irredundant form","type":"string"},"datatype":"string"},"type":"statement","id":"Q673913$5AAB1BB2-D729-4994-BBBC-DFBAEC3714D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q673913$803AAD90-361B-4109-A900-379BC0290E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673913$E282B512-F13E-4BE2-9946-1FAA9258C5B7","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":"Q673913$8224CEA5-E950-4072-9D1E-6E12E22679F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b2752e8bc2517baad98faf2a8905aaa1c325c43","datavalue":{"value":{"entity-type":"item","numeric-id":3495207,"id":"Q3495207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$DA82AE3C-FC60-4C1A-95EF-B7DB9F811C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cc2363be2a12bd9971ae6fb9370037234d3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1251656,"id":"Q1251656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$72CF6BDA-CADB-4277-A2B5-7936EF5997B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dc07534eba676d59722b415a0bd27b41786f77","datavalue":{"value":{"entity-type":"item","numeric-id":5593643,"id":"Q5593643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$D5C7842C-F4F1-40B8-A3E1-C0BE773393CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6778f8c3b9da3262a4f23887fb9944c0c3c7d56","datavalue":{"value":{"entity-type":"item","numeric-id":5547604,"id":"Q5547604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$A1A04909-C212-44BC-B90A-8B0912F5DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ce2da733f5b88d9479e9252311202f1549b759","datavalue":{"value":{"entity-type":"item","numeric-id":3929672,"id":"Q3929672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$34FF8BD0-D57B-426C-93E8-4A362DE3EC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$2C0887C3-B108-49EC-9343-138A6CF37A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41ade0bc9696286b18cce072c9c8f6fc303a6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3331153,"id":"Q3331153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673913$E66F01C3-A0E7-414F-B52F-A0F14489B530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463ab8d9999e915ee1ab24ed6ac67df301430cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3323915,"id":"Q3323915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc0bad012427ffcef55a1f67441a0335f6585a2","datavalue":{"value":{"amount":"+0.8171955347061157","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":"Q673913$6790AFE4-BFFC-4145-A419-FE0461FF9C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9444546337e11bc192606eeb9f58484882014c2","datavalue":{"value":{"entity-type":"item","numeric-id":3760445,"id":"Q3760445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461cd0e4c92b6ae65a002ea4e31bb8df58d2e018","datavalue":{"value":{"amount":"+0.8069063425064087","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":"Q673913$9D869290-A34C-4E22-8925-65C2D9E371C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ef2321aaca98512866e4bf92a85c8dedbf4789","datavalue":{"value":{"entity-type":"item","numeric-id":3331156,"id":"Q3331156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2266a9819d7ec7c634ff202c135f0da14fc247fa","datavalue":{"value":{"amount":"+0.7969626188278198","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":"Q673913$5FE06FCB-0F95-42F4-A0C4-9C1906729CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece6df5638c856f23761724af8b3b5af3741e1fa","datavalue":{"value":{"entity-type":"item","numeric-id":3741575,"id":"Q3741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa42a7bcb56dea8f8b67f8796d390c1e09f4db0","datavalue":{"value":{"amount":"+0.786950945854187","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":"Q673913$6E7286D3-4A9D-4337-92DD-3CEB4A572368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a01f9040d4ba35aa05cb85b1b8081ba575de314","datavalue":{"value":{"entity-type":"item","numeric-id":2526599,"id":"Q2526599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49438fa6390780141d4e008de42ceb35a4f6dd71","datavalue":{"value":{"amount":"+0.7817626595497131","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":"Q673913$1525C5E3-B8B3-41BF-95E5-2831BC98DD3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new lower bound on the expected size of irredundant forms for Boolean functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_lower_bound_on_the_expected_size_of_irredundant_forms_for_Boolean_functions"}}}}}