Changes between Version 7 and Version 8 of TemplateGenerics
- Timestamp:
- 06/30/08 15:29:26 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TemplateGenerics
v7 v8 1 1 [[PageOutline]] 2 2 = The elements of a template definition = 3 The purpose of this page is to give an overview of the elements that go into defining an ISO 15926 template in its ''generic'' form, by which is meant the definition of what it expresses, without consideration of practical implementation. A template is primarily defined in an implementation-agnostic form, using first-order logic. Implementations will attempt to capture such definitions.3 The purpose of this page is to give an overview of the elements that go into defining an ISO 15926 template in its ''generic'' form, by which is meant the definition of what it expresses, without consideration of practical implementation. A template is primarily defined in an implementation-agnostic form, using [http://en.wikipedia.org/wiki/First-order_logic first-order logic]. Implementations will attempt to capture such definitions. 4 4 5 5 The explanations given here are informal on purpose, and directed toward the practical use of templates. Formal-logical definitions to match will be provided in due course.
