Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Automated Theorem Proving in Quasigroup and Loop Theory
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers.
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers.
(en)
Title
Automated Theorem Proving in Quasigroup and Loop Theory
Automated Theorem Proving in Quasigroup and Loop Theory
(en)
skos:prefLabel
Automated Theorem Proving in Quasigroup and Loop Theory
Automated Theorem Proving in Quasigroup and Loop Theory
(en)
skos:notation
RIV/00216208:11320/10:10050432!RIV11-GA0-11320___
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GP201/08/P056), Z(MSM0021620839)
http://linked.open...iv/cisloPeriodika
2-3
http://linked.open...vai/riv/dodaniDat
2011
http://linked.open...aciTvurceVysledku
Stanovský, David
http://linked.open.../riv/druhVysledku
J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku
248170
http://linked.open...ai/riv/idVysledku
RIV/00216208:11320/10:10050432
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Theory; Loop; and; Quasigroup; Proving; Theorem; Automated
(en)
http://linked.open.../riv/klicoveSlovo
Proving
Theorem
Theory
Automated
Quasigroup
and
Loop
http://linked.open...odStatuVydavatele
NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
[0462E717EB40]
http://linked.open...i/riv/nazevZdroje
AI Communications
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
2
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Algorithmic and structural problems of equational logic
http://linked.open...UplatneniVysledku
2010
http://linked.open...v/svazekPeriodika
23
http://linked.open...iv/tvurceVysledku
Stanovský, David
Phillips, J. D.
http://linked.open...ain/vavai/riv/wos
000275821600011
http://linked.open...n/vavai/riv/zamer
Metody moderní matematiky a jejich aplikace
issn
0921-7126
number of pages
17
(
xsd:int
)
http://localhost/t...ganizacniJednotka
11320
is
http://linked.open...avai/riv/vysledek
of
Automated Theorem Proving in Quasigroup and Loop Theory
Automated Theorem Proving in Quasigroup and Loop Theory
Automated Theorem Proving in Quasigroup and Loop Theory
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software