{"entities":{"Q5412172":{"pageid":7441746,"ns":120,"title":"Item:Q5412172","lastrevid":96235559,"modified":"2026-06-05T10:45:09Z","type":"item","id":"Q5412172","labels":{"en":{"language":"en","value":"The weak K\u00f6nig lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288735"}},"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":"Q5412172$79F2E3EF-B317-47F3-80CE-07A923D3BB4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10d0781b5e47c8c746a25775b95f726d4b9f9a78","datavalue":{"value":"1325.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$3A965D77-678E-4F50-8487-DE79332754D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b7b301192e89688fa313b7b42ed39952730db52","datavalue":{"value":"10.4467/20842589RM.12.003.0684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$EEC4E519-D651-467B-926B-EA713CDEAE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412172$757BDF1C-5F29-4168-98A3-FC927C709C99","rank":"normal"},{"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":"Q5412172$24B879FF-6033-4C0A-A222-C6C71E4313D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412172$535565CB-DDCF-464C-B24E-A138DADF3568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412172$DE420232-A49C-492A-86E7-19783436E34F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$61D98692-D94B-4B11-AB09-2DE89428C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$5B21FCEF-6D4D-439F-903A-1F847A84ED49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c27a1656fb2d9a6794b4df38fd7b0d2127e50db2","datavalue":{"value":"6288735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$86BC2F30-4139-42E9-B5DD-0D15839E984E","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":"Q5412172$192BA205-BE7F-4D02-8F3F-356CB3DAB88F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53819de61e3a3d30086a407b173f47c5d00b0b53","datavalue":{"value":"https://dblp.uni-trier.de/db/journals/rml/rml47.html#BergerIS12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5412172$D1526655-1F0C-4B58-BA33-14A70864F8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bdbf8addf467a9e389c6af66aef76d54d207ae9","datavalue":{"value":"W1553388078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412172$7C9DC62C-CD63-4184-96F2-E1248B66C175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79f8a18530b90fa97b1c6b19ea2984563ca26953","datavalue":{"value":{"text":"The Weak K\u0151nig Lemma, Brouwer\u2019s Fan Theorem, De Morgan\u2019s Law, and Dependent Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5412172$9E2E3BF6-5921-43D8-93CA-60AF4AF0D6AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89610b54c2925a71593ae44b7b52878023aa442d","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2336ab2c9ed05a16bc4351252af0e60b546a007b","datavalue":{"value":{"amount":"+0.821682333946228","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":"Q5412172$08A922E2-D7B8-442D-9AC1-3864481D3B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc6e1d1df9e133237128be39e7e76c47696b354","datavalue":{"value":{"entity-type":"item","numeric-id":6047683,"id":"Q6047683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b91b1301c8dc30a8cb13182705280a46bd30a99","datavalue":{"value":{"amount":"+0.80548095703125","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":"Q5412172$C6D6EFB4-23B2-4C28-8919-29AE6D8D5C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1ba1fd5ced5627665c9d43c49cc0f3bfd8cf5a","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c776c352fc98fbeaf1863c0d4e1d1f437ca4be42","datavalue":{"value":{"amount":"+0.8051679134368896","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":"Q5412172$C0BCB8D9-1975-43DE-9C83-B75ACF066EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ce32751f6894ad3001e9c08f6f340fa5ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":424539,"id":"Q424539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e738d1ce3a2447c3915c15288ec30c745dfd65eb","datavalue":{"value":{"amount":"+0.8031288981437683","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":"Q5412172$0747521C-58A4-489A-ACD1-2895BF148EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee30db651c647c143bbd3bdba44d80d49c41507","datavalue":{"value":{"entity-type":"item","numeric-id":4981453,"id":"Q4981453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e1730e766ec77f1db48a7b05046f011ed3efe","datavalue":{"value":{"amount":"+0.7890655994415283","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":"Q5412172$EB20B63B-E410-4D4E-86F3-F621ABE786B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weak K\u00f6nig lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice","badges":[]}}}}}