{"entities":{"Q969624":{"pageid":971472,"ns":120,"title":"Item:Q969624","lastrevid":65824551,"modified":"2026-04-12T05:37:03Z","type":"item","id":"Q969624","labels":{"en":{"language":"en","value":"Kronecker's density theorem and irrational numbers in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705431"}},"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":"Q969624$79A3B276-7270-4238-A810-7DC3DF6587D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"549dd9e4a051ee042e56bef6fb50a82799b4e57d","datavalue":{"value":{"text":"Kronecker's density theorem and irrational numbers in constructive reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969624$67199D73-4A97-49D3-A0B1-1219F7D26BF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7e3dc66ba51440fac6ee503746a230ec728b5f9","datavalue":{"value":"1280.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$8455B39F-3E72-4BE7-800C-72F7F811AC03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$4A6EBA66-74A8-407F-89E5-84CD276238B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$9DF802FF-F2D4-4A52-8A55-F0A2CC06E58E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c90c6880477e5b8205fc27abd99e34ccb378ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":194541,"id":"Q194541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$A7A260F7-5C1C-4672-B65E-553B9DEB056A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969624$F8C7425E-8133-4E05-8475-A5979EAF0E87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$79AABC17-1CA6-4427-B3B5-31E3A572E0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$9E645282-CE5F-42B0-97FE-B7720FE47507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01393ed76d4eea61ad4470a4159df4c1f8c3c433","datavalue":{"value":"11J71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$002A15C4-E559-4ED0-899D-7630392ABFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c4d8defd21b53e7641f92a39f901060616e4cc6","datavalue":{"value":"11J72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$CD76CA46-A59F-499B-B0A9-101CC79680D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d53ee813c8755b85ed5c2b65961d52ee4919a1a","datavalue":{"value":"5705431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$8B21038D-75A3-45A2-A973-F258403D14CB","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":"Q969624$6C07F092-7B8C-47FF-BFA3-A1582AD475B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a88d7eb29f69758f7f0ef943df3285a4794b674","datavalue":{"value":"https://doi.org/10.1007/s00591-009-0062-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q969624$909680C4-29A3-4CC7-8F56-2935EAD1EC86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3832a11ae05e736f3ba1052dab2dda2231d049ff","datavalue":{"value":"W2065437159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$5630ADDB-3997-421C-B41E-81F70FC448A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$3C809326-3F2E-4199-A7A1-3468F077385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$DD6AC4E1-6702-4DDD-A7D6-72C0EAF5B1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$CFBE237C-7682-43E1-B5B5-F781B94F05C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c6e0c99b6d0589e0424e3138777ae30874f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$8CCFA78C-7BDB-4713-899B-B335AD805423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe84798515e0f599e789509d6b81f9ce2f6acb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3617370,"id":"Q3617370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$A91CB631-3540-4E14-859A-C8C09251EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f094c7556d153467690db738b2d627f725d9476","datavalue":{"value":{"entity-type":"item","numeric-id":3424134,"id":"Q3424134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$FBBEF0E6-A4C3-4C16-BAE2-FCC2B0E1DABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed150c3537fcb6076b9f127ecd772a602588fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2465611,"id":"Q2465611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$1E2C4E58-0BFD-4F11-8054-0D42B92B0CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3e498702a5c80472667993220d014cbb2736a2","datavalue":{"value":{"entity-type":"item","numeric-id":926186,"id":"Q926186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$76F0DDDB-970A-4BE9-90F8-00681ABAFF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd067e4de5b6aa681cdc1ba9e3ef311201001495","datavalue":{"value":{"entity-type":"item","numeric-id":5480634,"id":"Q5480634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$8CD920F7-64E1-4FB1-8420-7502D45E4D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7aeb9c843bf9c5a7d6e403b9559f1c572decd","datavalue":{"value":{"entity-type":"item","numeric-id":5462988,"id":"Q5462988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$F204397D-A27D-4AC1-8A5E-1113789B8F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a324fe5706412be945d877a414b1bfbac3239","datavalue":{"value":{"entity-type":"item","numeric-id":867406,"id":"Q867406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$AFF5B468-A183-4064-9966-3D98EDCFA1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$6729BF99-5AF2-4310-A874-A6545FF8F9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$2299B5CE-B224-49C5-89BD-16EA7FD695E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00fbc1e561c6327fb187f9c2abb111a98a00842","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$A37262B8-1B26-488F-BE1B-959E9D13746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7acd8f98cbaa05fe02e3d7b05d9770b9a329099","datavalue":{"value":{"entity-type":"item","numeric-id":5693110,"id":"Q5693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$FA633A43-C0F1-4BF2-99C3-C5CB353C0111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$07412C40-9A71-4D18-8B20-4FC66CE83BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627cff84a5e938b182cb07719714bfe28bea7164","datavalue":{"value":{"entity-type":"item","numeric-id":4490238,"id":"Q4490238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$7FC79052-5503-49A6-A3C9-A5D12B28CBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b488e7da73d9d97d6f497e0377bfb6e1548670","datavalue":{"value":{"entity-type":"item","numeric-id":2461422,"id":"Q2461422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$2B99D8D8-CF48-4FCE-9FE6-0387CE545FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$1C62955B-6450-4F32-A6AA-B525DEC0D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$4EB92130-6790-4A0E-98D0-26DD8830B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94156d6dafc1dff0d48facda12a89c68593a8184","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$F3E2E7E5-2552-44B0-8E4A-20F38F9F3B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f6aa5a7dbb8eced91175201c5b61a84466f7ef","datavalue":{"value":{"entity-type":"item","numeric-id":3259107,"id":"Q3259107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$CE594EC8-CA90-4505-AE1F-5D341FF36AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734d4af33f667cea025b56cec577e0b8e49f6644","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$6C002BBD-82CF-41CB-85E3-9C6F93924092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$29C232C2-C5E7-4A51-963F-740C20FD6FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605ca9602904ba42e859e19cc7c8891713ec7ead","datavalue":{"value":{"entity-type":"item","numeric-id":4552740,"id":"Q4552740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$91BA4342-4CF3-4866-86B2-6AC83357633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b61a5a4c1264e73a9ac3ffc4e3a73ed91866c2","datavalue":{"value":{"entity-type":"item","numeric-id":3159411,"id":"Q3159411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$05C0873D-87E5-43B9-ABA7-A9BDE5BA69E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af59846031b55c54790b8753776586aa4f0b3756","datavalue":{"value":{"entity-type":"item","numeric-id":4243916,"id":"Q4243916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$7A8E0E0F-2019-40E2-8E01-4248A93771C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$C484E811-B63F-4786-A458-BC2AC61DE957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a49a4e2e89da59f5f173862ea911d1d14a66f07","datavalue":{"value":{"entity-type":"item","numeric-id":3508163,"id":"Q3508163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$BB143168-70E8-4F8C-A5F6-0D1EDFCBF2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08783d1cd81fadbcfbdb5e081cc1fc156b802db7","datavalue":{"value":{"entity-type":"item","numeric-id":3785063,"id":"Q3785063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$DC1E8514-78D2-4FAE-AD70-E44ABFB42D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7478878c3853863d975b3ed02258c7e2d4fe65","datavalue":{"value":{"entity-type":"item","numeric-id":1104321,"id":"Q1104321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$1A4C9C07-3D33-40E7-A75E-0848427D0A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$55A61D72-075A-45FC-87EF-82EAB58A63E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cc8ebf956d1ae34080a282593f78ea4e6feae3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$8B3FEAD3-F5DE-4B74-9AFA-27F86CF135C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a7d5af3bc67c4f4035f5355097fece0d6fb0b","datavalue":{"value":{"entity-type":"item","numeric-id":3202987,"id":"Q3202987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$B771D362-CD83-4962-97B0-3EB63F5DC9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4186faf9e688f912978fad1f2c057e7038bfc285","datavalue":{"value":{"entity-type":"item","numeric-id":5930550,"id":"Q5930550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$338968DB-E423-4DDB-B041-F51FAFDECE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fc11d2346e46f71f462ef9d98414772edce410","datavalue":{"value":{"entity-type":"item","numeric-id":4552747,"id":"Q4552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$E7861BF0-A76C-41B4-856C-B7155E6A8C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f824039571070482ad925721332f78ceba87d283","datavalue":{"value":{"entity-type":"item","numeric-id":5448620,"id":"Q5448620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$FBEE7874-3F5A-43DD-88EC-B4FB575265F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54866584258a81ca0d528a213d1d2cf0d041452","datavalue":{"value":{"entity-type":"item","numeric-id":4939408,"id":"Q4939408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$9603D4C1-911B-4F8E-BB29-D91E8D815A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc245ebedcb4a668f3ceb2a75ed7ffab8d0f5dd","datavalue":{"value":{"entity-type":"item","numeric-id":4662816,"id":"Q4662816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$9B77CDDA-8D1E-4AEE-8FDE-560F80792B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa4c09cae9b243d648818d34236279f488c2752","datavalue":{"value":{"entity-type":"item","numeric-id":3367516,"id":"Q3367516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$7997685E-B31B-42C3-85A8-8EBF310FFB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7916cf15568cccfd54708d22a5d8cb0df278d27","datavalue":{"value":{"entity-type":"item","numeric-id":5310890,"id":"Q5310890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$DCE8BDCC-AF5B-4C06-B3A0-CE0ECE4067DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44b092af18b96ac65717716f8e2c390c1b240e8","datavalue":{"value":{"entity-type":"item","numeric-id":3418084,"id":"Q3418084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$96AEB6AC-921A-4DF5-A696-18C149169E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d786258ca04a442bf15ecf4d14f9ea3c14761a6","datavalue":{"value":{"entity-type":"item","numeric-id":4663839,"id":"Q4663839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$C3D56CE6-B6AE-4A91-AA54-0ADA469194C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$59B7A27F-7BD6-46D1-85D8-043AF12CC951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$D6E98AA3-95D9-4D22-A4F5-6E7260D14D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130b844f1b1f92d18921309e81ff665c293e9220","datavalue":{"value":{"entity-type":"item","numeric-id":1146219,"id":"Q1146219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$880498D7-90F6-42AD-805D-3DA63382E4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$3CD2ECD9-079D-40D8-973B-3173750C9C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$38D17AFE-8316-41D3-AACB-B20129F8CF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edb13f668b2a4f36c88de241d9c7f45446b194e","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969624$3812CC2A-8B97-4ADF-9469-46CD22915F4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66ac1bae6c386fdcfd57ed48d7688c37dc4e802","datavalue":{"value":"10.1007/S00591-009-0062-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969624$7BBA5F7F-8539-4D43-AD9B-7C811BD860A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee5425355f60b8ff96c5428f006cebf93d275b9","datavalue":{"value":{"entity-type":"item","numeric-id":2026942,"id":"Q2026942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13a10f93f3d656fe1fa0b9dca90e4da2a768f6b","datavalue":{"value":{"amount":"+0.7266510128974915","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":"Q969624$D907CFC9-4AB5-4164-9EB6-F729CF86FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c441f9937034c9b48a8a70253059cf8899964982","datavalue":{"value":{"entity-type":"item","numeric-id":2461422,"id":"Q2461422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d10ac49ff12d80b72a060892d8b8eedb95e10b9","datavalue":{"value":{"amount":"+0.7245299220085144","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":"Q969624$CF57B81C-4BF7-437E-BB68-2C9D15D33A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a8446235df0915dbcd6c7db29c049bf9e916c3","datavalue":{"value":{"entity-type":"item","numeric-id":3625493,"id":"Q3625493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73f73e12a4cf8e6468f894345271cd17d45777d","datavalue":{"value":{"amount":"+0.7197028994560242","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":"Q969624$FD977A93-69EF-420C-A8D0-32C7D7D0A782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d94be3047ddd62a809420d8b094b976798b43","datavalue":{"value":{"entity-type":"item","numeric-id":4243916,"id":"Q4243916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10101547f99c9c8187d069b69fc8c00ac866ce17","datavalue":{"value":{"amount":"+0.6919686794281006","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":"Q969624$1373B9BE-2EFF-4067-A738-E5872162B242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9485ae6bc6966bbc1dc1bd4402ebf35e67558b","datavalue":{"value":{"entity-type":"item","numeric-id":1104321,"id":"Q1104321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b3d8da4e559fa7a4be7cdbda8ecbefee6c27f2","datavalue":{"value":{"amount":"+0.6900156140327454","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":"Q969624$5103CFB6-739C-4F14-9772-1E31C93A6BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kronecker's density theorem and irrational numbers in constructive reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kronecker%27s_density_theorem_and_irrational_numbers_in_constructive_reverse_mathematics"}}}}}