Axiom

Results: 922



#Item
1MSC axioms MSC problems MSC001-1.p A Blind Hand Problem at(a, there, b) ⇒ ¬ at(a, here, b) cnf(clause1 , axiom) cnf(clause2 , axiom)

MSC axioms MSC problems MSC001-1.p A Blind Hand Problem at(a, there, b) ⇒ ¬ at(a, here, b) cnf(clause1 , axiom) cnf(clause2 , axiom)

Add to Reading List

Source URL: math.chapman.edu

Language: English - Date: 2017-03-18 22:05:32
    2PLA axioms  PLA001-0.ax Blocks world axioms (holds(x, state) and holds(y, state)) ⇒ holds(and(x, y), state) cnf(and definition, axiom) (holds(empty, state) and holds(clear(x), state) and differ(x, table)) ⇒ holds(hol

    PLA axioms PLA001-0.ax Blocks world axioms (holds(x, state) and holds(y, state)) ⇒ holds(and(x, y), state) cnf(and definition, axiom) (holds(empty, state) and holds(clear(x), state) and differ(x, table)) ⇒ holds(hol

    Add to Reading List

    Source URL: math.chapman.edu

    Language: English - Date: 2017-03-18 22:05:41
      3COM axioms  COM001+1.ax Common axioms for progress/preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 ))

      COM axioms COM001+1.ax Common axioms for progress/preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 ))

      Add to Reading List

      Source URL: math.chapman.edu

      Language: English - Date: 2017-03-18 22:03:50
        4PUZ axioms PUZ001-0.ax Mars and Venus axioms from mars(x) or from venus(x) cnf(from mars or venus, axiom) cnf(not from mars and venus, axiom) from mars(x) ⇒ ¬ from venus(x)

        PUZ axioms PUZ001-0.ax Mars and Venus axioms from mars(x) or from venus(x) cnf(from mars or venus, axiom) cnf(not from mars and venus, axiom) from mars(x) ⇒ ¬ from venus(x)

        Add to Reading List

        Source URL: math.chapman.edu

        Language: English - Date: 2017-03-18 22:05:42
          5MED axioms  MED001+0.ax Physiology Diabetes Mellitus type 2 Physiological mechanisms of diabetes mellitus type 2 ∀x: ¬ gt(x, x) fof(irreflexivity gt, axiom)

          MED axioms MED001+0.ax Physiology Diabetes Mellitus type 2 Physiological mechanisms of diabetes mellitus type 2 ∀x: ¬ gt(x, x) fof(irreflexivity gt, axiom)

          Add to Reading List

          Source URL: math.chapman.edu

          Language: English - Date: 2017-03-18 22:05:30
            6Axiom is the solution for assessment and accountability staff to efficiently generate: • Accountability Rating Predictions for districts and campuses • Customizable STAAR summary reports • Index-specific student

            Axiom is the solution for assessment and accountability staff to efficiently generate: • Accountability Rating Predictions for districts and campuses • Customizable STAAR summary reports • Index-specific student

            Add to Reading List

            Source URL: www.region10.org

            Language: English - Date: 2018-04-05 12:20:42
              7ˇ HOMEOMORPHISMS OF CECH–STONE REMAINDERS: THE ZERO-DIMENSIONAL CASE ILIJAS FARAH AND PAUL MCKENNEY Abstract. We prove, using a weakening of the Proper Forcing Axiom,

              ˇ HOMEOMORPHISMS OF CECH–STONE REMAINDERS: THE ZERO-DIMENSIONAL CASE ILIJAS FARAH AND PAUL MCKENNEY Abstract. We prove, using a weakening of the Proper Forcing Axiom,

              Add to Reading List

              Source URL: www.math.yorku.ca

              Language: English - Date: 2017-08-08 21:51:34
                8SYN axioms SYN000+0.ax A simple include file for FOF ia1 fof(ia1 , axiom) ia2 fof(ia2 , axiom)

                SYN axioms SYN000+0.ax A simple include file for FOF ia1 fof(ia1 , axiom) ia2 fof(ia2 , axiom)

                Add to Reading List

                Source URL: math.chapman.edu

                Language: English - Date: 2017-03-19 21:36:29
                  9HWC axioms HWC001-0.ax Definitions of AND, OR and NOT and(n0 , n0 ) = n0 cnf(and definition1 , axiom) and(n0 , n1 ) = n0 cnf(and definition2 , axiom)

                  HWC axioms HWC001-0.ax Definitions of AND, OR and NOT and(n0 , n0 ) = n0 cnf(and definition1 , axiom) and(n0 , n1 ) = n0 cnf(and definition2 , axiom)

                  Add to Reading List

                  Source URL: math.chapman.edu

                  Language: English - Date: 2017-03-18 22:04:10
                    10SET axioms SET001-0.ax Membership and subsets (element ∈ subset and subset ⊆ superset) ⇒ element ∈ superset cnf(membership in subsets, axiom) cnf(subsets axiom1 , axiom) subset ⊆ superset or member of 1 not of2

                    SET axioms SET001-0.ax Membership and subsets (element ∈ subset and subset ⊆ superset) ⇒ element ∈ superset cnf(membership in subsets, axiom) cnf(subsets axiom1 , axiom) subset ⊆ superset or member of 1 not of2

                    Add to Reading List

                    Source URL: math.chapman.edu

                    Language: English - Date: 2017-03-19 21:35:31