Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Sequent> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Sequent abstract "In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct, which can be regarded as a specific kind of judgment, characteristic to this deduction system.".
- Sequent wikiPageID "252355".
- Sequent wikiPageRevisionID "605224163".
- Sequent hasPhotoCollection Sequent.
- Sequent id "3502".
- Sequent id "p/s084590".
- Sequent title "Sequent".
- Sequent subject Category:Logical_expressions.
- Sequent subject Category:Proof_theory.
- Sequent type Abstraction100002137.
- Sequent type Appearance104673965.
- Sequent type Attribute100024264.
- Sequent type Countenance104679549.
- Sequent type Expression104679738.
- Sequent type LogicalExpressions.
- Sequent type Quality104723816.
- Sequent comment "In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct, which can be regarded as a specific kind of judgment, characteristic to this deduction system.".
- Sequent label "Consecuente".
- Sequent label "Sequent".
- Sequent label "Sequente".
- Sequent label "Sequente".
- Sequent label "シークエント".
- Sequent label "相继式".
- Sequent sameAs Consecuente.
- Sequent sameAs Sequente.
- Sequent sameAs シークエント.
- Sequent sameAs Sequente.
- Sequent sameAs m.01lfsl.
- Sequent sameAs Q843632.
- Sequent sameAs Q843632.
- Sequent sameAs Sequent.
- Sequent wasDerivedFrom Sequent?oldid=605224163.
- Sequent isPrimaryTopicOf Sequent.