Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244831203> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- W4244831203 created "2022-05-12" @default.
- W4244831203 creator A5066686823 @default.
- W4244831203 date "2017-03-08" @default.
- W4244831203 modified "2023-09-25" @default.
- W4244831203 title "A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES" @default.
- W4244831203 doi "https://doi.org/10.17771/pucrio.acad.29093" @default.
- W4244831203 hasPublicationYear "2017" @default.
- W4244831203 type Work @default.
- W4244831203 citedByCount "0" @default.
- W4244831203 crossrefType "dissertation" @default.
- W4244831203 hasAuthorship W4244831203A5066686823 @default.
- W4244831203 hasBestOaLocation W42448312031 @default.
- W4244831203 hasConcept C132525143 @default.
- W4244831203 hasConcept C33923547 @default.
- W4244831203 hasConcept C41008148 @default.
- W4244831203 hasConcept C80444323 @default.
- W4244831203 hasConceptScore W4244831203C132525143 @default.
- W4244831203 hasConceptScore W4244831203C33923547 @default.
- W4244831203 hasConceptScore W4244831203C41008148 @default.
- W4244831203 hasConceptScore W4244831203C80444323 @default.
- W4244831203 hasLocation W42448312031 @default.
- W4244831203 hasOpenAccess W4244831203 @default.
- W4244831203 hasPrimaryLocation W42448312031 @default.
- W4244831203 hasRelatedWork W10008895 @default.
- W4244831203 hasRelatedWork W11694923 @default.
- W4244831203 hasRelatedWork W12912828 @default.
- W4244831203 hasRelatedWork W2447406 @default.
- W4244831203 hasRelatedWork W2484736 @default.
- W4244831203 hasRelatedWork W3333725 @default.
- W4244831203 hasRelatedWork W5374421 @default.
- W4244831203 hasRelatedWork W6049264 @default.
- W4244831203 hasRelatedWork W7521274 @default.
- W4244831203 hasRelatedWork W5774801 @default.
- W4244831203 isParatext "false" @default.
- W4244831203 isRetracted "false" @default.
- W4244831203 workType "dissertation" @default.