Browse wiki

Jump to: navigation, search
CAV 1990
Acronym
CAV 1990  +
End date
June 21, 1990  +
Event in series
CAV +
Event type
Conference  +
Has coordinates
40° 29' 10", -74° 27' 7"Latitude: 40.486216666667
Longitude: -74.451816666667  +
Has location city
New Brunswick +
Has location country
Category:USA +
Has location state
New Jersey +
IsA
Event  +
Ordinal
2  +
Start date
June 18, 1990  +
Title
Computer Aided Verification  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
CAV 1990 + , CAV 1990 + , CAV 1990 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
15:49:18, 30 September 2016  +
Categories
Computer-Aided Verification , USA , Stand-alone event , Software engineering
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Saskia.Ernert +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
12:39:47, 9 February 2021  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:CAV-5F1990"