Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520253054> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1520253054 endingPage "69" @default.
- W1520253054 startingPage "66" @default.
- W1520253054 abstract "A variation of an earlier prover (described in Machine Intelligence 8) is used to prove theorems about general inequalities, i.e., first-order logic with equality where the only predicate symbols are <, <, and =, and where function symbols are admitted. Transcripts of some proofs are given." @default.
- W1520253054 created "2016-06-24" @default.
- W1520253054 creator A5007472114 @default.
- W1520253054 creator A5081664009 @default.
- W1520253054 creator A5084800409 @default.
- W1520253054 date "1979-08-20" @default.
- W1520253054 modified "2023-09-25" @default.
- W1520253054 title "A prover for general inequalities" @default.
- W1520253054 cites W1572470107 @default.
- W1520253054 cites W1988192943 @default.
- W1520253054 cites W2023139438 @default.
- W1520253054 cites W2039744511 @default.
- W1520253054 cites W2095939327 @default.
- W1520253054 cites W88729032 @default.
- W1520253054 hasPublicationYear "1979" @default.
- W1520253054 type Work @default.
- W1520253054 sameAs 1520253054 @default.
- W1520253054 citedByCount "4" @default.
- W1520253054 crossrefType "proceedings-article" @default.
- W1520253054 hasAuthorship W1520253054A5007472114 @default.
- W1520253054 hasAuthorship W1520253054A5081664009 @default.
- W1520253054 hasAuthorship W1520253054A5084800409 @default.
- W1520253054 hasConcept C100481476 @default.
- W1520253054 hasConcept C108710211 @default.
- W1520253054 hasConcept C11413529 @default.
- W1520253054 hasConcept C118615104 @default.
- W1520253054 hasConcept C134306372 @default.
- W1520253054 hasConcept C136119220 @default.
- W1520253054 hasConcept C140146324 @default.
- W1520253054 hasConcept C159718280 @default.
- W1520253054 hasConcept C199343813 @default.
- W1520253054 hasConcept C199360897 @default.
- W1520253054 hasConcept C202444582 @default.
- W1520253054 hasConcept C206880738 @default.
- W1520253054 hasConcept C2524010 @default.
- W1520253054 hasConcept C2777686260 @default.
- W1520253054 hasConcept C33923547 @default.
- W1520253054 hasConcept C41008148 @default.
- W1520253054 hasConcept C45555294 @default.
- W1520253054 hasConcept C71924100 @default.
- W1520253054 hasConceptScore W1520253054C100481476 @default.
- W1520253054 hasConceptScore W1520253054C108710211 @default.
- W1520253054 hasConceptScore W1520253054C11413529 @default.
- W1520253054 hasConceptScore W1520253054C118615104 @default.
- W1520253054 hasConceptScore W1520253054C134306372 @default.
- W1520253054 hasConceptScore W1520253054C136119220 @default.
- W1520253054 hasConceptScore W1520253054C140146324 @default.
- W1520253054 hasConceptScore W1520253054C159718280 @default.
- W1520253054 hasConceptScore W1520253054C199343813 @default.
- W1520253054 hasConceptScore W1520253054C199360897 @default.
- W1520253054 hasConceptScore W1520253054C202444582 @default.
- W1520253054 hasConceptScore W1520253054C206880738 @default.
- W1520253054 hasConceptScore W1520253054C2524010 @default.
- W1520253054 hasConceptScore W1520253054C2777686260 @default.
- W1520253054 hasConceptScore W1520253054C33923547 @default.
- W1520253054 hasConceptScore W1520253054C41008148 @default.
- W1520253054 hasConceptScore W1520253054C45555294 @default.
- W1520253054 hasConceptScore W1520253054C71924100 @default.
- W1520253054 hasLocation W15202530541 @default.
- W1520253054 hasOpenAccess W1520253054 @default.
- W1520253054 hasPrimaryLocation W15202530541 @default.
- W1520253054 hasRelatedWork W1505806930 @default.
- W1520253054 hasRelatedWork W1506927614 @default.
- W1520253054 hasRelatedWork W1522489781 @default.
- W1520253054 hasRelatedWork W1541042121 @default.
- W1520253054 hasRelatedWork W1558816505 @default.
- W1520253054 hasRelatedWork W1561644379 @default.
- W1520253054 hasRelatedWork W1583437941 @default.
- W1520253054 hasRelatedWork W1875958796 @default.
- W1520253054 hasRelatedWork W197813433 @default.
- W1520253054 hasRelatedWork W2055696395 @default.
- W1520253054 hasRelatedWork W2117935620 @default.
- W1520253054 hasRelatedWork W2142929144 @default.
- W1520253054 hasRelatedWork W2164887032 @default.
- W1520253054 hasRelatedWork W2230207899 @default.
- W1520253054 hasRelatedWork W2479603923 @default.
- W1520253054 hasRelatedWork W2900916756 @default.
- W1520253054 hasRelatedWork W2985453951 @default.
- W1520253054 hasRelatedWork W3038874144 @default.
- W1520253054 hasRelatedWork W3174333326 @default.
- W1520253054 hasRelatedWork W38890958 @default.
- W1520253054 isParatext "false" @default.
- W1520253054 isRetracted "false" @default.
- W1520253054 magId "1520253054" @default.
- W1520253054 workType "article" @default.