This HTML5 document contains 113 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wdthttp://www.wikidata.org/prop/direct/
wdtnhttp://www.wikidata.org/prop/direct-normalized/
n5http://msc2010.org/resources/MSC/2010/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rchttp://kbpedia.org/kko/rc/
wikibasehttp://wikiba.se/ontology#
phttp://www.wikidata.org/prop/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14https://makg.org/entity/
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
dbpediahttp://dbpedia.org/resource/
wdhttp://www.wikidata.org/entity/

Statements

Subject Item
wd:Q781833
rdf:type
wikibase:Item
p:P8313
wds:Q781833-a36b0cb3-4f95-0851-cbde-d456a4c45d0f
wdt:P8313
tidslogik
owl:sameAs
dbpedia:Temporal_logic
schema:description
時間との関連で問題を理解し表現するための規則と表記法の体系 věda, zabývající se studiem modelů času System for representing and reasoning about time
rdfs:label
منطق زمانی Temporální logika lógica temporal 시간 논리 Logika temporalna לוגיקת זמן Temporálna logika Χρονική λογική tempa logiko lògica temporal tijdslogica 时间逻辑 tidslogik temporal logic logica temporale Zamansal mantık Temporaalilogiikka lógica temporal logique temporelle Темпоральная логика 時相論理 Темпоральна логіка Temporale Logik
skos:prefLabel
Temporale Logik 時相論理 temporal logic לוגיקת זמן Temporaalilogiikka Temporální logika Temporálna logika منطق زمانی logica temporale lògica temporal Χρονική λογική logique temporelle tijdslogica lógica temporal tidslogik Темпоральная логика 时间逻辑 tempa logiko Темпоральна логіка Logika temporalna lógica temporal 시간 논리 Zamansal mantık
schema:name
lógica temporal Темпоральна логіка Temporaalilogiikka 时间逻辑 tempa logiko 시간 논리 Zamansal mantık 時相論理 Temporale Logik temporal logic lògica temporal logique temporelle Temporální logika Χρονική λογική Logika temporalna Temporálna logika منطق زمانی lógica temporal לוגיקת זמן tijdslogica tidslogik logica temporale Темпоральная логика
p:P646
wds:Q781833-AE37D43F-91CA-410D-8ECC-170BC076DF79
wdt:P646
/m/01vkqn
p:P279
wds:Q781833-986b20ae-437f-a7f6-5a5f-e16baf1fcf13
wdt:P279
wd:Q1166618
p:P1417
wds:Q781833-5EEB2647-87F5-49B8-9AD9-F05FD4E1D624
wdt:P1417
topic/temporal-logic
p:P4215
wds:Q781833-72AFCC58-B743-4401-A60C-7AC906360A65
wdt:P4215
temporal logic
p:P5106
wds:Q781833-52EF8D2A-4D8C-4C26-B8FF-FD757BDAA990
wdt:P5106
temporllogic
p:P373
wds:Q781833-2ab60964-4804-f267-c6f2-a055d166412e
wdt:P373
Temporal logic
skos:altLabel
logica temporal temporallogik
p:P10283
wds:Q781833-C9B8DF29-5612-4625-8EA0-CCFE5E86C0D0
p:P2924
wds:Q781833-5809e97d-42d2-a765-9ca9-6a0d67c48ef7
p:P3235
wds:Q781833-80DEE7C7-61CF-4363-A00C-DBB934785DFF
p:P3417
wds:Q781833-57F82CEC-921B-4B26-A051-BDD9F6D112C2
p:P3827
wds:Q781833-E3C5E568-029D-44CA-838A-C8623552D00E
p:P6366
wds:Q781833-2BDA5E89-2C13-47C1-80B0-EDDE5B73616E
p:P6781
wds:Q781833-dfe199f7-4e8f-fdc2-889f-a950c3f1140c
p:P8408
wds:Q781833-087444EA-C3D2-4A4F-BE57-308E0F36FA97
p:P910
wds:Q781833-30E24D71-AEB6-4723-BDB4-85A964C41C0A
wdtn:P6366
n14:25016198
wdtn:P8408
rc:TenseLogic
wdt:P10283
C25016198
wdt:P2924
2333589
wdt:P3235
temporal-logic
wdt:P3417
Temporal-Logic
wdt:P3827
tense-logic
wdt:P6366
25016198
wdt:P6781
Definition:Temporal_Logic
wdt:P8408
TenseLogic
wdt:P910
wd:Q8842299
p:P3285
wds:Q781833-2fcf0f0e-4b33-83c7-a195-636de65655ca
wdtn:P3285
n5:03B44
wdt:P3285
03B44