{"entities":{"Q5417504":{"pageid":7447078,"ns":120,"title":"Item:Q5417504","lastrevid":92536052,"modified":"2026-06-05T01:56:56Z","type":"item","id":"Q5417504","labels":{"en":{"language":"en","value":"Proof of a conjecture of Farhi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6297373"}},"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":"Q5417504$4A0304CC-F9AB-4600-AB95-05A87B5F72C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bdcbfb2b43a829a997a2a88e5bad994e8d93ce2","datavalue":{"value":{"text":"PROOF OF A CONJECTURE OF FARHI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5417504$55B09DC0-1532-477C-8C6D-E2221285963D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d500be75bdcde2340c290fa70cd5ec76dee5f25","datavalue":{"value":"1370.11006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$6B33AD41-E21C-4437-8709-A9D5EF9A9231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9a3c1b0b563867be12ecab1c5b5662a6ed6c1a6","datavalue":{"value":"10.1142/S1793557114500028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$F9E11C9F-9954-4242-BD0F-55C4669E0B3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ddd80e25752ea276da1403417d0d81ccb889c","datavalue":{"value":{"entity-type":"item","numeric-id":170497,"id":"Q170497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5417504$D1A2ACCA-0CE2-4FC8-AB4A-D49B0E316374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"300cdc27e640b9f08708e93a5ea7578988d024e8","datavalue":{"value":{"entity-type":"item","numeric-id":2805935,"id":"Q2805935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5417504$3569A118-3892-45AB-B14C-8132FBE489FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4137c951eaadde266e4273852e2721267a50cb34","datavalue":{"value":{"time":"+2014-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5417504$AA36A982-DB79-4A06-8148-EE5AB0408D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$1A102E50-1DAC-48AD-9790-FDD02C8A668B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ce0a930c2d642e1b14b3c900292c706b57a962","datavalue":{"value":"6297373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$EB29B357-328E-4749-A067-D161823C1F94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867543e79796cc656480a6bb6f54f46779f775f9","datavalue":{"value":"arithmetic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5417504$52167981-54DA-4541-A9F3-33D13393FBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77af32316044d22e902ea4e89f97a84245d55c66","datavalue":{"value":"binary expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5417504$41C9949D-9A2C-431F-BA6A-0E96B0C0B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6452e8957fcd7b6eb5f02ad54edd2ca4896f9c40","datavalue":{"value":"2-adic valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5417504$F26C64AF-4598-402D-A5F5-EADD55AEB8EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d351a5d7ff452b818fdcd7265a51a5ab391e1e09","datavalue":{"value":"Q123123918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$520004E0-8155-4E5D-8A3F-85A4DB81AEED","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":"Q5417504$4FF5D615-E340-415B-9E8A-9EF6E85825EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5417504$6852B548-BAD9-4A7C-9B25-01BE28F39EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822d8a1521c3e245323f9eb533a1e30898c7f114","datavalue":{"value":{"entity-type":"item","numeric-id":2892246,"id":"Q2892246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5417504$4D2B1940-2AA2-4CF0-85EE-F79182B690C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c66f916be313a43ff9f75e911604f2ba40b2668","datavalue":{"value":"https://doi.org/10.1142/s1793557114500028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5417504$388C053A-369C-4AF6-ABEB-C1710834C30B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"283e91defa44d1f823980d9bf5518d5b588c35cb","datavalue":{"value":"W1983968724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5417504$67652C5E-9A59-4A3E-A1F2-A503361361AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694966d468c2b77a7ee86a3230297f3560635983","datavalue":{"value":{"entity-type":"item","numeric-id":2892246,"id":"Q2892246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1e6cba25b42b6f8cb573ae3b0d8e8a149aaa05","datavalue":{"value":{"amount":"+0.8671841025352478","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":"Q5417504$54E2044F-43F4-4C3E-AEF6-EBC7FCACE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1043e97092a41ec57964e5391a22fb41bfdce3","datavalue":{"value":{"entity-type":"item","numeric-id":5404209,"id":"Q5404209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2392bfe5a6ccf0b792bb6762483493574a0fcc","datavalue":{"value":{"amount":"+0.7481041550636292","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":"Q5417504$E09029D9-EF61-4E28-A500-E24AA547E6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eade2e351f6848bd3a3a2905613e1fd058285665","datavalue":{"value":{"entity-type":"item","numeric-id":4909912,"id":"Q4909912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b49df59cdf46b06217f977dd6ba821af0207aa","datavalue":{"value":{"amount":"+0.7434892654418945","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":"Q5417504$40C26129-B00E-4563-9BA7-FA7F82711ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe5edeaa899189160013f9eb57a3ef2257fb783","datavalue":{"value":{"entity-type":"item","numeric-id":827171,"id":"Q827171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31de6091b4682f7cdcf5efe6dcc7c37ec2b7d2d8","datavalue":{"value":{"amount":"+0.7208777666091919","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":"Q5417504$23FDC9F2-CF1E-4191-91AD-93EEFE8F39F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fbcad7ec3953a1870cbf2af8f9e7064fa9758a","datavalue":{"value":{"entity-type":"item","numeric-id":5619151,"id":"Q5619151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4af829317bb102c3bb5c9f2bf7b10e4375298e","datavalue":{"value":{"amount":"+0.7058542370796204","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":"Q5417504$F72822EC-35D6-4324-817D-77D552EB3D1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of a conjecture of Farhi","badges":[]}}}}}