{"entities":{"Q4254634":{"pageid":6284235,"ns":120,"title":"Item:Q4254634","lastrevid":88742462,"modified":"2026-06-04T15:20:27Z","type":"item","id":"Q4254634","labels":{"en":{"language":"en","value":"Separation and Weak K\u00f6nig's Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310707"}},"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":"Q4254634$F67E7A56-D4E6-4009-B7BE-4D5E72240FDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802b121f9b58c1c863c480ee7f6c1a3b398fa092","datavalue":{"value":{"text":"Separation and Weak K\u00f6nig's Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254634$BF832B57-FEE5-4199-9FE1-CAB42EC03483","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bc0fe9a2917286bd826950ab35165d33372854a","datavalue":{"value":"0922.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$A397A317-AE91-42D5-BEC9-7E06C103AACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c7874a9ed4aa0302dfda61d42230bf91467c20b","datavalue":{"value":"10.2307/2586763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$02EAC8A6-73FE-4AD3-AB11-CC0DE2EB5469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"811ca59b9ab16c3c533b19fe6aaced09d271fd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4254633,"id":"Q4254633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$A94F9C91-C67B-4F38-ACA9-484F87B8C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$2F30352A-5317-45AC-A8E4-51A7ED4CE944","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$B4A831AA-57A0-4E94-9E98-250B1D819815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2bdecfb638e9226478c4c6b1c8a292946f5e983","datavalue":{"value":{"time":"+1999-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254634$CE3C1CFB-C207-4AEB-B76F-58CD972E3FBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$4A6EAA8B-AC4A-4144-8548-035E410A8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9099577857d9a037b93294d9080c1fca976c66ad","datavalue":{"value":"46B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$3326E818-6A04-4DE0-8C12-ACC2B01E9022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed5c08d0a53a76e0c8dc24f3a7abc556e7dbe31","datavalue":{"value":"46A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$CB39A1D9-A720-4D3C-B591-F2576C4BEFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ab7336d747094759fabddfd54e46a7616c6dd7d","datavalue":{"value":"46B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$D891C4C3-EF4D-476D-82A6-1944C23E800D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd71b06ebdb9eec9433bade46e996eeb373aa830","datavalue":{"value":"1310707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$2D742310-5686-4B51-94CE-5604D1E67827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$10C5F4ED-751E-4B7C-BDD9-5B538D999D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79868fa7d2ed2a6553b37c589c14ecdcfeb2d4ec","datavalue":{"value":"Banach space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$57443863-5391-401D-83F1-963FD40FF3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$3C88FD28-9BB2-4187-BFE9-9E5A25EF6C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$F6DD0628-EABB-4EC8-AD82-BC16E4E3C44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$0288184B-E983-4213-B57D-A4DEC8E1A091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$08EB0E6D-A85B-41BD-B40B-523BE25B679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e444389953e8abe115ead038dd946f9ac6be9547","datavalue":{"value":"separation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$834743E1-F3F6-48A0-88CA-D85E50358ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$55ED8116-9140-4ED2-A89A-97B830FFD7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d958b8157d7267e2f2be09f624a752f63a8204e1","datavalue":{"value":"open convex sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$43A69C3D-DD07-4F5E-BCA5-656F094E8A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66de32491f396980147116dc010e2225596e4765","datavalue":{"value":"separably closed convex sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254634$A828F651-C993-4C89-A6DC-A4AE24A76F60","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":"Q4254634$7CC53378-A2A7-4263-9452-A6662F3B8F7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b133af9c2ee0aacba93566034d375e8691bc5b9","datavalue":{"value":"https://doi.org/10.2307/2586763","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254634$45345D7F-590C-4D61-9AE4-7C2CF57B464F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35845df4f7810891fd101eddf26cb92f02eb144b","datavalue":{"value":"W2133335811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$C82A4A5D-A6C3-4771-9D73-05BC31F89BF0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84eab0bb6e126528b272c09e5e9e12ed3652236f","datavalue":{"value":"Q124970131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254634$00F31BF6-D603-4F33-810A-BB7788417144","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$F5DC55C4-2CEA-44E1-98F2-EA6C0478F7C2","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":"Q4254634$7647017C-83F4-4B01-8E63-EB65C5B2BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df401c0a8069eea099203e1a5e2f86994c9f3292","datavalue":{"value":{"entity-type":"item","numeric-id":4717119,"id":"Q4717119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$CB14514B-F794-48EF-B9D5-D08D10D10336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed07bdac2ee4d92a5338c44c1ea0d966e6fd3f5","datavalue":{"value":{"entity-type":"item","numeric-id":1919533,"id":"Q1919533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$94C46DC4-5571-4502-8D43-4469F8EF4779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0b3ed0784b422babc5c7713010c23b262165c","datavalue":{"value":{"entity-type":"item","numeric-id":3999065,"id":"Q3999065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254634$5838C7A2-B254-410B-B538-5BE4C94FBB5F","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":"Q4254634$70D9667A-0481-4376-AD09-79F6D5EB43C1","rank":"normal"}],"P1643":[{"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":"0306a0ac0f4052e8708f6c3b5db2dbd07a87dcaf","datavalue":{"value":{"amount":"+0.8414058089256287","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":"Q4254634$8BBCDB30-0162-415F-AB52-E1BFB6B3F77A","rank":"normal"},{"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":"65095c70c17a2ffd6b27c1535c706cd958486157","datavalue":{"value":{"amount":"+0.8081114292144775","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":"Q4254634$AF2B3B65-FD7E-4917-84C8-8F1F12ED502C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62428121f04dd173e2b5bfa2e680990461a588a","datavalue":{"value":{"entity-type":"item","numeric-id":4918007,"id":"Q4918007"},"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":"Q4254634$C6DC21F2-5FD2-4CDD-85F0-D9DD80D3DB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b464b50ba8ae1c77248669db28aae178e119b","datavalue":{"value":{"entity-type":"item","numeric-id":4717119,"id":"Q4717119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1dd01acf70eff89fb83cee729aecce6f1b7f06","datavalue":{"value":{"amount":"+0.7754108309745789","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":"Q4254634$D2F8ECA4-6CA1-473E-AE93-037462255629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131250cf3ca20981312f3ad0ec5c8fe7e9a7b459","datavalue":{"value":{"entity-type":"item","numeric-id":2580957,"id":"Q2580957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee51a825330e2e48e4cbd2e50e0b664324c079e7","datavalue":{"value":{"amount":"+0.7572439908981323","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":"Q4254634$F6F0F55A-CF08-4BE0-80A7-0902C23AB722","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation and Weak K\u00f6nig's Lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_and_Weak_K%C3%B6nig%27s_Lemma"}}}}}