signature
data that describes the non-logical symbols of a theory
| rdfs:label |
"signature"@en
|
|
skos:alt |
"signature (logic)"@en
|
| schema:description |
"data that describes the non-logical symbols of a theory"@en
|
|
schema:date |
"2026-10-01T20:28:56+00:00"^^xsd:dateTime |
| schema:version | 2551907515 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 14 |
| wikibase:statements | 7 |
| p:P1269 | wd:statement/Q741810-A2E75915-394F-4D5C-BA6E-9279F8D892C7 |
| p:P2579 | wd:statement/Q741810-1033FAC1-20CE-4E91-BE0F-9A53F95A82C3 |
| wd:statement/Q741810-268F9197-0B80-4750-A756-9F2B635AD576 | |
| wd:statement/Q741810-b2bd0da7-47e8-fa58-23e7-b62d0286f732 | |
| p:P31 | wd:statement/Q741810-3543E3DA-5214-4F37-8502-D8068736FEB1 |
| p:P6366 | wd:statement/Q741810-58379389-0324-454A-A5A2-CED03AEE34C8 |
| p:P646 | wd:statement/Q741810-FA79A770-F7D7-4F91-BD5A-7258F443AC01 |
|
p:direct- |
<https:/ |
| wdt:P1269 | mathematical logic |
| wdt:P2579 | mathematical logic |
| universal algebra | |
| category theory | |
| wdt:P31 | specialized term |
| wdt:P6366 | "147937185" |
| wdt:P646 | "/m/026d0pn" |
Download as: