Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897150585> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2897150585 endingPage "71" @default.
- W2897150585 startingPage "56" @default.
- W2897150585 created "2018-10-26" @default.
- W2897150585 creator A5010032269 @default.
- W2897150585 creator A5032285962 @default.
- W2897150585 creator A5066061933 @default.
- W2897150585 date "2000-01-01" @default.
- W2897150585 modified "2023-09-24" @default.
- W2897150585 title "Theorem Proving and Programming with Dynamic First Order Logic." @default.
- W2897150585 hasPublicationYear "2000" @default.
- W2897150585 type Work @default.
- W2897150585 sameAs 2897150585 @default.
- W2897150585 citedByCount "0" @default.
- W2897150585 crossrefType "proceedings-article" @default.
- W2897150585 hasAuthorship W2897150585A5010032269 @default.
- W2897150585 hasAuthorship W2897150585A5032285962 @default.
- W2897150585 hasAuthorship W2897150585A5066061933 @default.
- W2897150585 hasConcept C10138342 @default.
- W2897150585 hasConcept C128838566 @default.
- W2897150585 hasConcept C162324750 @default.
- W2897150585 hasConcept C182306322 @default.
- W2897150585 hasConcept C199360897 @default.
- W2897150585 hasConcept C206880738 @default.
- W2897150585 hasConcept C33923547 @default.
- W2897150585 hasConcept C41008148 @default.
- W2897150585 hasConceptScore W2897150585C10138342 @default.
- W2897150585 hasConceptScore W2897150585C128838566 @default.
- W2897150585 hasConceptScore W2897150585C162324750 @default.
- W2897150585 hasConceptScore W2897150585C182306322 @default.
- W2897150585 hasConceptScore W2897150585C199360897 @default.
- W2897150585 hasConceptScore W2897150585C206880738 @default.
- W2897150585 hasConceptScore W2897150585C33923547 @default.
- W2897150585 hasConceptScore W2897150585C41008148 @default.
- W2897150585 hasLocation W28971505851 @default.
- W2897150585 hasOpenAccess W2897150585 @default.
- W2897150585 hasPrimaryLocation W28971505851 @default.
- W2897150585 hasRelatedWork W1487533857 @default.
- W2897150585 hasRelatedWork W1538666241 @default.
- W2897150585 hasRelatedWork W1584489400 @default.
- W2897150585 hasRelatedWork W1863662047 @default.
- W2897150585 hasRelatedWork W2159891390 @default.
- W2897150585 hasRelatedWork W227433776 @default.
- W2897150585 hasRelatedWork W23020736 @default.
- W2897150585 hasRelatedWork W2476720312 @default.
- W2897150585 hasRelatedWork W2598408477 @default.
- W2897150585 hasRelatedWork W2605252895 @default.
- W2897150585 hasRelatedWork W2901805906 @default.
- W2897150585 hasRelatedWork W2996644378 @default.
- W2897150585 hasRelatedWork W3003508721 @default.
- W2897150585 hasRelatedWork W3005454894 @default.
- W2897150585 hasRelatedWork W3208924914 @default.
- W2897150585 hasRelatedWork W60445782 @default.
- W2897150585 hasRelatedWork W829876440 @default.
- W2897150585 hasRelatedWork W2579193537 @default.
- W2897150585 hasRelatedWork W2646533441 @default.
- W2897150585 hasRelatedWork W3084664354 @default.
- W2897150585 isParatext "false" @default.
- W2897150585 isRetracted "false" @default.
- W2897150585 magId "2897150585" @default.
- W2897150585 workType "article" @default.