Kinds on CS Theoremshttps://cs.lozic.me/kinds/Recent content in Kinds on CS TheoremsHugoen-usFri, 24 Dec 2027 12:00:00 +0100Demonstrationhttps://cs.lozic.me/kinds/demonstration/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/demonstration/Theoremhttps://cs.lozic.me/kinds/theorem/Fri, 28 Aug 2026 12:00:00 +0200https://cs.lozic.me/kinds/theorem/Empiricalhttps://cs.lozic.me/kinds/empirical/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/empirical/Conjecturehttps://cs.lozic.me/kinds/conjecture/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/conjecture/Physical-Lawhttps://cs.lozic.me/kinds/physical-law/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/physical-law/Principlehttps://cs.lozic.me/kinds/principle/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/principle/Open-Problemhttps://cs.lozic.me/kinds/open-problem/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/open-problem/Thesishttps://cs.lozic.me/kinds/thesis/Mon, 01 Jan 0001 00:00:00 +0000https://cs.lozic.me/kinds/thesis/