Automated theorem proving in Euler diagram systems (Q2467560): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Graph Drawing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848464 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized best-first search strategies and the optimality of A* / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4428999 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2845530 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737295 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spider Diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4789490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5691519 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4843187 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Decidable Constraint Diagram Reasoning System / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated theorem proving in Euler diagram systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Expressiveness of Spider Diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4548196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated Reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank |
Latest revision as of 15:44, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated theorem proving in Euler diagram systems |
scientific article |
Statements
Automated theorem proving in Euler diagram systems (English)
0 references
22 January 2008
0 references
Visual languages
0 references
Euler diagrams
0 references
Diagrammatic reasoning
0 references
Heuristics
0 references