{"entities":{"Q974758":{"pageid":976606,"ns":120,"title":"Item:Q974758","lastrevid":65858415,"modified":"2026-04-12T05:50:49Z","type":"item","id":"Q974758","labels":{"en":{"language":"en","value":"Smallest formulas for the parity of \\(2^k\\) variables are essentially unique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5717745"}},"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":"Q974758$60717B3C-6F81-48FA-AD52-2132D10F01B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76ddb69e29dd1adbf79f6b61bdfcde4df05a8bf4","datavalue":{"value":{"text":"Smallest formulas for the parity of \\(2^k\\) variables are essentially unique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974758$FFF751A4-025E-4D92-BBD0-40F027448377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd65132dcaff44f55079a56de647ce55b21d05df","datavalue":{"value":"1344.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$0650C4BA-A15D-453C-8971-E329AE6809AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603e1d94c6520f504280b81414e004c477cd247","datavalue":{"value":{"entity-type":"item","numeric-id":638532,"id":"Q638532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$5F273664-E69D-4F44-A3A8-1EAB8C1D9C0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$576616EB-1484-4883-ADC9-4533C1603198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f5e63e16b909decddabf6a6f0be75ca3cafa5b2","datavalue":{"value":{"time":"+2010-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974758$7A06C99F-1432-4BAD-A42D-0BF3502E6E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$1E23B3CA-765E-46DB-BF23-890708B5262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$6FF2ECB7-AEAE-42FA-9672-544CC0C1E154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3727938b91a5a77d981086be9a48f1124340a7e1","datavalue":{"value":"5717745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$A751B596-4137-4754-88EB-B599EA4E48EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a39a1c143c36b9a508b6e0aad9580fb160eda5","datavalue":{"value":"combinatorial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q974758$D2680392-4CA5-475C-9B3C-69AC91FC8A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615b1513cab63d239e829541c01f7129f4fd323d","datavalue":{"value":"uniqueness of optimal algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q974758$853D04C1-6097-4326-B084-1CF03F31A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfcdf00c2b018a9c79f427df1b2783729abb256","datavalue":{"value":"formula complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q974758$06CD1070-C929-47E2-B184-BBD2E01364E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9881f4b8e9f9c643eb02a0099d9dd6425d86195","datavalue":{"value":"Karchmer-Wigderson protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q974758$ECBE19F1-02AF-41B7-93F4-524F405B9ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d59f9270ba2c0b3161162dab212fcc774a42eba","datavalue":{"value":"communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q974758$B3A9B8FD-61C7-4A52-B52A-A4FECD775BC4","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":"Q974758$88B31140-C330-4E91-AA19-21268A6F9216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3467014c4e759b1f927eb94982a8a174e8e7ec","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.03.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q974758$7F867513-582C-4418-BAA0-66DE43F8416E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62fa5c8c9832fdcc3fbbd6136512183f5f9d080b","datavalue":{"value":"W2051174588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$299F0E08-C910-4CE9-B99E-141140DC6DC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"331e333961a42e911ded692a7a4dd32adbdb6397","datavalue":{"value":{"entity-type":"item","numeric-id":3511317,"id":"Q3511317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$C82918E0-BCD8-4606-BDEB-007B7D5E4686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$A18A128E-1AC1-4143-A3FD-F269C6357B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0124f525cd9c4d2930b8464c7e0a287558a3a592","datavalue":{"value":{"entity-type":"item","numeric-id":5629239,"id":"Q5629239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$90E83D64-777F-4518-ADF2-E1FC061B6756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$B4C774D7-25D8-4AF1-BEFE-51DA92D8FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$2F322308-E758-4428-999C-00BF39352BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$95FF7EE4-6B04-4CB7-A36E-5AE2C3E0D4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$C1338DC0-6B18-4741-A766-07ADAD728694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$DBB7ABB8-7D76-4584-ADF5-5B922821792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d46b112d42c4e83ce9b16de4f30d690d30a957","datavalue":{"value":{"entity-type":"item","numeric-id":753798,"id":"Q753798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$7734C596-4668-4281-BB7D-8B4D2148EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0592c726de0b665bac4af88ba1b195d5f9b859c5","datavalue":{"value":{"entity-type":"item","numeric-id":685364,"id":"Q685364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$ACCC6AEC-97BD-417C-92C0-6BEF960A70F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970254598db65ed4989cb309b0fd0babe3e91a96","datavalue":{"value":{"entity-type":"item","numeric-id":2458941,"id":"Q2458941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$9357770B-48D5-4716-9374-0479FE4819AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974758$94A30223-FB82-437E-A0F8-172ACB2101B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a61f84461c5dc87e13deeaa3c453372f8641f4","datavalue":{"value":"10.1016/J.TCS.2010.03.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974758$D42B040D-3E88-4FB3-A6F5-F64F1CBCA6FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1860f0de25b5c0663f00f23de12f9b43b2e377","datavalue":{"value":{"entity-type":"item","numeric-id":3511317,"id":"Q3511317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf0aa0d89a57ba86d4564c11d412d681cb8b2c3","datavalue":{"value":{"amount":"+0.9957639575004578","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":"Q974758$35D20778-7C11-48D4-A11A-7687D3C7A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab293f6c313ce68f43129f3dd06d4ad569a00f33","datavalue":{"value":{"entity-type":"item","numeric-id":753798,"id":"Q753798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f991b2df336b164036b07f985caef0232578a0","datavalue":{"value":{"amount":"+0.741477370262146","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":"Q974758$23B8AF57-96D0-4989-9995-ECA5F2878F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f50fb953189b49c8e95907366061aef862629b2","datavalue":{"value":{"entity-type":"item","numeric-id":1264165,"id":"Q1264165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e4a58fa60f40bacfefcf9c92d0f5abd0d1f098","datavalue":{"value":{"amount":"+0.7306100130081177","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":"Q974758$C6FEE3CA-CD8F-475C-BBAF-3BA8DAB1D766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e09fc7f0afb3940449a3f4c0a680474b1bf6f04","datavalue":{"value":{"entity-type":"item","numeric-id":5111425,"id":"Q5111425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98de7583cae1806acdd341d0001b31f7e2da817","datavalue":{"value":{"amount":"+0.717056393623352","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":"Q974758$C23AF0D0-DD82-41DC-AD7C-3E974E43128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cb56bc98e027200428d2c8f519e6bd7cd4b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3590928,"id":"Q3590928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b59aec0751aad7bb7151e834eb9f4de101f66c4","datavalue":{"value":{"amount":"+0.7134791016578674","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":"Q974758$DA006847-41D6-4C2A-94A4-DFF1EFEFDEEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smallest formulas for the parity of \\(2^k\\) variables are essentially unique","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Smallest_formulas_for_the_parity_of_%5C(2%5Ek%5C)_variables_are_essentially_unique"}}}}}