@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:Q6154875 a schema:Dataset ;
	schema:about wd:Q6154875 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "98758877"^^xsd:integer ;
	schema:dateModified "2026-06-05T18:25:05Z"^^xsd:dateTime ;
	wikibase:statements "19"^^xsd:integer ;
	wikibase:sitelinks "1"^^xsd:integer ;
	wikibase:identifiers "5"^^xsd:integer .

wd:Q6154875 a wikibase:Item .

<https://portal.mardi4nfdi.de/wiki/Loop_summarization_with_rational_vector_addition_systems> a schema:Article ;
	schema:about wd:Q6154875 ;
	schema:inLanguage "en" ;
	schema:isPartOf <https://portal.mardi4nfdi.de/> ;
	schema:name "Loop summarization with rational vector addition systems"@en .

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

wd:Q6154875 wdt:P31 wd:Q56887 ;
	wdt:P159 "Loop summarization with rational vector addition systems"@en ;
	wdt:P27 "10.1007/978-3-030-25543-5_7" ;
	wdt:P16 wd:Q6154874,
		wd:Q832151 ;
	wdt:P200 wd:Q2864836 ;
	wdt:P28 "2024-02-16T00:00:00Z"^^xsd:dateTime ;
	wdt:P205 <https://arxiv.org/abs/1905.06495> ;
	wdt:P226 "68Q60",
		"68Q85" ;
	wdt:P1451 "7805819" ;
	wdt:P1460 wd:Q5976449 ;
	wdt:P388 "W2956274457" ;
	wdt:P1643 wd:Q3000639,
		wd:Q2248058,
		wd:Q3540068,
		wd:Q5408447,
		wd:Q3172925 ;
	wdt:P163 wd:Q57056 ;
	p:P31 wds:Q6154875-8BFC22EF-A826-47CB-9963-53A9265FD612 .

wds:Q6154875-8BFC22EF-A826-47CB-9963-53A9265FD612 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P31 wd:Q56887 .

wd:Q6154875 p:P159 wds:Q6154875-AB41F850-1C26-417B-B63D-0EA79A9CCD86 .

wds:Q6154875-AB41F850-1C26-417B-B63D-0EA79A9CCD86 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P159 "Loop summarization with rational vector addition systems"@en .

wd:Q6154875 p:P27 wds:Q6154875-75E70AD5-91A9-4C74-8374-3649BD901CED .

wds:Q6154875-75E70AD5-91A9-4C74-8374-3649BD901CED a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P27 "10.1007/978-3-030-25543-5_7" .

wd:Q6154875 p:P16 wds:Q6154875-9D8F305B-7874-433D-A17D-1D3CE1BF6A7A .

wds:Q6154875-9D8F305B-7874-433D-A17D-1D3CE1BF6A7A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P16 wd:Q6154874 .

wd:Q6154875 p:P16 wds:Q6154875-2C86DBD4-66C6-4E15-8FC7-02972B0DB100 .

wds:Q6154875-2C86DBD4-66C6-4E15-8FC7-02972B0DB100 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P16 wd:Q832151 .

wd:Q6154875 p:P200 wds:Q6154875-9EBD14FF-0BC8-43F1-841B-99EBAE24A0E8 .

wds:Q6154875-9EBD14FF-0BC8-43F1-841B-99EBAE24A0E8 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P200 wd:Q2864836 .

wd:Q6154875 p:P28 wds:Q6154875-35A13284-6960-4437-8B84-B2BC410DA807 .

wds:Q6154875-35A13284-6960-4437-8B84-B2BC410DA807 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P28 "2024-02-16T00:00:00Z"^^xsd:dateTime ;
	psv:P28 wdv:ba2cccef681361516c86736346a0fb5c .

wd:Q6154875 p:P205 wds:Q6154875-87EF5A75-E8DA-40E1-BE8F-53B9C57F3521 .

wds:Q6154875-87EF5A75-E8DA-40E1-BE8F-53B9C57F3521 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P205 <https://arxiv.org/abs/1905.06495> .

