{"entities":{"Q5094474":{"pageid":7124050,"ns":120,"title":"Item:Q5094474","lastrevid":94264727,"modified":"2026-06-05T06:22:42Z","type":"item","id":"Q5094474","labels":{"en":{"language":"en","value":"Irrationality and transcendence criteria for infinite series in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566890"}},"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":"Q5094474$FE3D6AA6-304D-43DC-9DA4-861B4FBB8F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82feeb7535d50448644ea5a63df32e2f137bc1d6","datavalue":{"value":{"text":"Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094474$B588094F-DBE9-4B04-848A-2C076314EFCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba3cc2a7b73e251e7085bd3c837474269fdf75b","datavalue":{"value":"10.1080/10586458.2021.1980465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$0F3EBD78-BA00-41FA-B620-73A0FB5C1D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43720d5641a605df4a870ccd696a31d0b30078dc","datavalue":{"value":{"entity-type":"item","numeric-id":472315,"id":"Q472315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$003DBC2F-B189-48F6-B2BB-EB6A21F7360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc2fb717104a06660a1d7938bd285da48cdfcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1725842,"id":"Q1725842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$10A71877-13B9-4EE1-BD7D-7A4E36767505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$D4290C26-2B0A-4A25-B8B5-FECFCB2B226B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$57EFCC9F-631A-4456-85E9-3DAC85677F96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa016bb6723a582b7104f77969047fbd7302b4b2","datavalue":{"value":{"time":"+2022-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094474$0DEEA6C8-4934-4FA8-8E44-07420C1B418B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a30098687d3f86fd5d39651025a78151a1cdbc4a","datavalue":{"value":"https://arxiv.org/abs/2101.05257","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094474$7FFA96DC-18EE-4C1F-AA59-891A20B792B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea6ef7477a3a5eb71fb9e3a3c21c38781cfc5e16","datavalue":{"value":"11-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$64E0E45C-1A7B-4098-93EF-C60A1F834CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$458070AB-5212-43E1-A3B8-6DA0D9F9BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa8c5d48f36c5ad1306c13276e0ed2f486b54f68","datavalue":{"value":"11J68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$0EF092CD-AED0-48E0-913C-193A56CBA64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$BFFF4BAA-4DA5-4507-ABC1-06F8408BC0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$C775D0D3-8AF1-4228-A966-D7C5231F8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fee8f2ca1323cad9e9232d7279e663a6ec082a12","datavalue":{"value":"68V35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$B26EFAAC-8660-4296-9F32-5A8AE0661E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f18805fa153588dee3451f719f585f7cfba1e328","datavalue":{"value":"7566890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$407F255A-4D00-44A5-AA77-D06AD0B50127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094474$41B9B2E5-93CE-452B-BA22-938F984061B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094474$CDE50001-80C3-4FDA-A80F-7244E80B25E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094474$09FB1966-2C84-48B4-89EB-BA53AEA9F407","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$2F1B1C36-8420-4DC8-844A-BCB0CD97D9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8287e399e4e97d611ec91d093fd4c2d1103a4b4c","datavalue":{"value":{"entity-type":"item","numeric-id":53735,"id":"Q53735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$4F2CE57D-459B-467D-A400-4E5865744B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d197e9ad61c6aa4dd684727241daf385c9fd3de5","datavalue":{"value":{"entity-type":"item","numeric-id":53736,"id":"Q53736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$1779513D-2890-4FDB-A51A-E63616EDDCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04fc8a2a05f7dc7ab625fa0187a05fd2fd0e3b18","datavalue":{"value":{"entity-type":"item","numeric-id":53737,"id":"Q53737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$B819D718-D70F-49AC-BD32-4B78FE8AF664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$97292286-9170-4441-B1C6-E2A42AD11C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$E9EDAC8E-F037-4FB3-9C41-ABBF5DC7677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$C8C56E68-7447-4A7E-953D-D27846E5485B","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":"Q5094474$68EC2E2B-2253-46C2-B692-552615CCB641","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d4f10184c313a3be398a76e1804b4024b67b54d","datavalue":{"value":"W3208345691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094474$58D58FC5-7870-4BEB-A000-FB7D175C895C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0cc61661c6cf14139cc9a4bd131319ed4c5ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5901174,"id":"Q5901174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$4535E733-5776-469D-98A9-8B9A7E5EF27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$AEEADD7A-3FAD-4646-9A46-EDC6A82C005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5630f518c570c62f3ed6099d539c193f62b9f4ef","datavalue":{"value":{"entity-type":"item","numeric-id":5120486,"id":"Q5120486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$38240685-D9A9-4475-A171-429DFB228770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faafba62c3f02c1b2575516bad3d48a3cdc1bb65","datavalue":{"value":{"entity-type":"item","numeric-id":769262,"id":"Q769262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$7EC10DFF-8099-47F8-94CA-46A3D188571F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa23ce7c11e62588f44aa66d5637c5bb949da21","datavalue":{"value":{"entity-type":"item","numeric-id":4149806,"id":"Q4149806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$0791B162-1FAF-44A6-B295-F0B0509F849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd24206de8183734a3213effeb4b31f0805e0da7","datavalue":{"value":{"entity-type":"item","numeric-id":5906939,"id":"Q5906939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$01B15687-B3BE-46F9-A443-899D67203853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c021b11b7bd1b72817ffffef7ef51bc83aee7c16","datavalue":{"value":{"entity-type":"item","numeric-id":2546057,"id":"Q2546057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$B2BEDABD-1BB9-4D65-86F1-CC57EF052760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$9A59A868-1BA0-42E2-B435-0CA2EAACF0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f1c5d5244ee8be8e1f3bbdde31503a28ecb271","datavalue":{"value":{"entity-type":"item","numeric-id":2421532,"id":"Q2421532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$8F0CF76F-A20E-4102-A849-010B136505EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$478DF076-6986-4BDC-8467-D66CA3F2DD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$FAEB966D-8B36-4D6D-AF21-84EABFFD315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a0f29f1457b9fdf7dfd647a07bbfaadd0802d4","datavalue":{"value":{"entity-type":"item","numeric-id":1208175,"id":"Q1208175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$DE97D2C1-1D8C-4A88-BB8B-CC7EDA2E2930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a09ae6c736b703459f8ec2a73ade69d30368b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4389677,"id":"Q4389677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$6EFC98F1-6322-4D0F-B2FE-9FF04AB6762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103b00e0932277519a9c265cc67fa82659280c33","datavalue":{"value":{"entity-type":"item","numeric-id":5698864,"id":"Q5698864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$A90A0ABA-B261-49FC-BF29-9AF083D356F4","rank":"normal"},{"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":"Q5094474$A2A451B8-543D-4B74-937A-F4B6F8C8F243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad098d5df1d130de02d208385cb0cbec31c9166","datavalue":{"value":{"entity-type":"item","numeric-id":2566507,"id":"Q2566507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$BDDA09B5-BD41-48B4-A6C9-9B0143079719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$F537C631-2AFF-4567-813D-76B18E1D12C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5928533f1a1251f0d11dc18c7b4ce473f48af9","datavalue":{"value":{"entity-type":"item","numeric-id":4187337,"id":"Q4187337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$33A440FE-3318-41A4-9D8D-ADE3D2E316A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d4c354863112eab3a59c0306db41440d797bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2657827,"id":"Q2657827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$4BA877B3-5376-41B0-A8A5-905A4FDFD802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732e4065affc771659f1a56e3bf3aedcc703e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":5615451,"id":"Q5615451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$C602F45F-0644-45A3-B2AF-2D6E0C6F21A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$C3B57FBE-79C7-4AF9-A9A4-C5A255173C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2803d54253f6524c58f8d20f4ee5adea2020e5","datavalue":{"value":{"entity-type":"item","numeric-id":1922724,"id":"Q1922724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$C9D7E2BF-C2C4-4D0C-BEA1-8F665A02FB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fa628f3df458fbd23d78af3ae2080b8e67fccc","datavalue":{"value":{"entity-type":"item","numeric-id":5928726,"id":"Q5928726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$73EECAB5-3B52-4603-B263-1EEF9455ADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc32f7d07af0a1aec3bf706b5fbddf01e666b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":1612524,"id":"Q1612524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$D849426A-D3E2-4F95-908A-348AF730C0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$1AAD4ACD-04CD-4BCF-A5B7-D0502BD6DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e07479183b3e5eaff65e5076a7857f2bb6c7060","datavalue":{"value":{"entity-type":"item","numeric-id":5848300,"id":"Q5848300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$50FCBF03-F123-46D3-AF9A-BB973CD69C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af044b2c26d5730997511f84d606e4ef4f64c1c4","datavalue":{"value":{"entity-type":"item","numeric-id":3333123,"id":"Q3333123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$9FDF7B23-4867-4062-9633-7C4A7F907856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce6f531cfd04e122a6de28b717e710c15251da0","datavalue":{"value":{"entity-type":"item","numeric-id":5856420,"id":"Q5856420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b7fd9acb8306f1306e0832b9c46709f6fd7cb7","datavalue":{"value":{"amount":"+0.759361982345581","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":"Q5094474$358285A1-65A2-4E32-ADDB-26814BA4A587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0c817720be889a7e33cc11e6f74ffe928b63ee","datavalue":{"value":{"entity-type":"item","numeric-id":5195244,"id":"Q5195244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488afdf03282841e5f16d88946caa0486a6239c3","datavalue":{"value":{"amount":"+0.7576144337654114","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":"Q5094474$1602D00A-E65D-4900-8D5D-86AC90A20A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55f3e303264b38c64c3b12c1a965031faf3a81f","datavalue":{"value":{"entity-type":"item","numeric-id":2879250,"id":"Q2879250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834453de8615a951a4dc24890806a3a81dd9807c","datavalue":{"value":{"amount":"+0.7477104067802429","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":"Q5094474$25CA2157-02FF-4588-B93E-E6968462447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bfe1579abd1aa529055d84308768a923e2bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9f8d0127aa0723453a27a1c61fccaab2a7dc25","datavalue":{"value":{"amount":"+0.7336991429328918","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":"Q5094474$8AD9C88B-A744-449C-A9FF-8387B26F69A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5671243317e777747809e8503a0482cbbd77fee","datavalue":{"value":{"entity-type":"item","numeric-id":5891671,"id":"Q5891671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4772d1e4dd6665a77b1e9a3107e38aaa2fe3ce59","datavalue":{"value":{"amount":"+0.7304255962371826","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":"Q5094474$66A64006-2DEE-4147-8901-9058AF93FCD1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094474$A3FFE342-797B-4318-A69A-E2524B1B135B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irrationality and transcendence criteria for infinite series in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irrationality_and_transcendence_criteria_for_infinite_series_in_Isabelle/HOL"}}}}}