| Subject | Predicate | Object |
|---|
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | https://uni-tuebingen.de/germanet/v19/synset/ |
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | http://purl.org/dc/terms/identifier | s12532 |
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/category | nomen |
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/class | Artefakt |
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/hasMember |
https://uni-tuebingen.de/germanet/v19/lexUnit/l17331
|
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/hasParaphrase | Beweisverfahren der Logik, das u. a. in der Informatik verwendet wird |
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/has_hypernym |
https://uni-tuebingen.de/germanet/v19/synset/s12378
|
| https://uni-tuebingen.de/germanet/v19/synset/s12532 | https://uni-tuebingen.de/germanet/v19/has_hypernym |
https://uni-tuebingen.de/germanet/v19/synset/s28638
|