{"entities":{"Q41249":{"pageid":41305,"ns":120,"title":"Item:Q41249","lastrevid":105426479,"modified":"2026-10-09T10:05:32Z","type":"item","id":"Q41249","labels":{"en":{"language":"en","value":"Cofinitary Group"}},"descriptions":{"en":{"language":"en","value":"AFP entry CofGroups"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c0958cb55d2c5d2382679f0ef53a35e1884317ab","datavalue":{"value":"29535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41249$9C914321-B393-49F9-924F-39231323630F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$DF7E94A1-C6F4-49A0-99BB-F090D1748713","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"98494652699159542d34afc652abb566c9321501","datavalue":{"value":"https://www.isa-afp.org/entries/CofGroups.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q41249$3A654DE8-350B-4E0A-824F-0754A4D67A7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41249$71250906-EC82-46B9-8995-C27A763BD511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41249$913C61AD-CAF4-483C-9B75-DE8C1A882B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41249$4E6D172B-0224-4CF4-91D8-C15DA9A6983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5cf7d30d31540f6bb1acf1f51059cded1668d0e","datavalue":{"value":"20.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41249$F7FB6142-1DA3-41E2-8FBE-0FC70AC32515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d245ff5595e49479eb6a470ef6130c833624075d","datavalue":{"value":"https://isa-afp.org/entries/CofGroups.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q41249$19CF07C2-C8C4-465E-90A4-12779B5077F4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"9a5fa50eb92fff9c807db03245fd549e1eafa526","datavalue":{"value":"Bart Kastermans","type":"string"},"datatype":"string"},"type":"statement","id":"Q41249$7BD64A30-ED48-48CE-840F-1503D36EFF9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72ce6ba8741d4e9f11f90745b671af4d0ab8d927","datavalue":{"value":"We formalize the usual proof that the group generated by the function k -> k + 1 on the integers gives rise to a cofinitary group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q41249$3FC8CEFC-8F4C-44A1-B901-EA0FF30026E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec6db9c9b76e67b0c229e62e908d849dc8698e","datavalue":{"value":{"entity-type":"item","numeric-id":3398616,"id":"Q3398616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$B79E616C-DA7C-4B56-A680-3D6C2CFE8A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31207508f939731440043566fe1db452104f90e","datavalue":{"value":{"entity-type":"item","numeric-id":3600613,"id":"Q3600613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$7C15E201-2031-4504-A86B-8A688EEE79F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd5994712ecddfbe23f9516e10cfb8cca4e398a","datavalue":{"value":{"entity-type":"item","numeric-id":2433751,"id":"Q2433751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$D16000EB-31B4-414A-8D32-4C0D2843D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6788fbcff9b7c93478583c6bafb9f73ef20ad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4893631,"id":"Q4893631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$CE4299F2-BA82-4837-89D0-E162F4EFBC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3b8dce4d13c651f595ceae63b49110904dc090","datavalue":{"value":{"entity-type":"item","numeric-id":4258025,"id":"Q4258025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$2AF179DA-99AF-4EDF-B5C4-2AA35FE2C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9a8042fef2329d483fdf1dc1edd1b335c874e7","datavalue":{"value":{"entity-type":"item","numeric-id":1588399,"id":"Q1588399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$F473978C-404F-4C92-AAD2-75ECE25794C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6477db1b5059ef326c3170b9cd2acfbe703d9358","datavalue":{"value":{"entity-type":"item","numeric-id":2758057,"id":"Q2758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$35C0FFF1-E8CC-4223-9F3D-4F3C200E8FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b966303e5a72bd7e20b6fdfd83c14256a105fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1394507,"id":"Q1394507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$BC2E569A-8F9F-4097-84AC-E94ECD06B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2061ce74b1318b1c21b6e010f28c41f7374df3d","datavalue":{"value":{"entity-type":"item","numeric-id":2463530,"id":"Q2463530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$B1AF8BF9-C504-412C-B8C3-B0EDEEA7E8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ee0a431bc6f69164ae692e35486684379e0596","datavalue":{"value":{"entity-type":"item","numeric-id":787265,"id":"Q787265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$8A4B8F8A-A587-42E3-B352-B679ECF30D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd115dfce2e572abfa5b0681e961767dc766eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3767481,"id":"Q3767481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$68F8277C-4D1F-43D8-8C56-48D0B88E91D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b358f625671d35fabfe6e5ed30db36d7b7736269","datavalue":{"value":{"entity-type":"item","numeric-id":3791326,"id":"Q3791326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$9E6D35C7-1991-4A32-ABA9-3953DA2D78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$1192B5B4-7554-49EB-A9AD-C95140455D49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f946e7143a34243eee6c655d526c1b0b69f3bbf","datavalue":{"value":{"time":"+2009-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q41249$F0F19504-6B0D-4B1A-B433-99AAE18BAD6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"847f81b9e08301d641d86b74dc18d0a86edba171","datavalue":{"value":{"text":"An Example of a Cofinitary Group in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q41249$0F001294-5B3D-44F7-8179-0F3D3CE5335E","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$332D8344-DCB0-4606-89FC-452F3C4D5EE9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41249$0C5A1D76-68AA-4407-BBB6-4C6BC1E2CA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinitary Group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofinitary_Group"}}}}}