wd:Q6154875 p:P226 wds:Q6154875-F96AD49B-52B6-4EC7-8306-F120FA1EAA89 .

wds:Q6154875-F96AD49B-52B6-4EC7-8306-F120FA1EAA89 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P226 "68Q60" .

wd:Q6154875 p:P226 wds:Q6154875-6A2E15F4-6304-4DB8-A068-E572E091E8D2 .

wds:Q6154875-6A2E15F4-6304-4DB8-A068-E572E091E8D2 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P226 "68Q85" .

wd:Q6154875 p:P1451 wds:Q6154875-8EF010DD-F6F7-496D-8973-605E7ABFDE4A .

wds:Q6154875-8EF010DD-F6F7-496D-8973-605E7ABFDE4A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1451 "7805819" .

wd:Q6154875 p:P1460 wds:Q6154875-86C35354-9AC7-4A29-95EF-0870C481DEC7 .

wds:Q6154875-86C35354-9AC7-4A29-95EF-0870C481DEC7 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1460 wd:Q5976449 .

wd:Q6154875 p:P388 wds:Q6154875-FC46ABD4-2709-40B1-A83F-3B1D92576D39 .

wds:Q6154875-FC46ABD4-2709-40B1-A83F-3B1D92576D39 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P388 "W2956274457" .

wd:Q6154875 p:P1643 wds:Q6154875-9D1C1D9A-54CB-4207-A543-97B767459587 .

wds:Q6154875-9D1C1D9A-54CB-4207-A543-97B767459587 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q3000639 ;
	pq:P1659 "+0.7353742718696594"^^xsd:decimal ;
	pqv:P1659 wdv:5f9f638c98c900e07fe397122c990241 ;
	pq:P1660 wd:Q6821328 .

wd:Q6154875 p:P1643 wds:Q6154875-065F24A5-E0E7-401A-89D0-88E49320369E .

wds:Q6154875-065F24A5-E0E7-401A-89D0-88E49320369E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q2248058 ;
	pq:P1659 "+0.7343468070030212"^^xsd:decimal ;
	pqv:P1659 wdv:47e697efc2a87c66b9df677de0dace47 ;
	pq:P1660 wd:Q6821328 .

wd:Q6154875 p:P1643 wds:Q6154875-6DA27253-9E33-48F3-9562-19A188994639 .

wds:Q6154875-6DA27253-9E33-48F3-9562-19A188994639 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q3540068 ;
	pq:P1659 "+0.7289509773254395"^^xsd:decimal ;
	pqv:P1659 wdv:16be42ac248841a9f18f405826f73848 ;
	pq:P1660 wd:Q6821328 .

wd:Q6154875 p:P1643 wds:Q6154875-14FD7BB4-12DF-42D4-9577-BD4824841BA6 .

wds:Q6154875-14FD7BB4-12DF-42D4-9577-BD4824841BA6 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q5408447 ;
	pq:P1659 "+0.7235254645347595"^^xsd:decimal ;
	pqv:P1659 wdv:c92b4ff0c6227468696531d614256e53 ;
	pq:P1660 wd:Q6821328 .

wd:Q6154875 p:P1643 wds:Q6154875-D831D44D-8DA5-43F2-BAB6-23A85A17605F .

wds:Q6154875-D831D44D-8DA5-43F2-BAB6-23A85A17605F a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1643 wd:Q3172925 ;
	pq:P1659 "+0.7175264358520508"^^xsd:decimal ;
	pqv:P1659 wdv:9ff395e9c255138ee9ae5f9584a4ef87 ;
	pq:P1660 wd:Q6821328 .

wd:Q6154875 p:P163 wds:Q6154875-3A8B4533-1CFE-4F0C-B8D0-05A09A76DAB5 .

wds:Q6154875-3A8B4533-1CFE-4F0C-B8D0-05A09A76DAB5 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P163 wd:Q57056 .

