Gert Smolka
type: Ontology
creation date: 2026-08-06T12:11:06+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Gert Smolka
type: Subject
type: Category:Symbolic Algebraist
page: http://172.234.217.245/w/index.php/Gert_Smolka
wiki namespace: 0
wiki page content language: en
coauthored with: Jos‚àö¬© Meseguer
coauthored with: Hassan A‚àö√òt-Kaci
has wikidata item ID: Q1515343
wiki page modification date: 2025-07-10T14:21:13Z
modification date#aux: 2460867.0980671
wiki page sort key: Gert Smolka

Hassan A‚àö√òt-Kaci
type: Subject
page: http://172.234.217.245/w/index.php/Hassan_A‚àö√òt-2DKaci
wiki namespace: 0
wiki page content language: en
coauthored with: Gert Smolka
wiki page sort key: Hassan A‚àö√òt-Kaci

Joseph A. Goguen
type: Subject
page: http://172.234.217.245/w/index.php/Joseph_A._Goguen
wiki namespace: 0
wiki page content language: en
coauthored with: Gert Smolka
wiki page sort key: Joseph A. Goguen

CoauthoredWith
type: ObjectProperty
page: http://172.234.217.245/w/index.php/Property-3ACoauthoredWith
wiki namespace: 102
wiki page content language: en
wiki page sort key: CoauthoredWith