Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964459610> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2964459610 abstract "We present a~novel approach to the problem of automated theorem proving. Polynomial cost procedures that recognise sentences belonging to a theory are generated on a basis of a set of axioms of the so-called Truncated Predicate Calculus being a~subset of standard predicate calculus. Several exemplary problems are included to show the performance of the proposed approach." @default.
- W2964459610 created "2019-08-13" @default.
- W2964459610 creator A5013832000 @default.
- W2964459610 creator A5030859159 @default.
- W2964459610 date "2019-07-29" @default.
- W2964459610 modified "2023-09-27" @default.
- W2964459610 title "Generating theorem proving procedures from axioms of Truncated Predicate Calculus." @default.
- W2964459610 cites W1530765221 @default.
- W2964459610 hasPublicationYear "2019" @default.
- W2964459610 type Work @default.
- W2964459610 sameAs 2964459610 @default.
- W2964459610 citedByCount "0" @default.
- W2964459610 crossrefType "posted-content" @default.
- W2964459610 hasAuthorship W2964459610A5013832000 @default.
- W2964459610 hasAuthorship W2964459610A5030859159 @default.
- W2964459610 hasConcept C100481476 @default.
- W2964459610 hasConcept C111404639 @default.
- W2964459610 hasConcept C118615104 @default.
- W2964459610 hasConcept C136119220 @default.
- W2964459610 hasConcept C140146324 @default.
- W2964459610 hasConcept C167729594 @default.
- W2964459610 hasConcept C199343813 @default.
- W2964459610 hasConcept C199360897 @default.
- W2964459610 hasConcept C202444582 @default.
- W2964459610 hasConcept C2524010 @default.
- W2964459610 hasConcept C2777686260 @default.
- W2964459610 hasConcept C33923547 @default.
- W2964459610 hasConcept C41008148 @default.
- W2964459610 hasConcept C62073222 @default.
- W2964459610 hasConcept C6489637 @default.
- W2964459610 hasConcept C71924100 @default.
- W2964459610 hasConceptScore W2964459610C100481476 @default.
- W2964459610 hasConceptScore W2964459610C111404639 @default.
- W2964459610 hasConceptScore W2964459610C118615104 @default.
- W2964459610 hasConceptScore W2964459610C136119220 @default.
- W2964459610 hasConceptScore W2964459610C140146324 @default.
- W2964459610 hasConceptScore W2964459610C167729594 @default.
- W2964459610 hasConceptScore W2964459610C199343813 @default.
- W2964459610 hasConceptScore W2964459610C199360897 @default.
- W2964459610 hasConceptScore W2964459610C202444582 @default.
- W2964459610 hasConceptScore W2964459610C2524010 @default.
- W2964459610 hasConceptScore W2964459610C2777686260 @default.
- W2964459610 hasConceptScore W2964459610C33923547 @default.
- W2964459610 hasConceptScore W2964459610C41008148 @default.
- W2964459610 hasConceptScore W2964459610C62073222 @default.
- W2964459610 hasConceptScore W2964459610C6489637 @default.
- W2964459610 hasConceptScore W2964459610C71924100 @default.
- W2964459610 hasLocation W29644596101 @default.
- W2964459610 hasOpenAccess W2964459610 @default.
- W2964459610 hasPrimaryLocation W29644596101 @default.
- W2964459610 hasRelatedWork W1484222275 @default.
- W2964459610 hasRelatedWork W1498735498 @default.
- W2964459610 hasRelatedWork W1505779129 @default.
- W2964459610 hasRelatedWork W1574253590 @default.
- W2964459610 hasRelatedWork W1579379232 @default.
- W2964459610 hasRelatedWork W1813202136 @default.
- W2964459610 hasRelatedWork W183760318 @default.
- W2964459610 hasRelatedWork W1986884618 @default.
- W2964459610 hasRelatedWork W2030852887 @default.
- W2964459610 hasRelatedWork W2059555651 @default.
- W2964459610 hasRelatedWork W2069531716 @default.
- W2964459610 hasRelatedWork W2076410236 @default.
- W2964459610 hasRelatedWork W2117439212 @default.
- W2964459610 hasRelatedWork W2134788346 @default.
- W2964459610 hasRelatedWork W2135088169 @default.
- W2964459610 hasRelatedWork W2137033866 @default.
- W2964459610 hasRelatedWork W2153265271 @default.
- W2964459610 hasRelatedWork W3145594871 @default.
- W2964459610 hasRelatedWork W38237202 @default.
- W2964459610 hasRelatedWork W74807182 @default.
- W2964459610 isParatext "false" @default.
- W2964459610 isRetracted "false" @default.
- W2964459610 magId "2964459610" @default.
- W2964459610 workType "article" @default.