<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://groupprops.subwiki.org/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://groupprops.subwiki.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2010-03-17T19:15:22-07:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Extensible_automorphisms_problem">
		<rdfs:label>Extensible automorphisms problem</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Extensible_automorphisms_problem"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Extensible_automorphisms_problem"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Conjecture or open problem</property:Page_class>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Extensible_partial_automorphism">
		<rdfs:label>Extensible partial automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Extensible_partial_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Extensible_partial_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Extensible_local_isomorphism">
		<rdfs:label>Extensible local isomorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Extensible_local_isomorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Extensible_local_isomorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Group_property-2Dconditionally_quotient-2Dpullbackable_automorphism">
		<rdfs:label>Group property-conditionally quotient-pullbackable automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Group_property-conditionally_quotient-pullbackable_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Group_property-conditionally_quotient-pullbackable_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Abelian-2Dextensible_automorphism">
		<rdfs:label>Abelian-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Abelian-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Abelian-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CS-2Dextensible_automorphism">
		<rdfs:label>CS-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CS-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CS-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CS-2Dpushforwardable_automorphism">
		<rdfs:label>CS-pushforwardable automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CS-pushforwardable_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CS-pushforwardable_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Chain-2Dextensible_automorphism">
		<rdfs:label>Chain-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Chain-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Chain-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Characteristic-2Dextensible_automorphism">
		<rdfs:label>Characteristic-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Characteristic-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Characteristic-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Characteristic-2Dsemidirectly_extensible_automorphism">
		<rdfs:label>Characteristic-semidirectly extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Characteristic-semidirectly_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Characteristic-semidirectly_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Diagram-2Dextensible_automorphism">
		<rdfs:label>Diagram-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Diagram-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Diagram-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Extensibility_operator">
		<rdfs:label>Extensibility operator</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Extensibility_operator"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Extensibility_operator"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Finite-2Dextensible_automorphism">
		<rdfs:label>Finite-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Finite-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Finite-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Finite-2Diteratively_extensible_automorphism">
		<rdfs:label>Finite-iteratively extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Finite-iteratively_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Finite-iteratively_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Linearly_extensible_automorphism">
		<rdfs:label>Linearly extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Linearly_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Linearly_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Linearly_pushforwardable_automorphism">
		<rdfs:label>Linearly pushforwardable automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Linearly_pushforwardable_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Linearly_pushforwardable_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Nilpotent-2Dextensible_automorphism">
		<rdfs:label>Nilpotent-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Nilpotent-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Nilpotent-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal-2Dextensible_automorphism">
		<rdfs:label>Normal-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Potentially_characteristic-2Dsemidirectly_extensible_automorphism">
		<rdfs:label>Potentially characteristic-semidirectly extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Potentially_characteristic-semidirectly_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Potentially_characteristic-semidirectly_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Prime_set-2Dextensible_automorphism">
		<rdfs:label>Prime set-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Prime_set-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Prime_set-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Semidirectly_extensible_automorphism">
		<rdfs:label>Semidirectly extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Semidirectly_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Semidirectly_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Solvable-2Dextensible_automorphism">
		<rdfs:label>Solvable-extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Solvable-extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Solvable-extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Hall-2Dsemidirectly_extensible_automorphism">
		<rdfs:label>Hall-semidirectly extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Hall-semidirectly_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Hall-semidirectly_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Group_property-2Dconditionally_extensible_automorphism">
		<rdfs:label>Group property-conditionally extensible automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Group_property-conditionally_extensible_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Group_property-conditionally_extensible_automorphism"/>
		<property:Term_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Finite-2Dcharacteristic-2Dsemidirectly_extensible_implies_linearly_pushforwardable_over_prime_field">
		<rdfs:label>Finite-characteristic-semidirectly extensible implies linearly pushforwardable over prime field</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Finite-characteristic-semidirectly_extensible_implies_linearly_pushforwardable_over_prime_field"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Finite-characteristic-semidirectly_extensible_implies_linearly_pushforwardable_over_prime_field"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Finite-2Dextensible_implies_class-2Dpreserving">
		<rdfs:label>Finite-extensible implies class-preserving</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Finite-extensible_implies_class-preserving"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Finite-extensible_implies_class-preserving"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Finite-2Dextensible_endomorphism_implies_trivial_or_automorphism">
		<rdfs:label>Finite-extensible endomorphism implies trivial or automorphism</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Finite-extensible_endomorphism_implies_trivial_or_automorphism"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Finite-extensible_endomorphism_implies_trivial_or_automorphism"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Extensible_equals_inner">
		<rdfs:label>Extensible equals inner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Extensible_equals_inner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Extensible_equals_inner"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Quotient-2Dpullbackable_equals_inner">
		<rdfs:label>Quotient-pullbackable equals inner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Quotient-pullbackable_equals_inner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Quotient-pullbackable_equals_inner"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Pushforwardable_equals_inner">
		<rdfs:label>Pushforwardable equals inner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Pushforwardable_equals_inner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Pushforwardable_equals_inner"/>
		<property:Fact_related_to rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Interpretation_of_the_extensible_automorphisms_problem_using_universal_algebra_and_model_theory">
		<rdfs:label>Interpretation of the extensible automorphisms problem using universal algebra and model theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Interpretation_of_the_extensible_automorphisms_problem_using_universal_algebra_and_model_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Interpretation_of_the_extensible_automorphisms_problem_using_universal_algebra_and_model_theory"/>
		<property:Survey_article_about rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Destroying_outer_automorphisms">
		<rdfs:label>Destroying outer automorphisms</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Destroying_outer_automorphisms"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Destroying_outer_automorphisms"/>
		<property:Survey_article_about rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Using_group_actions_and_representations_to_solve_the_extensible_automorphisms_problem">
		<rdfs:label>Using group actions and representations to solve the extensible automorphisms problem</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Using_group_actions_and_representations_to_solve_the_extensible_automorphisms_problem"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Using_group_actions_and_representations_to_solve_the_extensible_automorphisms_problem"/>
		<property:Survey_article_about rdf:resource="&wiki;Extensible_automorphisms_problem"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Survey_article_about">
		<rdfs:label>Survey article about</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Survey_article_about"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Survey_article_about"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Fact_related_to">
		<rdfs:label>Fact related to</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Fact_related_to"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Fact_related_to"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Term_related_to">
		<rdfs:label>Term related to</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Term_related_to"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Term_related_to"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Page_class">
		<rdfs:label>Page class</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Page_class"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Page_class"/>
	</owl:DatatypeProperty>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>