Talk:Q35148

From Wikidata

Jump to navigation Jump to search

Autodescription — predicate logic (Q35148)

description: subfield of logic

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 “predicate logic” claims and statements. Constraints report for items data
Number of statements about predicate logic by property (query)
All claims about predicate logic (query)
List of items with same label (query)
List of lexemes with sense predicate logic (query)

Classification of the class predicate logic (Q35148)  

For help about classification, see Wikidata:Classification.

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

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

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

Generic queries for classes

See also

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

first-order logic (Q4055684)[edit]

Merge? --Fractaler (talk) 12:23, 23 January 2017 (UTC)[reply]

Yes these should be merged. How to go about that? PizzaMan (talk) 12:16, 9 February 2020 (UTC)[reply]

No, Q35148 (predicate logic) should not be merged with Q4055684 (first-order logic). They are different concepts and have different Wikipedia links (see the relevant discussion). --Neo-Jay (talk) 16:39, 3 August 2020 (UTC)[reply]

Retrieved from "https://www.wikidata.org/w/index.php?title=Talk:Q35148&oldid=1246085948"

Hidden categories: