{"entities":{"Q1712938":{"pageid":1723679,"ns":120,"title":"Item:Q1712938","lastrevid":55374253,"modified":"2026-02-17T14:43:52Z","type":"item","id":"Q1712938","labels":{"en":{"language":"en","value":"The binary expansion and the intermediate value theorem in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006134"}},"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":"Q1712938$AC6E0DCC-40EF-4058-B6BD-9F1F43B63CF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170e2e95273c4ef0979f0691910c072f61e840d2","datavalue":{"value":{"text":"The binary expansion and the intermediate value theorem in constructive reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712938$684D5404-3E51-462E-9AAA-86536BDA0BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$DDB1DB33-0CAB-49B5-BC35-68E067501A7F","rank":"normal"},{"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":"Q1712938$F595EE94-EA60-4248-86E5-5F76EDE957E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c15fde5574d166f06f3655806c3a949df5b65174","datavalue":{"value":{"entity-type":"item","numeric-id":991575,"id":"Q991575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$31D42E7E-776D-40DF-87B0-8C4947419B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44622238969ceed011f8b0cfcc8c06015ed49f3","datavalue":{"value":{"entity-type":"item","numeric-id":781508,"id":"Q781508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$DE7C021F-0323-428B-A709-4230EC761201","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":"Q1712938$82F51E03-B6A5-4AB7-A836-6E7A86C32717","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd39a34925a9d3eaa0799a6ae0cd2538d190ed0d","datavalue":{"value":{"time":"+2019-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712938$65B8B5DF-52F5-45FE-8B89-A026D687F668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$67AFEEF1-0F68-47B0-ADC4-2E9AE4AE3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$846B5AB3-DDEC-496B-8C52-F0A2D82CB270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eba44c390dbf2bc90af66efb6617b808843cfdb1","datavalue":{"value":"7006134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$2D1B0158-670F-4002-B2BF-6B304F1E7749","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5941adffec5790c2a2a8e15f632271e3c97c4792","datavalue":{"value":"the binary expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712938$B55B3263-8D34-47C8-A743-42EC5A322620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5789e92f516a21aff0a6e6cafd6456f0f2591d1a","datavalue":{"value":"the intermediate value theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712938$B8BDD7D9-E1C0-4FA4-8A2B-06050CACF066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45678c0e18d0bd43550dbe86a09f69a664a7c82","datavalue":{"value":"the weak K\u00f6nig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712938$BD79AC99-F6EA-4C09-9E61-4A9507B4DE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b811aa62d898577a7fd495d5efd9c84c60f71a","datavalue":{"value":"convex tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712938$51BFA6FD-21DB-48D1-A135-D06E3B899662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712938$2CB578DD-49E7-46E8-A27D-A03187C50714","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":"Q1712938$5A7FADFE-2F9B-49F1-9A3C-79ED0BCDABF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c886b7038be59f6d01238d5215ca6810836c7c07","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0627-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712938$B9E069DC-9F64-419B-83A2-138CE3C3AE86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"361f6812ceba5f67d5c02d643433617b132e994e","datavalue":{"value":"W2741308551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$06ECC305-2AB3-4A2F-9479-6EDC296A498A","rank":"normal"}],"P223":[{"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":"Q1712938$36D2DAD6-21E3-4D23-9C4E-FB352B548259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9929fdeb199ca49742621f391f38e01bc09272","datavalue":{"value":{"entity-type":"item","numeric-id":5412172,"id":"Q5412172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$0A4972C4-7333-4799-9713-1AA5DD3CB91D","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":"Q1712938$EB3A61B6-D592-4B61-85E2-EAA8E0FA1C6B","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":"Q1712938$16EE1B5A-E57D-48E3-AD0C-BBA228EA3621","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":"Q1712938$C065223B-9FCF-4D34-AB1D-BD46B8366514","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":"Q1712938$BAEA9B4E-E2E2-4E78-9FE4-83558D1EC97B","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":"Q1712938$D1D6C8BA-4624-484B-B361-BF4793316DA6","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":"Q1712938$17F3C09C-998A-424D-8BB7-76A367AD082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc9be67ba2994d59559156edb1ac6b72d944164","datavalue":{"value":{"entity-type":"item","numeric-id":867405,"id":"Q867405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$57F38949-BBC9-49A1-A597-3674F6C3D19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9c6c7999e7a2ced276113b1a75898ce937e05d","datavalue":{"value":{"entity-type":"item","numeric-id":3613305,"id":"Q3613305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$BC2793A9-B5A1-4935-9A5C-A3D5754BCBD0","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":"Q1712938$16C10CD7-AD9C-4CF0-8AED-0439869AF3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36b6eaae6dfc992ccd22b5b3ac0b6ee10fd837","datavalue":{"value":{"entity-type":"item","numeric-id":3244108,"id":"Q3244108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$2BDAEBC9-A990-4CD7-8ECB-615CCD51803F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$E34D9840-11AF-4575-BC4C-8A5EFB8FA7AC","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":"Q1712938$730D4593-CC25-4655-AA5A-6BC631FE5055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b8959fcb42d1ae02bd3e1121ffba580bef4d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302475,"id":"Q4302475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$83F9809C-460B-43A6-AA42-2C92839B8504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712938$CA44E449-D244-4A28-95D8-61A091DB0F49","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":"Q1712938$CBD83C0F-12D3-4FCE-99D3-9DB65DDE46A6","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":"Q1712938$617DC2AF-70BB-4FCA-8D0C-FB6484863BA2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73cc658c1fa0473f9c2defac7d8a1321b650c76e","datavalue":{"value":"Q129893498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$6059F35E-A7F0-4B14-B06C-0BB4942ADAFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"817ef59582a33a2548976a1087e9e53686531535","datavalue":{"value":"10.1007/S00153-018-0627-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712938$936E0BC5-2ADB-4370-A047-807935B6791C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c658566dd9e7413b3befce345e6c363c3fef5da","datavalue":{"value":{"entity-type":"item","numeric-id":424546,"id":"Q424546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17f4fce91668d0c33c6d6cbb561258b4829673e","datavalue":{"value":{"amount":"+0.7294076681137085","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":"Q1712938$3552A71E-627A-40B1-BBA7-9E150F030F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f50dde77273e83ac0d8b7b5a0641fd0f0761e2","datavalue":{"value":{"entity-type":"item","numeric-id":3480038,"id":"Q3480038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0968beb8bb3e9d865fbdb5d7f5df1f3d74e283a","datavalue":{"value":{"amount":"+0.7270438075065613","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":"Q1712938$7A7B664E-BDE1-4817-A9AE-70A5E9FA35CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f01c1be3a8179619af1772e22f7fe8fd55d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2851185,"id":"Q2851185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247d3973ffb1b1201fd5e24381b9aadd8174f4fa","datavalue":{"value":{"amount":"+0.7050547003746033","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":"Q1712938$37EB821D-5DD5-4204-8B11-1C419C1CB739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d2275357586076b15a71007fb91fcd8612c670","datavalue":{"value":{"entity-type":"item","numeric-id":3300794,"id":"Q3300794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4f48be59fccd7410f722202480f77d479ac177","datavalue":{"value":{"amount":"+0.6984389424324036","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":"Q1712938$25007B06-3861-46B4-B52A-90B5ED95D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0af5dd3546940f1c0e7a7027dc0a4b3a95c66e","datavalue":{"value":{"entity-type":"item","numeric-id":3145982,"id":"Q3145982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad3fbfd99584fa51270757d123addfa0b8738e0","datavalue":{"value":{"amount":"+0.6982941031455994","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":"Q1712938$B35D9DC6-07A8-473F-99FB-9A240FD8C3BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1712938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1712938"}}}}}