Matches in SemOpenAlex for { <https://semopenalex.org/work/W2905181993> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2905181993 abstract "The problem of automated theorem finding is one of 33 basic research problems in automated reasoning which was originally proposed by Wos in 1988, and it is still an open problem. The problem implicitly requires some metrics to be used for measuring interestingness of found theorems. A set of metrics for measuring interestingness of theorems in automated theorem finding by forward reasoning have been proposed, and case studies to measure interestingness of the theorems of NBG set theory and Peano's arithmetic were performed. This paper presents a case study in Tarski's geometry to show the generality of proposed metrics. In the case study, we use the metrics to measure interestingness of the theorems of Tarski's geometry obtained by using forward reasoning approach, and confirm the effectiveness of the metrics." @default.
- W2905181993 created "2018-12-22" @default.
- W2905181993 creator A5023364371 @default.
- W2905181993 creator A5043041058 @default.
- W2905181993 creator A5051616105 @default.
- W2905181993 date "2018-10-01" @default.
- W2905181993 modified "2023-10-12" @default.
- W2905181993 title "Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry" @default.
- W2905181993 cites W110834650 @default.
- W2905181993 cites W1520700150 @default.
- W2905181993 cites W1526001900 @default.
- W2905181993 cites W1592435576 @default.
- W2905181993 cites W1600661924 @default.
- W2905181993 cites W1840071381 @default.
- W2905181993 cites W1978735259 @default.
- W2905181993 cites W1983376640 @default.
- W2905181993 cites W1986790869 @default.
- W2905181993 cites W2000227239 @default.
- W2905181993 cites W2013434344 @default.
- W2905181993 cites W2096540897 @default.
- W2905181993 cites W2104693850 @default.
- W2905181993 cites W2219285332 @default.
- W2905181993 cites W2590305748 @default.
- W2905181993 cites W2938938672 @default.
- W2905181993 doi "https://doi.org/10.1109/smartworld.2018.00064" @default.
- W2905181993 hasPublicationYear "2018" @default.
- W2905181993 type Work @default.
- W2905181993 sameAs 2905181993 @default.
- W2905181993 citedByCount "2" @default.
- W2905181993 countsByYear W29051819932019 @default.
- W2905181993 crossrefType "proceedings-article" @default.
- W2905181993 hasAuthorship W2905181993A5023364371 @default.
- W2905181993 hasAuthorship W2905181993A5043041058 @default.
- W2905181993 hasAuthorship W2905181993A5051616105 @default.
- W2905181993 hasConcept C11413529 @default.
- W2905181993 hasConcept C118615104 @default.
- W2905181993 hasConcept C124101348 @default.
- W2905181993 hasConcept C153046414 @default.
- W2905181993 hasConcept C154945302 @default.
- W2905181993 hasConcept C15744967 @default.
- W2905181993 hasConcept C177264268 @default.
- W2905181993 hasConcept C195344581 @default.
- W2905181993 hasConcept C199343813 @default.
- W2905181993 hasConcept C199360897 @default.
- W2905181993 hasConcept C206880738 @default.
- W2905181993 hasConcept C2777686260 @default.
- W2905181993 hasConcept C2780009758 @default.
- W2905181993 hasConcept C2780767217 @default.
- W2905181993 hasConcept C33923547 @default.
- W2905181993 hasConcept C41008148 @default.
- W2905181993 hasConcept C542102704 @default.
- W2905181993 hasConcept C71924100 @default.
- W2905181993 hasConcept C97489613 @default.
- W2905181993 hasConceptScore W2905181993C11413529 @default.
- W2905181993 hasConceptScore W2905181993C118615104 @default.
- W2905181993 hasConceptScore W2905181993C124101348 @default.
- W2905181993 hasConceptScore W2905181993C153046414 @default.
- W2905181993 hasConceptScore W2905181993C154945302 @default.
- W2905181993 hasConceptScore W2905181993C15744967 @default.
- W2905181993 hasConceptScore W2905181993C177264268 @default.
- W2905181993 hasConceptScore W2905181993C195344581 @default.
- W2905181993 hasConceptScore W2905181993C199343813 @default.
- W2905181993 hasConceptScore W2905181993C199360897 @default.
- W2905181993 hasConceptScore W2905181993C206880738 @default.
- W2905181993 hasConceptScore W2905181993C2777686260 @default.
- W2905181993 hasConceptScore W2905181993C2780009758 @default.
- W2905181993 hasConceptScore W2905181993C2780767217 @default.
- W2905181993 hasConceptScore W2905181993C33923547 @default.
- W2905181993 hasConceptScore W2905181993C41008148 @default.
- W2905181993 hasConceptScore W2905181993C542102704 @default.
- W2905181993 hasConceptScore W2905181993C71924100 @default.
- W2905181993 hasConceptScore W2905181993C97489613 @default.
- W2905181993 hasLocation W29051819931 @default.
- W2905181993 hasOpenAccess W2905181993 @default.
- W2905181993 hasPrimaryLocation W29051819931 @default.
- W2905181993 hasRelatedWork W1592130943 @default.
- W2905181993 hasRelatedWork W181315827 @default.
- W2905181993 hasRelatedWork W1994389891 @default.
- W2905181993 hasRelatedWork W2103879019 @default.
- W2905181993 hasRelatedWork W2283907753 @default.
- W2905181993 hasRelatedWork W2551943307 @default.
- W2905181993 hasRelatedWork W2590305748 @default.
- W2905181993 hasRelatedWork W2905181993 @default.
- W2905181993 hasRelatedWork W857423721 @default.
- W2905181993 hasRelatedWork W916989740 @default.
- W2905181993 isParatext "false" @default.
- W2905181993 isRetracted "false" @default.
- W2905181993 magId "2905181993" @default.
- W2905181993 workType "article" @default.