@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <https://portal.mardi4nfdi.de/entity/> .
@prefix data: <https://portal.mardi4nfdi.de/wiki/Special:EntityData/> .
@prefix wds: <https://portal.mardi4nfdi.de/entity/statement/> .
@prefix wdref: <https://portal.mardi4nfdi.de/reference/> .
@prefix wdv: <https://portal.mardi4nfdi.de/value/> .
@prefix wdt: <https://portal.mardi4nfdi.de/prop/direct/> .
@prefix wdtn: <https://portal.mardi4nfdi.de/prop/direct-normalized/> .
@prefix p: <https://portal.mardi4nfdi.de/prop/> .
@prefix ps: <https://portal.mardi4nfdi.de/prop/statement/> .
@prefix psv: <https://portal.mardi4nfdi.de/prop/statement/value/> .
@prefix psn: <https://portal.mardi4nfdi.de/prop/statement/value-normalized/> .
@prefix pq: <https://portal.mardi4nfdi.de/prop/qualifier/> .
@prefix pqv: <https://portal.mardi4nfdi.de/prop/qualifier/value/> .
@prefix pqn: <https://portal.mardi4nfdi.de/prop/qualifier/value-normalized/> .
@prefix pr: <https://portal.mardi4nfdi.de/prop/reference/> .
@prefix prv: <https://portal.mardi4nfdi.de/prop/reference/value/> .
@prefix prn: <https://portal.mardi4nfdi.de/prop/reference/value-normalized/> .
@prefix wdno: <https://portal.mardi4nfdi.de/prop/novalue/> .

data:Q1925013 a schema:Dataset ;
	schema:about wd:Q1925013 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "69317100"^^xsd:integer ;
	schema:dateModified "2026-04-13T06:11:51Z"^^xsd:dateTime ;
	wikibase:statements "43"^^xsd:integer ;
	wikibase:sitelinks "1"^^xsd:integer ;
	wikibase:identifiers "4"^^xsd:integer .

wd:Q1925013 a wikibase:Item .

<https://portal.mardi4nfdi.de/wiki/An_improved_general_path_order> a schema:Article ;
	schema:about wd:Q1925013 ;
	schema:inLanguage "en" ;
	schema:isPartOf <https://portal.mardi4nfdi.de/> ;
	schema:name "An improved general path order"@en .

<https://portal.mardi4nfdi.de/> wikibase:wikiGroup "mathematics" .

wd:Q1925013 wdt:P31 wd:Q56887 ;
	wdt:P159 "An improved general path order"@en ;
	wdt:P225 "0858.68049" ;
	wdt:P27 "10.1007/BF01293264" ;
	wdt:P16 wd:Q851145 ;
	wdt:P200 wd:Q162945 ;
	wdt:P28 "1996-10-27T00:00:00Z"^^xsd:dateTime ;
	wdt:P226 "68Q42" ;
	wdt:P1451 "938654" ;
	wdt:P1450 "term rewriting systems",
		"improved general path order" ;
	wdt:P1460 wd:Q5976449 ;
	wdt:P223 wd:Q3484358,
		wd:Q757069,
		wd:Q1199548,
		wd:Q1139374,
		wd:Q593789,
		wd:Q1098624,
		wd:Q673622,
		wd:Q3970984,
		wd:Q3868730,
		wd:Q3819993,
		wd:Q4028349,
		wd:Q1925013,
		wd:Q3908463,
		wd:Q3659124,
		wd:Q3683533,
		wd:Q5581665,
		wd:Q3336681,
		wd:Q912609,
		wd:Q1099655,
		wd:Q1107975,
		wd:Q4847000 ;
	wdt:P1643 wd:Q5505590,
		wd:Q6488548,
		wd:Q1082075,
		wd:Q5387842,
		wd:Q3527297,
		wd:Q5222963,
		wd:Q3696500,
		wd:Q5757933,
		wd:Q4938603,
		wd:Q2583701 ;
	p:P31 wds:Q1925013-59893F29-ACEB-43AD-9245-AF9B35B0B24A .

wds:Q1925013-59893F29-ACEB-43AD-9245-AF9B35B0B24A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P31 wd:Q56887 .

wd:Q1925013 p:P159 wds:Q1925013-D254B651-DF70-4C7B-9215-042E997E210A .

wds:Q1925013-D254B651-DF70-4C7B-9215-042E997E210A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P159 "An improved general path order"@en .

wd:Q1925013 p:P225 wds:Q1925013-426683C2-6D9F-4E2D-8A16-FF006C380AD1 .

wds:Q1925013-426683C2-6D9F-4E2D-8A16-FF006C380AD1 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P225 "0858.68049" .

wd:Q1925013 p:P27 wds:Q1925013-A0D6697F-8544-42F0-A0F7-81F6BF2BA33E .

wds:Q1925013-A0D6697F-8544-42F0-A0F7-81F6BF2BA33E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P27 "10.1007/BF01293264" .

wd:Q1925013 p:P16 wds:Q1925013-9F649B91-14C5-4E45-9190-782129CDD8CF .

wds:Q1925013-9F649B91-14C5-4E45-9190-782129CDD8CF a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P16 wd:Q851145 .

wd:Q1925013 p:P200 wds:Q1925013-9805B45F-14A1-4C59-9395-4AF07709D53A .

wds:Q1925013-9805B45F-14A1-4C59-9395-4AF07709D53A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P200 wd:Q162945 .

wd:Q1925013 p:P28 wds:Q1925013-D51FD2BA-8FBB-4650-B0AA-16447C6550EB .

wds:Q1925013-D51FD2BA-8FBB-4650-B0AA-16447C6550EB a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P28 "1996-10-27T00:00:00Z"^^xsd:dateTime ;
	psv:P28 wdv:79911ad8b03c7a697d410201d751369e .

wd:Q1925013 p:P226 wds:Q1925013-536663A2-8A06-40B3-9669-944FC5A59756 .

