About: temporal logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: temporal logic Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

System for representing and reasoning about time

Attributes	Values
rdf:type	Item
Den Store Danske ID	wds:Q781833-a36b0cb3-4f95-0851-cbde-d456a4c45d0f
Den Store Danske ID	tidslogik
owl:sameAs	temporal logic
description	System for representing and reasoning about time (en) věda, zabývající se studiem modelů času (cs) 時間との関連で問題を理解し表現するための規則と表記法の体系 (ja)
rdfs:label	Logika temporalna (pl) Temporaalilogiikka (fi) Temporale Logik (de) Temporálna logika (sk) Temporální logika (cs) Zamansal mantık (tr) logica temporale (it) logique temporelle (fr) lògica temporal (ca) lógica temporal (es) lógica temporal (pt) tempa logiko (eo) temporal logic (en) tidslogik (da) tijdslogica (nl) Χρονική λογική (el) Темпоральна логіка (uk) Темпоральная логика (ru) לוגיקת זמן (he) منطق زمانی (fa) 时间逻辑 (zh) 時相論理 (ja) 시간 논리 (ko)
skos:prefLabel	Logika temporalna (pl) Temporaalilogiikka (fi) Temporale Logik (de) Temporálna logika (sk) Temporální logika (cs) Zamansal mantık (tr) logica temporale (it) logique temporelle (fr) lògica temporal (ca) lógica temporal (es) lógica temporal (pt) tempa logiko (eo) temporal logic (en) tidslogik (da) tijdslogica (nl) Χρονική λογική (el) Темпоральна логіка (uk) Темпоральная логика (ru) לוגיקת זמן (he) منطق زمانی (fa) 时间逻辑 (zh) 時相論理 (ja) 시간 논리 (ko)
name	Logika temporalna (pl) Temporaalilogiikka (fi) Temporale Logik (de) Temporálna logika (sk) Temporální logika (cs) Zamansal mantık (tr) logica temporale (it) logique temporelle (fr) lògica temporal (ca) lógica temporal (es) lógica temporal (pt) tempa logiko (eo) temporal logic (en) tidslogik (da) tijdslogica (nl) Χρονική λογική (el) Темпоральна логіка (uk) Темпоральная логика (ru) לוגיקת זמן (he) منطق زمانی (fa) 时间逻辑 (zh) 時相論理 (ja) 시간 논리 (ko)
Freebase ID	wds:Q781833-AE37D43F-91CA-410D-8ECC-170BC076DF79
Freebase ID	/m/01vkqn
subclass of	wds:Q781833-986b20ae-437f-a7f6-5a5f-e16baf1fcf13
subclass of	mathematical logic
Encyclopædia Britannica Online ID	wds:Q781833-5EEB2647-87F5-49B8-9AD9-F05FD4E1D624
Encyclopædia Britannica Online ID	topic/temporal-logic
nLab ID	wds:Q781833-72AFCC58-B743-4401-A60C-7AC906360A65
nLab ID	temporal logic
Dictionary of Algo...ata Structures ID	wds:Q781833-52EF8D2A-4D8C-4C26-B8FF-FD757BDAA990
Dictionary of Algo...ata Structures ID	temporllogic
Commons category	wds:Q781833-2ab60964-4804-f267-c6f2-a055d166412e
Commons category	Temporal logic
skos:altLabel	logica temporal (es) temporallogik (da)
OpenAlex ID	wds:Q781833-C9B8DF29-5612-4625-8EA0-CCFE5E86C0D0
Great Russian Ency... ID (old version)	wds:Q781833-5809e97d-42d2-a765-9ca9-6a0d67c48ef7
PhilPapers topic	wds:Q781833-80DEE7C7-61CF-4363-A00C-DBB934785DFF
Quora topic ID	wds:Q781833-57F82CEC-921B-4B26-A051-BDD9F6D112C2
JSTOR topic ID	wds:Q781833-E3C5E568-029D-44CA-838A-C8623552D00E
Microsoft Academic ID	wds:Q781833-2BDA5E89-2C13-47C1-80B0-EDDE5B73616E
ProofWiki ID	wds:Q781833-dfe199f7-4e8f-fdc2-889f-a950c3f1140c
KBpedia ID	wds:Q781833-087444EA-C3D2-4A4F-BE57-308E0F36FA97
topic's main category	wds:Q781833-30E24D71-AEB6-4723-BDB4-85A964C41C0A
Microsoft Academic ID	https://makg.org/entity/25016198

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 180 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software