Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617745087> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2617745087 created "2017-06-05" @default.
- W2617745087 creator A5031432252 @default.
- W2617745087 creator A5062399896 @default.
- W2617745087 date "1998-01-01" @default.
- W2617745087 modified "2023-09-26" @default.
- W2617745087 title "Propositional theorem proving: advanced lemma strategies and multi-agent search" @default.
- W2617745087 hasPublicationYear "1998" @default.
- W2617745087 type Work @default.
- W2617745087 sameAs 2617745087 @default.
- W2617745087 citedByCount "1" @default.
- W2617745087 crossrefType "journal-article" @default.
- W2617745087 hasAuthorship W2617745087A5031432252 @default.
- W2617745087 hasAuthorship W2617745087A5062399896 @default.
- W2617745087 hasConcept C102993220 @default.
- W2617745087 hasConcept C118615104 @default.
- W2617745087 hasConcept C14523651 @default.
- W2617745087 hasConcept C18903297 @default.
- W2617745087 hasConcept C199343813 @default.
- W2617745087 hasConcept C2777686260 @default.
- W2617745087 hasConcept C2777759810 @default.
- W2617745087 hasConcept C33203268 @default.
- W2617745087 hasConcept C33923547 @default.
- W2617745087 hasConcept C41008148 @default.
- W2617745087 hasConcept C46757340 @default.
- W2617745087 hasConcept C71924100 @default.
- W2617745087 hasConcept C80444323 @default.
- W2617745087 hasConcept C86803240 @default.
- W2617745087 hasConceptScore W2617745087C102993220 @default.
- W2617745087 hasConceptScore W2617745087C118615104 @default.
- W2617745087 hasConceptScore W2617745087C14523651 @default.
- W2617745087 hasConceptScore W2617745087C18903297 @default.
- W2617745087 hasConceptScore W2617745087C199343813 @default.
- W2617745087 hasConceptScore W2617745087C2777686260 @default.
- W2617745087 hasConceptScore W2617745087C2777759810 @default.
- W2617745087 hasConceptScore W2617745087C33203268 @default.
- W2617745087 hasConceptScore W2617745087C33923547 @default.
- W2617745087 hasConceptScore W2617745087C41008148 @default.
- W2617745087 hasConceptScore W2617745087C46757340 @default.
- W2617745087 hasConceptScore W2617745087C71924100 @default.
- W2617745087 hasConceptScore W2617745087C80444323 @default.
- W2617745087 hasConceptScore W2617745087C86803240 @default.
- W2617745087 hasLocation W26177450871 @default.
- W2617745087 hasOpenAccess W2617745087 @default.
- W2617745087 hasPrimaryLocation W26177450871 @default.
- W2617745087 hasRelatedWork W1487533857 @default.
- W2617745087 hasRelatedWork W1495293573 @default.
- W2617745087 hasRelatedWork W1531901718 @default.
- W2617745087 hasRelatedWork W2021653569 @default.
- W2617745087 hasRelatedWork W2186574438 @default.
- W2617745087 hasRelatedWork W23020736 @default.
- W2617745087 hasRelatedWork W2573112524 @default.
- W2617745087 hasRelatedWork W2612532395 @default.
- W2617745087 hasRelatedWork W2612664774 @default.
- W2617745087 hasRelatedWork W2613584484 @default.
- W2617745087 hasRelatedWork W2797277592 @default.
- W2617745087 hasRelatedWork W2952409637 @default.
- W2617745087 hasRelatedWork W3003508721 @default.
- W2617745087 hasRelatedWork W3005454894 @default.
- W2617745087 hasRelatedWork W3118113274 @default.
- W2617745087 hasRelatedWork W3208924914 @default.
- W2617745087 hasRelatedWork W74839752 @default.
- W2617745087 hasRelatedWork W75561324 @default.
- W2617745087 hasRelatedWork W821177344 @default.
- W2617745087 hasRelatedWork W2530109775 @default.
- W2617745087 isParatext "false" @default.
- W2617745087 isRetracted "false" @default.
- W2617745087 magId "2617745087" @default.
- W2617745087 workType "article" @default.