wds:Q1925013-536663A2-8A06-40B3-9669-944FC5A59756 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P226 "68Q42" .

wd:Q1925013 p:P1451 wds:Q1925013-A50C8E6F-FAB2-42CA-8CED-B912B8828BCB .

wds:Q1925013-A50C8E6F-FAB2-42CA-8CED-B912B8828BCB a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1451 "938654" .

wd:Q1925013 p:P1450 wds:Q1925013-BBE6ABCD-02A8-4D2A-91AE-DAB3EE3F5FDA .

wds:Q1925013-BBE6ABCD-02A8-4D2A-91AE-DAB3EE3F5FDA a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1450 "term rewriting systems" .

wd:Q1925013 p:P1450 wds:Q1925013-8A1A7F1D-B48D-4AEE-9F60-DCF0D262C657 .

wds:Q1925013-8A1A7F1D-B48D-4AEE-9F60-DCF0D262C657 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1450 "improved general path order" .

wd:Q1925013 p:P1460 wds:Q1925013-6C2CD761-141E-4D47-A205-E419E6D2278C .

wds:Q1925013-6C2CD761-141E-4D47-A205-E419E6D2278C a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1460 wd:Q5976449 .

wd:Q1925013 p:P223 wds:Q1925013-76467B3D-CCB8-4B12-9C39-277B8F5C098B .

wds:Q1925013-76467B3D-CCB8-4B12-9C39-277B8F5C098B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3484358 .

wd:Q1925013 p:P223 wds:Q1925013-A83B3DF0-C7AB-4CC3-9710-28C1D88DFAF2 .

wds:Q1925013-A83B3DF0-C7AB-4CC3-9710-28C1D88DFAF2 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q757069 .

wd:Q1925013 p:P223 wds:Q1925013-81837E78-1487-4CF2-A9B6-B6A13356A361 .

wds:Q1925013-81837E78-1487-4CF2-A9B6-B6A13356A361 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1199548 .

wd:Q1925013 p:P223 wds:Q1925013-5FCF7E78-806A-4898-BA51-81938CB39AC8 .

wds:Q1925013-5FCF7E78-806A-4898-BA51-81938CB39AC8 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1139374 .

wd:Q1925013 p:P223 wds:Q1925013-33505B89-A29E-4794-92AD-2E8A923E8836 .

wds:Q1925013-33505B89-A29E-4794-92AD-2E8A923E8836 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q593789 .

wd:Q1925013 p:P223 wds:Q1925013-F809FBEC-DD35-4286-BE05-5ABA8E36B027 .

wds:Q1925013-F809FBEC-DD35-4286-BE05-5ABA8E36B027 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1098624 .

wd:Q1925013 p:P223 wds:Q1925013-C1149C6C-6A07-432C-AA6C-DCFAA3658373 .

wds:Q1925013-C1149C6C-6A07-432C-AA6C-DCFAA3658373 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q673622 .

wd:Q1925013 p:P223 wds:Q1925013-67F316C0-083D-4A0A-8321-85AB2BE8DA69 .

wds:Q1925013-67F316C0-083D-4A0A-8321-85AB2BE8DA69 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3970984 .

wd:Q1925013 p:P223 wds:Q1925013-DBCEE49F-91DA-4B9F-B662-6F25D4028405 .

wds:Q1925013-DBCEE49F-91DA-4B9F-B662-6F25D4028405 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3868730 .

wd:Q1925013 p:P223 wds:Q1925013-82B19F45-F51D-4BD9-837C-FF8166B47994 .

wds:Q1925013-82B19F45-F51D-4BD9-837C-FF8166B47994 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3819993 .

wd:Q1925013 p:P223 wds:Q1925013-2E338506-A76F-4278-953A-1D645198A4AD .

wds:Q1925013-2E338506-A76F-4278-953A-1D645198A4AD a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q4028349 .

wd:Q1925013 p:P223 wds:Q1925013-5D60556B-FF4C-401B-BAED-8E6121948DA2 .

wds:Q1925013-5D60556B-FF4C-401B-BAED-8E6121948DA2 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1925013 .

wd:Q1925013 p:P223 wds:Q1925013-9C409D6D-D3EE-427B-BF2E-94E62EBC8B84 .

wds:Q1925013-9C409D6D-D3EE-427B-BF2E-94E62EBC8B84 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3908463 .

wd:Q1925013 p:P223 wds:Q1925013-43253433-64E9-497F-9592-6B70F76BDE07 .

wds:Q1925013-43253433-64E9-497F-9592-6B70F76BDE07 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3659124 .

wd:Q1925013 p:P223 wds:Q1925013-D4F5C632-C1F0-46FD-94C9-320A01B94096 .

wds:Q1925013-D4F5C632-C1F0-46FD-94C9-320A01B94096 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3683533 .

wd:Q1925013 p:P223 wds:Q1925013-A2775814-F94F-4858-9AC2-9DC85B4FFA82 .

wds:Q1925013-A2775814-F94F-4858-9AC2-9DC85B4FFA82 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q5581665 .

wd:Q1925013 p:P223 wds:Q1925013-112A9E0E-3283-4CCA-A58A-34E4EC221CA4 .

wds:Q1925013-112A9E0E-3283-4CCA-A58A-34E4EC221CA4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q3336681 .

wd:Q1925013 p:P223 wds:Q1925013-2DD802BD-77C3-4688-ACB9-46D2EB4B7143 .

wds:Q1925013-2DD802BD-77C3-4688-ACB9-46D2EB4B7143 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q912609 .

wd:Q1925013 p:P223 wds:Q1925013-6E5242D0-BF0D-4829-8847-D82D17A3DBEC .

wds:Q1925013-6E5242D0-BF0D-4829-8847-D82D17A3DBEC a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1099655 .

wd:Q1925013 p:P223 wds:Q1925013-766DA7A9-9FC5-4B43-BB79-2B34A0D00373 .

