Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
logic in computer science
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
wikibase:Item
, within Data Space :
wikidata.demo.openlinksw.com
associated with source
document(s)
Type:
Item
New Facet based on Instances of this Class
academic discipline
Attributes
Values
rdf:type
Item
owl:sameAs
logic in computer science
description
academic discipline
(en)
رشته دانشگاهی
(fa)
rdfs:label
logic in computer science
(en)
lógica en ciencias de la computación
(es)
lógica na ciência da computação
(pt)
Логика в информатике
(ru)
Логіка в інформатиці
(uk)
лёгіка ў інфарматыцы
(be-tarask)
المنطق في علوم الحاسب
(ar)
منطق در علوم کامپیوتر
(fa)
計算機科学における数学
(ja)
計算機邏輯
(zh-hant)
计算机逻辑
(zh)
计算机逻辑
(zh-hans)
運算邏輯
(yue)
電腦邏輯
(zh-hk)
電腦邏輯
(zh-tw)
skos:prefLabel
logic in computer science
(en)
lógica en ciencias de la computación
(es)
lógica na ciência da computação
(pt)
Логика в информатике
(ru)
Логіка в інформатиці
(uk)
лёгіка ў інфарматыцы
(be-tarask)
المنطق في علوم الحاسب
(ar)
منطق در علوم کامپیوتر
(fa)
計算機科学における数学
(ja)
計算機邏輯
(zh-hant)
计算机逻辑
(zh)
计算机逻辑
(zh-hans)
運算邏輯
(yue)
電腦邏輯
(zh-hk)
電腦邏輯
(zh-tw)
name
logic in computer science
(en)
lógica en ciencias de la computación
(es)
lógica na ciência da computação
(pt)
Логика в информатике
(ru)
Логіка в інформатиці
(uk)
лёгіка ў інфарматыцы
(be-tarask)
المنطق في علوم الحاسب
(ar)
منطق در علوم کامپیوتر
(fa)
計算機科学における数学
(ja)
計算機邏輯
(zh-hant)
计算机逻辑
(zh)
计算机逻辑
(zh-hans)
運算邏輯
(yue)
電腦邏輯
(zh-hk)
電腦邏輯
(zh-tw)
said to be the same as
wds:Q2651693-6644e549-4eab-57f8-907c-b31926ab21ea
said to be the same as
computational logic
subclass of
wds:Q2651693-751e5092-4a9b-2f35-30e5-e10d6ddc8634
wds:Q2651693-cae1f98c-46bd-9fb0-1599-47b1d87f00c9
subclass of
computer science
logic
skos:altLabel
Логика в компьютерных науках
(ru)
計算機科学におけるロジック
(ja)
計算機科学における論理学
(ja)
電腦邏輯
(zh)
Encyclopedia of China (Third Edition) ID
wds:Q2651693-316AC393-CC4E-458C-99A5-C71DDFFFE05F
Microsoft Academic ID
wds:Q2651693-277ABC7E-CE7D-46DE-AA26-5A583E286795
topic's main category
wds:Q2651693-5C6FB182-758D-4A1D-AE22-342A94155A50
Microsoft Academic ID
https://makg.org/entity/2779740250
Encyclopedia of China (Third Edition) ID
218532
Microsoft Academic ID
2779740250
topic's main category
Category:Logic in computer science
Mathematics Subject Classification ID
wds:Q2651693-6ec84ac7-40e4-b2b4-b44c-16f397c77551
Mathematics Subject Classification ID
http://msc2010.org/resources/MSC/2010/03B70
Mathematics Subject Classification ID
03B70
is
field of work
of
Franz Baader
is
field of work
of
wds:Q92729-7712e538-46f4-e9a4-5ec9-dc22f1960b62
is
about
of
logic in computer science
https://www.wikidata.org/wiki/Special:EntityData/Q2651693
Logic in computer science
https://zh.wikipedia.org/wiki/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%80%BB%E8%BE%91
https://ar.wikipedia.org/wiki/%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D9%81%D9%8A_%D8%B9%D9%84%D9%88%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8
https://fa.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%D8%B9%D9%84%D9%88%D9%85_%DA%A9%D8%A7%D9%85%D9%BE%DB%8C%D9%88%D8%AA%D8%B1
https://pt.wikipedia.org/wiki/L%C3%B3gica_na_ci%C3%AAncia_da_computa%C3%A7%C3%A3o
https://uk.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%B2_%D1%96%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D1%86%D1%96
https://zh-yue.wikipedia.org/wiki/%E9%81%8B%E7%AE%97%E9%82%8F%E8%BC%AF
is
said to be the same as
of
computational logic
is
said to be the same as
of
wds:Q5157327-81b3d75b-4553-5494-6dc8-6c04a1e916af
is
main subject
of
Symposium on Logic in Computer Science
Shapes in Graph Data: Theory and Implementation
is
main subject
of
wds:Q124765036-fa2d940d-496e-243c-2105-e3a6968e996d
wds:Q5970489-2ee6afd4-4423-18e3-1211-4605fb8765bd
is
category's main topic
of
Category:Logic in computer science
is
category's main topic
of
wds:Q7464734-DE42BFD7-1F51-41C8-B714-450005BFC263
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, 188 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software