{"entities":{"Q3905274":{"pageid":5935179,"ns":120,"title":"Item:Q3905274","lastrevid":89090222,"modified":"2026-06-04T16:19:24Z","type":"item","id":"Q3905274","labels":{"en":{"language":"en","value":"Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3715551"}},"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":"Q3905274$87ADCBD6-91D2-4184-B6E1-4F68B135091C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac7adf93b1756a45d6e25b39dd8bb9532dad83ee","datavalue":{"value":{"text":"Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3905274$5BB629E2-2B4F-433F-8248-B6236C4F07AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e8631d02be10c1f307f27412be51fcca493e5c","datavalue":{"value":"0457.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$1BB265C0-0061-4475-AFC9-744D5BD6FAAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f4bda4b55a5e8f5869eec3eb9fd6d3b2af5386","datavalue":{"value":"10.1016/0003-4843(80)90019-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$A1270BE3-2E37-4BF7-A73F-DD5A56B5C4DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905274$4A086810-3097-4FB4-8024-1D6A81CF44AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905274$006DC67F-A9BB-4B4F-9E3A-BCB9D2E9BF7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3905274$9F357E95-07B2-4931-A444-FAACA02474F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$9326AB96-C321-428C-AAD0-7CC764188529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$989EA984-136C-481A-AB2B-181C4CE5858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$46528456-BCBA-440A-B886-936ED02C51B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$D3F92BFB-3046-4962-AC34-81442FE9EC59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c040f56ee10522f6066d7fd55cbaa7de681e56","datavalue":{"value":"3715551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$A97EA5F9-3DDD-4131-A22E-3AE92B6A8D08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc6f74c9a9a24c1b0cc23f80efc9936624198c7","datavalue":{"value":"Dedekind reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$45A76C07-2A3E-4D34-84B9-6B4496196320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$DBCCF1FB-08FB-4BA6-9BAB-F77BEA874979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226f7081ac796f7103fc47ce7d9d5179e68514c2","datavalue":{"value":"continuous local choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$07D351DE-B675-4D1A-88DA-B2F6A47CC008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99c0228893afedf64c8268c7d13b899d294fd7c","datavalue":{"value":"complex numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$AB013A90-5FBA-489D-9E7F-A2297291999D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792279e3b3544d7d853f3bdf9999ee26f3e8ea36","datavalue":{"value":"algebraically closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$BB028910-876A-4136-AA04-871E700B3638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905274$4503C1C2-184D-44B6-ABA7-FE28F08D915C","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":"Q3905274$B4C2E6D2-CF20-469A-BE57-0238F6607F0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de7e97e1cf73adec633fc7122000a52b18eb23e6","datavalue":{"value":"https://doi.org/10.1016/0003-4843(80)90019-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3905274$29E33A00-615E-4031-938A-850E0713B2E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f4049955cc6be0fb09d9858e467f5f31a072b51","datavalue":{"value":"W1975401561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905274$F07B825A-EB64-4C6D-96A2-09B11BCF103A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice","badges":[]}}}}}