wds:Q1925013-766DA7A9-9FC5-4B43-BB79-2B34A0D00373 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q1107975 .

wd:Q1925013 p:P223 wds:Q1925013-C9E24B0E-56B2-4193-BD15-DEB729AE3959 .

wds:Q1925013-C9E24B0E-56B2-4193-BD15-DEB729AE3959 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P223 wd:Q4847000 .

wd:Q1925013 p:P1643 wds:Q1925013-033D7AF8-B32E-472B-804D-1E2C07B5C07A .

wds:Q1925013-033D7AF8-B32E-472B-804D-1E2C07B5C07A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q5505590 ;
	pq:P1659 "+0.90727866"^^xsd:decimal ;
	pqv:P1659 wdv:c457c5221634ad0e427fa2831e97a022 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-BD799476-DEAC-4F6F-B918-310150B1AFDB .

wds:Q1925013-BD799476-DEAC-4F6F-B918-310150B1AFDB a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q6488548 ;
	pq:P1659 "+0.8829569"^^xsd:decimal ;
	pqv:P1659 wdv:cf725bb44c566fccba62935a04319c0a ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-29ADAF9A-F43B-4F60-BC56-92D1BBDCFB5F .

wds:Q1925013-29ADAF9A-F43B-4F60-BC56-92D1BBDCFB5F a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q1082075 ;
	pq:P1659 "+0.85030717"^^xsd:decimal ;
	pqv:P1659 wdv:e8720bb275772826ea111c1b31416684 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-2D5B4611-98E9-4C14-981B-834CEB94D641 .

wds:Q1925013-2D5B4611-98E9-4C14-981B-834CEB94D641 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q5387842 ;
	pq:P1659 "+0.84311926"^^xsd:decimal ;
	pqv:P1659 wdv:55e383098bcee13715dbfe0e3c6ea611 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-C15AD65E-7A89-42B1-9302-370A4816641D .

wds:Q1925013-C15AD65E-7A89-42B1-9302-370A4816641D a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q3527297 ;
	pq:P1659 "+0.8375917"^^xsd:decimal ;
	pqv:P1659 wdv:e04463b44f5992dbd90d9a1b999866b7 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-79B385AA-0406-45BB-BA9D-891E6796F636 .

wds:Q1925013-79B385AA-0406-45BB-BA9D-891E6796F636 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q5222963 ;
	pq:P1659 "+0.83532965"^^xsd:decimal ;
	pqv:P1659 wdv:f0bcf39897ce5b000ebe3748d9b839dd ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-9270A3E4-0031-4E21-AD38-A1D528152D23 .

wds:Q1925013-9270A3E4-0031-4E21-AD38-A1D528152D23 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q3696500 ;
	pq:P1659 "+0.8345803"^^xsd:decimal ;
	pqv:P1659 wdv:743e40fabd6b990e2bd60dc0b862da76 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-BC7D9842-8F47-4B3F-A64C-06CA63EF41E6 .

wds:Q1925013-BC7D9842-8F47-4B3F-A64C-06CA63EF41E6 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q5757933 ;
	pq:P1659 "+0.8318466"^^xsd:decimal ;
	pqv:P1659 wdv:da3a9c16b634bb117f8eef7ae10bc568 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-B701BD0A-1EDA-4D18-9BD3-4E26047CB31A .

wds:Q1925013-B701BD0A-1EDA-4D18-9BD3-4E26047CB31A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q4938603 ;
	pq:P1659 "+0.830022"^^xsd:decimal ;
	pqv:P1659 wdv:c86207421a226eb18bd01a8c55462667 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 p:P1643 wds:Q1925013-68D6BB38-3653-4195-8FD6-A7E3D04E0C15 .

wds:Q1925013-68D6BB38-3653-4195-8FD6-A7E3D04E0C15 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q2583701 ;
	pq:P1659 "+0.8238712"^^xsd:decimal ;
	pqv:P1659 wdv:fd64825301352d0450e5e7e19b714d42 ;
	pq:P1660 wd:Q6767936 .

wd:Q1925013 rdfs:label "An improved general path order"@en ;
	skos:prefLabel "An improved general path order"@en ;
	schema:name "An improved general path order"@en ;
	schema:description "scientific article; zbMATH DE number 938654"@en .

wd:Q56887 a wikibase:Item ;
	rdfs:label "scholarly article"@en ;
	skos:prefLabel "scholarly article"@en ;
	schema:name "scholarly article"@en ;
	schema:description "article in an academic publication, usually peer reviewed"@en .

wd:P31 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "that class of which this subject is a particular example and member; different from P36 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P31 ;
	wikibase:claim p:P31 ;
	wikibase:statementProperty ps:P31 ;
	wikibase:statementValue psv:P31 ;
	wikibase:qualifier pq:P31 ;
	wikibase:qualifierValue pqv:P31 ;
	wikibase:reference pr:P31 ;
	wikibase:referenceValue prv:P31 ;
	wikibase:novalue wdno:P31 .

p:P31 a owl:ObjectProperty .

psv:P31 a owl:ObjectProperty .

pqv:P31 a owl:ObjectProperty .

prv:P31 a owl:ObjectProperty .

wdt:P31 a owl:ObjectProperty .

ps:P31 a owl:ObjectProperty .

pq:P31 a owl:ObjectProperty .

pr:P31 a owl:ObjectProperty .

wdno:P31 a owl:Class ;
	owl:complementOf _:2c45a39e2396b232eb25915f451c0877 .

_:2c45a39e2396b232eb25915f451c0877 a owl:Restriction ;
	owl:onProperty wdt:P31 ;
	owl:someValuesFrom owl:Thing .

