Cross Reference: /ontohub/spec/models/ontology

Lines Matching refs:theorems
387         expect(version.ontology.theorems.count).to eq(1)
391         expect(version.ontology.theorems.first.provable).to be(true)
395         expect(version.ontology.theorems.first.proof_status.identifier).
422         expect(version.ontology.theorems.count).to eq(1)
426         expect(version.ontology.theorems.first.provable).to be(false)
430         expect(version.ontology.theorems.first.proof_status.identifier).
552     context 'theorems count' do
554         expect(ontology.theorems.original.count).to eq(0)
558         expect(ontology.theorems_count).to eq(ontology.theorems.original.count)
695         expect(child_with_theorem.theorems.original.count).to eq(1)
700           to eq(child_with_theorem.theorems.original.count)
717     context 'theorems count' do
720           expect(child.theorems.original.count).to eq(1)
726           expect(child.theorems_count).to eq(child.theorems.original.count)