wiki_research

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

atom (170B)

      1 # Atom
      2 
      3 notion of an atom in logic
      4 
      5 - [logic_atom] for logics extended with infinite values
      6 
      7 See also: [vector_addition_system], [data_word]
      8 
      9 Up: [logic]
     10 
     11 Aliases: atoms