wd:Q6154875 rdfs:label "Loop summarization with rational vector addition systems"@en ;
	skos:prefLabel "Loop summarization with rational vector addition systems"@en ;
	schema:name "Loop summarization with rational vector addition systems"@en ;
	schema:description "scientific article; zbMATH DE number 7805819"@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: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:Q6154874 a wikibase:Item ;
	rdfs:label "Jake Silverman"@en ;
	skos:prefLabel "Jake Silverman"@en ;
	schema:name "Jake Silverman"@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:Q832151 a wikibase:Item ;
	rdfs:label "Zachary Kincaid"@en ;
	skos:prefLabel "Zachary Kincaid"@en ;
	schema:name "Zachary Kincaid"@en .

wd:Q2864836 a wikibase:Item ;
	rdfs:label "Computer Aided Verification"@en ;
	skos:prefLabel "Computer Aided Verification"@en ;
	schema:name "Computer Aided Verification"@en ;
	schema:description "scientific journal"@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:P205 a wikibase:Property ;
	rdfs:label "full work available at URL"@en ;
	skos:prefLabel "full work available at URL"@en ;
	schema:name "full work available at URL"@en ;
	schema:description "URL of a web page containing the full body of this item"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P205 ;
	wikibase:claim p:P205 ;
	wikibase:statementProperty ps:P205 ;
	wikibase:statementValue psv:P205 ;
	wikibase:qualifier pq:P205 ;
	wikibase:qualifierValue pqv:P205 ;
	wikibase:reference pr:P205 ;
	wikibase:referenceValue prv:P205 ;
	wikibase:novalue wdno:P205 .

p:P205 a owl:ObjectProperty .

psv:P205 a owl:ObjectProperty .

pqv:P205 a owl:ObjectProperty .

prv:P205 a owl:ObjectProperty .

wdt:P205 a owl:ObjectProperty .

ps:P205 a owl:ObjectProperty .

pq:P205 a owl:ObjectProperty .

pr:P205 a owl:ObjectProperty .

wdno:P205 a owl:Class ;
	owl:complementOf _:55af6bc3b849adde5dd69c11a352ef94 .

_:55af6bc3b849adde5dd69c11a352ef94 a owl:Restriction ;
	owl:onProperty wdt:P205 ;
	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: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:P388 a wikibase:Property ;
	rdfs:label "OpenAlex ID"@en ;
	skos:prefLabel "OpenAlex ID"@en ;
	schema:name "OpenAlex ID"@en ;
	schema:description "identifier for works, grants, authors, institutes, venues, concepts/subjects in OpenAlex"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P388 ;
	wikibase:claim p:P388 ;
	wikibase:statementProperty ps:P388 ;
	wikibase:statementValue psv:P388 ;
	wikibase:qualifier pq:P388 ;
	wikibase:qualifierValue pqv:P388 ;
	wikibase:reference pr:P388 ;
	wikibase:referenceValue prv:P388 ;
	wikibase:novalue wdno:P388 ;
	wikibase:directClaimNormalized wdtn:P388 ;
	wikibase:statementValueNormalized psn:P388 ;
	wikibase:qualifierValueNormalized pqn:P388 ;
	wikibase:referenceValueNormalized prn:P388 .

p:P388 a owl:ObjectProperty .

psv:P388 a owl:ObjectProperty .

pqv:P388 a owl:ObjectProperty .

prv:P388 a owl:ObjectProperty .

wdt:P388 a owl:DatatypeProperty .

ps:P388 a owl:DatatypeProperty .

pq:P388 a owl:DatatypeProperty .

pr:P388 a owl:DatatypeProperty .

psn:P388 a owl:ObjectProperty .

pqn:P388 a owl:ObjectProperty .

prn:P388 a owl:ObjectProperty .

wdtn:P388 a owl:ObjectProperty .

wdno:P388 a owl:Class ;
	owl:complementOf _:9a924b03fdbc97a8fff9e3f3ceeb11b3 .

_:9a924b03fdbc97a8fff9e3f3ceeb11b3 a owl:Restriction ;
	owl:onProperty wdt:P388 ;
	owl:someValuesFrom owl:Thing .

