<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/strany>	"5-14" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/obor>	<http://linked.opendata.cz/ontology/domain/vavai/riv/obor/BA> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/J> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/idVysledku>	"RIV/60076658:_____/02:00004243" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/tvurceVysledku>	"Pech, Pavel" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://purl.org/dc/terms/description>	"Teorie automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt je u\u017Eita v element\u00E1rn\u00ED geometrii. B\u011B\u017En\u00FD zp\u016Fsob u\u017Eit\u00ED t\u00E9to teorie spo\u010D\u00EDv\u00E1 v dokaz\u00E1n\u00ED \u010Di vyvr\u00E1cen\u00ED n\u011Bjak\u00E9ho tvrzen\u00ED element\u00E1rn\u00ED geometrie. V tomto p\u0159\u00EDsp\u011Bvku je zd\u016Frazn\u011Bno objevov\u00E1n\u00ED v\u011Bt, \u010D\u00EDm\u017E je my\u0161leno hled\u00E1n\u00ED dodate\u010Dn\u00FDch p\u0159edpoklad\u016F, kter\u00E9 je nutn\u00E9 p\u0159idat ke geometrick\u00E9mu tvrzen\u00ED (kter\u00E9 obecn\u011B neplat\u00ED) tak aby dan\u00E9 tvrzen\u00ED platilo. Hlavn\u00EDm prost\u0159edkem je proces eliminace prom\u011Bnn\u00FDch. Jsou vy\u0161et\u0159ov\u00E1ny n\u011Bkter\u00E9 formule z geometrie troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju>	<http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/S> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/Z> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/kodStatuVydavatele>	"CZ - \u010Cesk\u00E1 republika" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://www.w3.org/2004/02/skos/core#notation>	"RIV/60076658:_____/02:00004243!RIV/2003/MSM/120003/N" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/elimination%20of%20variables> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/domaciTvurceVysledku>	<http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/6370950> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://purl.org/dc/terms/description>	"Teorie automatick\u00E9ho dokazov\u00E1n\u00ED v\u011Bt je u\u017Eita v element\u00E1rn\u00ED geometrii. B\u011B\u017En\u00FD zp\u016Fsob u\u017Eit\u00ED t\u00E9to teorie spo\u010D\u00EDv\u00E1 v dokaz\u00E1n\u00ED \u010Di vyvr\u00E1cen\u00ED n\u011Bjak\u00E9ho tvrzen\u00ED element\u00E1rn\u00ED geometrie. V tomto p\u0159\u00EDsp\u011Bvku je zd\u016Frazn\u011Bno objevov\u00E1n\u00ED v\u011Bt, \u010D\u00EDm\u017E je my\u0161leno hled\u00E1n\u00ED dodate\u010Dn\u00FDch p\u0159edpoklad\u016F, kter\u00E9 je nutn\u00E9 p\u0159idat ke geometrick\u00E9mu tvrzen\u00ED (kter\u00E9 obecn\u011B neplat\u00ED) tak aby dan\u00E9 tvrzen\u00ED platilo. Hlavn\u00EDm prost\u0159edkem je proces eliminace prom\u011Bnn\u00FDch. Jsou vy\u0161et\u0159ov\u00E1ny n\u011Bkter\u00E9 formule z geometrie troj\u00FAheln\u00EDka a \u010Dty\u0159\u00FAheln\u00EDka"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetDomacichTvurcuVysledku>	"1"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/cisloPeriodika>	"1" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicovaSlova>	"Automatic theorem proving, Gr\u00F6bner bases, elimination of variables"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Elimination of Variables as a Proof Technique"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://schema.org/issn>	"1210-809X" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/dodaniDat>	<http://reference.data.gov.uk/id/gregorian-year/2003> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/entitaPredkladatele>	<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN/predkladatel> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/Gr%C3%B6bner%20bases> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetZahranicnichUcastnikuAkce>	"0"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/nazevZdroje>	". Mundus Symbolicus" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetTvurcuVysledku>	"1"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetUcastnikuAkce>	"0"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/zamer>	<http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20124100006> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivity>	"Z(MSM 124100006)" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku>	<http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/eng> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/rokUplatneniVysledku>	<http://reference.data.gov.uk/id/gregorian-year/2002> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://schema.org/numberOfPages>	"15"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://purl.org/dc/terms/title>	"Elimination of Variables as a Proof Technique"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Elimination of Variables as a Proof Technique" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://purl.org/dc/terms/title>	"Elimination of Variables as a Proof Technique" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/Automatic%20theorem%20proving> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/svazekPeriodika>	"10" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2004/02/skos/core#Concept> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://linked.opendata.cz/ontology/domain/vavai/Vysledek> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/idSjednocenehoVysledku>	"644906" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN>	<http://linked.opendata.cz/ontology/domain/vavai/riv/kontrolniKodProRIV>	"[E689B206CEF6]" .