Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022346422> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2022346422 endingPage "9" @default.
- W2022346422 startingPage "1" @default.
- W2022346422 created "2016-06-24" @default.
- W2022346422 creator A5008518392 @default.
- W2022346422 date "2005-01-01" @default.
- W2022346422 modified "2023-09-26" @default.
- W2022346422 title "Symbolic method of verification of definite iterations over altered data structures" @default.
- W2022346422 cites W1495368328 @default.
- W2022346422 cites W2034711041 @default.
- W2022346422 cites W2048168398 @default.
- W2022346422 cites W2098331194 @default.
- W2022346422 cites W2113318176 @default.
- W2022346422 cites W2120897738 @default.
- W2022346422 cites W2152588353 @default.
- W2022346422 cites W2987907651 @default.
- W2022346422 cites W3106729728 @default.
- W2022346422 doi "https://doi.org/10.1007/s11086-005-0007-7" @default.
- W2022346422 hasPublicationYear "2005" @default.
- W2022346422 type Work @default.
- W2022346422 sameAs 2022346422 @default.
- W2022346422 citedByCount "4" @default.
- W2022346422 countsByYear W20223464222020 @default.
- W2022346422 countsByYear W20223464222022 @default.
- W2022346422 countsByYear W20223464222023 @default.
- W2022346422 crossrefType "journal-article" @default.
- W2022346422 hasAuthorship W2022346422A5008518392 @default.
- W2022346422 hasConcept C111335779 @default.
- W2022346422 hasConcept C11413529 @default.
- W2022346422 hasConcept C134306372 @default.
- W2022346422 hasConcept C177148314 @default.
- W2022346422 hasConcept C17744445 @default.
- W2022346422 hasConcept C199539241 @default.
- W2022346422 hasConcept C200288055 @default.
- W2022346422 hasConcept C2524010 @default.
- W2022346422 hasConcept C2777026412 @default.
- W2022346422 hasConcept C33923547 @default.
- W2022346422 hasConcept C36503486 @default.
- W2022346422 hasConcept C41008148 @default.
- W2022346422 hasConcept C65620979 @default.
- W2022346422 hasConcept C80444323 @default.
- W2022346422 hasConceptScore W2022346422C111335779 @default.
- W2022346422 hasConceptScore W2022346422C11413529 @default.
- W2022346422 hasConceptScore W2022346422C134306372 @default.
- W2022346422 hasConceptScore W2022346422C177148314 @default.
- W2022346422 hasConceptScore W2022346422C17744445 @default.
- W2022346422 hasConceptScore W2022346422C199539241 @default.
- W2022346422 hasConceptScore W2022346422C200288055 @default.
- W2022346422 hasConceptScore W2022346422C2524010 @default.
- W2022346422 hasConceptScore W2022346422C2777026412 @default.
- W2022346422 hasConceptScore W2022346422C33923547 @default.
- W2022346422 hasConceptScore W2022346422C36503486 @default.
- W2022346422 hasConceptScore W2022346422C41008148 @default.
- W2022346422 hasConceptScore W2022346422C65620979 @default.
- W2022346422 hasConceptScore W2022346422C80444323 @default.
- W2022346422 hasIssue "1" @default.
- W2022346422 hasLocation W20223464221 @default.
- W2022346422 hasOpenAccess W2022346422 @default.
- W2022346422 hasPrimaryLocation W20223464221 @default.
- W2022346422 hasRelatedWork W1493324536 @default.
- W2022346422 hasRelatedWork W1517818844 @default.
- W2022346422 hasRelatedWork W2259789127 @default.
- W2022346422 hasRelatedWork W2352590024 @default.
- W2022346422 hasRelatedWork W2443446789 @default.
- W2022346422 hasRelatedWork W2562720945 @default.
- W2022346422 hasRelatedWork W2623347760 @default.
- W2022346422 hasRelatedWork W2885094885 @default.
- W2022346422 hasRelatedWork W2944952970 @default.
- W2022346422 hasRelatedWork W303980170 @default.
- W2022346422 hasVolume "31" @default.
- W2022346422 isParatext "false" @default.
- W2022346422 isRetracted "false" @default.
- W2022346422 magId "2022346422" @default.
- W2022346422 workType "article" @default.