wd:Q3000639 a wikibase:Item ;
	rdfs:label "Loop Summarization and Termination Analysis"@en ;
	skos:prefLabel "Loop Summarization and Termination Analysis"@en ;
	schema:name "Loop Summarization and Termination Analysis"@en ;
	schema:description "scientific article; zbMATH DE number 5897398"@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:Q2248058 a wikibase:Item ;
	rdfs:label "Loop summarization using state and transition invariants"@en ;
	skos:prefLabel "Loop summarization using state and transition invariants"@en ;
	schema:name "Loop summarization using state and transition invariants"@en ;
	schema:description "scientific article; zbMATH DE number 6310010"@en .

wd:Q3540068 a wikibase:Item ;
	rdfs:label "Loop Summarization Using Abstract Transformers"@en ;
	skos:prefLabel "Loop Summarization Using Abstract Transformers"@en ;
	schema:name "Loop Summarization Using Abstract Transformers"@en ;
	schema:description "scientific article; zbMATH DE number 5369265"@en .

wd:Q5408447 a wikibase:Item ;
	rdfs:label "Abstract acceleration of general linear loops"@en ;
	skos:prefLabel "Abstract acceleration of general linear loops"@en ;
	schema:name "Abstract acceleration of general linear loops"@en ;
	schema:description "scientific article; zbMATH DE number 6282449"@en .

wd:Q3172925 a wikibase:Item ;
	rdfs:label "A Lightweight Approach for Loop Summarization"@en ;
	skos:prefLabel "A Lightweight Approach for Loop Summarization"@en ;
	schema:name "A Lightweight Approach for Loop Summarization"@en ;
	schema:description "scientific article; zbMATH DE number 5954799"@en .

wd:Q57056 a wikibase:Item ;
	rdfs:label "Creative Commons Attribution 4.0 International"@en ;
	skos:prefLabel "Creative Commons Attribution 4.0 International"@en ;
	schema:name "Creative Commons Attribution 4.0 International"@en ;
	schema:description "Creative Commons license"@en .

wd:P163 a wikibase:Property ;
	rdfs:label "copyright license"@en ;
	skos:prefLabel "copyright license"@en ;
	schema:name "copyright license"@en ;
	schema:description "license under which this copyrighted work is released"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P163 ;
	wikibase:claim p:P163 ;
	wikibase:statementProperty ps:P163 ;
	wikibase:statementValue psv:P163 ;
	wikibase:qualifier pq:P163 ;
	wikibase:qualifierValue pqv:P163 ;
	wikibase:reference pr:P163 ;
	wikibase:referenceValue prv:P163 ;
	wikibase:novalue wdno:P163 .

p:P163 a owl:ObjectProperty .

psv:P163 a owl:ObjectProperty .

pqv:P163 a owl:ObjectProperty .

prv:P163 a owl:ObjectProperty .

wdt:P163 a owl:ObjectProperty .

ps:P163 a owl:ObjectProperty .

pq:P163 a owl:ObjectProperty .

pr:P163 a owl:ObjectProperty .

wdno:P163 a owl:Class ;
	owl:complementOf _:da852631b490579adf9eca4e766e411a .

_:da852631b490579adf9eca4e766e411a a owl:Restriction ;
	owl:onProperty wdt:P163 ;
	owl:someValuesFrom owl:Thing .

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:Q6821328 a wikibase:Item ;
	rdfs:label "Recommender Run 4"@en ;
	skos:prefLabel "Recommender Run 4"@en ;
	schema:name "Recommender Run 4"@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:5f9f638c98c900e07fe397122c990241 a wikibase:QuantityValue ;
	wikibase:quantityAmount "+0.7353742718696594"^^xsd:decimal ;
	wikibase:quantityUnit <http://www.wikidata.org/entity/Q199> .

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

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

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

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

wdv:ba2cccef681361516c86736346a0fb5c a wikibase:TimeValue ;
	wikibase:timeValue "2024-02-16T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .