Matches in SemOpenAlex for { <https://semopenalex.org/work/W134921155> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W134921155 created "2016-06-24" @default.
- W134921155 creator A5005709211 @default.
- W134921155 date "1978-01-01" @default.
- W134921155 modified "2023-09-26" @default.
- W134921155 title "Automatic theorem proving: new results on goal trees and presburger arithmetic." @default.
- W134921155 hasPublicationYear "1978" @default.
- W134921155 type Work @default.
- W134921155 sameAs 134921155 @default.
- W134921155 citedByCount "0" @default.
- W134921155 crossrefType "journal-article" @default.
- W134921155 hasAuthorship W134921155A5005709211 @default.
- W134921155 hasConcept C153269930 @default.
- W134921155 hasConcept C33923547 @default.
- W134921155 hasConcept C41008148 @default.
- W134921155 hasConcept C5852641 @default.
- W134921155 hasConcept C80444323 @default.
- W134921155 hasConcept C94375191 @default.
- W134921155 hasConceptScore W134921155C153269930 @default.
- W134921155 hasConceptScore W134921155C33923547 @default.
- W134921155 hasConceptScore W134921155C41008148 @default.
- W134921155 hasConceptScore W134921155C5852641 @default.
- W134921155 hasConceptScore W134921155C80444323 @default.
- W134921155 hasConceptScore W134921155C94375191 @default.
- W134921155 hasLocation W1349211551 @default.
- W134921155 hasOpenAccess W134921155 @default.
- W134921155 hasPrimaryLocation W1349211551 @default.
- W134921155 hasRelatedWork W124666892 @default.
- W134921155 hasRelatedWork W1483284084 @default.
- W134921155 hasRelatedWork W1499915732 @default.
- W134921155 hasRelatedWork W1512556106 @default.
- W134921155 hasRelatedWork W1515228883 @default.
- W134921155 hasRelatedWork W1519256419 @default.
- W134921155 hasRelatedWork W1526402628 @default.
- W134921155 hasRelatedWork W1551050998 @default.
- W134921155 hasRelatedWork W1558816505 @default.
- W134921155 hasRelatedWork W1576127349 @default.
- W134921155 hasRelatedWork W1582116296 @default.
- W134921155 hasRelatedWork W1597173728 @default.
- W134921155 hasRelatedWork W1598572838 @default.
- W134921155 hasRelatedWork W1758843996 @default.
- W134921155 hasRelatedWork W1952051253 @default.
- W134921155 hasRelatedWork W2038464985 @default.
- W134921155 hasRelatedWork W2083278349 @default.
- W134921155 hasRelatedWork W2169944201 @default.
- W134921155 hasRelatedWork W2171347031 @default.
- W134921155 hasRelatedWork W2942814310 @default.
- W134921155 isParatext "false" @default.
- W134921155 isRetracted "false" @default.
- W134921155 magId "134921155" @default.
- W134921155 workType "article" @default.