{"entities":{"Q424546":{"pageid":426313,"ns":120,"title":"Item:Q424546","lastrevid":61770057,"modified":"2026-04-11T01:32:39Z","type":"item","id":"Q424546","labels":{"en":{"language":"en","value":"The intermediate value theorem in constructive mathematics without choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040331"}},"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":"Q424546$A8C8A021-C7E5-4FB3-BCF4-227F7BEBFA3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ba69d26468962d027c209e4e3aeab7c260316c","datavalue":{"value":{"text":"The intermediate value theorem in constructive mathematics without choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424546$99BF944C-D319-435D-87C4-BA29CD15884C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a18f7271c0a3e8a63af3b4653edd69c5862da41","datavalue":{"value":"1251.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$3D1F5193-E40E-46C2-A1BD-CD587747A776","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8256f57e609f901244eda2b0630d8c8976c53c72","datavalue":{"value":{"entity-type":"item","numeric-id":283110,"id":"Q283110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$7408F4F8-3659-4122-9910-425E9D636342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$2DB92792-273C-4FF5-B09C-5A3484C0EA1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424546$2657B52F-7BF0-48C9-B228-6D4580497E40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$B33E19DD-5FDD-4668-B8E3-D49C8F4A1137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$D75897A1-7935-4B19-B1B6-34195522E0CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af5e89e79078cb948f2c93972eb0ae8158a4b93b","datavalue":{"value":"6040331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$71128B13-DDFF-42DA-9A1E-6682F54653E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q424546$6FBF5153-E55F-4533-855D-845A107749D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f628c431495e7d853152f70ddb9e0db447be29b5","datavalue":{"value":"intermediate value","type":"string"},"datatype":"string"},"type":"statement","id":"Q424546$5A6DB9DA-C950-4EF7-A580-4A6926C76857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q424546$5B0BD878-D589-4A02-BBE5-20B3FD2D0358","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":"Q424546$478B99D7-9A25-4749-8327-89F8F3AFABE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13f5500012dc5f61e5dc88d6e80cd8f469635e59","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q424546$2C45B61E-5317-4892-84AA-B80C76D63962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb2854a7f54219668c3255a9d6bd6fd25285e688","datavalue":{"value":"W2033326963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$64494C0A-EB01-4DC2-8562-DE31867C0481","rank":"normal"}],"P223":[{"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":"Q424546$48CAC2D3-8611-453E-ABA1-0CE5BFFCFB19","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":"Q424546$719A040E-3112-498A-84AB-F29CFD05DEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0579c33e9393236d9ea98193c550e521c413a50","datavalue":{"value":{"entity-type":"item","numeric-id":3201046,"id":"Q3201046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$785FD722-A6DE-4EF9-9EC6-935657789B2B","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":"Q424546$DA5D5BBA-F76D-4310-AFF6-A791F5DB2C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7c7cb838db80f68e28104643006df749115a0a","datavalue":{"value":{"entity-type":"item","numeric-id":864436,"id":"Q864436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$1F567577-CB82-4D93-9E01-B2B2CE0768E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$E89013A3-3859-4E1F-8B0C-FB2372276705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$5C504E28-760D-44BF-8585-7095A4AD26D4","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":"Q424546$555E63F6-1692-4CB8-8852-29C2D3C67EB4","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":"Q424546$7AC2D5D8-B3C2-4F46-AC1B-8F359D27D276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5fc77b47f3abc0a5cca0d23e2cabfc0c72306","datavalue":{"value":{"entity-type":"item","numeric-id":1866471,"id":"Q1866471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$2BE447BD-1435-4CF9-95A5-2D529F8F43E6","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":"Q424546$25CD289D-018F-429E-978C-E6B8C7C921F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1431cd06edd02db60acf3c65c58ee0168d75ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1427789,"id":"Q1427789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424546$579D6941-60BC-4876-874D-0CE78834F24B","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":"Q424546$9BC3E471-A5A7-485B-B11D-A0CD0F29605B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6681b570cd8d0937e98d6acb3d76cd0c4b594fc","datavalue":{"value":"10.1016/J.APAL.2011.12.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424546$CAD1478C-634C-430B-A0EC-02A51BD0AB35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa21b5172618d8bf293b59ca6087a0794319c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427789,"id":"Q1427789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4dfd0d9f65cc9c28e4ce331982e77f5dae5dfc","datavalue":{"value":{"amount":"+0.8136309385299683","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":"Q424546$B1C32C42-3D84-4EE4-A134-597D903551F5","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":"99b5d3d3c97556199959f533bf95c0d96c6a4022","datavalue":{"value":{"amount":"+0.8031460046768188","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":"Q424546$B4AAA0E4-BADF-43F3-BC90-26EA858831AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3ee7dbde111041f5db743ceca7dce0bd79cf02","datavalue":{"value":{"entity-type":"item","numeric-id":4663839,"id":"Q4663839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1402f02ddc3d846f61066741139bd8b6635a23","datavalue":{"value":{"amount":"+0.7914491295814514","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":"Q424546$054A87E7-A145-4F09-BBDD-D3849BA2DF54","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":"c5e577f8eb03ef84aece0fc66261390ebe6482aa","datavalue":{"value":{"amount":"+0.7819737792015076","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":"Q424546$3C625002-7387-43D7-BEA1-1EFA9202624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b744135904d7bbad092c2acf0e887789b0c382","datavalue":{"value":{"entity-type":"item","numeric-id":5930550,"id":"Q5930550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7742da8bc840aa4d8a2966e3509677d09bf0676","datavalue":{"value":{"amount":"+0.7754984498023987","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":"Q424546$0A34834E-1858-4EEC-9AC3-B6D670EE22A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intermediate value theorem in constructive mathematics without choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_intermediate_value_theorem_in_constructive_mathematics_without_choice"}}}}}