proofConstructionStyle

P172060
predicate

Indicates the manner or method by which a proof is constructed or presented in establishing a result.

Try in SPARQL

Sample triples (1)

Subject Object
LCF interactive ⓘ