Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7456758> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Q7456758 subject Q6874380.
- Q7456758 subject Q7451631.
- Q7456758 subject Q7451918.
- Q7456758 subject Q7452060.
- Q7456758 abstract "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality). In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).".
- Q7456758 wikiPageExternalLink Coq.Classes.SetoidClass.html.
- Q7456758 wikiPageExternalLink Setoids_JFP_2003.pdf.
- Q7456758 wikiPageExternalLink tlca95.ps.
- Q7456758 wikiPageWikiLink Q1056428.
- Q7456758 wikiPageWikiLink Q1131652.
- Q7456758 wikiPageWikiLink Q1137814.
- Q7456758 wikiPageWikiLink Q11538.
- Q7456758 wikiPageWikiLink Q1196038.
- Q7456758 wikiPageWikiLink Q1211071.
- Q7456758 wikiPageWikiLink Q1244890.
- Q7456758 wikiPageWikiLink Q12916.
- Q7456758 wikiPageWikiLink Q130998.
- Q7456758 wikiPageWikiLink Q1384998.
- Q7456758 wikiPageWikiLink Q17045118.
- Q7456758 wikiPageWikiLink Q179692.
- Q7456758 wikiPageWikiLink Q1923256.
- Q7456758 wikiPageWikiLink Q2067227.
- Q7456758 wikiPageWikiLink Q217847.
- Q7456758 wikiPageWikiLink Q242028.
- Q7456758 wikiPageWikiLink Q36161.
- Q7456758 wikiPageWikiLink Q395.
- Q7456758 wikiPageWikiLink Q4779193.
- Q7456758 wikiPageWikiLink Q6059147.
- Q7456758 wikiPageWikiLink Q65943.
- Q7456758 wikiPageWikiLink Q6874380.
- Q7456758 wikiPageWikiLink Q7140366.
- Q7456758 wikiPageWikiLink Q7451631.
- Q7456758 wikiPageWikiLink Q7451918.
- Q7456758 wikiPageWikiLink Q7452060.
- Q7456758 wikiPageWikiLink Q833585.
- Q7456758 wikiPageWikiLink Q8366.
- Q7456758 wikiPageWikiLink Q842346.
- Q7456758 wikiPageWikiLink Q852732.
- Q7456758 wikiPageWikiLink Q854531.
- Q7456758 wikiPageWikiLink Q975734.
- Q7456758 comment "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality).".
- Q7456758 label "Setoid".