Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300536442> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4300536442 created "2022-10-03" @default.
- W4300536442 creator A5019658459 @default.
- W4300536442 date "2013-06-09" @default.
- W4300536442 modified "2023-09-27" @default.
- W4300536442 title "A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo" @default.
- W4300536442 hasPublicationYear "2013" @default.
- W4300536442 type Work @default.
- W4300536442 citedByCount "0" @default.
- W4300536442 crossrefType "proceedings-article" @default.
- W4300536442 hasAuthorship W4300536442A5019658459 @default.
- W4300536442 hasBestOaLocation W43005364421 @default.
- W4300536442 hasConcept C108710211 @default.
- W4300536442 hasConcept C11413529 @default.
- W4300536442 hasConcept C118615104 @default.
- W4300536442 hasConcept C134306372 @default.
- W4300536442 hasConcept C138268822 @default.
- W4300536442 hasConcept C154945302 @default.
- W4300536442 hasConcept C183448482 @default.
- W4300536442 hasConcept C199343813 @default.
- W4300536442 hasConcept C199360897 @default.
- W4300536442 hasConcept C2524010 @default.
- W4300536442 hasConcept C27753989 @default.
- W4300536442 hasConcept C2777686260 @default.
- W4300536442 hasConcept C33923547 @default.
- W4300536442 hasConcept C41008148 @default.
- W4300536442 hasConcept C41608201 @default.
- W4300536442 hasConcept C54732982 @default.
- W4300536442 hasConcept C71924100 @default.
- W4300536442 hasConceptScore W4300536442C108710211 @default.
- W4300536442 hasConceptScore W4300536442C11413529 @default.
- W4300536442 hasConceptScore W4300536442C118615104 @default.
- W4300536442 hasConceptScore W4300536442C134306372 @default.
- W4300536442 hasConceptScore W4300536442C138268822 @default.
- W4300536442 hasConceptScore W4300536442C154945302 @default.
- W4300536442 hasConceptScore W4300536442C183448482 @default.
- W4300536442 hasConceptScore W4300536442C199343813 @default.
- W4300536442 hasConceptScore W4300536442C199360897 @default.
- W4300536442 hasConceptScore W4300536442C2524010 @default.
- W4300536442 hasConceptScore W4300536442C27753989 @default.
- W4300536442 hasConceptScore W4300536442C2777686260 @default.
- W4300536442 hasConceptScore W4300536442C33923547 @default.
- W4300536442 hasConceptScore W4300536442C41008148 @default.
- W4300536442 hasConceptScore W4300536442C41608201 @default.
- W4300536442 hasConceptScore W4300536442C54732982 @default.
- W4300536442 hasConceptScore W4300536442C71924100 @default.
- W4300536442 hasLocation W43005364421 @default.
- W4300536442 hasLocation W43005364422 @default.
- W4300536442 hasOpenAccess W4300536442 @default.
- W4300536442 hasPrimaryLocation W43005364421 @default.
- W4300536442 hasRelatedWork W126207292 @default.
- W4300536442 hasRelatedWork W13672157 @default.
- W4300536442 hasRelatedWork W1590427085 @default.
- W4300536442 hasRelatedWork W2142805699 @default.
- W4300536442 hasRelatedWork W2318342593 @default.
- W4300536442 hasRelatedWork W2323374929 @default.
- W4300536442 hasRelatedWork W2954497896 @default.
- W4300536442 hasRelatedWork W4291299299 @default.
- W4300536442 hasRelatedWork W4293584415 @default.
- W4300536442 hasRelatedWork W4324296894 @default.
- W4300536442 isParatext "false" @default.
- W4300536442 isRetracted "false" @default.
- W4300536442 workType "article" @default.