Matches in SemOpenAlex for { <https://semopenalex.org/work/W2572645151> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2572645151 endingPage "31" @default.
- W2572645151 startingPage "24" @default.
- W2572645151 created "2017-01-26" @default.
- W2572645151 creator A5007174926 @default.
- W2572645151 creator A5070698573 @default.
- W2572645151 date "2016-01-01" @default.
- W2572645151 modified "2023-09-24" @default.
- W2572645151 title "No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions." @default.
- W2572645151 cites W2188321126 @default.
- W2572645151 hasPublicationYear "2016" @default.
- W2572645151 type Work @default.
- W2572645151 sameAs 2572645151 @default.
- W2572645151 citedByCount "0" @default.
- W2572645151 crossrefType "journal-article" @default.
- W2572645151 hasAuthorship W2572645151A5007174926 @default.
- W2572645151 hasAuthorship W2572645151A5070698573 @default.
- W2572645151 hasConcept C10138342 @default.
- W2572645151 hasConcept C108710211 @default.
- W2572645151 hasConcept C162324750 @default.
- W2572645151 hasConcept C182306322 @default.
- W2572645151 hasConcept C199343813 @default.
- W2572645151 hasConcept C2524010 @default.
- W2572645151 hasConcept C2777686260 @default.
- W2572645151 hasConcept C33923547 @default.
- W2572645151 hasConcept C41008148 @default.
- W2572645151 hasConcept C71924100 @default.
- W2572645151 hasConceptScore W2572645151C10138342 @default.
- W2572645151 hasConceptScore W2572645151C108710211 @default.
- W2572645151 hasConceptScore W2572645151C162324750 @default.
- W2572645151 hasConceptScore W2572645151C182306322 @default.
- W2572645151 hasConceptScore W2572645151C199343813 @default.
- W2572645151 hasConceptScore W2572645151C2524010 @default.
- W2572645151 hasConceptScore W2572645151C2777686260 @default.
- W2572645151 hasConceptScore W2572645151C33923547 @default.
- W2572645151 hasConceptScore W2572645151C41008148 @default.
- W2572645151 hasConceptScore W2572645151C71924100 @default.
- W2572645151 hasLocation W25726451511 @default.
- W2572645151 hasOpenAccess W2572645151 @default.
- W2572645151 hasPrimaryLocation W25726451511 @default.
- W2572645151 hasRelatedWork W12716309 @default.
- W2572645151 hasRelatedWork W1490144336 @default.
- W2572645151 hasRelatedWork W1545980826 @default.
- W2572645151 hasRelatedWork W1978830876 @default.
- W2572645151 hasRelatedWork W2010055185 @default.
- W2572645151 hasRelatedWork W2032433324 @default.
- W2572645151 hasRelatedWork W2042676082 @default.
- W2572645151 hasRelatedWork W2069207426 @default.
- W2572645151 hasRelatedWork W2152535604 @default.
- W2572645151 hasRelatedWork W2158086914 @default.
- W2572645151 hasRelatedWork W2188917269 @default.
- W2572645151 hasRelatedWork W2403168421 @default.
- W2572645151 hasRelatedWork W2471400301 @default.
- W2572645151 hasRelatedWork W2486560253 @default.
- W2572645151 hasRelatedWork W2726021294 @default.
- W2572645151 hasRelatedWork W2953371429 @default.
- W2572645151 hasRelatedWork W3157236514 @default.
- W2572645151 hasRelatedWork W49401050 @default.
- W2572645151 hasRelatedWork W2134764148 @default.
- W2572645151 isParatext "false" @default.
- W2572645151 isRetracted "false" @default.
- W2572645151 magId "2572645151" @default.
- W2572645151 workType "article" @default.