{"entities":{"Q453178":{"pageid":454945,"ns":120,"title":"Item:Q453178","lastrevid":61947420,"modified":"2026-04-11T02:45:10Z","type":"item","id":"Q453178","labels":{"en":{"language":"en","value":"Some axioms for constructive analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083816"}},"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":"Q453178$7E24FD8F-A464-4B2C-BBDA-542F3C1D687F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545206ab0c96005ad0693bd543ef097bb3407314","datavalue":{"value":{"text":"Some axioms for constructive analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453178$DA522364-EF15-4514-B678-FF228E84F820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121520a7a09b56867750bff93fa4bcae820218c3","datavalue":{"value":"1262.03125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$0525C4F5-55E1-4D96-A6CD-187087E2873F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fbea9f89dfd213d78a18c5bac0fa3de5d53702","datavalue":{"value":{"entity-type":"item","numeric-id":234596,"id":"Q234596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$4A698830-8CB1-4AF9-AF9F-4819715E4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0245407b90129f2646230f40970e48ed3f2a8e83","datavalue":{"value":{"entity-type":"item","numeric-id":453177,"id":"Q453177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$92622694-AA8C-4A2C-971E-12BBD1F444DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$A85B10C0-38B2-4D31-822A-EEF8F8D95946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453178$FEA04218-1EAF-4C9E-A506-D52EDE6F8DB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a231c7e9c5b16f4af569199593e73a8015ee7ee1","datavalue":{"value":"The authors deal with numerous axioms (function comprehension, choice, fan and bar theorem, weak K\u00f6nig's lemma, etc.) at the borderlines between constructive, intuitionistic, recursive, and classical analysis. Among other things they relate Kleene's and Troelstra's minimal formal theories of numbers and number sequences, decompose countable choice into a monotone and a boundede part, and propose a version of weak K\u00f6nig's lemma with uniqueness hypothesis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$2587D7EC-1642-40F5-A8AA-33E8B8923743","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c33a963100806d74a242a5df1e1de059fbf40e75","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$627045A7-B413-468D-8F30-693FCA41899F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$03AB7ECA-9CFF-4800-B2FE-7658380EEF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$F5EF64FA-ECEA-4875-A52D-23DD5CFE2B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$38ED2CA0-5129-45F1-BEB4-7374717B3909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$E14CE67C-E55C-442A-AC63-B8E819C112BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f250eb648cbd4b5d870c4d6d77ce4a71a4b7ef","datavalue":{"value":"6083816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$EDF43D4A-B6BE-44F0-A92C-063F2B2F55A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$2D0229DD-D310-40A8-9478-A27E12514073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfe66af6aa10b6c274fed505ac6e4c5ee8ea166","datavalue":{"value":"minimal formal theories of numbers and number sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$B1AD68ED-3FA5-4A86-BB3B-6F3ABC5E29ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1617677cd502f254b00f4af79c46a86cf4fb54d","datavalue":{"value":"classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$88F17E6A-73E4-4B55-98D7-F52669BC5553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b6f32f274a1d1a79b36ca8e6cf4dc87d7dcbf0","datavalue":{"value":"recursive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$B3B652CB-403C-486E-B76D-5C05F2AF2D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$B0FF5653-DEC2-43C8-AC46-D6CF6AF1EF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$0A30B961-78F9-4DAC-8800-4DB43FB2A7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$07BEA855-4F5A-4A88-8CA2-FDC6DBA66349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q453178$75F70FD1-8CC3-4912-834E-DC96C801CFBB","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":"Q453178$953FA8B1-8B86-4EBF-95D3-EEC788B624A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33d88c25b9d0bd7a35605d43f7cd1c47c4a1a4bc","datavalue":{"value":"https://doi.org/10.1007/s00153-012-0273-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q453178$35794752-EA2F-4DC9-8D1E-9E1CACE804BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33379ef020e1d641f16c34c911c8e1ea6938b10","datavalue":{"value":"W2057631483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$7B592CB3-E628-4917-B9EE-15171553D07D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4137fee0a2932d748087972df4af7ce7047b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3567844,"id":"Q3567844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$8E9D9C17-BA42-4AEF-BFBD-F836DCEB2842","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":"Q453178$A6D5AE67-24E1-48FC-BA0D-D13C934B4527","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":"Q453178$37CC5C37-B185-45AC-8DDF-83983F92B8EE","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":"Q453178$CA93CF1B-C9BA-40ED-A138-4504EE2B6D50","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":"Q453178$1993D2BD-DFFE-444C-81A0-6204F7166813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$F33EC7C7-08C3-4501-B87A-481B46BF7921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$1D31E552-993E-43EF-9CD3-AFD881E0EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$68197CD5-C663-48EB-A387-0C4FCFDD2B12","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":"Q453178$3075B2B4-1F4B-4FBF-AF9B-78D571B97B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da0cbae496ddbe6b2e3c3a687f33b6e77fb833a","datavalue":{"value":{"entity-type":"item","numeric-id":5659520,"id":"Q5659520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$3DCD5316-EE6C-4A08-8F57-998E5947DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$B028AA42-55BC-4364-860D-1D571C12C0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9616b003d703f9d09294a2db2e4505eb229f58","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$02C069F2-4A23-4F56-B08C-3289D82D69BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$6F93EAFF-B883-4D1B-A293-74773F331075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$D628EC91-4E82-44EF-A474-C2D6A9A1646D","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":"Q453178$063F5A0E-E018-461D-BE24-58EB9E117C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff917a23bf4a00c40328c768e3bf16ad04f3002","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$61530029-FFCE-4A6A-9301-80733991E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cc641a843b85d4aeb7769f582f2b19a03752d9","datavalue":{"value":{"entity-type":"item","numeric-id":3867822,"id":"Q3867822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453178$73CCAA9E-EA87-4E31-AE16-97B801BB12D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82728c043dae44768ff60c6a18f52964a15dd395","datavalue":{"value":"10.1007/S00153-012-0273-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453178$8E0820A7-3661-4DB3-9EA2-158D781D829F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df977f25f7ce0a2ef2fd38146e0bae6407b0853","datavalue":{"value":{"entity-type":"item","numeric-id":4594256,"id":"Q4594256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85ff9b9d3eb7c4e8507db2be2fe3302a0214ab8","datavalue":{"value":{"amount":"+0.89749134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$15E37388-ADB6-4D1F-8675-1EC158A5B03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bea21e63e8af1c4b2524984c921d81ee1e996e","datavalue":{"value":{"entity-type":"item","numeric-id":4304462,"id":"Q4304462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ce121a07545ce2ddc2e1b8270fa2f6edc56f5b","datavalue":{"value":{"amount":"+0.8961122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$006C0A91-1A1E-4794-886E-2DFBB496CED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886058988f8856737d712ac9a397671f7532e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":3140390,"id":"Q3140390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66ae0d8f595b3ba7c92a164881d6196d409ffc4","datavalue":{"value":{"amount":"+0.89546865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$BF30F7E6-C3E3-4F26-A1DF-9DA93E1721B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8d22f6d0be46f7460a6320d43bdcfe671a4c13","datavalue":{"value":{"entity-type":"item","numeric-id":5591515,"id":"Q5591515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e4bdef7231956063e144a444de7bd2e31dd75b","datavalue":{"value":{"amount":"+0.8920394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$943C631D-FECB-49EC-9BF1-82EDCC04B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f21e3d817dbdf748618a60b393735d0240457ab","datavalue":{"value":{"entity-type":"item","numeric-id":5197387,"id":"Q5197387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ac906f56a6beb0ddbb5329b2635d78430fe7d1","datavalue":{"value":{"amount":"+0.89161694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$453878F6-29E6-4D8D-98C9-1D1E6A8601AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fb235b2822f61547bbf1f3761bd3dc6d5f1764","datavalue":{"value":{"entity-type":"item","numeric-id":3265771,"id":"Q3265771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ac2fd9fd56cae788fcc63653ac61440fc980b6","datavalue":{"value":{"amount":"+0.8914689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$CEF8B3F0-E6D7-403B-A047-72986DBF4EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad68797a7e76bdd9a58b01c6333b2748a09835d1","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a8aa906ed881f512854210b4bc75fdd264b59f","datavalue":{"value":{"amount":"+0.8861413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$440455A4-9DCC-488A-98B0-D42AE52F0DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18894521be360e3153feb2bd58ae89c42a2bb18","datavalue":{"value":{"entity-type":"item","numeric-id":1100202,"id":"Q1100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a266afa33cd4b0f53660fdc5f4d20aa9201d4069","datavalue":{"value":{"amount":"+0.8851035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$CC2DACCB-D005-4806-9874-77AFB61F84C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7e45184a5fd30db221adc8541bb85b463fc7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3431542,"id":"Q3431542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1626fb55c56ea6eb8a993b7d411dd5ce9ffb20cb","datavalue":{"value":{"amount":"+0.87823683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$7A4F2D0F-2C20-429B-BC61-903D387DF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885501c27dbaeba05ed975b232167634c35a7aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2753696,"id":"Q2753696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105173dcf991cf28acb60a578b05e5a531a77240","datavalue":{"value":{"amount":"+0.87809294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453178$430481CE-DCC1-4718-BDFC-CB58887426C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some axioms for constructive analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_axioms_for_constructive_analysis"}}}}}