{"entities":{"Q6047683":{"pageid":13181839,"ns":120,"title":"Item:Q6047683","lastrevid":47893996,"modified":"2026-01-03T00:25:59Z","type":"item","id":"Q6047683","labels":{"en":{"language":"en","value":"K\u00f6nig's lemma, weak K\u00f6nig's lemma, and the decidable fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736819"}},"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":"Q6047683$A50473FE-0471-4DAC-8235-40F72DBAF71D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd5431d6756c8a4e98f4525b2bc075b9d29936f","datavalue":{"value":{"text":"K\u00f6nig's lemma, weak K\u00f6nig's lemma, and the decidable fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6047683$CA065514-5447-47CA-9742-480B13E7164D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25f4f1e66af7b2c93b9875982852afd28ec278f","datavalue":{"value":"1521.03246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$6809E821-5C65-405B-8DEF-3CFEA89C00EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed802a6d9a5c89df6324bfbe3e28c722497db55c","datavalue":{"value":{"entity-type":"item","numeric-id":892138,"id":"Q892138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$E04E960C-54E0-4B45-9983-297A04E183EC","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":"Q6047683$902999F2-8D1F-4F62-8CD3-5001C12257E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6047683$73DD2B8B-DCA5-472F-8EC5-E5A267EFA793","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$CC66F23B-848C-46BB-A43F-075455C5D177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$547AAC5B-2863-4739-989E-7F0AA793ACCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d853692ef43c6c0ac48645caf76407930012153d","datavalue":{"value":"7736819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$31F77ADC-57AC-4CCC-9CE5-AA1A6E922ADB","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":"Q6047683$A6241CE5-90BE-4D56-8D68-4576417EDDCC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d8d8f17e27f9c29c81cd44496a228ef0eea2004","datavalue":{"value":"Q124854757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$7D41CA48-2D21-4166-A42A-AB182B611CE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf33249c60c7658ae6dfdfc3951d75e5268cfb21","datavalue":{"value":"https://doi.org/10.1002/malq.202000020","type":"string"},"datatype":"url"},"type":"statement","id":"Q6047683$C39E3F25-6C5E-4AAF-BAA1-2379D6CBF22D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"547588bb73bf08043cafc19b11f1ccb236f6442a","datavalue":{"value":"W3184358618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$BC47EE0B-FDBD-4554-9745-15489E784491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7aeb9c843bf9c5a7d6e403b9559f1c572decd","datavalue":{"value":{"entity-type":"item","numeric-id":5462988,"id":"Q5462988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$1A98C79D-5453-40C6-9C0B-1C64A4D8FFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11662185749ff73fb2de863d1b32e50de90a3327","datavalue":{"value":{"entity-type":"item","numeric-id":1712938,"id":"Q1712938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$22EAC544-FDE4-4CC7-BEFB-F34417EA0AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667260fb93682232d6f56ea45cf4637921e61a7","datavalue":{"value":{"entity-type":"item","numeric-id":866890,"id":"Q866890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$04D3ECB2-951C-41E2-823A-0CA1394A6AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203f763a52b84852fe1d97b7d4a12a6bcfb64cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2303591,"id":"Q2303591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$87B13D97-0E4C-4F4E-8DA7-BED2A61DD7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a68a8373035bb968db1363fda70188ab669ef46","datavalue":{"value":{"entity-type":"item","numeric-id":4692078,"id":"Q4692078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$D654042C-3A7E-415A-BF64-310FAC39B3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb5d515dac6082ee7e0c50496e1a6fc90c75812","datavalue":{"value":{"entity-type":"item","numeric-id":1315098,"id":"Q1315098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$1793628A-61F3-47E6-8D20-F4D1E82C5BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$0A765EF9-7EFF-40C8-8481-F1B3BC3E1AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc9be67ba2994d59559156edb1ac6b72d944164","datavalue":{"value":{"entity-type":"item","numeric-id":867405,"id":"Q867405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$5C46281D-F2CC-46C7-B999-4EA9A2D41B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$6FAD1609-DBDF-41FE-8F54-B02B2CA92D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8e79a428f1b2f02eee287609a168f8835774f4","datavalue":{"value":{"entity-type":"item","numeric-id":4981453,"id":"Q4981453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$F64BB86E-622C-49F4-8C24-E409B6F505F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$64009F34-E212-4FDF-9B8A-56CF48AD3315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9616b003d703f9d09294a2db2e4505eb229f58","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$BEFDA0B3-2343-4EF9-BB91-36C6632A05D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$C669FAE5-246E-4465-8718-0752D21E4322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$5A8B6802-326C-46EF-9134-083DC41E6D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$39E85AD3-93E4-4BE2-821B-83B10DD87547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047683$91A16FA7-777C-4FA7-9752-74C8AB87FC1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95d303bb09916c4ebbfb14424b54e240a9166080","datavalue":{"value":"10.1002/MALQ.202000020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047683$6F827712-06DD-459C-8A58-84AD2FEC93DB","rank":"normal"}],"P1643":[{"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":"da6978907837e851b77b284c653a4bbded84d662","datavalue":{"value":{"amount":"+0.8138315081596375","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":"Q6047683$3D50FDC0-77E3-47A2-95E3-A7B3B7242417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c6e129db663e21e6fa129a35f8cf3cc55aeaa3","datavalue":{"value":{"entity-type":"item","numeric-id":5412172,"id":"Q5412172"},"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":"Q6047683$5556A464-8179-4EAD-A0FD-9F365AF5044D","rank":"normal"},{"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":"1c633404d03dda3daf1a1058effee79573eef39f","datavalue":{"value":{"amount":"+0.8011972308158875","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":"Q6047683$DE89818A-CF04-4A24-A2BA-83B831BD57F1","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":"20717648f5bafccee91be11f3ca28bbf3e823330","datavalue":{"value":{"amount":"+0.767383873462677","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":"Q6047683$DD1F2C75-1DFE-4E88-A784-D535FE461797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6219a902f82d046623e238974dc17426cfb10d77","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ceb80d98a7b14363a2a70bf381a3b1e37ef5d0","datavalue":{"value":{"amount":"+0.7580643892288208","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":"Q6047683$DD9E6ECC-938F-4956-B7E2-ADE4A72D922A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6047683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6047683"}}}}}