{"entities":{"Q6528846":{"pageid":14139907,"ns":120,"title":"Item:Q6528846","lastrevid":40686104,"modified":"2025-03-28T13:47:45Z","type":"item","id":"Q6528846","labels":{"en":{"language":"en","value":"A Formal Proof of R(4,5)=25"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6528846$15EC9038-06CB-40F8-A713-9F286F7A6048","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41aa6ca42af4ec09232441a9d19ff5dfd574f858","datavalue":{"value":{"text":"A Formal Proof of R(4,5)=25","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6528846$E90A1464-2CF6-4BFE-8E4E-C0D48C750167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c280ac10e768ccaa378c9121429e161719c83e06","datavalue":{"value":{"entity-type":"item","numeric-id":1640641,"id":"Q1640641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528846$D7742BE7-8FD7-438C-B9D7-499A4A8F880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528846$C670A65E-5326-4B45-B931-83E266FE957E","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":"Q6528846$604A56A3-FB53-43DB-98A8-0326553631B9","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"8e87197cdc13803945ef198b461c13a9364ba046","datavalue":{"value":"2404.01761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6528846$D615554E-92AD-437F-B9FF-33747248FEAE","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"528de85f85aa8ce431fb9fd861f17acb4b33dc29","datavalue":{"value":"https://github.com/barakeel/ramsey","type":"string"},"datatype":"url"},"type":"statement","id":"Q6528846$C2FA3D5A-6DEC-4BB3-BA3D-6802DEDF75C6","rank":"normal","references":[{"hash":"b929caa58490481dd033017443d6ab4e369d0c0b","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"16466504a305c8806f2a158e7b9f187b402dfa02","datavalue":{"value":"https://paperswithcode.com/paper/a-formal-proof-of-r-45-25","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6528846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6528846"}}}}}