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

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

Namespace Prefixes

PrefixIRI
n11http://linked.opendata.cz/resource/domain/vavai/cep/soutez/
n8http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/
dctermshttp://purl.org/dc/terms/
n4http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/
n3http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/cep/obor/
n6http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/
n7http://linked.opendata.cz/resource/domain/vavai/cep/faze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/resource/domain/vavai/cep/typ/
n10http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/
xsdhhttp://www.w3.org/2001/XMLSchema#
n2http://linked.opendata.cz/resource/domain/vavai/cep/projekt/AV0/

Statements

Subject Item
n2:IAA1019508
rdf:type
n3:Projekt
dcterms:description
Plánujeme studovat intervaly ve svazech podgrup konečných jednoduchých grup, zejména sporadických, s cílem vyloučit určité svazy délky 2 jako možné příklady těchto intervalů. Tyto výsledky kombinované s nedávnými výsledky A. Lucchiniho a R.W. Baddeleyho by měly přinést velké zlepšení v našich znalostech struktury obecných konečných algeber. Také plánujeme zkoumat vlastnost rozšiřování kongruencí pro konečné svazy, která hrála nedávno podstatnou roli při řešení různých problémů o svazech kongruencí algeber daného typu. Také budeme zkoumat perfektní báze rovnicových teorií a jejich těsný vztah k široce diskutovanému pojmu systémů přepisujících termy. Budeme se snažit vyřešit některé z problémů, které zůstaly nezodpovězené v pracech Ježka, McNultyho,Freeseho a Nationa.
dcterms:title
Kombinatoricko-logické problémy obecných algebraických struktur Combinatorical and logical problems of general algebraic structures
n3:druh-souteze
n6:
n3:faze
n7:19719487
n3:hlavni-obor
n12:BA
n3:id-aktivity
n4:IA
n3:id-souteze
n11:
n3:kategorie
n8:0
n3:pocet-koordinujicich-prijemcu
0
n3:poskytovatel
n10:AV0
n3:statni-podpora
117
n3:typProjektu
n9:P
n3:uznane-naklady
117
n3:pocet-prijemcu
1
n3:pocet-spoluprijemcu
0
n3:pocet-vysledku
0
n3:pocet-vysledku-zverejnovanych
0