{"entities":{"Q4876318":{"pageid":6905897,"ns":120,"title":"Item:Q4876318","lastrevid":90916349,"modified":"2026-06-04T21:46:26Z","type":"item","id":"Q4876318","labels":{"en":{"language":"en","value":"An induction principle and pigeonhole principles for K-finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 872664"}},"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":"Q4876318$FA2A85E3-9B44-44FF-A551-005B011F0F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00affd1bbb973b57f4ddb848195410e16db332f6","datavalue":{"value":{"text":"An induction principle and pigeonhole principles for K-finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4876318$F2DD9EAC-8850-43E4-864F-A32C2AF346AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98ecc4c4a400957520e92781415161640383e94b","datavalue":{"value":"0848.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$CF7790F0-E5AD-4226-A0E3-925A96321DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ab02f0ff9174f0bb5bb3ffd63ffb2f8446c31c","datavalue":{"value":"10.2307/2275881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$818EA558-F956-4D87-A1F4-CEF8080BFC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876318$48B36C49-BEBB-4D0F-A85C-3D61E90349DD","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":"Q4876318$D60B31BA-2B6B-46FC-A5DF-FE13FCF6C048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4876318$90CC6194-57EB-4321-8023-0C720761B503","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb70a38d225af1563450131d9184287019290c2","datavalue":{"value":"https://arxiv.org/abs/math/9405204","type":"string"},"datatype":"url"},"type":"statement","id":"Q4876318$38D94949-7B38-4BB9-8642-FC72A28FF689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$5A5DC44E-3AE7-4167-BF00-9D08C4A7BCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$3AD2DDAE-AC50-4B81-9958-437BE5E248C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6b1a9f3aa8275d7e364723e58cfb1f181c01b4","datavalue":{"value":"872664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$9FAE5709-8EBB-481B-96D7-352F8F4BDFD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b1732a5590fa8271d78d14c24bf2338f727513","datavalue":{"value":"Kuratowski-finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876318$C4D68D7E-B2BA-4370-9790-A4D0A2A55531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f7f4b23604bc6eb5ea0646df75448f4fd3a0aa0","datavalue":{"value":"course-of-values induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876318$86AF81A3-9412-400A-90B6-88929A4F705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876318$648264BD-FB89-46B7-9604-051AB3716B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2064015c8f825c2b99d30d45ef0b5d837032b7ed","datavalue":{"value":"internal logic of an elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876318$0F92B907-79C2-44CC-BCD2-76346BDE30AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e19b3397cff4a27a6273fed153c96e753f9a56","datavalue":{"value":"pigeonhole principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876318$F162A061-E996-4C1B-BDCB-ECD17A8C7CEB","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":"Q4876318$1AD56CB2-417E-445B-95D8-1B13548ECBE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef51b01312ea8006dc7a691708657603b03e1507","datavalue":{"value":"W2062058334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876318$A641983B-E92C-4FC8-AEBA-45DD9C13B9BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876318$BA872DB7-AE70-41E2-9ABE-4AC66E42B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5347980181241ef228970bc3d15a49730ba49ff","datavalue":{"value":{"entity-type":"item","numeric-id":1212528,"id":"Q1212528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876318$9D5BBC7F-AA85-4019-88AD-0B737FFA52A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876318$05FDA57B-BFA8-48C4-B942-942AC2A6635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876318$9B2837DC-1E10-444A-842E-198D3A88931A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cf7f5840ccb9db8b042cbc06a9b92900547dbf","datavalue":{"value":{"entity-type":"item","numeric-id":5158115,"id":"Q5158115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddbf97974de83e3aef7ed1fe83633b30760e4e9","datavalue":{"value":{"amount":"+0.8777207","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":"Q4876318$0BCA4A18-499D-403E-B99D-FC9D08E4B503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed953d72a102015092ac504b8b4a47f704d14e16","datavalue":{"value":{"entity-type":"item","numeric-id":4009404,"id":"Q4009404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6fbfe16332d7b39e63e5091fc947a58a48d52a","datavalue":{"value":{"amount":"+0.8711484","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":"Q4876318$6BAA01BF-5112-41D2-B2B1-D54173ED5EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84a4dcc3fac2268b8840a51eb1e5a7eb5e46648","datavalue":{"value":{"entity-type":"item","numeric-id":2062906,"id":"Q2062906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57249cea43cad86f4853b58a16beee950a5dd510","datavalue":{"value":{"amount":"+0.87048197","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":"Q4876318$598124E1-27CB-4D2E-B8BA-0E4DF13F4AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524ee294b8180d8a39b7c015b586d17dcb56effe","datavalue":{"value":{"amount":"+0.8555387","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":"Q4876318$AB69FF9F-909E-49B6-8D0F-5D3FE451CF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0247af87e176aafad6848ca6c4df8650b0e491","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee187df9f6cfcd42d4117cc6573610e5d124524","datavalue":{"value":{"amount":"+0.85494256","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":"Q4876318$014C88DD-FE9F-4E75-9D08-A681E74F1397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b51671b7a7310127c77340f1132f6e1960c4b25","datavalue":{"value":{"entity-type":"item","numeric-id":4302463,"id":"Q4302463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee187df9f6cfcd42d4117cc6573610e5d124524","datavalue":{"value":{"amount":"+0.85494256","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":"Q4876318$D276F626-350D-491E-AA32-1A0E98223AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22a42f81d4456e7f78fc2a4560818ce1b10cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5445160,"id":"Q5445160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e451490ce2ff687d0ccd84440a0960af5a560b0","datavalue":{"value":{"amount":"+0.8549003","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":"Q4876318$B5D2E1CA-BE8D-4514-B509-228953BBD634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da215d93e2c446edb9400a9dc3b5bd827b64fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":3778743,"id":"Q3778743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8abe14c61983b9a2f01094cb5a515d1d77ac4c9","datavalue":{"value":{"amount":"+0.85427856","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":"Q4876318$4EB02F39-EF71-4013-AF9B-B648E0739E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6640badd544e980a06971f7cbd12742fdf0e1cff","datavalue":{"value":{"entity-type":"item","numeric-id":1330312,"id":"Q1330312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30d06e6f52ce7fc4e52b3d77bb692935596686a","datavalue":{"value":{"amount":"+0.8539001","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":"Q4876318$730FCDC4-1B38-462B-AB7D-0FBB7C273602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74a52fe922110f09f29e30f403cf5cf51fa5d11","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ae09c0a69ce77271e3ec081e1578a61c3b5a31","datavalue":{"value":{"amount":"+0.85354805","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":"Q4876318$40027251-9B9E-411B-ADF8-066A637F12E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An induction principle and pigeonhole principles for K-finite sets","badges":[]}}}}}