{"entities":{"Q4918007":{"pageid":6947589,"ns":120,"title":"Item:Q4918007","lastrevid":51708407,"modified":"2026-01-19T14:53:43Z","type":"item","id":"Q4918007","labels":{"en":{"language":"en","value":"How incomputable is the separable Hahn-Banach theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160423"}},"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":"Q4918007$934DB068-8AFA-425D-9C37-C62BF11C12F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d57b26e790cccde967f9f59c60dd899cf039175","datavalue":{"value":{"text":"How Incomputable is the Separable Hahn-Banach Theorem?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4918007$5DF6C473-9ECB-4376-A324-CCDD356619B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9530f1f37ded40dd6d8750d9d3150f8cdb9cff8c","datavalue":{"value":"1262.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$8E100E88-129A-455E-8224-B4C12E9B93D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dfe45af81797f9e68bfff853cff7de91bd889c","datavalue":{"value":{"entity-type":"item","numeric-id":408155,"id":"Q408155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$D2E55E46-666A-4CE6-ACEE-0A435D130C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$606FA686-34A3-470F-AE33-D7AF77645EB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$EA84B3B3-DC02-4E75-879F-C7A683668DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f67cff4992b4af716700e591fa06388150841fb3","datavalue":{"value":{"time":"+2013-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4918007$C5DCA8CB-E983-4027-9E0D-D8BBD89D5EFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$9B809B8F-16BA-487F-9CB7-48D2561B4FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$F40457A9-97B4-45CF-AC02-44ED5C4A3BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$42A88BD2-F7AB-4EF1-A91E-40EB30138C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$161140C3-30BC-465C-B0DE-E3923043C648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$CABFBA35-C382-4B77-85AD-9AE4F8524DB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d335178b40ea3a31c3ce906b71f9e4ffbd7f058","datavalue":{"value":"6160423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$7FCD9BBB-F4D5-4CFF-AD4D-FEF2E21E63BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918007$A4B658B9-5DD1-462B-BED9-04BE18F2EA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918007$302C5E14-9DAE-4B60-8E95-078E635250D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918007$D8E49B24-4096-49CC-8EFF-76EBB062F221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cda4f856c3f116a69caf8ee76a96b451cd453534","datavalue":{"value":"Hahn-Banach extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918007$77D874A8-ABDD-4757-BAA1-BB328C0A94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e400c42577ad5d97d8781ad4aac766533c9596","datavalue":{"value":"multi-valued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918007$6D24A37D-2156-44BD-8153-67A77694BF26","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":"Q4918007$1BDF125B-E7E3-4548-BFDD-0B5F7BF352F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54015e526c6d55281bbfb365f3c411e3ce13670c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4918007$02B9FD1D-2308-4545-A863-6F628C17D4B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a044fad3411af37a1d2920887dda1e1c3fb11b31","datavalue":{"value":"W2027051973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$0CFA50E5-902C-4BDF-9F41-F21120E13FF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8bc7ca24df5b7d7260aee3de2e26a99557b50f4","datavalue":{"value":{"entity-type":"item","numeric-id":5426868,"id":"Q5426868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$EFAD6A0C-3291-4D37-8A08-3E979B2A1553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907b2a1be2c9970130649439b8afde0595f74dba","datavalue":{"value":{"entity-type":"item","numeric-id":3159400,"id":"Q3159400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$1C77252E-551C-4319-8BBD-57CC9661846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75093eb9c4ba67af50b94a26ace5aa3befc59158","datavalue":{"value":{"entity-type":"item","numeric-id":926175,"id":"Q926175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$50DFAC2A-FF21-4739-9C8B-53DBB314E01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9571d442c3ec44fc309bb00bc9302631e9931d","datavalue":{"value":{"entity-type":"item","numeric-id":1427773,"id":"Q1427773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$0BFCEBF7-8746-4BB2-9B76-83FD59CD1B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$890F1573-E3B5-4778-B907-56C5D1CA4903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$490B18F4-BA60-42A6-9517-DCFF1F330911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64715e3d5e62c01018eba7714ed518e14c6fbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3226752,"id":"Q3226752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$554721BE-3857-49DD-B103-C8C92F777389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d3b94fc22a6643b1bea5bab4f3ec4292b77073","datavalue":{"value":{"entity-type":"item","numeric-id":5307607,"id":"Q5307607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$9A6FAB39-CDA2-4F9E-AEEF-EEFD6941B057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dad8e6d9b3ab4fad1a534d9e9db646a95960319","datavalue":{"value":{"entity-type":"item","numeric-id":4254634,"id":"Q4254634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$5382315E-E36A-43AB-A34E-172BC2D520A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d032c5826aaa93195fdafdef74718a8327b621fb","datavalue":{"value":{"entity-type":"item","numeric-id":5848892,"id":"Q5848892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$D4E864F6-E014-480A-9FB3-7A4E551B103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$7208D1DD-32E1-41AF-82BD-C43A746741F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$49C26C20-791B-496C-8AC2-324FD6A7B5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$CC211457-D070-46F4-B1D8-DE92A663A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$DC878F29-7AC1-4F32-8158-106A46BEDE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af559f244d72c994ad9fdff39f763232ed52d46b","datavalue":{"value":{"entity-type":"item","numeric-id":4531998,"id":"Q4531998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918007$A38D4E9D-1F3F-4DDD-BBDB-3579D7F3D9B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38fa05614ac3a86759f4953853fc9b6f1653e824","datavalue":{"value":"10.1016/J.ENTCS.2008.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918007$8D2876B1-733E-45CD-9F1B-A9AC3770F884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4862ffb2385cf4389d3a23cf4305b779be932f","datavalue":{"value":{"entity-type":"item","numeric-id":987935,"id":"Q987935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f3d70a3f740883c4b938d53e44fe17a54e8a43","datavalue":{"value":{"amount":"+0.9441011548042296","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":"Q4918007$FF2F97C1-7B8E-4617-B81F-4385F9F999D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848fe76d9e682b4c5cad2a48b515a30d47bb6c71","datavalue":{"value":{"entity-type":"item","numeric-id":926175,"id":"Q926175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c063fe57bf7e476b5717e6cca07be6355f00eff6","datavalue":{"value":{"amount":"+0.8130152821540833","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":"Q4918007$BC63DFED-471F-407D-BE67-6EC13142FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47fdfadba96c5e035646097ffaa67b86462de5","datavalue":{"value":{"entity-type":"item","numeric-id":4254634,"id":"Q4254634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0439bdedc5ee5e47226a1d6372f8909bacc209db","datavalue":{"value":{"amount":"+0.7935817837715149","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":"Q4918007$62CE9441-2EC0-4926-8FD4-A44691086D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4848366b6f9ef671d6a4ca946de3b288a19ad788","datavalue":{"value":{"entity-type":"item","numeric-id":3083132,"id":"Q3083132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0439bdedc5ee5e47226a1d6372f8909bacc209db","datavalue":{"value":{"amount":"+0.7935817837715149","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":"Q4918007$39DBD7A7-1A73-4935-A55D-DE8AC37ABFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027fa68c3ebb4f8271975dcaac3f53487e0e3784","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cca966dc98ce9b46c1cfcbcb4fc97c7fc5f695c","datavalue":{"value":{"amount":"+0.791465163230896","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":"Q4918007$7D53A6F6-1FCA-4485-811A-FEE87D03423A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4918007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4918007"}}}}}