content/zettel/3d2b1c.md


1
2
3
4
5
6
7
8
9
10
11
12
13

+++
title = "Operation Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1b"]
forwardlinks = ["3d2b1d"]
zettelid = "3d2b1c"
+++

This table consists of various uninterpreted functions that are used
within the theories, together with their types.