{"entities":{"Q5300905":{"pageid":7330479,"ns":120,"title":"Item:Q5300905","lastrevid":51761561,"modified":"2026-01-19T21:41:00Z","type":"item","id":"Q5300905","labels":{"en":{"language":"en","value":"A constructive model of uniform continuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182524"}},"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":"Q5300905$C1FC8E92-6E03-473D-98B5-AFEE0DFC07C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e82ad33e5d069602a4c0d52bf410bd234ea96c99","datavalue":{"value":{"text":"A Constructive Model of Uniform Continuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300905$E179FADD-7065-4374-8927-5500393E7212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b7dd588fbc09a1f97209988bb54386236d399c","datavalue":{"value":"1433.03155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$36509C9C-D62C-44EE-96D4-76478F00BB94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"561cb47956e18410e6ac6353cbcdeed4f7508e64","datavalue":{"value":"10.1007/978-3-642-38946-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$9081E863-6D35-4498-B8E3-23F8A5651920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59256530df788a6597ec1775cf013aa4128a934","datavalue":{"value":{"entity-type":"item","numeric-id":290638,"id":"Q290638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300905$B0BA2804-0C6A-4829-977E-C2610EEF5811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300905$8A8A8AFB-9BEB-4966-9312-A4B6060B6A41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300905$3D6E610D-CD02-4FDA-978C-025153DDF920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300905$596A41F7-DC39-4C79-A90C-DF387438C5A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$531ED514-F322-48C3-BCF1-0406D08BDB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$A21F284F-2587-430D-8129-46071710CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$B950A5F2-9DD1-4B34-AAA4-25D424B0CCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$E8AB256C-9EF8-4531-A7A5-2E2C9C26B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca2dc0f65a9ba2724e55a320303c3b04299c7aaa","datavalue":{"value":"54B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$4C099BA0-8C0A-4796-B2F8-9CC2B9653C68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bfc48137745d518c4bc148fd97e27842d2b0ae0","datavalue":{"value":"6182524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$C174D250-B902-4A5E-B658-248801EFEB3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$5A0E64ED-1D71-484D-98F8-326CEE00C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$2F4A1A87-F23D-4D00-8C79-85F4F855134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$0117698F-DD9A-4F23-90D1-0578ED644FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6a650ba1299c192a8df461667f6cf957d17821","datavalue":{"value":"fan functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$D489BBC3-BB31-4747-A9A6-8CE4E6B8C960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$6D2AEBF5-BD1B-4B98-83FC-513B545E9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$B9E02227-E52B-4D9C-B59C-45AC880A0DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$4B0BADAC-5DEC-4D58-973C-E455D00B7FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13d0b59648f8f36391403a6bce942348b0529c7","datavalue":{"value":"\\(\\mathrm{HA}^{\\omega }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$F37B5B46-304F-401D-9FD4-E3E7B4C668B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af53fdfe646b5705fa60d1a5e3339094e3facfe","datavalue":{"value":"G\u00f6del's system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300905$EF59686A-758D-45D6-87D0-6851B8C98269","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300905$F4F6DDF1-94EF-4460-8C35-E63312F5B3C8","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":"Q5300905$14B452C5-EF07-438F-82B7-D124455E556D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc38a0e809b6f764149c3ac1db5a0d3ba157eec7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38946-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300905$47F356F1-1319-4E17-B24A-AFBB4C028F98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04225ce1d43ffdd16af09959675b79a20001f8ff","datavalue":{"value":"W123915678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300905$531D0295-8C32-43AA-B076-89DCE47774B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b1391f337e964d08cbbfcc655d1ce071ff05ab","datavalue":{"value":{"entity-type":"item","numeric-id":290639,"id":"Q290639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858e94b4a77ae81d0c38c0d3f9f3105cb555956d","datavalue":{"value":{"amount":"+0.8294234275817871","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":"Q5300905$91AC0E71-F1D8-42AC-8A4A-941B4CD92DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a622eb97b0fbb091c3d81562e3fd66f3426336","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3facedad1a064012c0b1c08d60a0adf1319c6e","datavalue":{"value":{"amount":"+0.8151739239692688","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":"Q5300905$DE10CA82-FBB2-482A-A670-097D1977717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a1078123755d670f9603d32fe70f9482c75576","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc307447fc932ba97ba4a8cba10fc0aa76a55ba","datavalue":{"value":{"amount":"+0.7792999744415283","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":"Q5300905$F31D00B4-6C90-48FE-91F3-FA2F21E66965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6685ccf18e388974318ef9c87d6d71b79dc1844","datavalue":{"value":{"entity-type":"item","numeric-id":6047675,"id":"Q6047675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9e36968f5a3ca020af8ef9baa9334c63b506c3","datavalue":{"value":{"amount":"+0.7726069092750549","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":"Q5300905$0E10C922-3351-4907-8C04-B492F2550907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e91d888b20b1350fd2708476d5e3c86802fc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe986106bcb72c1f6df92e92d1ec07b00f60a07","datavalue":{"value":{"amount":"+0.7634941935539246","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":"Q5300905$A753BE8F-17CF-427D-941F-34092CE9FF99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300905"}}}}}