Talk:Q1166618

Autodescription — mathematical logic (Q1166618)

description: subfield of mathematics

Useful links:

Pretty display of data  (with Wikidata:Reasonator)
Pretty display of data (with Wikidata:Sqid)
View it! – Images depicting the item on Commons
Scholia
Report on constraint conformation of “mathematical logic” claims and statements. Constraints report for items data
Number of statements about mathematical logic by property (query)
All claims about mathematical logic (query)
List of items with same label (query)
List of lexemes with sense mathematical logic (query)

Classification of the class mathematical logic (Q1166618)  

For help about classification, see Wikidata:Classification.

Parent classes (classes of items which contain this one item)

mathematical logic (Q1166618)
- logic (Q8078) ⊸

Subclasses (classes which contain special kinds of items of this class)

⟨mathematical logic⟩ on wikidata tree visualisation (external tool)(depth=1)

Generic queries for classes

See also

This documentation is generated using {{Item documentation}}.

Classification[edit]

‎Removed claim: Property:P279: Q395

If math includes a set of knowledge (eg. formal models), then mathematical logic is a subset of this knowledge. Hence something that is a part of mathematical logic, or an instance of a logic formal model, is also an instance of math knowledge. This would imho imply that

⟨ mathematical logic (Q1166618)  

 ⟩ subclass of (P279) ⟨ mathematics (Q395)  

 ⟩

.

– The preceding unsigned comment was added by TomT0m (talk • contribs) at 11 July 2013‎ (UTC).

Talk:Q1166618

Autodescription — mathematical logic (Q1166618)

Classification[edit]

Navigation menu

Search