{"entities":{"Q53735":{"pageid":53791,"ns":120,"title":"Item:Q53735","lastrevid":105428747,"modified":"2026-10-09T10:10:32Z","type":"item","id":"Q53735","labels":{"en":{"language":"en","value":"Irrationality_J_Hancl"}},"descriptions":{"en":{"language":"en","value":"AFP entry Irrationality_J_Hancl"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5b762fd2a653b73e27489865ccae6e7fba93dc16","datavalue":{"value":"38035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$93C05629-DB91-42C5-8B87-BF9D79B9CA1F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$9EFEA205-572E-4BC1-A3B6-F2F066D27BAE","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ed5d92af837aa17cd09ea0a0e414c9bf91e6720e","datavalue":{"value":"https://www.isa-afp.org/entries/Irrationality_J_Hancl.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53735$F95A6C5E-7C4A-4D3C-BC71-A44101B7E7A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$E058CB42-FAED-4885-8654-C066D2FFDE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$79965906-988E-41B6-A363-BDE825B8B65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$23090043-1BD8-4ED0-B0F2-39E0EAF6B1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$86FE3B71-6278-4908-B86E-AA01EFF78B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd53baf500a6931877eb74cf8c39e6d35302628a","datavalue":{"value":"11.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$13E0E37D-966E-40F8-A5AC-AFA81713E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53735$B8180C23-F15F-4801-8332-120226F2EC08","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$2864D71B-B3D3-4551-A6CE-92AD8D95E8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$B1ED9B92-A996-48CD-9292-3DE7EC0BF1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3eef3bb546664bd0985bfee8bd40de843753fcc","datavalue":{"value":{"entity-type":"item","numeric-id":53737,"id":"Q53737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$BA6D0411-E260-4B73-A900-A12ADE1DDB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62f40bdff5c85c5ed18529fd2f9a206dbfc7f83c","datavalue":{"value":{"entity-type":"item","numeric-id":53736,"id":"Q53736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$E359E334-5A4D-45AD-8F52-308D1C5B22EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$6A751A38-D8FF-4932-877A-818F0C484EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$01CA4C4A-C427-45EF-B9F1-0EDDC0AE475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$50B01630-6B05-4823-BB77-DDE2FC2B2FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eba8b47e1a803cab7d21f0226e3c8085963466de","datavalue":{"value":{"entity-type":"item","numeric-id":5975135,"id":"Q5975135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$A890ECD0-C418-4915-8685-9879D24467E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea5413756061bf33eb1bd266ba2a93f8c7b394c6","datavalue":{"value":{"entity-type":"item","numeric-id":5973088,"id":"Q5973088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$6CAB2405-9FFB-447F-8574-11B649355D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$D778360E-AB2B-4FF9-8722-941F2FF752A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fa7aa97df9a13fbf536b4b11691bce6b3e0601a0","datavalue":{"value":{"entity-type":"item","numeric-id":53739,"id":"Q53739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$D259792E-BDAC-43ED-A7E9-4A8327D3F44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b914a45373f0c19fc30345c2d7f6de4803f7357","datavalue":{"value":{"entity-type":"item","numeric-id":53738,"id":"Q53738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$29D87050-1178-48E8-A2CE-56D4079B7961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4d03dccf41d6936220149f560cf560feffe3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":53734,"id":"Q53734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$3EA37FC9-8B0B-4DEE-96B8-4B06CD62B178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70586ce6174aaf063b8e8f11dc86b67bc47ce2a9","datavalue":{"value":{"entity-type":"item","numeric-id":53733,"id":"Q53733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$B33FA27D-1869-47EB-9079-2B0518303FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"26cf304c82644619ac1990e4b12791d78342709c","datavalue":{"value":{"entity-type":"item","numeric-id":53732,"id":"Q53732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$44843E3E-8D11-40C4-8C42-7DB01A4CE47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$5EBA4E18-5BBE-4EF6-9A02-FBCEC3DD9A21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c885b0da505b172ae22806cf31862e35d17fe403","datavalue":{"value":"https://isa-afp.org/entries/Irrationality_J_Hancl.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53735$F6C441C8-3D9D-417D-AFF2-EAB9554B2079","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f15dd4dfe6d906a1011049420db5f460af4a149f","datavalue":{"value":"Angeliki Koutsoukou-Argyraki","type":"string"},"datatype":"string"},"type":"statement","id":"Q53735$D66A3287-F0DB-4643-A6DC-968FDF62FB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9e1ea7d1d4465bb52db7a9cfb941a77727b51dbd","datavalue":{"value":"Wenda Li","type":"string"},"datatype":"string"},"type":"statement","id":"Q53735$E803049D-2A43-4D85-8626-81CAE238BAA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6674897c47e344bc4d5fddd443ee3c392e897c1d","datavalue":{"value":"We formalize with Isabelle/HOL a proof of a theorem by J. Hancl asserting the irrationality of the sum of a series consisting of rational numbers, built up by sequences that fulfill certain properties. Even though the criterion is a number theoretic result, the proof makes use only of analytical arguments. We also formalize a corollary of the theorem for a specific series fulfilling the assumptions of the theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53735$511A0191-F0F9-40C1-9AC1-D595C1CE3DBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbacccb69feaa544f1db3f76f439a42bd7b8d12f","datavalue":{"value":{"time":"+2018-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53735$1B312229-1E1B-41FC-B237-3310BEC80207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4144ee8af8e7431c160ecf90d9fca5d1216272b","datavalue":{"value":{"text":"Irrational Rapidly Convergent Series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53735$90A7956A-430A-42F3-AB1A-0AC7B5F8C212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0339db4402bc2b2ccc546cb28cc7fa5554e7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":2569681,"id":"Q2569681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$A8527E61-03A7-4538-ABB2-7A7C53737187","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$4C0E2973-D4A6-4437-A6B0-C7FF2A4E28EB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53735$23AAC718-E0C5-4538-8C84-919DC3883249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irrationality J Hancl","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irrationality_J_Hancl"}}}}}