This is an enumeration used in Stencila Schema for classifying Claim nodes.

It exists so claim-oriented workflows can distinguish different kinds of reviewable statements without relying on free-text labels. The enumeration supports consistent downstream behavior in interfaces, validation, and publishing.

See Claim.claimType for the property that uses this enumeration.

Members

The ClaimType type has these members:

Member	Description
`Statement`	-
`Theorem`	-
`Lemma`	-
`Proof`	-
`Postulate`	-
`Hypothesis`	-
`Proposition`	-
`Corollary`	-

Bindings

The ClaimType type is represented in:

JSON-LD

JSON Schema

Python type ClaimType

Rust type ClaimType

TypeScript type ClaimType

This documentation was generated from ClaimType.yaml by docs_types.rs.