Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300754503> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W4300754503 endingPage "216" @default.
- W4300754503 startingPage "170" @default.
- W4300754503 created "2022-10-04" @default.
- W4300754503 creator A5000093016 @default.
- W4300754503 creator A5060284292 @default.
- W4300754503 date "2005-03-07" @default.
- W4300754503 modified "2023-09-26" @default.
- W4300754503 title "INTERPOLATION IN GOAL-DIRECTED PROOF SYSTEMS 1" @default.
- W4300754503 cites W2088302563 @default.
- W4300754503 doi "https://doi.org/10.1201/9781439865736-7" @default.
- W4300754503 hasPublicationYear "2005" @default.
- W4300754503 type Work @default.
- W4300754503 citedByCount "0" @default.
- W4300754503 crossrefType "book-chapter" @default.
- W4300754503 hasAuthorship W4300754503A5000093016 @default.
- W4300754503 hasAuthorship W4300754503A5060284292 @default.
- W4300754503 hasConcept C104114177 @default.
- W4300754503 hasConcept C111919701 @default.
- W4300754503 hasConcept C124978682 @default.
- W4300754503 hasConcept C137800194 @default.
- W4300754503 hasConcept C154945302 @default.
- W4300754503 hasConcept C33923547 @default.
- W4300754503 hasConcept C41008148 @default.
- W4300754503 hasConceptScore W4300754503C104114177 @default.
- W4300754503 hasConceptScore W4300754503C111919701 @default.
- W4300754503 hasConceptScore W4300754503C124978682 @default.
- W4300754503 hasConceptScore W4300754503C137800194 @default.
- W4300754503 hasConceptScore W4300754503C154945302 @default.
- W4300754503 hasConceptScore W4300754503C33923547 @default.
- W4300754503 hasConceptScore W4300754503C41008148 @default.
- W4300754503 hasLocation W43007545031 @default.
- W4300754503 hasOpenAccess W4300754503 @default.
- W4300754503 hasPrimaryLocation W43007545031 @default.
- W4300754503 hasRelatedWork W1518813051 @default.
- W4300754503 hasRelatedWork W1554212698 @default.
- W4300754503 hasRelatedWork W1974589459 @default.
- W4300754503 hasRelatedWork W1976332093 @default.
- W4300754503 hasRelatedWork W2050871849 @default.
- W4300754503 hasRelatedWork W2051941141 @default.
- W4300754503 hasRelatedWork W2069153815 @default.
- W4300754503 hasRelatedWork W2161295375 @default.
- W4300754503 hasRelatedWork W2383239512 @default.
- W4300754503 hasRelatedWork W285351152 @default.
- W4300754503 isParatext "false" @default.
- W4300754503 isRetracted "false" @default.
- W4300754503 workType "book-chapter" @default.