{"entities":{"Q4733862":{"pageid":6763439,"ns":120,"title":"Item:Q4733862","lastrevid":40954139,"modified":"2025-04-15T05:04:05Z","type":"item","id":"Q4733862","labels":{"en":{"language":"en","value":"An omniscience principle, the K\u00f6nig Lemma and the Hahn\u2010Banach theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120167"}},"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":"Q4733862$674C6686-737C-46C2-93B0-0C75822CA5BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6ab1521afd14c0c981a71570befab8a89ed6288","datavalue":{"value":{"text":"An omniscience principle, the K\u00f6nig Lemma and the Hahn\u2010Banach theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4733862$8D4D8527-2CBC-4829-A665-2FEE11C364FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9f7b0f309023b3dd146cae5818bee280dda4925","datavalue":{"value":"0684.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$9C5508D2-C746-47D8-A696-EFF7CF6ADF93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733862$D6311129-44C8-48A7-B01E-BE4A066E9BA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733862$99448B0D-D945-4988-B50C-624EBD2974B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q4733862$9831E8C2-2C80-47AC-815A-7290F52B76F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$FBE03841-9F9B-4314-9DD4-DFD41932761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$4316687B-1B4C-497F-911C-8C41677276C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3754b1be65eb2dca89ed0434b0f49ea01efb2d6c","datavalue":{"value":"4120167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$4F236DD7-6D96-49BA-B4CB-0110B3FEBE65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$5E468F77-64DB-47F7-B75E-7A2260F9AC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5673f8f6c166084c076641f159b63d6a6dd9db64","datavalue":{"value":"lesser limited principle of omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$C017F4AA-3CEA-42F4-8E19-C2C48EE5B941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1409f5495522bb8d16ece968b8e25e10e0b7e392","datavalue":{"value":"K\u00f6nig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$5376721A-A569-4DA0-99EA-BACFB43D5A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$21C7D46F-0264-47AF-A5D9-123390C2981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9177a6f8948c703ad2d28cc5497a3a4142af6704","datavalue":{"value":"pseudo Heine-Borel principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$D9F85210-EC6E-4ED6-A56D-0180DB223BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0950b193d091430c9dc62b05c2dd41952a14587","datavalue":{"value":"compact metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733862$7B6BA509-A158-40EA-AADD-3C1A7C5429BB","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":"Q4733862$E4793C28-EFA9-415C-B292-B7F9BC6FCF10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1b1e3131b34edde0b9c6e060dcfabb3fb28f395","datavalue":{"value":"https://doi.org/10.1002/malq.19900360307","type":"string"},"datatype":"url"},"type":"statement","id":"Q4733862$1A378EBC-05E6-4517-806C-01ED8AAB62F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ebce34c026993f298c177cc2ccae40fe2004c52","datavalue":{"value":"W2031766793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$4430C630-160B-43CE-8E9A-F2E385198EF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f2ef5d447438004e37c7f1890a65144b1f2ce10","datavalue":{"value":"Q124936274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$5AEF1B4E-8DE3-4060-BFAC-E1167C0C95AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a62a543503ca8fab99cae2f78b3940bc2581b4d","datavalue":{"value":"10.1002/MALQ.19900360307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733862$C4F266BA-AB12-4884-B850-DB60520A70A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcaf23998cb5e56b2a235ce6ccfcdc38612bc291","datavalue":{"value":{"entity-type":"item","numeric-id":3410356,"id":"Q3410356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea9970d3ecdcb45c14ad7888b16277537a57a2d","datavalue":{"value":{"amount":"+0.8531954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$818389A5-C20E-4982-B04B-0F7B8C8DFD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0babe0bf45a96fe36f284fda999eac049ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":2869900,"id":"Q2869900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de31e5463982f72d9c154b162e947f0fbd042053","datavalue":{"value":{"amount":"+0.84937525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$332F3638-343C-478A-9155-D814560FAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d778f762f8fd94efae1fea264f908de47359993","datavalue":{"value":{"entity-type":"item","numeric-id":4264531,"id":"Q4264531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cf4a7a5d4601e40448f3a9561f6d5d7e97955f","datavalue":{"value":{"amount":"+0.8484134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$BA1005C8-BA26-486B-94C2-B192D8EA79CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e03183ee5cec2f1622d11b1b393652cf976c33","datavalue":{"value":{"entity-type":"item","numeric-id":3785063,"id":"Q3785063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03db8ee25e744424bae34a1d58bee928b550eb09","datavalue":{"value":{"amount":"+0.8379433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$F076BA7E-A41B-498D-9A3D-3E18FC75105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7998737fc358643b4ba4eae3dd2425088a3f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":264172,"id":"Q264172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d8bfb7a55ba7d1b037e13357211dfba7376a27","datavalue":{"value":{"amount":"+0.8333951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$81402043-51F7-4B8C-A869-363E38ABD99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374b6c34bc87c3f729c76e22424456f459194413","datavalue":{"value":{"entity-type":"item","numeric-id":3192098,"id":"Q3192098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794b268c4262972f5f3d9ac4b4a2749dbe6cabb1","datavalue":{"value":{"amount":"+0.83218175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$8876F94D-434F-469D-905E-01220C3587DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5f90eb5a4996ecdf45729c1245ebe107ede443","datavalue":{"value":{"entity-type":"item","numeric-id":4000816,"id":"Q4000816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6342836923559b981d9be7713c8c7a2e0a9650","datavalue":{"value":{"amount":"+0.8296108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$AC0AF146-6B63-445C-95D2-EC5B56FB3D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c7a78c05cdd05687b5688dca10bc9a017489e1","datavalue":{"value":{"entity-type":"item","numeric-id":386630,"id":"Q386630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80ccb57d5ebe184f87bbfdb7e05568c082d1e70","datavalue":{"value":{"amount":"+0.8283702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$CFFFCC9C-6B2E-4DD7-90D1-460058D1EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cec74f9a1075307fbea1bb1315c4be53cb31992","datavalue":{"value":{"entity-type":"item","numeric-id":5004972,"id":"Q5004972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af31961d660a4ee62a02487ec12f0f3d69c147e4","datavalue":{"value":{"amount":"+0.828367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$B4670533-F971-40F4-B117-234BD92C68A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4cabce57834a76d2cd30a50de953990f94d73c","datavalue":{"value":{"entity-type":"item","numeric-id":5844472,"id":"Q5844472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e20ba6477a9c2b4b18590501436bd7cf96510b","datavalue":{"value":{"amount":"+0.8263986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733862$4FBE4E51-6742-4274-8669-BDDD64D443B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733862"}}}}}