wd:P159 a wikibase:Property ;
	rdfs:label "title"@en ;
	skos:prefLabel "title"@en ;
	schema:name "title"@en ;
	schema:description "published name of a work, such as a newspaper article, a literary work, piece of music, a website, or a performance work"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Monolingualtext> ;
	wikibase:directClaim wdt:P159 ;
	wikibase:claim p:P159 ;
	wikibase:statementProperty ps:P159 ;
	wikibase:statementValue psv:P159 ;
	wikibase:qualifier pq:P159 ;
	wikibase:qualifierValue pqv:P159 ;
	wikibase:reference pr:P159 ;
	wikibase:referenceValue prv:P159 ;
	wikibase:novalue wdno:P159 .

p:P159 a owl:ObjectProperty .

psv:P159 a owl:ObjectProperty .

pqv:P159 a owl:ObjectProperty .

prv:P159 a owl:ObjectProperty .

wdt:P159 a owl:DatatypeProperty .

ps:P159 a owl:DatatypeProperty .

pq:P159 a owl:DatatypeProperty .

pr:P159 a owl:DatatypeProperty .

wdno:P159 a owl:Class ;
	owl:complementOf _:b1911eca1e9de53ae8ba0abefd54bbc9 .

_:b1911eca1e9de53ae8ba0abefd54bbc9 a owl:Restriction ;
	owl:onProperty wdt:P159 ;
	owl:someValuesFrom owl:Thing .

wd:P225 a wikibase:Property ;
	rdfs:label "zbMATH Open document ID"@en ;
	skos:prefLabel "zbMATH Open document ID"@en ;
	schema:name "zbMATH Open document ID"@en ;
	schema:description "identifier in the zbMATH database"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P225 ;
	wikibase:claim p:P225 ;
	wikibase:statementProperty ps:P225 ;
	wikibase:statementValue psv:P225 ;
	wikibase:qualifier pq:P225 ;
	wikibase:qualifierValue pqv:P225 ;
	wikibase:reference pr:P225 ;
	wikibase:referenceValue prv:P225 ;
	wikibase:novalue wdno:P225 ;
	wikibase:directClaimNormalized wdtn:P225 ;
	wikibase:statementValueNormalized psn:P225 ;
	wikibase:qualifierValueNormalized pqn:P225 ;
	wikibase:referenceValueNormalized prn:P225 .

p:P225 a owl:ObjectProperty .

psv:P225 a owl:ObjectProperty .

pqv:P225 a owl:ObjectProperty .

prv:P225 a owl:ObjectProperty .

wdt:P225 a owl:DatatypeProperty .

ps:P225 a owl:DatatypeProperty .

pq:P225 a owl:DatatypeProperty .

pr:P225 a owl:DatatypeProperty .

psn:P225 a owl:ObjectProperty .

pqn:P225 a owl:ObjectProperty .

prn:P225 a owl:ObjectProperty .

wdtn:P225 a owl:ObjectProperty .

wdno:P225 a owl:Class ;
	owl:complementOf _:20efebe0db6b9ca0e99e6374f1cc7981 .

_:20efebe0db6b9ca0e99e6374f1cc7981 a owl:Restriction ;
	owl:onProperty wdt:P225 ;
	owl:someValuesFrom owl:Thing .

wd:P27 a wikibase:Property ;
	rdfs:label "DOI"@en ;
	skos:prefLabel "DOI"@en ;
	schema:name "DOI"@en ;
	schema:description "serial code used to uniquely identify digital objects like academic papers (use upper case letters only)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P27 ;
	wikibase:claim p:P27 ;
	wikibase:statementProperty ps:P27 ;
	wikibase:statementValue psv:P27 ;
	wikibase:qualifier pq:P27 ;
	wikibase:qualifierValue pqv:P27 ;
	wikibase:reference pr:P27 ;
	wikibase:referenceValue prv:P27 ;
	wikibase:novalue wdno:P27 ;
	wikibase:directClaimNormalized wdtn:P27 ;
	wikibase:statementValueNormalized psn:P27 ;
	wikibase:qualifierValueNormalized pqn:P27 ;
	wikibase:referenceValueNormalized prn:P27 .

p:P27 a owl:ObjectProperty .

psv:P27 a owl:ObjectProperty .

pqv:P27 a owl:ObjectProperty .

prv:P27 a owl:ObjectProperty .

wdt:P27 a owl:DatatypeProperty .

ps:P27 a owl:DatatypeProperty .

pq:P27 a owl:DatatypeProperty .

pr:P27 a owl:DatatypeProperty .

psn:P27 a owl:ObjectProperty .

pqn:P27 a owl:ObjectProperty .

prn:P27 a owl:ObjectProperty .

wdtn:P27 a owl:ObjectProperty .

wdno:P27 a owl:Class ;
	owl:complementOf _:830284e55963322228a3577e32fc50fe .

_:830284e55963322228a3577e32fc50fe a owl:Restriction ;
	owl:onProperty wdt:P27 ;
	owl:someValuesFrom owl:Thing .

wd:Q851145 a wikibase:Item ;
	rdfs:label "Alfons Geser"@en ;
	skos:prefLabel "Alfons Geser"@en ;
	schema:name "Alfons Geser"@en .

wd:P16 a wikibase:Property ;
	rdfs:label "author"@en ;
	skos:prefLabel "author"@en ;
	schema:name "author"@en ;
	schema:description "main creator(s) of a written work (use on works, not humans); use P2093 when Wikidata item is unknown or does not exist"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P16 ;
	wikibase:claim p:P16 ;
	wikibase:statementProperty ps:P16 ;
	wikibase:statementValue psv:P16 ;
	wikibase:qualifier pq:P16 ;
	wikibase:qualifierValue pqv:P16 ;
	wikibase:reference pr:P16 ;
	wikibase:referenceValue prv:P16 ;
	wikibase:novalue wdno:P16 .

p:P16 a owl:ObjectProperty .

psv:P16 a owl:ObjectProperty .

pqv:P16 a owl:ObjectProperty .

prv:P16 a owl:ObjectProperty .

wdt:P16 a owl:ObjectProperty .

ps:P16 a owl:ObjectProperty .

pq:P16 a owl:ObjectProperty .

pr:P16 a owl:ObjectProperty .

