HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q57699712 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3993251 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3807198 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Issues in commonsense set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypersets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992554 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anti-foundation and self-reference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4951952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5623691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DAG—a program that draws directed graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm for drawing general undirected graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4292811 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4875400 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3486548 / rank | |||
Normal rank |
Latest revision as of 16:54, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | HYPERSOLVER: A graphical tool for commonsense set theory |
scientific article |
Statements
HYPERSOLVER: A graphical tool for commonsense set theory (English)
0 references
16 June 1997
0 references
Hyperset Theory
0 references
graphical representation for sets
0 references
non-well-founded sets
0 references
HYPERSOLVER
0 references
systems of equations
0 references
commonsense reasoning
0 references
0 references