{"entities":{"Q4973862":{"pageid":7003441,"ns":120,"title":"Item:Q4973862","lastrevid":55895221,"modified":"2026-02-20T22:27:01Z","type":"item","id":"Q4973862","labels":{"en":{"language":"en","value":"A rank lower bound for cutting planes proofs of Ramsey's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7140815"}},"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":"Q4973862$A7587BAB-87D9-4730-B38A-8705A8A9336A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4415ce128877ae324868da904359dd8f1d83083","datavalue":{"value":{"text":"A Rank Lower Bound for Cutting Planes Proofs of Ramsey\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4973862$EE7BA08A-EA51-44A3-84F5-880D50AF385D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10cd0ff1af3f455369203b43b68732591f0dd02d","datavalue":{"value":"1427.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$CF348CB8-BC4B-474E-9D1A-368752B16DBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c16d26c64e5836ff01f78dcd58ec63bddd95c8b0","datavalue":{"value":"10.1145/2903266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$3AB9E8E7-4A42-472A-B515-972B8CC263CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973862$92B6ABAF-E2D2-4E87-B831-8862595DF037","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973862$B5AE7BD4-5401-4044-8D29-86B9DFF780D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"172a3fac4a57b71b2c0e5dd0c89e56be18cd3b6f","datavalue":{"value":{"time":"+2019-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4973862$3F298C14-97C2-4666-B619-3CC39607FB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$361E713E-4A1D-4416-B0F1-BBA0565F4DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$92B3152C-2181-4EC4-997B-0F4F2167CC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$4DBA6DC6-4F63-4F00-8F91-EC04ED0034FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$0763B07A-BAF6-4992-B7D8-9F4F59930EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"325cf6370fe21b270112f5d9e9ddd2dbf900152a","datavalue":{"value":"7140815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$D5E84D6C-9C16-40BB-B7DD-01C9237CCCF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973862$6A201C41-96CA-4CDC-A057-2C5205D0C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973862$240719B5-7DF5-426E-83F4-844664987522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973862$D4BB0292-14B8-460E-9D4B-AFF47E1DC790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973862$1942CB18-1D17-46C5-A1B4-906AFDC0B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973862$EE276064-58CC-43AB-A495-B3CD24FA9F64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b74995dc9f63b6c4fb3eb6b301c6f788c2747c9","datavalue":{"value":"Q61732575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$0E928670-FF99-4543-8485-9DEDFD48A969","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":"Q4973862$2BF31357-C513-4830-ABFA-778F1DD60404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8f92cd5fde0d3c8c121f9757b11d197c795a0c4","datavalue":{"value":"https://doi.org/10.1145/2903266","type":"string"},"datatype":"url"},"type":"statement","id":"Q4973862$60D9BC3B-2642-4A07-AD69-084990C7AEFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9589c2b1281494d22ccc50f6c1901e1125727fcb","datavalue":{"value":"W2429630190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973862$6CBAF536-73B0-4FFF-963B-20B4742E9B0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e75a3b97b229fb82c7817d2fdb0166d5e934e6","datavalue":{"value":{"entity-type":"item","numeric-id":5326475,"id":"Q5326475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9860a3edd0a5d402fec2af6f615f9ba1fd59f0","datavalue":{"value":{"amount":"+0.9967556595802308","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":"Q4973862$4410C607-2F13-4B9A-9E25-441C89FC5435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df10523bf963a19495512e804be9057032265e9","datavalue":{"value":{"entity-type":"item","numeric-id":627444,"id":"Q627444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8644c41c63106cf1d11d702b511e02bcc643e86a","datavalue":{"value":{"amount":"+0.7924302220344543","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":"Q4973862$757A82F3-63D7-47A9-AF79-1C27364A07B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3482a46e8013c23c195289797bdfc6f546aecea4","datavalue":{"value":{"entity-type":"item","numeric-id":4375790,"id":"Q4375790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca0665cf04872ad2b7859d8bb17c2105f04a7b8","datavalue":{"value":{"amount":"+0.7901962995529175","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":"Q4973862$449A1689-16E1-4614-981C-EFE588C6D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffd016efa00ed9018dee25ecd7100b1724ff927","datavalue":{"value":{"entity-type":"item","numeric-id":2488271,"id":"Q2488271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5790d7ee12afd30ff61a8f035b0c42d93493fc55","datavalue":{"value":{"amount":"+0.7840477824211121","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":"Q4973862$0CEC9C8E-35F9-4FB9-A52C-A28FE93736E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4973862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4973862"}}}}}