ConceptInstance of a rule schemeModified just nowProperties 4Hide BooksChapter 2. Inductive definitions JourneyProgramming Language Theory Statusreviewing Tagslogicset-theory-relationSynonymous with Instance of an inference rule. Previous in ConceptsInput queryNext in Concepts Instance of an inference rule