Real- or imagined-world items and data

章节
发表日期：

2024年

查看全文

Peter Fettke,
Wolfgang Reisig

摘要

For a systematic treatment of real- or imagined-world items and data, the notion of structures is suggested, as well-known from Predicate logic. This includes domains as a basis of predicates and functions.