{"entities":{"Q787974":{"pageid":789822,"ns":120,"title":"Item:Q787974","lastrevid":64339395,"modified":"2026-04-11T19:11:15Z","type":"item","id":"Q787974","labels":{"en":{"language":"en","value":"On a system of intuitionistic analysis equivalent to classical analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841850"}},"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":"Q787974$9351EA55-DC18-4C00-8AF0-EC6C0FB92C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a32e2480a1c38cae3ac9ec3f0686a5753a4e4d","datavalue":{"value":{"text":"On a system of intuitionistic analysis equivalent to classical analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787974$62AD38AE-059F-4CE1-BFB4-EAA0186FC21F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e30c16b3dbac3c111638c063ce116644caa3377","datavalue":{"value":"0531.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787974$182E0BAA-5EF3-4A51-A5D5-7BF4DE66BF8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aceb63586e89fbbebc198c98b9d77ad53e517af","datavalue":{"value":{"entity-type":"item","numeric-id":787973,"id":"Q787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787974$FE69D436-508C-4EB6-8E9D-2840CE4B78DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787974$6F981F3B-C8D1-4685-AD93-4E4434F551D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q787974$4FD73D99-5DA8-4E5B-BA70-B68EA3D3A16C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e841520af197cc6165e4f9dbc91827a61dfa3dc","datavalue":{"value":"Translation from Vestn. Mosk. Univ., Ser. I 1983, No.1, 41-44 (Russian) (1983; Zbl 0505.03028).","type":"string"},"datatype":"string"},"type":"statement","id":"Q787974$0C447BE6-988C-45D4-8F16-27877CFF94A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787974$01B4C90C-AD0C-40FD-B643-F04CDDF6C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787974$65B2F11C-A392-4555-BBFF-04F4AC53FFDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa15214a96b092920d4861864868f8a71363b06b","datavalue":{"value":"3841850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787974$E300C0C2-DD04-48A2-A3D6-BEC34BE30DFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90416f54b712654a14ab764019aa425a17e3fd25","datavalue":{"value":"relativized bar-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q787974$4B466C9B-BA67-4F62-B7E7-9AF2021B2690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b536ad82f06e2d1996ab19ea8610817e61306787","datavalue":{"value":"Kleene system","type":"string"},"datatype":"string"},"type":"statement","id":"Q787974$71781168-2162-49B2-ADF1-2D365BC00B56","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":"Q787974$38C5D4F8-B29A-4241-AA9F-60DF63D04285","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a system of intuitionistic analysis equivalent to classical analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_system_of_intuitionistic_analysis_equivalent_to_classical_analysis"}}}}}