idempotency of entailment

property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one

Wikidata entity: Q5988174

P31 instance of ... Q65943 (theorem) theorem
P6104 maintained by WikiProject ... Q8487137 (WikiProject Mathematics) WikiProject Mathematics
External Ids
P646Freebase ID/m/06d6xj
P6366Microsoft Academic ID (discontinued)2780565672

Why not click here or view trends?

log id: 6411338