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:
Semantics of the Axiom (Schema) of Comprehension
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
Semantics of the axiom (schema) of comprehension within transparent intensional logic.
Semantics of the axiom (schema) of comprehension within transparent intensional logic.
(en)
Title
Semantics of the Axiom (Schema) of Comprehension
Semantics of the Axiom (Schema) of Comprehension
(en)
skos:prefLabel
Semantics of the Axiom (Schema) of Comprehension
Semantics of the Axiom (Schema) of Comprehension
(en)
skos:notation
RIV/00216224:14330/07:00029855!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA401/04/0117), P(GA401/99/0006), Z(AV0Z90090514)
http://linked.open...vai/riv/dodaniDat
2010
http://linked.open...aciTvurceVysledku
Materna, Pavel
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
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
Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku
449367
http://linked.open...ai/riv/idVysledku
RIV/00216224:14330/07:00029855
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
axiom of comprehension * property * concept
(en)
http://linked.open.../riv/klicoveSlovo
axiom of comprehension * property * concept
http://linked.open...ontrolniKodProRIV
[A659E7AC886C]
http://linked.open...v/mistoKonaniAkce
2005, Hejnice
http://linked.open...i/riv/mistoVydani
Praha
http://linked.open...i/riv/nazevZdroje
The Logica Yearbook 2006
http://linked.open...in/vavai/riv/obor
AA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
LOGICA 2004-2006: a comprehensive project combining research, organisation and publication programmes in lpgic
Role konstrukcí v ´transparentní intensionální logice ´
http://linked.open...UplatneniVysledku
2007
http://linked.open...iv/tvurceVysledku
Materna, Pavel
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2007-01-01
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
number of pages
11
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Filosofia
https://schema.org/isbn
978-80-7007-254-7
http://localhost/t...ganizacniJednotka
14330
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