• SAD

  • Referenced in 14 articles [sw09796]
  • texts that are formalized in the ForTheL language (a brief description of which is also...
  • ForTheL

  • Referenced in 8 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an acronym for “Formal Theory Language...