{"entities":{"Q1920071":{"pageid":1930813,"ns":120,"title":"Item:Q1920071","lastrevid":69302994,"modified":"2026-04-13T06:06:27Z","type":"item","id":"Q1920071","labels":{"en":{"language":"en","value":"Effectively infinite classes of enumerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917981"}},"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":"Q1920071$C4E3A515-9ED6-4D4B-8A74-2A1F8971E4F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59b60b07d404797f0689f8f1e016298d37b22e28","datavalue":{"value":{"text":"Effectively infinite classes of enumerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920071$8D020F71-E10F-42EF-986C-A3BEF3C2DA87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9e14e49fd4cb59212e915d99449038802bb638b","datavalue":{"value":"0849.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920071$F29162BD-564B-4360-BE6B-6E1D329BAE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea536c8693f0c724e6c20b3c5a00a93bd29af428","datavalue":{"value":{"entity-type":"item","numeric-id":673877,"id":"Q673877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920071$7DCDCBCB-E070-4470-B7BB-A90E8EC012E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920071$28940E19-A485-4C0E-8485-FD559BDF384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c640ed11ad16937e482610fd7fb0bfdb62892375","datavalue":{"value":{"entity-type":"item","numeric-id":685081,"id":"Q685081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920071$3E587A4A-5AB3-4C3C-AFB6-85370A58E83B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920071$758703D2-76D5-457B-85ED-7D8A1D019DD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0a540be7c2b44ff860d37a7e59d2a0b3a500416","datavalue":{"value":{"time":"+1996-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920071$9B8D9820-80DD-459C-880D-03CF6ADD5BB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920071$63088FC2-71E2-48C1-9AB1-2012FEBDCEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920071$1FFF646B-7627-469D-8684-D89CD603F692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920071$762A3880-9E0B-4AF6-B1BE-6545C2BBA597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ef8d99a643dc5de228b20aec819918c302b8bb","datavalue":{"value":"917981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920071$B25C6594-31BB-492B-8308-6FCF506F7869","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ad37ab1b0721d81f0decd4b2636996d0fc692b","datavalue":{"value":"Friedberg enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$9A0B27C2-E036-4539-A384-F5B7D8DF00F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$EBCC14EA-2B60-486C-8729-1DF8F359CE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fea8367115c86a6794a0ca69d25b7dd55fa1563","datavalue":{"value":"positive elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$0CE3A049-586E-4F5C-8094-32D106A6560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a62e97ae42609e2f56ecce7699803daef0adaf","datavalue":{"value":"Rogers semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$2CCF6B94-EA1B-4ABD-A094-DEE6987B8672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a9e1b355d6d6102c23a85e157eb4e8b1ce1718","datavalue":{"value":"effective infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$8C32996C-B4A0-44DE-9F0E-AF79F43FE71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4754038c6dcc4a2ba7a190b976f0e8030bcde7","datavalue":{"value":"computable enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$E300CD72-AFEF-4805-AEEB-EB105CB2A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$E113DA50-0211-4B06-ADF4-A113F988C87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ded578e951e42b5cc5d9ce431f5338933e618b8","datavalue":{"value":"finite injury priority method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920071$43B3682C-556F-4A7A-8B6B-5BC45DD7A926","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":"Q1920071$C069704A-A1F7-4593-9544-EE88304A38E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb58985c244d2d9c54ba1aad795044a560a0028","datavalue":{"value":{"entity-type":"item","numeric-id":1210351,"id":"Q1210351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e3ff32c378010536a7e8dcfff80d50b1c35eaa","datavalue":{"value":{"amount":"+0.9847955107688904","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":"Q1920071$0074D6DB-9DD1-4775-BB2D-B13A452A6B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce1db6c9c723d32bd1c1d66ac5806fc78676e0b","datavalue":{"value":{"entity-type":"item","numeric-id":1920098,"id":"Q1920098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb02316bff32e4908e12310e31788f69e252f06c","datavalue":{"value":{"amount":"+0.7862775325775146","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":"Q1920071$3FC7B4A3-224E-4AAF-BECB-A3ED23E0DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394914813eff889a125b5c9216673ecd3ab96928","datavalue":{"value":{"entity-type":"item","numeric-id":1745093,"id":"Q1745093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab561a57b290304e32f9b8c3b6e76ba0d8ee46e","datavalue":{"value":{"amount":"+0.7828258275985718","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":"Q1920071$015A8DD1-2EBD-4E22-A68A-610DA0A3B9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae38b816a6558d8ad7e7fe8c40e6f011538cda4","datavalue":{"value":{"entity-type":"item","numeric-id":926187,"id":"Q926187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f762e29968d734d90853b4ae1b975d67598e24","datavalue":{"value":{"amount":"+0.7775453925132751","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":"Q1920071$E3F80179-E79E-41C4-B670-643C09DF575C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd4ece3598ad105248289669df83ea37a51ea90","datavalue":{"value":{"entity-type":"item","numeric-id":4934022,"id":"Q4934022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e508debc9d065a965ef3274bdfe71e5193b98d","datavalue":{"value":{"amount":"+0.7743948698043823","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":"Q1920071$A729EAF1-25B7-426B-AAFA-5D715E8D6036","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectively infinite classes of enumerations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effectively_infinite_classes_of_enumerations"}}}}}