Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297062034> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- W4297062034 created "2022-09-26" @default.
- W4297062034 creator A5059839916 @default.
- W4297062034 creator A5091558153 @default.
- W4297062034 date "2003-01-01" @default.
- W4297062034 modified "2023-10-18" @default.
- W4297062034 title "Formalising an Integrated Language in PVS" @default.
- W4297062034 hasPublicationYear "2003" @default.
- W4297062034 type Work @default.
- W4297062034 citedByCount "0" @default.
- W4297062034 crossrefType "proceedings-article" @default.
- W4297062034 hasAuthorship W4297062034A5059839916 @default.
- W4297062034 hasAuthorship W4297062034A5091558153 @default.
- W4297062034 hasConcept C199360897 @default.
- W4297062034 hasConcept C41008148 @default.
- W4297062034 hasConceptScore W4297062034C199360897 @default.
- W4297062034 hasConceptScore W4297062034C41008148 @default.
- W4297062034 hasLocation W42970620341 @default.
- W4297062034 hasLocation W42970620342 @default.
- W4297062034 hasOpenAccess W4297062034 @default.
- W4297062034 hasPrimaryLocation W42970620341 @default.
- W4297062034 hasRelatedWork W2104078272 @default.
- W4297062034 hasRelatedWork W2112962394 @default.
- W4297062034 hasRelatedWork W2118300983 @default.
- W4297062034 hasRelatedWork W2166247150 @default.
- W4297062034 hasRelatedWork W2382501300 @default.
- W4297062034 hasRelatedWork W3137189469 @default.
- W4297062034 hasRelatedWork W3162240892 @default.
- W4297062034 hasRelatedWork W4235530921 @default.
- W4297062034 hasRelatedWork W4243252198 @default.
- W4297062034 hasRelatedWork W4245713008 @default.
- W4297062034 isParatext "false" @default.
- W4297062034 isRetracted "false" @default.
- W4297062034 workType "article" @default.