{"entities":{"Q3218066":{"pageid":3228774,"ns":120,"title":"Item:Q3218066","lastrevid":48769528,"modified":"2026-01-05T19:56:27Z","type":"item","id":"Q3218066","labels":{"en":{"language":"en","value":"Short monotone formulae for the majority function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884097"}},"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":"Q3218066$6B1F48EC-B752-4A57-918F-1C7FA540EC71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dc051195dae93376c92f1accf85a7f2fb339567","datavalue":{"value":{"text":"Short monotone formulae for the majority function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3218066$F9B204D2-B46E-4427-A4B2-3D2FC18D752E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0eaeb018101d7faee11dfc784f93da38761df37","datavalue":{"value":"0554.94017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$8463ABE6-2DE5-4D52-B09C-142A6C22FB01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd2cc81e67fbc0790f70339c092dfef70e501cd9","datavalue":{"value":"10.1016/0196-6774(84)90016-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$9154B52F-A107-4032-855B-D5A7928E206B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3218066$437DD6D8-24B6-4F22-9F9F-DB65C1BF985F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3218066$18737F6E-C778-45F9-98A7-AD47EF6DF5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$7A260645-7CC2-4652-9F7D-59DC2F91227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$B5879E51-9FA0-48F0-81AD-11AA3B619B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$D2496372-8A78-46C0-9298-7FCF8EB2BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$DF1DD26A-FE2A-45AC-8C67-A0FA2E4E6EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbc866a98e0b202eece6e02c64485b47cde2fde1","datavalue":{"value":"3884097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$CC028CF8-4399-4EA9-93DD-8978C76A7C45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5349e28b7b49b850739dfa9600dcea08421056ac","datavalue":{"value":"formula-size complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3218066$24386071-7091-47CD-A807-E563D48FF9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582839a5b7da57539fbed1e83b2d9b88eb304a51","datavalue":{"value":"monotone Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3218066$B5660672-8F8D-44ED-9539-BC4C96D0F0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3218066$1B928CFD-F59F-4706-AED9-A3949991B8B5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9b22e2fffed1e9df57c103c0771af62875eaf73","datavalue":{"value":"Q56057733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$90B9BF1B-BC12-481F-B1F6-EF2DD21A07B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51ad23d819159ed596ac3e9c5354394ae383bd44","datavalue":{"value":{"entity-type":"item","numeric-id":1079378,"id":"Q1079378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3218066$A76F6973-9630-4E5D-98B4-4A715FEBDF72","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":"Q3218066$954F13E1-53A4-4376-A01A-239EE6D99880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4e9832fa2abaf6540a92ae3f81a2f1f3fd8377e","datavalue":{"value":"https://doi.org/10.1016/0196-6774(84)90016-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3218066$A736CABD-7745-449C-89A7-6F2FA06ADE2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8d85b57ec2eded84aaab88d4f83f7ed27ae80d6","datavalue":{"value":"W2008470071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3218066$84F10299-3000-4CFE-9340-986287D27411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b21a341286fe4fb1e0f9eede9b2d7335a437db","datavalue":{"value":{"entity-type":"item","numeric-id":1088970,"id":"Q1088970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c884b10dcf8c34115266c397ac95731f5fb7df","datavalue":{"value":{"amount":"+0.8165479302406311","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":"Q3218066$3E2396C4-272F-44D6-B145-B057394B336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700e5880c9aa72afd454fcfda175ae29331ebd95","datavalue":{"value":{"entity-type":"item","numeric-id":3595404,"id":"Q3595404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185c2195c823a17c9ddc784c4de8a970389a200d","datavalue":{"value":{"amount":"+0.8155083060264587","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":"Q3218066$0A43C6F4-D6D0-402F-BB14-1679ECFEABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02a2db42a372c37506308edc7fad89110498e66","datavalue":{"value":{"entity-type":"item","numeric-id":677991,"id":"Q677991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1516cad316e5d19366703f24115d688dbcb9ff","datavalue":{"value":{"amount":"+0.8085357546806335","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":"Q3218066$0953FADD-0299-4D09-9E37-5E3B443F9CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4add1ded301e390a85a1f8501b8352a377da3445","datavalue":{"value":{"entity-type":"item","numeric-id":465106,"id":"Q465106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5caabaa7a361c96d5e20f599363469b710f202","datavalue":{"value":{"amount":"+0.8055577874183655","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":"Q3218066$57E8B07D-E7F8-4FBE-B86C-851426FF6930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f340c9723895b43d409ddf8fbfa9c454f955bdb","datavalue":{"value":{"entity-type":"item","numeric-id":4721956,"id":"Q4721956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c4f94f1ea1e5f892b037750e53562021b986a8","datavalue":{"value":{"amount":"+0.8035212159156799","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":"Q3218066$8E68C938-8280-4407-862E-C32E3B56E7D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3218066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3218066"}}}}}