Matches in SemOpenAlex for { <https://semopenalex.org/work/W34547148> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W34547148 abstract "1 Introduction 12 Proofs about order relations 23 Proofs about natural numbers 73.1 Term rewriting methods . . . . . . . . . . . . . . . . . . . . . 83.2 Proof by induction . . . . . . . . . . . . . . . . . . . . . . . . 113.3 Steps of a proof of an Nat inductive property. . . . . . . . . . 123.4 Basis case proof . . . . . . . . . . . . . . . . . . . . . . . . . . 123.5 Induction step proof . . . . . . . . . . . . . . . . . . . . . . . 123.6 The full proof . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 Proofs about lists 154.1 Append Nil Property . . . . . . . . . . . . . . . . . . . . . . . 154.2 Steps of a proof of a List inductive property . . . . . . . . . . 174.3 Another proof about Append . . . . . . . . . . . . . . . . . . 17" @default.
- W34547148 created "2016-06-24" @default.
- W34547148 creator A5046039594 @default.
- W34547148 creator A5076556878 @default.
- W34547148 date "2005-01-01" @default.
- W34547148 modified "2023-09-27" @default.
- W34547148 title "Proving Theorems with Athena" @default.
- W34547148 cites W2592781533 @default.
- W34547148 cites W99110181 @default.
- W34547148 hasPublicationYear "2005" @default.
- W34547148 type Work @default.
- W34547148 sameAs 34547148 @default.
- W34547148 citedByCount "1" @default.
- W34547148 crossrefType "journal-article" @default.
- W34547148 hasAuthorship W34547148A5046039594 @default.
- W34547148 hasAuthorship W34547148A5076556878 @default.
- W34547148 hasConcept C105605280 @default.
- W34547148 hasConcept C108710211 @default.
- W34547148 hasConcept C111472728 @default.
- W34547148 hasConcept C118615104 @default.
- W34547148 hasConcept C121332964 @default.
- W34547148 hasConcept C135754263 @default.
- W34547148 hasConcept C138885662 @default.
- W34547148 hasConcept C154690210 @default.
- W34547148 hasConcept C173613240 @default.
- W34547148 hasConcept C189950617 @default.
- W34547148 hasConcept C195653647 @default.
- W34547148 hasConcept C199343813 @default.
- W34547148 hasConcept C199360897 @default.
- W34547148 hasConcept C206743973 @default.
- W34547148 hasConcept C2318724 @default.
- W34547148 hasConcept C2524010 @default.
- W34547148 hasConcept C2777686260 @default.
- W34547148 hasConcept C2777998813 @default.
- W34547148 hasConcept C33923547 @default.
- W34547148 hasConcept C41008148 @default.
- W34547148 hasConcept C61797465 @default.
- W34547148 hasConcept C62520636 @default.
- W34547148 hasConcept C71924100 @default.
- W34547148 hasConceptScore W34547148C105605280 @default.
- W34547148 hasConceptScore W34547148C108710211 @default.
- W34547148 hasConceptScore W34547148C111472728 @default.
- W34547148 hasConceptScore W34547148C118615104 @default.
- W34547148 hasConceptScore W34547148C121332964 @default.
- W34547148 hasConceptScore W34547148C135754263 @default.
- W34547148 hasConceptScore W34547148C138885662 @default.
- W34547148 hasConceptScore W34547148C154690210 @default.
- W34547148 hasConceptScore W34547148C173613240 @default.
- W34547148 hasConceptScore W34547148C189950617 @default.
- W34547148 hasConceptScore W34547148C195653647 @default.
- W34547148 hasConceptScore W34547148C199343813 @default.
- W34547148 hasConceptScore W34547148C199360897 @default.
- W34547148 hasConceptScore W34547148C206743973 @default.
- W34547148 hasConceptScore W34547148C2318724 @default.
- W34547148 hasConceptScore W34547148C2524010 @default.
- W34547148 hasConceptScore W34547148C2777686260 @default.
- W34547148 hasConceptScore W34547148C2777998813 @default.
- W34547148 hasConceptScore W34547148C33923547 @default.
- W34547148 hasConceptScore W34547148C41008148 @default.
- W34547148 hasConceptScore W34547148C61797465 @default.
- W34547148 hasConceptScore W34547148C62520636 @default.
- W34547148 hasConceptScore W34547148C71924100 @default.
- W34547148 hasLocation W345471481 @default.
- W34547148 hasOpenAccess W34547148 @default.
- W34547148 hasPrimaryLocation W345471481 @default.
- W34547148 hasRelatedWork W1548568192 @default.
- W34547148 hasRelatedWork W1549038770 @default.
- W34547148 hasRelatedWork W157359292 @default.
- W34547148 hasRelatedWork W1586813864 @default.
- W34547148 hasRelatedWork W1588306030 @default.
- W34547148 hasRelatedWork W187835144 @default.
- W34547148 hasRelatedWork W1968714331 @default.
- W34547148 hasRelatedWork W1987375762 @default.
- W34547148 hasRelatedWork W208883109 @default.
- W34547148 hasRelatedWork W2106782907 @default.
- W34547148 hasRelatedWork W2107153842 @default.
- W34547148 hasRelatedWork W2481315327 @default.
- W34547148 hasRelatedWork W2487043579 @default.
- W34547148 hasRelatedWork W2901110816 @default.
- W34547148 hasRelatedWork W2979207689 @default.
- W34547148 hasRelatedWork W2993546942 @default.
- W34547148 hasRelatedWork W3010590923 @default.
- W34547148 hasRelatedWork W3027763605 @default.
- W34547148 hasRelatedWork W1500475331 @default.
- W34547148 hasRelatedWork W189467078 @default.
- W34547148 isParatext "false" @default.
- W34547148 isRetracted "false" @default.
- W34547148 magId "34547148" @default.
- W34547148 workType "article" @default.