wdno:P16 a owl:Class ;
	owl:complementOf _:53a357ec3721155a7450e744695db826 .

_:53a357ec3721155a7450e744695db826 a owl:Restriction ;
	owl:onProperty wdt:P16 ;
	owl:someValuesFrom owl:Thing .

wd:Q162945 a wikibase:Item ;
	rdfs:label "Applicable Algebra in Engineering, Communication and Computing"@en ;
	skos:prefLabel "Applicable Algebra in Engineering, Communication and Computing"@en ;
	schema:name "Applicable Algebra in Engineering, Communication and Computing"@en .

wd:P200 a wikibase:Property ;
	rdfs:label "published in"@en ;
	skos:prefLabel "published in"@en ;
	schema:name "published in"@en ;
	schema:description "larger work that a given work was published in, like a book, journal or music album"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P200 ;
	wikibase:claim p:P200 ;
	wikibase:statementProperty ps:P200 ;
	wikibase:statementValue psv:P200 ;
	wikibase:qualifier pq:P200 ;
	wikibase:qualifierValue pqv:P200 ;
	wikibase:reference pr:P200 ;
	wikibase:referenceValue prv:P200 ;
	wikibase:novalue wdno:P200 .

p:P200 a owl:ObjectProperty .

psv:P200 a owl:ObjectProperty .

pqv:P200 a owl:ObjectProperty .

prv:P200 a owl:ObjectProperty .

wdt:P200 a owl:ObjectProperty .

ps:P200 a owl:ObjectProperty .

pq:P200 a owl:ObjectProperty .

pr:P200 a owl:ObjectProperty .

wdno:P200 a owl:Class ;
	owl:complementOf _:f40497b92800bdbe8bfc0ec8def3c287 .

_:f40497b92800bdbe8bfc0ec8def3c287 a owl:Restriction ;
	owl:onProperty wdt:P200 ;
	owl:someValuesFrom owl:Thing .

wd:P28 a wikibase:Property ;
	rdfs:label "publication date"@en ;
	skos:prefLabel "publication date"@en ;
	schema:name "publication date"@en ;
	schema:description "date or point in time when a work was first published or released"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Time> ;
	wikibase:directClaim wdt:P28 ;
	wikibase:claim p:P28 ;
	wikibase:statementProperty ps:P28 ;
	wikibase:statementValue psv:P28 ;
	wikibase:qualifier pq:P28 ;
	wikibase:qualifierValue pqv:P28 ;
	wikibase:reference pr:P28 ;
	wikibase:referenceValue prv:P28 ;
	wikibase:novalue wdno:P28 .

p:P28 a owl:ObjectProperty .

psv:P28 a owl:ObjectProperty .

pqv:P28 a owl:ObjectProperty .

prv:P28 a owl:ObjectProperty .

wdt:P28 a owl:DatatypeProperty .

ps:P28 a owl:DatatypeProperty .

pq:P28 a owl:DatatypeProperty .

pr:P28 a owl:DatatypeProperty .

wdno:P28 a owl:Class ;
	owl:complementOf _:890e877f50dac604fd1b4e7c8af91516 .

_:890e877f50dac604fd1b4e7c8af91516 a owl:Restriction ;
	owl:onProperty wdt:P28 ;
	owl:someValuesFrom owl:Thing .

wd:P226 a wikibase:Property ;
	rdfs:label "Mathematics Subject Classification ID"@en ;
	skos:prefLabel "Mathematics Subject Classification ID"@en ;
	schema:name "Mathematics Subject Classification ID"@en ;
	schema:description "identifier of the same topic in the Mathematics Subject Classification (2010)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P226 ;
	wikibase:claim p:P226 ;
	wikibase:statementProperty ps:P226 ;
	wikibase:statementValue psv:P226 ;
	wikibase:qualifier pq:P226 ;
	wikibase:qualifierValue pqv:P226 ;
	wikibase:reference pr:P226 ;
	wikibase:referenceValue prv:P226 ;
	wikibase:novalue wdno:P226 ;
	wikibase:directClaimNormalized wdtn:P226 ;
	wikibase:statementValueNormalized psn:P226 ;
	wikibase:qualifierValueNormalized pqn:P226 ;
	wikibase:referenceValueNormalized prn:P226 .

p:P226 a owl:ObjectProperty .

psv:P226 a owl:ObjectProperty .

pqv:P226 a owl:ObjectProperty .

prv:P226 a owl:ObjectProperty .

wdt:P226 a owl:DatatypeProperty .

ps:P226 a owl:DatatypeProperty .

pq:P226 a owl:DatatypeProperty .

pr:P226 a owl:DatatypeProperty .

psn:P226 a owl:ObjectProperty .

pqn:P226 a owl:ObjectProperty .

prn:P226 a owl:ObjectProperty .

wdtn:P226 a owl:ObjectProperty .

wdno:P226 a owl:Class ;
	owl:complementOf _:4d1d2ec6e9dfa86eeb7877e788e5a7b2 .

_:4d1d2ec6e9dfa86eeb7877e788e5a7b2 a owl:Restriction ;
	owl:onProperty wdt:P226 ;
	owl:someValuesFrom owl:Thing .

wd:P1451 a wikibase:Property ;
	rdfs:label "zbMATH DE Number"@en ;
	skos:prefLabel "zbMATH DE Number"@en ;
	schema:name "zbMATH DE Number"@en ;
	schema:description "zbMATH DE number"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P1451 ;
	wikibase:claim p:P1451 ;
	wikibase:statementProperty ps:P1451 ;
	wikibase:statementValue psv:P1451 ;
	wikibase:qualifier pq:P1451 ;
	wikibase:qualifierValue pqv:P1451 ;
	wikibase:reference pr:P1451 ;
	wikibase:referenceValue prv:P1451 ;
	wikibase:novalue wdno:P1451 ;
	wikibase:directClaimNormalized wdtn:P1451 ;
	wikibase:statementValueNormalized psn:P1451 ;
	wikibase:qualifierValueNormalized pqn:P1451 ;
	wikibase:referenceValueNormalized prn:P1451 .

