{"entities":{"Q5377467":{"pageid":7407041,"ns":120,"title":"Item:Q5377467","lastrevid":92272739,"modified":"2026-06-05T01:18:23Z","type":"item","id":"Q5377467","labels":{"en":{"language":"en","value":"Every metric space is separable in function realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058773"}},"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":"Q5377467$1A582FFB-4E74-406A-B239-900676117C76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"022f336ca6083c470209935402b1a7c80e4e273b","datavalue":{"value":"1431.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377467$9893BA02-1E20-445F-A6E1-FF50C7C947A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$E3DF75A6-A229-4504-9234-BF870AD77D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6acf738f1447b2416e62fc4cc1888d5b6288c94","datavalue":{"value":{"entity-type":"item","numeric-id":782836,"id":"Q782836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$666B9911-575C-45C8-8065-A1B9FFD4C2E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d38dfc661f60012b57cbd71c3932ffe0b466b646","datavalue":{"value":{"time":"+2019-05-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":"Q5377467$512AD1EA-E861-49E8-BCBA-7A37BD597FC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e5df55116cfdf830a2ead00e0adcc49ce21ab5c","datavalue":{"value":"https://arxiv.org/abs/1804.00427","type":"string"},"datatype":"url"},"type":"statement","id":"Q5377467$279D0121-C70E-4931-814D-418752853FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377467$1CD02153-626A-41E7-9EDB-FD4D7656C416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377467$320A6A92-138D-4DCC-9BA6-43A83F5460EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377467$1EF83672-D61B-4E7E-B607-5BF1669B000F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7768dd11b51a240752b24cb2a1f0c93b223595b","datavalue":{"value":"7058773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377467$AB23786F-A53D-4F7E-83A8-B794E4CE766D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377467$6B7E8CA3-16B2-4AEE-8402-4B54EF51E669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e884d382871460879e3307d7e4a29fa838f03b","datavalue":{"value":"function realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377467$E02ECEB1-91EC-4994-9699-E5697DC73C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377467$209C2008-B785-492A-B7A6-1FE51CAC1C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c4cb5154ee1e4cc1d61f398db40017836fe1ea3","datavalue":{"value":"synthetic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377467$92372839-E094-4142-8830-FF66F7B267EB","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":"Q5377467$F9BA1595-D677-477F-A063-0629BD0634B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953cbf488392dfca9efd6c0d58b935ee6ea5671","datavalue":{"value":{"entity-type":"item","numeric-id":651311,"id":"Q651311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$2459A432-CAFE-4061-A30D-04020F78D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$02B69B3A-81F5-4432-8856-9EDD5A5B684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$1389481A-E028-4E48-8140-78FFB71E1125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c7ed591fce741eceb814ed3a03e26624136d50","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$47D4EED2-B762-43E6-BBEB-E54EDB67D17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae99f13f02e4409a0a1f87f0ae24b3d0e3c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2534695,"id":"Q2534695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$646FBDE2-8F10-41B8-B3BF-90E0427922AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377467$D9732C94-BA55-4164-BF60-ADFB2409CA82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dec6ed398b9bb5de1ea1f2541a3ea094dd711f","datavalue":{"value":{"entity-type":"item","numeric-id":3144876,"id":"Q3144876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925639a867cdb64a7b7478b994ea8be686cb24ac","datavalue":{"value":{"amount":"+0.7359113693237305","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":"Q5377467$636F6333-EF10-45D1-94AE-EFC2CD50EE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b275887bd3fe6b2e09569378748348d9fcf3ece","datavalue":{"value":{"entity-type":"item","numeric-id":1098849,"id":"Q1098849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060bf3bbf516a637803e414bbb59939ee40bf03d","datavalue":{"value":{"amount":"+0.735590398311615","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":"Q5377467$815ED4F7-412A-471E-915A-8AC85BBAD174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c53408c8f88725ccb79db04024aa5d803da415","datavalue":{"value":{"entity-type":"item","numeric-id":5326379,"id":"Q5326379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee122df001c7dc7042eaa2859df9d6f45d20d444","datavalue":{"value":{"amount":"+0.7302780747413635","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":"Q5377467$D25B7E63-2C6C-40D9-8C6D-E882F2AF3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7bd700e9270301475b26d6354d1d69b6ddf189","datavalue":{"value":{"entity-type":"item","numeric-id":651311,"id":"Q651311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e9b07ed30336d9dd35c08da940718ddb96fb8d","datavalue":{"value":{"amount":"+0.726015031337738","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":"Q5377467$09428ADB-BCDB-48C4-9D16-C72EB6CE016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f04d62f3653361fe95b49afd301a8d697b2012","datavalue":{"value":{"entity-type":"item","numeric-id":2957247,"id":"Q2957247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefa626c4438617cfb5dd20c17f503268fb756df","datavalue":{"value":{"amount":"+0.7184547185897827","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":"Q5377467$8A19149C-9A2F-4E9B-81A0-0C9BD077EBD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every metric space is separable in function realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_metric_space_is_separable_in_function_realizability"}}}}}