IWBrowser Logo

NEW URI

Proof Style
Sentence Format
Lens Magnitude
Lens Width

Current URI: http://inference-web.org/proofs/tptp/Problems/COL/COL088-2/query.owl#query

Question:

Query

cnf(ap_reduce1_2c1,negated_conjecture,
    ( ~ member(pair(comb_app(p,r),comb_app(z,r)),rtrancl(contract)) )).

  • No answer is associated with this query


    Inference Web: [ Home | Spec | Browser | Registrar | Registry ]

    Copyright 2019 Inference Web group.
    All Rights Reserved.
    IW Webmaster