Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498542410> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1498542410 abstract "The main problem with using semantics to guide automated theorem proving systems is the overhead involved in performing the semantic checks. When the semantics provide effective guidance, the overhead is more than offset by the reduction in the search space. This leads to the question: “What are good semantics and how can the best semantics be selected from a range of choices?”. This paper proposes one solution based on the semantic guidance system used in the PTTP+GLiDeS theorem prover." @default.
- W1498542410 created "2016-06-24" @default.
- W1498542410 creator A5056758626 @default.
- W1498542410 date "2002-01-01" @default.
- W1498542410 modified "2023-09-27" @default.
- W1498542410 title "Selecting Semantics for Use with Semantic Pruning of Linear Deductions" @default.
- W1498542410 doi "https://doi.org/10.1007/3-540-36187-1_68" @default.
- W1498542410 hasPublicationYear "2002" @default.
- W1498542410 type Work @default.
- W1498542410 sameAs 1498542410 @default.
- W1498542410 citedByCount "0" @default.
- W1498542410 crossrefType "book-chapter" @default.
- W1498542410 hasAuthorship W1498542410A5056758626 @default.
- W1498542410 hasConcept C108010975 @default.
- W1498542410 hasConcept C111335779 @default.
- W1498542410 hasConcept C11413529 @default.
- W1498542410 hasConcept C156325763 @default.
- W1498542410 hasConcept C184337299 @default.
- W1498542410 hasConcept C199360897 @default.
- W1498542410 hasConcept C206880738 @default.
- W1498542410 hasConcept C2524010 @default.
- W1498542410 hasConcept C2779960059 @default.
- W1498542410 hasConcept C33923547 @default.
- W1498542410 hasConcept C41008148 @default.
- W1498542410 hasConcept C6557445 @default.
- W1498542410 hasConcept C80444323 @default.
- W1498542410 hasConcept C86803240 @default.
- W1498542410 hasConceptScore W1498542410C108010975 @default.
- W1498542410 hasConceptScore W1498542410C111335779 @default.
- W1498542410 hasConceptScore W1498542410C11413529 @default.
- W1498542410 hasConceptScore W1498542410C156325763 @default.
- W1498542410 hasConceptScore W1498542410C184337299 @default.
- W1498542410 hasConceptScore W1498542410C199360897 @default.
- W1498542410 hasConceptScore W1498542410C206880738 @default.
- W1498542410 hasConceptScore W1498542410C2524010 @default.
- W1498542410 hasConceptScore W1498542410C2779960059 @default.
- W1498542410 hasConceptScore W1498542410C33923547 @default.
- W1498542410 hasConceptScore W1498542410C41008148 @default.
- W1498542410 hasConceptScore W1498542410C6557445 @default.
- W1498542410 hasConceptScore W1498542410C80444323 @default.
- W1498542410 hasConceptScore W1498542410C86803240 @default.
- W1498542410 hasLocation W14985424101 @default.
- W1498542410 hasOpenAccess W1498542410 @default.
- W1498542410 hasPrimaryLocation W14985424101 @default.
- W1498542410 hasRelatedWork W105112127 @default.
- W1498542410 hasRelatedWork W132718825 @default.
- W1498542410 hasRelatedWork W1492125303 @default.
- W1498542410 hasRelatedWork W1583364912 @default.
- W1498542410 hasRelatedWork W1984720830 @default.
- W1498542410 hasRelatedWork W1994344807 @default.
- W1498542410 hasRelatedWork W2004436487 @default.
- W1498542410 hasRelatedWork W2013792502 @default.
- W1498542410 hasRelatedWork W2112055613 @default.
- W1498542410 hasRelatedWork W2161910935 @default.
- W1498542410 hasRelatedWork W2168187072 @default.
- W1498542410 hasRelatedWork W2276819882 @default.
- W1498542410 hasRelatedWork W2464096065 @default.
- W1498542410 hasRelatedWork W2569846767 @default.
- W1498542410 hasRelatedWork W2899482370 @default.
- W1498542410 hasRelatedWork W2912721414 @default.
- W1498542410 hasRelatedWork W3105824395 @default.
- W1498542410 hasRelatedWork W3168849530 @default.
- W1498542410 hasRelatedWork W82519855 @default.
- W1498542410 hasRelatedWork W90191059 @default.
- W1498542410 isParatext "false" @default.
- W1498542410 isRetracted "false" @default.
- W1498542410 magId "1498542410" @default.
- W1498542410 workType "book-chapter" @default.