{"entities":{"Q2378659":{"pageid":2389402,"ns":120,"title":"Item:Q2378659","lastrevid":78734159,"modified":"2026-05-06T12:18:53Z","type":"item","id":"Q2378659","labels":{"en":{"language":"en","value":"Polynomal-size Frege proofs of Bollob\u00e1s' theorem on the trace of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5490782"}},"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":"Q2378659$8BC6319E-6EDF-45C4-A59A-D3765A1C5D47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8b776757482720e03603dbe327fa27c06ca1d1d","datavalue":{"value":{"text":"Polynomal-size Frege proofs of Bollob\u00e1s' theorem on the trace of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2378659$DE38E48E-187B-448E-84C3-C4097403C39E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d29282e06a766902f0f4601fca625ca14c35b2f","datavalue":{"value":"1157.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$F361EB46-EB02-4C84-8E6B-DA6690A9E681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63dc0486836522809ebd44539cf93860b487ad4","datavalue":{"value":{"entity-type":"item","numeric-id":599497,"id":"Q599497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$15930D73-79E7-402C-9FC6-58940560141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$71529C9C-8C97-49AB-9B86-B9A3E04FCCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd9adcafff3c3e938b5e5e0f052dd5c7280bbac","datavalue":{"value":{"entity-type":"item","numeric-id":672045,"id":"Q672045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$61A0FB68-9A2E-4E96-94B1-EBB88D393548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$E1938E0D-B014-45C5-A9AD-412B50BADF4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d8ff5488346c9ffc9cead1c71cea738afb22d40","datavalue":{"value":{"time":"+2009-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2378659$36A41E6C-6515-4E60-9D93-669713F85E48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1df029cd0a7b33bd7560d57df50da4478c9990a6","datavalue":{"value":"https://projecteuclid.org/euclid.pja/1223299526","type":"string"},"datatype":"url"},"type":"statement","id":"Q2378659$35CEDA16-0F23-4C25-AFA6-10CDE52487FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$BE18D6D6-7930-4CA5-870B-7C5B67D26276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$CD745612-261D-4005-973F-1720C2A99967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"729e0d4c89e95720f29ff0ab2e4d63c723742b11","datavalue":{"value":"5490782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$A7F1C10B-5F28-427D-94C7-E2C4BA2A895E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378659$96078D91-00E6-44EE-9CCA-173A421EE69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cb70894e2a9655efdcbcc7408847d5fa4f57c","datavalue":{"value":"Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378659$9E229B37-B3D3-41D0-81A8-D3B978A65D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07137bb44ed4760c371849a26e801e562ef1398f","datavalue":{"value":"trace of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378659$E479D499-81BE-4F20-9DD3-3A745A0EF15D","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":"Q2378659$98355748-DA44-4250-B72C-0059BDCBD8B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ebc992a621ba1249191d8d1c41ad0b2a450276","datavalue":{"value":"W2038549427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$799667EF-D592-4CF5-A105-3A98EDC20AD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"325e5b70e68353c122a492feffe6afe0b7e4681a","datavalue":{"value":{"entity-type":"item","numeric-id":1977488,"id":"Q1977488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$BCD9B96A-1F39-4A05-B799-B119C9A502A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$4EE6C617-A321-4AC5-B5E6-A2ED23129A36","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":"Q2378659$AF5A6C34-2FB0-4851-8758-3C3C26754DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14512adb16f9030f6e1cc72e204d180862b42023","datavalue":{"value":{"entity-type":"item","numeric-id":4871772,"id":"Q4871772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378659$9CB7EC64-8B77-4575-BCBF-C1F0A852D629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e299e8694d4ce5dcbe2c37d7787c455c679ff72","datavalue":{"value":"10.3792/PJAA.84.159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378659$3B8475B4-B589-4188-AA4F-911467794BC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomal-size Frege proofs of Bollob\u00e1s' theorem on the trace of sets","badges":[]}}}}}