Skip to content
Demonstrator · items marked Example are invented · what exists today
E2ER

Skills · Example skills

Declaring selection criteria for conjectures

How to write selection criteria before generating conjectures, and how to record why each conjecture was kept or dropped.

ExampletheoryMIT
Anyone can contribute. Improve this skill Contribute a skill

Provenance

Project
Example skills(source not public)
Maintained by
Jun Sato
Licence
MIT · can be redistributed
Source file
not recorded
Identifier
illustrative/selection-criteria

Use it

An invented example for the example theory templates; there is nothing to install.

Cite this skill
Persistent identifiers planned
@software{junsato2026declaringselectioncriter,
  title   = {Declaring selection criteria for conjectures},
  author  = {Jun Sato},
  year    = {2026},
  note    = {E2ER skill. Persistent identifier planned},
  url     = {https://github.com/bhanneke/RISE}
}
Report a failure

Used by

No E2ER specialist loads this skill by default. Once installed, a template can assign it to a specialist.

Evaluations

Planned

No evaluation record yet. An evaluation shows where a skill breaks before others rely on it.

Evaluate this skill

Description

Data model
Discipline
Organization scienceGeneral
Method family
Theoretical
Design
not specified
Research stage
Hypotheses
Contributors
Jun Sato (Methodology, Writing – original draft)
Usage
loaded by 1 specialist · Examples: 1 example template, 3 example studies
Source
Example
Record
skill:illustrative/selection-criteria · JSON

Solid tags are declared by the source or mapped from its terms; dashed tags are inferred by a published rule. Hover a tag for its provenance.

More theory skills in Example skills