{"entities":{"Q3188337":{"pageid":3199045,"ns":120,"title":"Item:Q3188337","lastrevid":52604225,"modified":"2026-01-23T02:14:55Z","type":"item","id":"Q3188337","labels":{"en":{"language":"en","value":"Quasipolynomial size Frege proofs of Frankl's theorem on the trace of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618256"}},"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":"Q3188337$2F413968-EFBF-4243-83D8-013BC788614A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d6fabe1c2f8480620b87b0b8b7e2f91061acdbf","datavalue":{"value":{"text":"QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL\u2019S THEOREM ON THE TRACE OF SETS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188337$682765ED-341F-4694-BD99-5A7D234153D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd2683dd201acb49c5a33978bf3414817ef0e59","datavalue":{"value":"1436.03298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$03D5F202-AC00-46C9-9DF0-5BC4BBDC23D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37ff12306afde6b4869bcc5cf6c739b73ca0cc28","datavalue":{"value":{"entity-type":"item","numeric-id":1641002,"id":"Q1641002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$953BED85-81C1-4AA3-B428-4A5C267FCB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$D4F1F124-6D1A-4141-B642-B80E05FC0D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$5A3A027D-9AFF-46A6-B674-F5DF3BBD9043","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9879844046ec20ffce2e9d6f19758686f8b61ccf","datavalue":{"value":{"time":"+2016-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188337$165AABA9-B17F-4E8B-8087-00F6C620732D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10b2dc189d3de553b46d392c38113b934143f462","datavalue":{"value":"http://hdl.handle.net/2117/100899","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188337$73414654-336E-4C0C-BB8D-34E807A3C922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$F7995D87-A57E-4188-91CC-A40EFD72F56D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4c6cab9763c3989ad9aa485cc0eea7783df14b","datavalue":{"value":"6618256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$C07FE221-E136-45FE-BB7F-0DC126AD47BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$E9224EE3-E1D6-4196-928D-A22BB45A838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8307831bae7a4df74e8c0e6af0bcb36895c9b619","datavalue":{"value":"extended Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$1E76CF48-B920-47F6-8C1F-B03417EC2EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c6dd1f1131872ac16cdfc343e2aa7be46d026f","datavalue":{"value":"Frankl's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$3295B422-CB00-4CD2-9E60-9D11756D1753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07137bb44ed4760c371849a26e801e562ef1398f","datavalue":{"value":"trace of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$2645C545-CA03-46CB-94DB-BCD6658B0D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08afcdf058072e0491babb026633cefd7c28b55","datavalue":{"value":"Kruskal-Katona theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$498FE0CE-9763-42F0-806A-E15F33B0C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f3c37f111ef1727666a0b6072ef1846d4baab9","datavalue":{"value":"hereditary matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188337$22428561-BA83-4E6B-8EEB-21DF52193264","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":"Q3188337$85DF06FB-8C49-44D9-8EFB-5D61FAF2ED98","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c96c3f5ba10817e56d34c0d466d58e533e665576","datavalue":{"value":"Q113858289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$82A4EA36-8AC6-49A4-A3D7-D652EC05A856","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdd91ddf9012c2ab5406f53084a8c83787ee14c2","datavalue":{"value":"W2460222798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$90E94599-FDA7-4085-992D-A19D4BBDF6E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd29e00cad75ea5f28fb83745cc4247657b4262","datavalue":{"value":{"entity-type":"item","numeric-id":3752383,"id":"Q3752383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$A26259B4-EA73-4B95-AA7E-EFE762A90482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20195f3ee861bc899e61e8142045b4e3446d4149","datavalue":{"value":{"entity-type":"item","numeric-id":1835917,"id":"Q1835917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$7FD531B8-CDF2-4485-8C9C-8E55075F2AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$0C4448E4-2A22-433D-9EA9-B13DB683246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$F59F9EFE-B2C6-4022-972C-11AB848E104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a5c1b5bf733d0bd540e1951b0c994dabaacd76","datavalue":{"value":{"entity-type":"item","numeric-id":2378659,"id":"Q2378659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$3DF6161F-FE36-4741-AB1C-45D82741614A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8984c1a1ffeb0b7219041fc90e22f74139a9684e","datavalue":{"value":"10.1017/JSL.2015.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188337$C9D37FCC-2827-4A64-8631-C08D9D59D14B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188337$D9818FF2-56C7-4299-A32C-31FBAAE5EA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611342d39f8ce79f89b69bd30d95c819d711da57","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8412fb7a90140681b36b294825be2bb54bd8b9ec","datavalue":{"value":{"amount":"+0.8030605316162109","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":"Q3188337$8095312E-AA1C-4D58-AF6E-42DC9B58FDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6112c1a87c509b3b85df516150402e4a1c35494","datavalue":{"value":{"amount":"+0.7760686874389648","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":"Q3188337$1136824D-7254-4D1F-AA4A-1F753133B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af5def0f44bb272f81f5f822cd28aff01be9b47","datavalue":{"value":{"amount":"+0.7739409804344177","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":"Q3188337$E65FC2D0-6066-4032-9375-88A1E4F38087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14baf1682b81f5d2f3390f1093ff98cb12e88b7","datavalue":{"value":{"amount":"+0.7732376456260681","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":"Q3188337$2B7F879B-303E-4B6D-8B98-7159A90B8316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e0e77f8aaa4d5b86911b2ee18825818658bbd1","datavalue":{"value":{"amount":"+0.7722048163414001","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":"Q3188337$5DCF2245-CE2E-419A-A047-9F6E348A9FE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188337"}}}}}