p:P1451 a owl:ObjectProperty .

psv:P1451 a owl:ObjectProperty .

pqv:P1451 a owl:ObjectProperty .

prv:P1451 a owl:ObjectProperty .

wdt:P1451 a owl:DatatypeProperty .

ps:P1451 a owl:DatatypeProperty .

pq:P1451 a owl:DatatypeProperty .

pr:P1451 a owl:DatatypeProperty .

psn:P1451 a owl:ObjectProperty .

pqn:P1451 a owl:ObjectProperty .

prn:P1451 a owl:ObjectProperty .

wdtn:P1451 a owl:ObjectProperty .

wdno:P1451 a owl:Class ;
	owl:complementOf _:6d3d9b85821afeb32e53cad1d921e98c .

_:6d3d9b85821afeb32e53cad1d921e98c a owl:Restriction ;
	owl:onProperty wdt:P1451 ;
	owl:someValuesFrom owl:Thing .

wd:P1450 a wikibase:Property ;
	rdfs:label "zbMATH Keywords"@en ;
	skos:prefLabel "zbMATH Keywords"@en ;
	schema:name "zbMATH Keywords"@en ;
	schema:description "keyword string from zbMATH"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P1450 ;
	wikibase:claim p:P1450 ;
	wikibase:statementProperty ps:P1450 ;
	wikibase:statementValue psv:P1450 ;
	wikibase:qualifier pq:P1450 ;
	wikibase:qualifierValue pqv:P1450 ;
	wikibase:reference pr:P1450 ;
	wikibase:referenceValue prv:P1450 ;
	wikibase:novalue wdno:P1450 .

p:P1450 a owl:ObjectProperty .

psv:P1450 a owl:ObjectProperty .

pqv:P1450 a owl:ObjectProperty .

prv:P1450 a owl:ObjectProperty .

wdt:P1450 a owl:DatatypeProperty .

ps:P1450 a owl:DatatypeProperty .

pq:P1450 a owl:DatatypeProperty .

pr:P1450 a owl:DatatypeProperty .

wdno:P1450 a owl:Class ;
	owl:complementOf _:43b3ad598378565ba15e12be55dfcb33 .

_:43b3ad598378565ba15e12be55dfcb33 a owl:Restriction ;
	owl:onProperty wdt:P1450 ;
	owl:someValuesFrom owl:Thing .

wd:Q5976449 a wikibase:Item ;
	rdfs:label "MaRDI publication profile"@en ;
	skos:prefLabel "MaRDI publication profile"@en ;
	schema:name "MaRDI publication profile"@en ;
	schema:description "type of MaRDI profile"@en .

wd:P1460 a wikibase:Property ;
	rdfs:label "MaRDI profile type"@en ;
	skos:prefLabel "MaRDI profile type"@en ;
	schema:name "MaRDI profile type"@en ;
	schema:description "defines the types of MaRDI profiles expected to work for this item"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1460 ;
	wikibase:claim p:P1460 ;
	wikibase:statementProperty ps:P1460 ;
	wikibase:statementValue psv:P1460 ;
	wikibase:qualifier pq:P1460 ;
	wikibase:qualifierValue pqv:P1460 ;
	wikibase:reference pr:P1460 ;
	wikibase:referenceValue prv:P1460 ;
	wikibase:novalue wdno:P1460 .

p:P1460 a owl:ObjectProperty .

psv:P1460 a owl:ObjectProperty .

pqv:P1460 a owl:ObjectProperty .

prv:P1460 a owl:ObjectProperty .

wdt:P1460 a owl:ObjectProperty .

ps:P1460 a owl:ObjectProperty .

pq:P1460 a owl:ObjectProperty .

pr:P1460 a owl:ObjectProperty .

wdno:P1460 a owl:Class ;
	owl:complementOf _:eaed7e9c077dd686b9ef2119cf2b469a .

_:eaed7e9c077dd686b9ef2119cf2b469a a owl:Restriction ;
	owl:onProperty wdt:P1460 ;
	owl:someValuesFrom owl:Thing .

wd:Q3484358 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 4155899"@en .

wd:P223 a wikibase:Property ;
	rdfs:label "cites work"@en ;
	skos:prefLabel "cites work"@en ;
	schema:name "cites work"@en ;
	schema:description "citation from one creative or scholarly work to another"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P223 ;
	wikibase:claim p:P223 ;
	wikibase:statementProperty ps:P223 ;
	wikibase:statementValue psv:P223 ;
	wikibase:qualifier pq:P223 ;
	wikibase:qualifierValue pqv:P223 ;
	wikibase:reference pr:P223 ;
	wikibase:referenceValue prv:P223 ;
	wikibase:novalue wdno:P223 .

p:P223 a owl:ObjectProperty .

psv:P223 a owl:ObjectProperty .

pqv:P223 a owl:ObjectProperty .

prv:P223 a owl:ObjectProperty .

wdt:P223 a owl:ObjectProperty .

ps:P223 a owl:ObjectProperty .

pq:P223 a owl:ObjectProperty .

pr:P223 a owl:ObjectProperty .

wdno:P223 a owl:Class ;
	owl:complementOf _:d4c6376efb2774d17367863d768cc84d .

_:d4c6376efb2774d17367863d768cc84d a owl:Restriction ;
	owl:onProperty wdt:P223 ;
	owl:someValuesFrom owl:Thing .

wd:Q757069 a wikibase:Item ;
	rdfs:label "Termination by completion"@en ;
	skos:prefLabel "Termination by completion"@en ;
	schema:name "Termination by completion"@en ;
	schema:description "scientific article; zbMATH DE number 4193125"@en .

wd:Q1199548 a wikibase:Item ;
	rdfs:label "Simulation of Turing machines by a regular rewrite rule"@en ;
	skos:prefLabel "Simulation of Turing machines by a regular rewrite rule"@en ;
	schema:name "Simulation of Turing machines by a regular rewrite rule"@en ;
	schema:description "scientific article; zbMATH DE number 94468"@en .

