wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

first_order_sentence (157B)

      1 # First order sentence
      2 
      3 A [first_order_logic] [logic_formula] which is a [sentence]
      4 
      5 Up: [first_order_logic], [sentence]
      6 
      7 Aliases: FO sentence, FO sentences