{"entities":{"Q3344196":{"pageid":3354904,"ns":120,"title":"Item:Q3344196","lastrevid":48753832,"modified":"2026-01-05T19:10:49Z","type":"item","id":"Q3344196","labels":{"en":{"language":"en","value":"Binary consistent choice on pairs and a generalization of Konig's infinity lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877171"}},"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":"Q3344196$B1702CE2-0E66-43C3-A865-EB5B5F952547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae18573f9593dfff92458fe07a302ea9479d3731","datavalue":{"value":{"text":"Binary consistent choice on pairs and a generalization of Konig's infinity lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3344196$389A2305-F9AA-42F9-A77C-473FF1955C10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a46804131819ca28a93b743cb7ccedf45f682450","datavalue":{"value":"0551.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$38C08E3C-1D98-4FBF-916D-6C65B0266B3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3344196$F23CB664-9AC7-44DC-8415-C2D1D0B80D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3344196$126327F7-AC49-4513-A36F-E2699AAC5B3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53982a50b957c3b1e4cd0eab393a5fd2fe8ceb11","datavalue":{"value":"https://eudml.org/doc/211496","type":"string"},"datatype":"url"},"type":"statement","id":"Q3344196$3E5CD5DA-FADD-48DA-80DF-2C616D8397D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$6E946A80-2436-4878-8F2F-8F0FF7DD0F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$E6A71EB1-76F5-4C80-90CF-11F27CB1080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$2D80DA78-2B67-4C39-9ED2-17A38178BFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89f9cb3e31d7fd5a09e998ebdfacb0445e51e600","datavalue":{"value":"3877171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$40905CDC-F215-4C19-8C60-6815CF0FC5F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42114dba5e63db26bf19399e702f7efe86712ef9","datavalue":{"value":"K\u00f6nig's lemma on infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$A5951341-03EF-4392-8133-080FB717D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102720e805c465aacdc9b6a4f0ec7f46daf3ea27","datavalue":{"value":"permutation models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$280668D9-3C2F-4337-B0DC-AFC380CCDE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$21840C05-119C-4431-BF1A-8C97923E5592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$CFB1E5A2-238D-4EAB-B166-13D70FA86879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$7B93DCEA-D24F-476F-A46D-88B5D0B9B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cc06e0dc32d176f2af3dee2a6081839aa24ce5","datavalue":{"value":"Fraenkel-Mostowski model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344196$2CEF2F58-FA8A-43D8-9539-192D2ADD42E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"503b81bbf4da2a3728dd91c902bbde5f1ed33230","datavalue":{"value":{"entity-type":"item","numeric-id":1097267,"id":"Q1097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3344196$7B663DDF-744D-4346-A184-A968C4D03CBC","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":"Q3344196$19EEBEEB-5597-4016-96E8-306C97E5B16C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e7a8657785315658627ffa097157e464fbbdec7","datavalue":{"value":"W2064114665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$2F7E445E-E5E5-4276-BF64-FEAA37D5881C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"875b1af83e9354bff3c4ebed1b16175c6149f3d7","datavalue":{"value":"Q124840184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$817236D3-6639-4251-B99A-FD5767400B6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9237efcc704d6984bf0291b048dcf74b4404ed32","datavalue":{"value":"10.4064/FM-121-1-17-23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344196$54665D31-414D-4B49-9651-2D9734695FA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c435f299120b4aae2d8396ee6775b48f088b76a","datavalue":{"value":{"entity-type":"item","numeric-id":4496324,"id":"Q4496324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbb786ec3972d682c5e4488671884e9c80c1df7","datavalue":{"value":{"amount":"+0.7558013200759888","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":"Q3344196$69A52BA1-093B-4C59-B4C2-1A1FD833BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485a2dbaa0b129b3eec4c43c1d84833dbcb124fc","datavalue":{"value":{"entity-type":"item","numeric-id":866890,"id":"Q866890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbb786ec3972d682c5e4488671884e9c80c1df7","datavalue":{"value":{"amount":"+0.7558013200759888","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":"Q3344196$8F503588-9461-4C16-87B5-2D7E85FA449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d982633931a81decdb5204681e5e896ad0a392","datavalue":{"value":{"entity-type":"item","numeric-id":3570653,"id":"Q3570653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9966f5ad3db878f8055fb4cb08b4ee0a95163d91","datavalue":{"value":{"amount":"+0.7485877871513367","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":"Q3344196$5D58B222-9BF3-4E4D-883A-FCBB9E3B8427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12221c0282bc1da494f1aedd9c291c663dfb9028","datavalue":{"value":{"entity-type":"item","numeric-id":781507,"id":"Q781507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb024ce493882121efae58e4f84c4f40456a85a7","datavalue":{"value":{"amount":"+0.7485601305961609","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":"Q3344196$2CCB5C71-A5E2-4428-BB12-440743633669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f8e605dfdfb19043e2140d55a1830c2e3ec5c9","datavalue":{"value":{"entity-type":"item","numeric-id":511057,"id":"Q511057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4d87b1093e5757fd253d7d5c7d421dfe10d0ab","datavalue":{"value":{"amount":"+0.7452821731567383","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":"Q3344196$38AB006F-B8ED-44A2-B562-2D26E19C9EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3344196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3344196"}}}}}