wd:Q1139374 a wikibase:Item ;
	rdfs:label "A note on simplification orderings"@en ;
	skos:prefLabel "A note on simplification orderings"@en ;
	schema:name "A note on simplification orderings"@en ;
	schema:description "scientific article; zbMATH DE number 3675314"@en .

wd:Q593789 a wikibase:Item ;
	rdfs:label "Orderings for term-rewriting systems"@en ;
	skos:prefLabel "Orderings for term-rewriting systems"@en ;
	schema:name "Orderings for term-rewriting systems"@en ;
	schema:description "scientific article; zbMATH DE number 3833327"@en .

wd:Q1098624 a wikibase:Item ;
	rdfs:label "Termination of rewriting"@en ;
	skos:prefLabel "Termination of rewriting"@en ;
	schema:name "Termination of rewriting"@en ;
	schema:description "scientific article; zbMATH DE number 4039278"@en .

wd:Q673622 a wikibase:Item ;
	rdfs:label "Natural termination"@en ;
	skos:prefLabel "Natural termination"@en ;
	schema:name "Natural termination"@en ;
	schema:description "scientific article; zbMATH DE number 985667"@en .

wd:Q3970984 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 8327"@en .

wd:Q3868730 a wikibase:Item ;
	rdfs:label "Proving termination with multiset orderings"@en ;
	skos:prefLabel "Proving termination with multiset orderings"@en ;
	schema:name "Proving termination with multiset orderings"@en ;
	schema:description "scientific article; zbMATH DE number 3671652"@en .

wd:Q3819993 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 4092758"@en .

wd:Q4028349 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 139989"@en .

wd:Q3908463 a wikibase:Item ;
	rdfs:label "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems"@en ;
	skos:prefLabel "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems"@en ;
	schema:name "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems"@en ;
	schema:description "scientific article; zbMATH DE number 3718540"@en .

wd:Q3659124 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 3810909"@en .

wd:Q3683533 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 3905845"@en .

wd:Q5581665 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 3299786"@en .

wd:Q3336681 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 3870584"@en .

wd:Q912609 a wikibase:Item ;
	rdfs:label "On the recursive decomposition ordering with lexicographical status and other related orderings"@en ;
	skos:prefLabel "On the recursive decomposition ordering with lexicographical status and other related orderings"@en ;
	schema:name "On the recursive decomposition ordering with lexicographical status and other related orderings"@en ;
	schema:description "scientific article; zbMATH DE number 4145318"@en .

wd:Q1099655 a wikibase:Item ;
	rdfs:label "Path of subterms ordering and recursive decomposition ordering revisited"@en ;
	skos:prefLabel "Path of subterms ordering and recursive decomposition ordering revisited"@en ;
	schema:name "Path of subterms ordering and recursive decomposition ordering revisited"@en ;
	schema:description "scientific article; zbMATH DE number 4041333"@en .

wd:Q1107975 a wikibase:Item ;
	rdfs:label "Counterexamples to termination for the direct sum of term rewriting systems"@en ;
	skos:prefLabel "Counterexamples to termination for the direct sum of term rewriting systems"@en ;
	schema:name "Counterexamples to termination for the direct sum of term rewriting systems"@en ;
	schema:description "scientific article; zbMATH DE number 4066304"@en .

wd:Q4847000 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 794240"@en .

wd:Q5505590 a wikibase:Item ;
	rdfs:label "A Higher-Order Iterative Path Ordering"@en ;
	skos:prefLabel "A Higher-Order Iterative Path Ordering"@en ;
	schema:name "A Higher-Order Iterative Path Ordering"@en ;
	schema:description "scientific article; zbMATH DE number 5498376"@en .

wd:P1643 a wikibase:Property ;
	rdfs:label "Recommended article"@en ;
	skos:prefLabel "Recommended article"@en ;
	schema:name "Recommended article"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1643 ;
	wikibase:claim p:P1643 ;
	wikibase:statementProperty ps:P1643 ;
	wikibase:statementValue psv:P1643 ;
	wikibase:qualifier pq:P1643 ;
	wikibase:qualifierValue pqv:P1643 ;
	wikibase:reference pr:P1643 ;
	wikibase:referenceValue prv:P1643 ;
	wikibase:novalue wdno:P1643 .

p:P1643 a owl:ObjectProperty .

psv:P1643 a owl:ObjectProperty .

pqv:P1643 a owl:ObjectProperty .

prv:P1643 a owl:ObjectProperty .

wdt:P1643 a owl:ObjectProperty .

ps:P1643 a owl:ObjectProperty .

pq:P1643 a owl:ObjectProperty .

pr:P1643 a owl:ObjectProperty .

wdno:P1643 a owl:Class ;
	owl:complementOf _:fec07c649a487f5a2cfebe9286ba1894 .

_:fec07c649a487f5a2cfebe9286ba1894 a owl:Restriction ;
	owl:onProperty wdt:P1643 ;
	owl:someValuesFrom owl:Thing .

wd:Q6488548 a wikibase:Item ;
	rdfs:label "Improving associative path orderings"@en ;
	skos:prefLabel "Improving associative path orderings"@en ;
	schema:name "Improving associative path orderings"@en ;
	schema:description "scientific article; zbMATH DE number 7680822"@en .

wd:Q1082075 a wikibase:Item ;
	rdfs:label "On recursive path ordering"@en ;
	skos:prefLabel "On recursive path ordering"@en ;
	schema:name "On recursive path ordering"@en ;
	schema:description "scientific article; zbMATH DE number 3972182"@en .

wd:Q5387842 a wikibase:Item ;
	rdfs:label "Recursive Path Orderings Can Also Be Incremental"@en ;
	skos:prefLabel "Recursive Path Orderings Can Also Be Incremental"@en ;
	schema:name "Recursive Path Orderings Can Also Be Incremental"@en ;
	schema:description "scientific article; zbMATH DE number 5279527"@en .

wd:Q3527297 a wikibase:Item ;
	rdfs:label "Certified Higher-Order Recursive Path Ordering"@en ;
	skos:prefLabel "Certified Higher-Order Recursive Path Ordering"@en ;
	schema:name "Certified Higher-Order Recursive Path Ordering"@en ;
	schema:description "scientific article; zbMATH DE number 5347561"@en .

wd:Q5222963 a wikibase:Item ;
	rdfs:label "Graph path orderings"@en ;
	skos:prefLabel "Graph path orderings"@en ;
	schema:name "Graph path orderings"@en ;
	schema:description "scientific article; zbMATH DE number 7076875"@en .

wd:Q3696500 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 3921960"@en .

wd:Q5757933 a wikibase:Item ;
	rdfs:label "Iterative Lexicographic Path Orders"@en ;
	skos:prefLabel "Iterative Lexicographic Path Orders"@en ;
	schema:name "Iterative Lexicographic Path Orders"@en ;
	schema:description "scientific article; zbMATH DE number 5188826"@en .

wd:Q4938603 a wikibase:Item ;
	schema:description "scientific article; zbMATH DE number 1405624"@en .

wd:Q2583701 a wikibase:Item ;
	rdfs:label "Order preserving reductions and polynomial improving paths"@en ;
	skos:prefLabel "Order preserving reductions and polynomial improving paths"@en ;
	schema:name "Order preserving reductions and polynomial improving paths"@en ;
	schema:description "scientific article; zbMATH DE number 2248250"@en .

wd:P1659 a wikibase:Property ;
	rdfs:label "Similarity Score"@en ;
	skos:prefLabel "Similarity Score"@en ;
	schema:name "Similarity Score"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Quantity> ;
	wikibase:directClaim wdt:P1659 ;
	wikibase:claim p:P1659 ;
	wikibase:statementProperty ps:P1659 ;
	wikibase:statementValue psv:P1659 ;
	wikibase:qualifier pq:P1659 ;
	wikibase:qualifierValue pqv:P1659 ;
	wikibase:reference pr:P1659 ;
	wikibase:referenceValue prv:P1659 ;
	wikibase:novalue wdno:P1659 ;
	wikibase:directClaimNormalized wdtn:P1659 ;
	wikibase:statementValueNormalized psn:P1659 ;
	wikibase:qualifierValueNormalized pqn:P1659 ;
	wikibase:referenceValueNormalized prn:P1659 .

p:P1659 a owl:ObjectProperty .

psv:P1659 a owl:ObjectProperty .

pqv:P1659 a owl:ObjectProperty .

prv:P1659 a owl:ObjectProperty .

wdt:P1659 a owl:DatatypeProperty .

ps:P1659 a owl:DatatypeProperty .

pq:P1659 a owl:DatatypeProperty .

pr:P1659 a owl:DatatypeProperty .

psn:P1659 a owl:ObjectProperty .

pqn:P1659 a owl:ObjectProperty .

prn:P1659 a owl:ObjectProperty .

wdtn:P1659 a owl:DatatypeProperty .

wdno:P1659 a owl:Class ;
	owl:complementOf _:4c17423f607cad9da9837f0ae465cfee .

_:4c17423f607cad9da9837f0ae465cfee a owl:Restriction ;
	owl:onProperty wdt:P1659 ;
	owl:someValuesFrom owl:Thing .

wd:Q6767936 a wikibase:Item ;
	rdfs:label "Recommender Run 3"@en ;
	skos:prefLabel "Recommender Run 3"@en ;
	schema:name "Recommender Run 3"@en ;
	schema:description "Batch of HyMathRec"@en .

wd:P1660 a wikibase:Property ;
	rdfs:label "Recommender Run"@en ;
	skos:prefLabel "Recommender Run"@en ;
	schema:name "Recommender Run"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1660 ;
	wikibase:claim p:P1660 ;
	wikibase:statementProperty ps:P1660 ;
	wikibase:statementValue psv:P1660 ;
	wikibase:qualifier pq:P1660 ;
	wikibase:qualifierValue pqv:P1660 ;
	wikibase:reference pr:P1660 ;
	wikibase:referenceValue prv:P1660 ;
	wikibase:novalue wdno:P1660 .

p:P1660 a owl:ObjectProperty .

psv:P1660 a owl:ObjectProperty .

pqv:P1660 a owl:ObjectProperty .

prv:P1660 a owl:ObjectProperty .

wdt:P1660 a owl:ObjectProperty .

ps:P1660 a owl:ObjectProperty .

pq:P1660 a owl:ObjectProperty .

pr:P1660 a owl:ObjectProperty .

wdno:P1660 a owl:Class ;
	owl:complementOf _:390f65e61676622ac5c0efc583b7938d .

_:390f65e61676622ac5c0efc583b7938d a owl:Restriction ;
	owl:onProperty wdt:P1660 ;
	owl:someValuesFrom owl:Thing .

wdv:c457c5221634ad0e427fa2831e97a022 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.90727866"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:cf725bb44c566fccba62935a04319c0a a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.8829569"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:e8720bb275772826ea111c1b31416684 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.85030717"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:55e383098bcee13715dbfe0e3c6ea611 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.84311926"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:e04463b44f5992dbd90d9a1b999866b7 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.8375917"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:f0bcf39897ce5b000ebe3748d9b839dd a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.83532965"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:743e40fabd6b990e2bd60dc0b862da76 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.8345803"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:da3a9c16b634bb117f8eef7ae10bc568 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.8318466"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:c86207421a226eb18bd01a8c55462667 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.830022"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:fd64825301352d0450e5e7e19b714d42 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.8238712"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

wdv:79911ad8b03c7a697d410201d751369e a wikibase:TimeValue ;
	wikibase:timeValue "1996-10-27T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .