Matches in SemOpenAlex for { <https://semopenalex.org/work/W23672010> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W23672010 abstract "This chapter contains several examples and their solutions. Each section will start with an English description of a problem or will contain phrases such as “Why?” and “Prove the following.” When you reach such a phrase, we recommend that you stop and work out a solution before reading further. Usually this will require that you define functions, translate informal correctness criteria into ACL2, and perhaps prove (on paper) the main theorem. Once you have a pencil and paper proof, think about how to decompose the proof into ACL2 rules and use the theorem prover to check your proof; you can then compare your results with ours." @default.
- W23672010 created "2016-06-24" @default.
- W23672010 creator A5004178046 @default.
- W23672010 creator A5046673609 @default.
- W23672010 creator A5050250788 @default.
- W23672010 date "2000-01-01" @default.
- W23672010 modified "2023-09-27" @default.
- W23672010 title "Theorem Prover Examples" @default.
- W23672010 doi "https://doi.org/10.1007/978-1-4615-4449-4_10" @default.
- W23672010 hasPublicationYear "2000" @default.
- W23672010 type Work @default.
- W23672010 sameAs 23672010 @default.
- W23672010 citedByCount "0" @default.
- W23672010 crossrefType "book-chapter" @default.
- W23672010 hasAuthorship W23672010A5004178046 @default.
- W23672010 hasAuthorship W23672010A5046673609 @default.
- W23672010 hasAuthorship W23672010A5050250788 @default.
- W23672010 hasConcept C108710211 @default.
- W23672010 hasConcept C13766981 @default.
- W23672010 hasConcept C154945302 @default.
- W23672010 hasConcept C159718280 @default.
- W23672010 hasConcept C199343813 @default.
- W23672010 hasConcept C199360897 @default.
- W23672010 hasConcept C206880738 @default.
- W23672010 hasConcept C2524010 @default.
- W23672010 hasConcept C2776224158 @default.
- W23672010 hasConcept C2777686260 @default.
- W23672010 hasConcept C33923547 @default.
- W23672010 hasConcept C41008148 @default.
- W23672010 hasConcept C55439883 @default.
- W23672010 hasConcept C71924100 @default.
- W23672010 hasConceptScore W23672010C108710211 @default.
- W23672010 hasConceptScore W23672010C13766981 @default.
- W23672010 hasConceptScore W23672010C154945302 @default.
- W23672010 hasConceptScore W23672010C159718280 @default.
- W23672010 hasConceptScore W23672010C199343813 @default.
- W23672010 hasConceptScore W23672010C199360897 @default.
- W23672010 hasConceptScore W23672010C206880738 @default.
- W23672010 hasConceptScore W23672010C2524010 @default.
- W23672010 hasConceptScore W23672010C2776224158 @default.
- W23672010 hasConceptScore W23672010C2777686260 @default.
- W23672010 hasConceptScore W23672010C33923547 @default.
- W23672010 hasConceptScore W23672010C41008148 @default.
- W23672010 hasConceptScore W23672010C55439883 @default.
- W23672010 hasConceptScore W23672010C71924100 @default.
- W23672010 hasLocation W236720101 @default.
- W23672010 hasOpenAccess W23672010 @default.
- W23672010 hasPrimaryLocation W236720101 @default.
- W23672010 hasRelatedWork W133140730 @default.
- W23672010 hasRelatedWork W1413051680 @default.
- W23672010 hasRelatedWork W1486891027 @default.
- W23672010 hasRelatedWork W152933051 @default.
- W23672010 hasRelatedWork W171706349 @default.
- W23672010 hasRelatedWork W1808099261 @default.
- W23672010 hasRelatedWork W193367694 @default.
- W23672010 hasRelatedWork W1967592514 @default.
- W23672010 hasRelatedWork W1969211016 @default.
- W23672010 hasRelatedWork W1987672986 @default.
- W23672010 hasRelatedWork W201022009 @default.
- W23672010 hasRelatedWork W2028714117 @default.
- W23672010 hasRelatedWork W2288293889 @default.
- W23672010 hasRelatedWork W2461509449 @default.
- W23672010 hasRelatedWork W2549315628 @default.
- W23672010 hasRelatedWork W260563712 @default.
- W23672010 hasRelatedWork W287250049 @default.
- W23672010 hasRelatedWork W3141152287 @default.
- W23672010 hasRelatedWork W48667636 @default.
- W23672010 hasRelatedWork W2182667334 @default.
- W23672010 isParatext "false" @default.
- W23672010 isRetracted "false" @default.
- W23672010 magId "23672010" @default.
- W23672010 workType "book-chapter" @default.