Horn-satisfiability (Q1239194)

From Wikidata
Jump to: navigation, search
computational problem
  • HORNSAT
edit
Language Label Description Also known as
English
Horn-satisfiability
computational problem
  • HORNSAT

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit