@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ontolex: <http://www.w3.org/ns/lemon/ontolex#> .
@prefix dct: <http://purl.org/dc/terms/> .
@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: <http://www.wikidata.org/entity/> .
@prefix data: <https://www.wikidata.org/wiki/Special:EntityData/> .
@prefix s: <http://www.wikidata.org/entity/statement/> .
@prefix ref: <http://www.wikidata.org/reference/> .
@prefix v: <http://www.wikidata.org/value/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix p: <http://www.wikidata.org/prop/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix wdno: <http://www.wikidata.org/prop/novalue/> .

data:Q207348 a schema:Dataset ;
	schema:about wd:Q207348 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2250012186"^^xsd:integer ;
	schema:dateModified "2024-09-19T11:04:17Z"^^xsd:dateTime ;
	wikibase:statements "36"^^xsd:integer ;
	wikibase:sitelinks "45"^^xsd:integer ;
	wikibase:identifiers "24"^^xsd:integer .

wd:Q207348 a wikibase:Item .

<https://zh.wikipedia.org/wiki/%E5%8D%8A%E7%BE%A4> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "zh" ;
	schema:isPartOf <https://zh.wikipedia.org/> ;
	schema:name "半群"@zh .

<https://zh.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pms.wikipedia.org/wiki/Semistrop> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "pms" ;
	schema:isPartOf <https://pms.wikipedia.org/> ;
	schema:name "Semistrop"@pms .

<https://pms.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pl.wikipedia.org/wiki/P%C3%B3%C5%82grupa> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "pl" ;
	schema:isPartOf <https://pl.wikipedia.org/> ;
	schema:name "Półgrupa"@pl .

<https://pl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ko.wikipedia.org/wiki/%EB%B0%98%EA%B5%B0> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ko" ;
	schema:isPartOf <https://ko.wikipedia.org/> ;
	schema:name "반군"@ko .

<https://ko.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://fr.wikipedia.org/wiki/Demi-groupe> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "fr" ;
	schema:isPartOf <https://fr.wikipedia.org/> ;
	schema:name "Demi-groupe"@fr .

<https://fr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://he.wikipedia.org/wiki/%D7%97%D7%91%D7%95%D7%A8%D7%94_%D7%9C%D7%9E%D7%97%D7%A6%D7%94> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "he" ;
	schema:isPartOf <https://he.wikipedia.org/> ;
	schema:name "חבורה למחצה"@he .

<https://he.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://es.wikipedia.org/wiki/Semigrupo> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "es" ;
	schema:isPartOf <https://es.wikipedia.org/> ;
	schema:name "Semigrupo"@es .

<https://es.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ta.wikipedia.org/wiki/%E0%AE%85%E0%AE%B0%E0%AF%88%E0%AE%95%E0%AF%8D%E0%AE%95%E0%AF%81%E0%AE%B2%E0%AE%AE%E0%AF%8D> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ta" ;
	schema:isPartOf <https://ta.wikipedia.org/> ;
	schema:name "அரைக்குலம்"@ta .

<https://ta.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ms.wikipedia.org/wiki/Semikumpulan> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ms" ;
	schema:isPartOf <https://ms.wikipedia.org/> ;
	schema:name "Semikumpulan"@ms .

<https://ms.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://hu.wikipedia.org/wiki/F%C3%A9lcsoport> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "hu" ;
	schema:isPartOf <https://hu.wikipedia.org/> ;
	schema:name "Félcsoport"@hu .

<https://hu.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://it.wikipedia.org/wiki/Semigruppo> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "it" ;
	schema:isPartOf <https://it.wikipedia.org/> ;
	schema:name "Semigruppo"@it .

<https://it.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://de.wikipedia.org/wiki/Halbgruppe> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "de" ;
	schema:isPartOf <https://de.wikipedia.org/> ;
	schema:name "Halbgruppe"@de .

<https://de.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ja.wikipedia.org/wiki/%E5%8D%8A%E7%BE%A4> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ja" ;
	schema:isPartOf <https://ja.wikipedia.org/> ;
	schema:name "半群"@ja .

<https://ja.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sv.wikipedia.org/wiki/Semigrupp> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "sv" ;
	schema:isPartOf <https://sv.wikipedia.org/> ;
	schema:name "Semigrupp"@sv .

<https://sv.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://nl.wikipedia.org/wiki/Halfgroep> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "nl" ;
	schema:isPartOf <https://nl.wikipedia.org/> ;
	schema:name "Halfgroep"@nl .

<https://nl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ar.wikipedia.org/wiki/%D9%86%D8%B5%D9%81_%D8%B2%D9%85%D8%B1%D8%A9> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ar" ;
	schema:isPartOf <https://ar.wikipedia.org/> ;
	schema:name "نصف زمرة"@ar .

<https://ar.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pt.wikipedia.org/wiki/Semigrupo> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "pt" ;
	schema:isPartOf <https://pt.wikipedia.org/> ;
	schema:name "Semigrupo"@pt .

<https://pt.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sk.wikipedia.org/wiki/Asociat%C3%ADvny_grupoid> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "sk" ;
	schema:isPartOf <https://sk.wikipedia.org/> ;
	schema:name "Asociatívny grupoid"@sk .

<https://sk.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ru.wikipedia.org/wiki/%D0%9F%D0%BE%D0%BB%D1%83%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ru" ;
	schema:isPartOf <https://ru.wikipedia.org/> ;
	schema:name "Полугруппа"@ru .

<https://ru.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://en.wikipedia.org/wiki/Semigroup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "en" ;
	schema:isPartOf <https://en.wikipedia.org/> ;
	schema:name "Semigroup"@en .

<https://en.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sr.wikipedia.org/wiki/%D0%9F%D0%BE%D0%BB%D1%83%D0%B3%D1%80%D1%83%D0%BF%D0%B0> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "sr" ;
	schema:isPartOf <https://sr.wikipedia.org/> ;
	schema:name "Полугрупа"@sr .

<https://sr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ro.wikipedia.org/wiki/Semigrup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ro" ;
	schema:isPartOf <https://ro.wikipedia.org/> ;
	schema:name "Semigrup"@ro .

<https://ro.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://fi.wikipedia.org/wiki/Puoliryhm%C3%A4> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "fi" ;
	schema:isPartOf <https://fi.wikipedia.org/> ;
	schema:name "Puoliryhmä"@fi .

<https://fi.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://uk.wikipedia.org/wiki/%D0%9D%D0%B0%D0%BF%D1%96%D0%B2%D0%B3%D1%80%D1%83%D0%BF%D0%B0> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "uk" ;
	schema:isPartOf <https://uk.wikipedia.org/> ;
	schema:name "Напівгрупа"@uk .

<https://uk.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sl.wikipedia.org/wiki/Polgrupa> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "sl" ;
	schema:isPartOf <https://sl.wikipedia.org/> ;
	schema:name "Polgrupa"@sl .

<https://sl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://nn.wikipedia.org/wiki/Semigruppe> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "nn" ;
	schema:isPartOf <https://nn.wikipedia.org/> ;
	schema:name "Semigruppe"@nn .

<https://nn.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://cs.wikipedia.org/wiki/Pologrupa> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "cs" ;
	schema:isPartOf <https://cs.wikipedia.org/> ;
	schema:name "Pologrupa"@cs .

<https://cs.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://bg.wikipedia.org/wiki/%D0%9F%D0%BE%D0%BB%D1%83%D0%B3%D1%80%D1%83%D0%BF%D0%B0> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "bg" ;
	schema:isPartOf <https://bg.wikipedia.org/> ;
	schema:name "Полугрупа"@bg .

<https://bg.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://az.wikipedia.org/wiki/Yar%C4%B1mqrup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "az" ;
	schema:isPartOf <https://az.wikipedia.org/> ;
	schema:name "Yarımqrup"@az .

<https://az.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://hr.wikipedia.org/wiki/Polugrupa> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "hr" ;
	schema:isPartOf <https://hr.wikipedia.org/> ;
	schema:name "Polugrupa"@hr .

<https://hr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sh.wikipedia.org/wiki/Polugrupa> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "sh" ;
	schema:isPartOf <https://sh.wikipedia.org/> ;
	schema:name "Polugrupa"@sh .

<https://sh.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ca.wikipedia.org/wiki/Semigrup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ca" ;
	schema:isPartOf <https://ca.wikipedia.org/> ;
	schema:name "Semigrup"@ca .

<https://ca.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://et.wikipedia.org/wiki/Poolr%C3%BChm> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "et" ;
	schema:isPartOf <https://et.wikipedia.org/> ;
	schema:name "Poolrühm"@et .

<https://et.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://vi.wikipedia.org/wiki/N%E1%BB%ADa_nh%C3%B3m> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "vi" ;
	schema:isPartOf <https://vi.wikipedia.org/> ;
	schema:name "Nửa nhóm"@vi .

<https://vi.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://hy.wikipedia.org/wiki/%D4%BF%D5%AB%D5%BD%D5%A1%D5%AD%D5%B8%D6%82%D5%B4%D5%A2> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "hy" ;
	schema:isPartOf <https://hy.wikipedia.org/> ;
	schema:name "Կիսախումբ"@hy .

<https://hy.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pa.wikipedia.org/wiki/%E0%A8%B8%E0%A9%87%E0%A8%AE%E0%A9%80%E0%A8%97%E0%A8%B0%E0%A9%81%E0%A9%B1%E0%A8%AA_%E0%A8%B9%E0%A9%8B%E0%A8%AE%E0%A9%8B%E0%A8%AE%E0%A9%8C%E0%A8%B0%E0%A8%AB%E0%A8%BF%E0%A8%9C%E0%A8%BC%E0%A8%AE> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "pa" ;
	schema:isPartOf <https://pa.wikipedia.org/> ;
	schema:name "ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ"@pa .

<https://pa.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://el.wikipedia.org/wiki/%CE%97%CE%BC%CE%B9%CE%BF%CE%BC%CE%AC%CE%B4%CE%B1> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "el" ;
	schema:isPartOf <https://el.wikipedia.org/> ;
	schema:name "Ημιομάδα"@el .

<https://el.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ia.wikipedia.org/wiki/Semigruppo> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "ia" ;
	schema:isPartOf <https://ia.wikipedia.org/> ;
	schema:name "Semigruppo"@ia .

<https://ia.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://lt.wikipedia.org/wiki/Pusgrup%C4%97> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "lt" ;
	schema:isPartOf <https://lt.wikipedia.org/> ;
	schema:name "Pusgrupė"@lt .

<https://lt.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://eo.wikipedia.org/wiki/Duongrupo_(algebro)> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "eo" ;
	schema:isPartOf <https://eo.wikipedia.org/> ;
	schema:name "Duongrupo (algebro)"@eo .

<https://eo.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://id.wikipedia.org/wiki/Semigrup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "id" ;
	schema:isPartOf <https://id.wikipedia.org/> ;
	schema:name "Semigrup"@id .

<https://id.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://zh-yue.wikipedia.org/wiki/%E5%8D%8A%E7%BE%A4> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "yue" ;
	schema:isPartOf <https://zh-yue.wikipedia.org/> ;
	schema:name "半群"@yue .

<https://zh-yue.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://fa.wikipedia.org/wiki/%D9%86%DB%8C%D9%85%E2%80%8C%DA%AF%D8%B1%D9%88%D9%87> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "fa" ;
	schema:isPartOf <https://fa.wikipedia.org/> ;
	schema:name "نیم‌گروه"@fa .

<https://fa.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://tr.wikipedia.org/wiki/Yar%C4%B1_grup> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "tr" ;
	schema:isPartOf <https://tr.wikipedia.org/> ;
	schema:name "Yarı grup"@tr .

<https://tr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://gl.wikipedia.org/wiki/Semigrupo> a schema:Article ;
	schema:about wd:Q207348 ;
	schema:inLanguage "gl" ;
	schema:isPartOf <https://gl.wikipedia.org/> ;
	schema:name "Semigrupo"@gl .

<https://gl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

wd:Q207348 wdt:P279 wd:Q98099755,
		wd:Q4164581,
		wd:Q97152390 ;
	wdt:P646 "/m/06xtc" ;
	wdt:P1482 <https://stackoverflow.com/tags/semigroup> ;
	wdt:P1343 wd:Q124737632 ;
	wdt:P1552 wd:Q177251,
		wd:Q4720939 ;
	wdt:P3827 "semigroups" ;
	wdt:P2812 "Semigroup" ;
	wdt:P2534 "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"block\" alttext=\"{\\displaystyle {\\boldsymbol {S}}=(S,*)}\">\n  <semantics>\n    <mrow class=\"MJX-TeXAtom-ORD\">\n      <mstyle displaystyle=\"true\" scriptlevel=\"0\">\n        <mrow class=\"MJX-TeXAtom-ORD\">\n          <mi mathvariant=\"bold-italic\">S</mi>\n        </mrow>\n        <mo>=</mo>\n        <mo stretchy=\"false\">(</mo>\n        <mi>S</mi>\n        <mo>,</mo>\n        <mo>&#x2217;<!-- ∗ --></mo>\n        <mo stretchy=\"false\">)</mo>\n      </mstyle>\n    </mrow>\n    <annotation encoding=\"application/x-tex\">{\\displaystyle {\\boldsymbol {S}}=(S,*)}</annotation>\n  </semantics>\n</math>"^^<http://www.w3.org/1998/Math/MathML> ;
	wdt:P1417 "topic/semigroup" ;
	wdt:P2581 "02140462n" ;
	wdtn:P2581 <http://babelnet.org/rdf/s02140462n> ;
	wdt:P1051 "7295" ;
	wdt:P4746 "023074" ;
	wdt:P527 wd:Q36161,
		wd:Q164307 ;
	wdt:P2579 wd:Q18694550 ;
	wdt:P6366 "207405024" ;
	wdtn:P6366 <https://makg.org/entity/207405024> ;
	wdt:P508 "68127" ;
	wdtn:P508 <http://purl.org/bncf/tid/68127> ;
	wdt:P268 "13162688c" ;
	wdtn:P268 <http://data.bnf.fr/ark:/12148/cb13162688c#about> ;
	wdt:P244 "sh85119920" ;
	wdtn:P244 <http://id.loc.gov/authorities/names/sh85119920> ;
	wdt:P227 "4022990-7" ;
	wdtn:P227 <https://d-nb.info/gnd/4022990-7> ;
	wdt:P8189 "987007531627705171" ;
	wdt:P10283 "C207405024" ;
	wdt:P11514 "polugruppa-4df8a7" ;
	wdt:P6104 wd:Q8487137 ;
	wdt:P6781 "Definition:Semigroup" ;
	wdt:P8417 "Semigroup" ;
	wdt:P3365 "semigruppo" ;
	wdt:P9621 "semigruppo" ;
	wdt:P5844 "semigruppo" ;
	wdt:P10017 "semigruppo" ;
	wdt:P6706 "semigrùppo" ;
	wdt:P7554 "Semi-group" ;
	wdt:P12888 "df-sgrp" ;
	p:P279 s:Q207348-9d38b80d-4ce3-9b74-4f8e-54a2b1e2c440 .

s:Q207348-9d38b80d-4ce3-9b74-4f8e-54a2b1e2c440 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P279 wd:Q98099755 .

wd:Q207348 p:P279 s:Q207348-e0d0093e-4fc6-cea7-9f27-51fcf46247f8 .

s:Q207348-e0d0093e-4fc6-cea7-9f27-51fcf46247f8 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P279 wd:Q4164581 .

wd:Q207348 p:P279 s:Q207348-1b417a38-4ebc-3ce8-acb2-0ab9f01737ae .

s:Q207348-1b417a38-4ebc-3ce8-acb2-0ab9f01737ae a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P279 wd:Q97152390 .

wd:Q207348 p:P646 s:Q207348-930C2DD7-6DC7-4509-8462-FC0C9CC79197 .

s:Q207348-930C2DD7-6DC7-4509-8462-FC0C9CC79197 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P646 "/m/06xtc" ;
	prov:wasDerivedFrom ref:2b00cb481cddcac7623114367489b5c194901c4a .

wd:Q207348 p:P1482 s:Q207348-B8C799F6-38F6-4F79-B317-E44DA71AF2CC .

s:Q207348-B8C799F6-38F6-4F79-B317-E44DA71AF2CC a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1482 <https://stackoverflow.com/tags/semigroup> .

wd:Q207348 p:P1343 s:Q207348-6ccc5fd9-292b-476d-9992-dd7d2b9970db .

s:Q207348-6ccc5fd9-292b-476d-9992-dd7d2b9970db a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1343 wd:Q124737632 ;
	pq:P304 "444" .

wd:Q207348 p:P1552 s:Q207348-bf1de20d-439d-4aed-ceae-1f7e211a0421 .

s:Q207348-bf1de20d-439d-4aed-ceae-1f7e211a0421 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1552 wd:Q177251 .

wd:Q207348 p:P1552 s:Q207348-39a316e4-4cb1-b2f9-4bd3-64857d815636 .

s:Q207348-39a316e4-4cb1-b2f9-4bd3-64857d815636 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1552 wd:Q4720939 .

wd:Q207348 p:P3827 s:Q207348-73B331F5-47A6-40F4-82A4-794033DE393C .

s:Q207348-73B331F5-47A6-40F4-82A4-794033DE393C a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3827 "semigroups" .

wd:Q207348 p:P2812 s:Q207348-5EC88AEE-1DBE-4EC9-B98C-BC08B2E22FA6 .

s:Q207348-5EC88AEE-1DBE-4EC9-B98C-BC08B2E22FA6 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2812 "Semigroup" ;
	pq:P1810 "Semigroup" ;
	prov:wasDerivedFrom ref:9a24f7c0208b05d6be97077d855671d1dfdbc0dd .

wd:Q207348 p:P2534 s:Q207348-43fb89b3-42c3-2e2f-227e-014a4fd370e0 .

s:Q207348-43fb89b3-42c3-2e2f-227e-014a4fd370e0 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2534 "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"block\" alttext=\"{\\displaystyle {\\boldsymbol {S}}=(S,*)}\">\n  <semantics>\n    <mrow class=\"MJX-TeXAtom-ORD\">\n      <mstyle displaystyle=\"true\" scriptlevel=\"0\">\n        <mrow class=\"MJX-TeXAtom-ORD\">\n          <mi mathvariant=\"bold-italic\">S</mi>\n        </mrow>\n        <mo>=</mo>\n        <mo stretchy=\"false\">(</mo>\n        <mi>S</mi>\n        <mo>,</mo>\n        <mo>&#x2217;<!-- ∗ --></mo>\n        <mo stretchy=\"false\">)</mo>\n      </mstyle>\n    </mrow>\n    <annotation encoding=\"application/x-tex\">{\\displaystyle {\\boldsymbol {S}}=(S,*)}</annotation>\n  </semantics>\n</math>"^^<http://www.w3.org/1998/Math/MathML> .

wd:Q207348 p:P1417 s:Q207348-6ECA2337-8E6F-478E-A5D1-03C2192B3B26 .

s:Q207348-6ECA2337-8E6F-478E-A5D1-03C2192B3B26 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1417 "topic/semigroup" ;
	pq:P1810 "semigroup" .

wd:Q207348 p:P2581 s:Q207348-E977ECC9-8CDB-4986-8D95-17945F510A1B .

s:Q207348-E977ECC9-8CDB-4986-8D95-17945F510A1B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2581 "02140462n" ;
	psn:P2581 <http://babelnet.org/rdf/s02140462n> ;
	prov:wasDerivedFrom ref:248ac337a217a5f5eed7139a82a4e60931611af0 .

wd:Q207348 p:P1051 s:Q207348-091a07e0-40da-f181-9a65-58b5b23d50d6 .

s:Q207348-091a07e0-40da-f181-9a65-58b5b23d50d6 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1051 "7295" .

wd:Q207348 p:P4746 s:Q207348-2AE7EF1A-1CC3-4153-B89C-F27F2947AF89 .

s:Q207348-2AE7EF1A-1CC3-4153-B89C-F27F2947AF89 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P4746 "023074" .

wd:Q207348 p:P527 s:Q207348-1b1c2c54-4bfa-bbae-bd1c-926f7f26efb4 .

s:Q207348-1b1c2c54-4bfa-bbae-bd1c-926f7f26efb4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P527 wd:Q36161 .

wd:Q207348 p:P527 s:Q207348-b51e19ba-4d55-4cdd-148f-3f0086ea075d .

s:Q207348-b51e19ba-4d55-4cdd-148f-3f0086ea075d a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P527 wd:Q164307 .

wd:Q207348 p:P2579 s:Q207348-6DD37DBF-A786-4E44-9C6E-2C79DE9AC082 .

s:Q207348-6DD37DBF-A786-4E44-9C6E-2C79DE9AC082 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2579 wd:Q18694550 .

wd:Q207348 p:P6366 s:Q207348-8F6BD6D0-65B6-446B-B4ED-D3DE50BE34DC .

s:Q207348-8F6BD6D0-65B6-446B-B4ED-D3DE50BE34DC a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6366 "207405024" ;
	psn:P6366 <https://makg.org/entity/207405024> .

wd:Q207348 p:P508 s:Q207348-9B504F41-9274-4EBB-A07A-CF13461BBEF4 .

s:Q207348-9B504F41-9274-4EBB-A07A-CF13461BBEF4 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P508 "68127" ;
	psn:P508 <http://purl.org/bncf/tid/68127> .

wd:Q207348 p:P268 s:Q207348-fb4da371-3155-48f4-84a7-37b09181ab1d .

s:Q207348-fb4da371-3155-48f4-84a7-37b09181ab1d a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P268 "13162688c" ;
	psn:P268 <http://data.bnf.fr/ark:/12148/cb13162688c#about> ;
	pq:P1810 "Semigroupes" ;
	prov:wasDerivedFrom ref:8593e496ec4bd48038ba6c5ca9989293b4f4d697 .

wd:Q207348 p:P244 s:Q207348-5bdbac68-d2f0-46ce-aeb3-016b05117231 .

s:Q207348-5bdbac68-d2f0-46ce-aeb3-016b05117231 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P244 "sh85119920" ;
	psn:P244 <http://id.loc.gov/authorities/names/sh85119920> ;
	pq:P1810 "Semigroups" ;
	prov:wasDerivedFrom ref:8593e496ec4bd48038ba6c5ca9989293b4f4d697 .

wd:Q207348 p:P227 s:Q207348-7d5c3fee-95b1-4c46-9440-287444a45763 .

s:Q207348-7d5c3fee-95b1-4c46-9440-287444a45763 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P227 "4022990-7" ;
	psn:P227 <https://d-nb.info/gnd/4022990-7> ;
	pq:P1810 "Halbgruppe" ;
	prov:wasDerivedFrom ref:8593e496ec4bd48038ba6c5ca9989293b4f4d697 .

wd:Q207348 p:P8189 s:Q207348-3C186199-F43D-4D78-B795-B7E4E9E85728 .

s:Q207348-3C186199-F43D-4D78-B795-B7E4E9E85728 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P8189 "987007531627705171" ;
	prov:wasDerivedFrom ref:c8a47202c92936005b390eb36ddd267921b51f43 .

wd:Q207348 p:P10283 s:Q207348-64022598-D9CC-4F0E-8850-98E2E22B2184 .

s:Q207348-64022598-D9CC-4F0E-8850-98E2E22B2184 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P10283 "C207405024" ;
	prov:wasDerivedFrom ref:c13ba4d7902ead2693f79396bc25bd35d4d14030 .

wd:Q207348 p:P11514 s:Q207348-514291E6-B054-4BAE-BC29-1DDFB5AC2DBE .

s:Q207348-514291E6-B054-4BAE-BC29-1DDFB5AC2DBE a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P11514 "polugruppa-4df8a7" .

wd:Q207348 p:P6104 s:Q207348-97BA8F1F-ED19-4154-9FE0-872A119BFDF5 .

s:Q207348-97BA8F1F-ED19-4154-9FE0-872A119BFDF5 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6104 wd:Q8487137 .

wd:Q207348 p:P6781 s:Q207348-53ac4009-4d92-5ab6-6edd-755b39c41600 .

s:Q207348-53ac4009-4d92-5ab6-6edd-755b39c41600 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6781 "Definition:Semigroup" .

wd:Q207348 p:P8417 s:Q207348-1ac2aafc-493c-6d62-6f95-c6a4523588a7 .

s:Q207348-1ac2aafc-493c-6d62-6f95-c6a4523588a7 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P8417 "Semigroup" .

wd:Q207348 p:P3365 s:Q207348-7814e373-48c9-b901-a479-2bcd9a181d96 .

s:Q207348-7814e373-48c9-b901-a479-2bcd9a181d96 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3365 "semigruppo" ;
	pq:P1810 "Semigruppo" .

wd:Q207348 p:P9621 s:Q207348-4c79b0d9-495b-bc1c-139e-1da2e0d8846f .

s:Q207348-4c79b0d9-495b-bc1c-139e-1da2e0d8846f a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P9621 "semigruppo" ;
	pq:P1810 "Semigruppo" ;
	pq:P577 "2013-01-01T00:00:00Z"^^xsd:dateTime ;
	pqv:P577 v:e8f0787e44ff9dd43e5b4af2e7fe2b10 .

wd:Q207348 p:P5844 s:Q207348-eb4c3fa8-4e74-1759-d0c8-e4a0813cec6a .

s:Q207348-eb4c3fa8-4e74-1759-d0c8-e4a0813cec6a a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P5844 "semigruppo" ;
	pq:P1810 "Semigruppo" .

wd:Q207348 p:P10017 s:Q207348-2d1afc42-4a81-e81f-2ed9-69e4c22dd068 .

s:Q207348-2d1afc42-4a81-e81f-2ed9-69e4c22dd068 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P10017 "semigruppo" ;
	pq:P1810 "Semigruppo" ;
	pq:P577 "1996-01-01T00:00:00Z"^^xsd:dateTime ;
	pqv:P577 v:e1f28dafe18efe99a187a348d0740ee4 .

wd:Q207348 p:P6706 s:Q207348-231d0bac-483c-5b51-1446-41ee3b247dd1 .

s:Q207348-231d0bac-483c-5b51-1446-41ee3b247dd1 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6706 "semigrùppo" ;
	pq:P1810 "semigrùppo" .

wd:Q207348 p:P7554 s:Q207348-991f3d5d-4bbe-f4f7-09f6-97f4fda0f93c .

s:Q207348-991f3d5d-4bbe-f4f7-09f6-97f4fda0f93c a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P7554 "Semi-group" ;
	pq:P1810 "Semi-group" .

wd:Q207348 p:P12888 s:Q207348-E22A4B43-A71C-465E-B4F0-4E543316527B .

s:Q207348-E22A4B43-A71C-465E-B4F0-4E543316527B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P12888 "df-sgrp" .

wd:Q207348 rdfs:label "半群"@zh-hans ;
	skos:prefLabel "半群"@zh-hans ;
	schema:name "半群"@zh-hans ;
	rdfs:label "半群"@zh-hant ;
	skos:prefLabel "半群"@zh-hant ;
	schema:name "半群"@zh-hant ;
	rdfs:label "半群"@zh-hk ;
	skos:prefLabel "半群"@zh-hk ;
	schema:name "半群"@zh-hk ;
	rdfs:label "半群"@zh-cn ;
	skos:prefLabel "半群"@zh-cn ;
	schema:name "半群"@zh-cn ;
	rdfs:label "半群"@zh-sg ;
	skos:prefLabel "半群"@zh-sg ;
	schema:name "半群"@zh-sg ;
	rdfs:label "半群"@zh-tw ;
	skos:prefLabel "半群"@zh-tw ;
	schema:name "半群"@zh-tw ;
	rdfs:label "Semistrop"@pms ;
	skos:prefLabel "Semistrop"@pms ;
	schema:name "Semistrop"@pms ;
	rdfs:label "półgrupa"@pl ;
	skos:prefLabel "półgrupa"@pl ;
	schema:name "półgrupa"@pl ;
	rdfs:label "반군"@ko ;
	skos:prefLabel "반군"@ko ;
	schema:name "반군"@ko ;
	rdfs:label "demi-groupe"@fr ;
	skos:prefLabel "demi-groupe"@fr ;
	schema:name "demi-groupe"@fr ;
	rdfs:label "חבורה למחצה"@he ;
	skos:prefLabel "חבורה למחצה"@he ;
	schema:name "חבורה למחצה"@he ;
	rdfs:label "semigrupo"@es ;
	skos:prefLabel "semigrupo"@es ;
	schema:name "semigrupo"@es ;
	rdfs:label "அரைக்குலம்"@ta ;
	skos:prefLabel "அரைக்குலம்"@ta ;
	schema:name "அரைக்குலம்"@ta ;
	rdfs:label "Semikumpulan"@ms ;
	skos:prefLabel "Semikumpulan"@ms ;
	schema:name "Semikumpulan"@ms ;
	rdfs:label "félcsoport"@hu ;
	skos:prefLabel "félcsoport"@hu ;
	schema:name "félcsoport"@hu ;
	rdfs:label "semigruppo"@it ;
	skos:prefLabel "semigruppo"@it ;
	schema:name "semigruppo"@it ;
	rdfs:label "Halbgruppe"@de ;
	skos:prefLabel "Halbgruppe"@de ;
	schema:name "Halbgruppe"@de ;
	rdfs:label "半群"@ja ;
	skos:prefLabel "半群"@ja ;
	schema:name "半群"@ja ;
	rdfs:label "semigrupp"@sv ;
	skos:prefLabel "semigrupp"@sv ;
	schema:name "semigrupp"@sv ;
	rdfs:label "halfgroep"@nl ;
	skos:prefLabel "halfgroep"@nl ;
	schema:name "halfgroep"@nl ;
	rdfs:label "نصف زمرة"@ar ;
	skos:prefLabel "نصف زمرة"@ar ;
	schema:name "نصف زمرة"@ar ;
	rdfs:label "semigrupo"@pt ;
	skos:prefLabel "semigrupo"@pt ;
	schema:name "semigrupo"@pt ;
	rdfs:label "duongrupo"@eo ;
	skos:prefLabel "duongrupo"@eo ;
	schema:name "duongrupo"@eo ;
	rdfs:label "Asociatívny grupoid"@sk ;
	skos:prefLabel "Asociatívny grupoid"@sk ;
	schema:name "Asociatívny grupoid"@sk ;
	rdfs:label "полугруппа"@ru ;
	skos:prefLabel "полугруппа"@ru ;
	schema:name "полугруппа"@ru ;
	rdfs:label "semigroup"@en ;
	skos:prefLabel "semigroup"@en ;
	schema:name "semigroup"@en ;
	rdfs:label "polugrupa"@sr-el ;
	skos:prefLabel "polugrupa"@sr-el ;
	schema:name "polugrupa"@sr-el ;
	rdfs:label "полугрупа"@sr-ec ;
	skos:prefLabel "полугрупа"@sr-ec ;
	schema:name "полугрупа"@sr-ec ;
	rdfs:label "Yarı öbek"@tr ;
	skos:prefLabel "Yarı öbek"@tr ;
	schema:name "Yarı öbek"@tr ;
	rdfs:label "semigrup"@ro ;
	skos:prefLabel "semigrup"@ro ;
	schema:name "semigrup"@ro ;
	rdfs:label "puoliryhmä"@fi ;
	skos:prefLabel "puoliryhmä"@fi ;
	schema:name "puoliryhmä"@fi ;
	rdfs:label "напівгрупа"@uk ;
	skos:prefLabel "напівгрупа"@uk ;
	schema:name "напівгрупа"@uk ;
	rdfs:label "polgrupa"@sl ;
	skos:prefLabel "polgrupa"@sl ;
	schema:name "polgrupa"@sl ;
	rdfs:label "semigruppe"@nn ;
	skos:prefLabel "semigruppe"@nn ;
	schema:name "semigruppe"@nn ;
	rdfs:label "pologrupa"@cs ;
	skos:prefLabel "pologrupa"@cs ;
	schema:name "pologrupa"@cs ;
	rdfs:label "Полугрупа"@bg ;
	skos:prefLabel "Полугрупа"@bg ;
	schema:name "Полугрупа"@bg ;
	rdfs:label "Yarımqrup"@az ;
	skos:prefLabel "Yarımqrup"@az ;
	schema:name "Yarımqrup"@az ;
	rdfs:label "Polugrupa"@hr ;
	skos:prefLabel "Polugrupa"@hr ;
	schema:name "Polugrupa"@hr ;
	rdfs:label "полугрупа"@sr ;
	skos:prefLabel "полугрупа"@sr ;
	schema:name "полугрупа"@sr ;
	rdfs:label "半群"@zh ;
	skos:prefLabel "半群"@zh ;
	schema:name "半群"@zh ;
	rdfs:label "semigrupo"@pt-br ;
	skos:prefLabel "semigrupo"@pt-br ;
	schema:name "semigrupo"@pt-br ;
	rdfs:label "Poolrühm"@et ;
	skos:prefLabel "Poolrühm"@et ;
	schema:name "Poolrühm"@et ;
	rdfs:label "semigrup"@ca ;
	skos:prefLabel "semigrup"@ca ;
	schema:name "semigrup"@ca ;
	rdfs:label "Polugrupa"@sh ;
	skos:prefLabel "Polugrupa"@sh ;
	schema:name "Polugrupa"@sh ;
	rdfs:label "полугрупа"@mk ;
	skos:prefLabel "полугрупа"@mk ;
	schema:name "полугрупа"@mk ;
	rdfs:label "Nửa nhóm"@vi ;
	skos:prefLabel "Nửa nhóm"@vi ;
	schema:name "Nửa nhóm"@vi ;
	rdfs:label "Կիսախումբ"@hy ;
	skos:prefLabel "Կիսախումբ"@hy ;
	schema:name "Կիսախումբ"@hy ;
	rdfs:label "Polugrupa"@bs ;
	skos:prefLabel "Polugrupa"@bs ;
	schema:name "Polugrupa"@bs ;
	rdfs:label "ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ"@pa ;
	skos:prefLabel "ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ"@pa ;
	schema:name "ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ"@pa ;
	rdfs:label "Ημιομάδα"@el ;
	skos:prefLabel "Ημιομάδα"@el ;
	schema:name "Ημιομάδα"@el ;
	rdfs:label "erditalde"@eu ;
	skos:prefLabel "erditalde"@eu ;
	schema:name "erditalde"@eu ;
	rdfs:label "semigruppe"@nb ;
	skos:prefLabel "semigruppe"@nb ;
	schema:name "semigruppe"@nb ;
	rdfs:label "Semigruppo"@ia ;
	skos:prefLabel "Semigruppo"@ia ;
	schema:name "Semigruppo"@ia ;
	rdfs:label "Pusgrupė"@lt ;
	skos:prefLabel "Pusgrupė"@lt ;
	schema:name "Pusgrupė"@lt ;
	rdfs:label "паўгрупа"@be-tarask ;
	skos:prefLabel "паўгрупа"@be-tarask ;
	schema:name "паўгрупа"@be-tarask ;
	rdfs:label "semigrup"@id ;
	skos:prefLabel "semigrup"@id ;
	schema:name "semigrup"@id ;
	rdfs:label "نیم-گروه"@fa ;
	skos:prefLabel "نیم-گروه"@fa ;
	schema:name "نیم-گروه"@fa ;
	rdfs:label "半群"@yue ;
	skos:prefLabel "半群"@yue ;
	schema:name "半群"@yue ;
	rdfs:label "semigrupo"@gl ;
	skos:prefLabel "semigrupo"@gl ;
	schema:name "semigrupo"@gl ;
	schema:description "алгебраическая структура"@ru,
		"algebraic structure with an associative binary operation"@en,
		"estrutura algébrica"@pt,
		"algebraische Struktur mit assoziativer binärer Operation"@de,
		"estructura algebraica con una operación binaria asociativa"@es,
		"algebraická struktura s jednou asociativní binární operací"@cs,
		"Multzo bat eta barne-eragiketa elkarkor bat dituen egitura matematikoa"@eu,
		"альгебраічная структура"@be-tarask,
		"מבנה אלגברי במתימטיקה"@he,
		"struttura algebrica con una operazione binaria associativa"@it,
		"struktur aljabar dengan operasi biner asosiatif"@id,
		"liitännäisen laskutoimituksen sisältämä algebrallinen rakenne"@fi,
		"결합법칙을 따르는 하나의 이항 연산이 부여된 대수 구조"@ko,
		"algebra strukturo kun asocia interna duvalenta operacio"@eo,
		"typ struktury algebraicznej z jednym działaniem; uogólnienie grupy"@pl,
		"tipus d'estructura algebraica"@ca,
		"structură algebrică cu o lege de compoziție binară asociativă"@ro,
		"estrutura alxébrica cunha operación binaria asociativa"@gl ;
	skos:altLabel "semigroup"@fr,
		"semi-groupe"@fr,
		"semigroupe"@fr,
		"demigroupe"@fr,
		"סמי חבורה"@he,
		"אגודה (מתימטיקה)"@he,
		"monoide libero"@it,
		"sottosemigruppo"@it,
		"Semigruppe"@de,
		"Gleichmäßig stetige Halbgruppe"@de,
		"assoziatives Magma"@de,
		"Halvgrupp"@sv,
		"semigroep"@nl,
		"زمرة نصفية"@ar,
		"نصف زمره"@ar,
		"semi-grupo"@pt,
		"Pologrupa"@sk,
		"Семигрупа"@sr,
		"Yarıgrup"@tr,
		"півгрупа"@uk,
		"semigrupa"@cs,
		"associative magma"@en,
		"asosiatif magma"@id,
		"semigrupo"@eo,
		"asocia magmo"@eo,
		"magma asociativo"@gl .

wd:Q98099755 a wikibase:Item ;
	rdfs:label "flexible magma"@en ;
	skos:prefLabel "flexible magma"@en ;
	schema:name "flexible magma"@en ;
	schema:description "algebraic structure in which: (a*b)*a = a*(b*a)"@en .

wd:P279 a wikibase:Property ;
	rdfs:label "subclass of"@en ;
	skos:prefLabel "subclass of"@en ;
	schema:name "subclass of"@en ;
	schema:description "this item is a subclass (subset) of that item; all instances of this item are instances of that item; different from P31 (instance of), e.g.: volcano is a subclass of mountain (and an instance of volcanic landform); K2 is an instance of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P279 ;
	wikibase:claim p:P279 ;
	wikibase:statementProperty ps:P279 ;
	wikibase:statementValue psv:P279 ;
	wikibase:qualifier pq:P279 ;
	wikibase:qualifierValue pqv:P279 ;
	wikibase:reference pr:P279 ;
	wikibase:referenceValue prv:P279 ;
	wikibase:novalue wdno:P279 .

p:P279 a owl:ObjectProperty .

psv:P279 a owl:ObjectProperty .

pqv:P279 a owl:ObjectProperty .

prv:P279 a owl:ObjectProperty .

wdt:P279 a owl:ObjectProperty .

ps:P279 a owl:ObjectProperty .

pq:P279 a owl:ObjectProperty .

pr:P279 a owl:ObjectProperty .

wdno:P279 a owl:Class ;
	owl:complementOf _:55a0a46aa65f620d17fa7dc3671280d4 .

_:55a0a46aa65f620d17fa7dc3671280d4 a owl:Restriction ;
	owl:onProperty wdt:P279 ;
	owl:someValuesFrom owl:Thing .

wd:Q4164581 a wikibase:Item ;
	rdfs:label "semigroupoid"@en ;
	skos:prefLabel "semigroupoid"@en ;
	schema:name "semigroupoid"@en ;
	schema:description "partial algebra that satisfies the axioms for a small category"@en .

wd:Q97152390 a wikibase:Item ;
	rdfs:label "partial semigroup"@en ;
	skos:prefLabel "partial semigroup"@en ;
	schema:name "partial semigroup"@en ;
	schema:description "algebraic structure"@en .

wd:P646 a wikibase:Property ;
	rdfs:label "Freebase ID"@en ;
	skos:prefLabel "Freebase ID"@en ;
	schema:name "Freebase ID"@en ;
	schema:description "identifier for a page in the Freebase database. Format: \"/m/0\" followed by 2 to 7 characters. For IDs starting with \"/g/\", use Google Knowledge Graph ID (P2671)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P646 ;
	wikibase:claim p:P646 ;
	wikibase:statementProperty ps:P646 ;
	wikibase:statementValue psv:P646 ;
	wikibase:qualifier pq:P646 ;
	wikibase:qualifierValue pqv:P646 ;
	wikibase:reference pr:P646 ;
	wikibase:referenceValue prv:P646 ;
	wikibase:novalue wdno:P646 ;
	wikibase:directClaimNormalized wdtn:P646 ;
	wikibase:statementValueNormalized psn:P646 ;
	wikibase:qualifierValueNormalized pqn:P646 ;
	wikibase:referenceValueNormalized prn:P646 .

p:P646 a owl:ObjectProperty .

psv:P646 a owl:ObjectProperty .

pqv:P646 a owl:ObjectProperty .

prv:P646 a owl:ObjectProperty .

wdt:P646 a owl:DatatypeProperty .

ps:P646 a owl:DatatypeProperty .

pq:P646 a owl:DatatypeProperty .

pr:P646 a owl:DatatypeProperty .

psn:P646 a owl:ObjectProperty .

pqn:P646 a owl:ObjectProperty .

prn:P646 a owl:ObjectProperty .

wdtn:P646 a owl:ObjectProperty .

wdno:P646 a owl:Class ;
	owl:complementOf _:38db277a4b10d59fd38a3fd995cbe570 .

_:38db277a4b10d59fd38a3fd995cbe570 a owl:Restriction ;
	owl:onProperty wdt:P646 ;
	owl:someValuesFrom owl:Thing .

wd:P1482 a wikibase:Property ;
	rdfs:label "Stack Exchange tag"@en ;
	skos:prefLabel "Stack Exchange tag"@en ;
	schema:name "Stack Exchange tag"@en ;
	schema:description "tag on the Stack Exchange websites"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P1482 ;
	wikibase:claim p:P1482 ;
	wikibase:statementProperty ps:P1482 ;
	wikibase:statementValue psv:P1482 ;
	wikibase:qualifier pq:P1482 ;
	wikibase:qualifierValue pqv:P1482 ;
	wikibase:reference pr:P1482 ;
	wikibase:referenceValue prv:P1482 ;
	wikibase:novalue wdno:P1482 .

p:P1482 a owl:ObjectProperty .

psv:P1482 a owl:ObjectProperty .

pqv:P1482 a owl:ObjectProperty .

prv:P1482 a owl:ObjectProperty .

wdt:P1482 a owl:ObjectProperty .

ps:P1482 a owl:ObjectProperty .

pq:P1482 a owl:ObjectProperty .

pr:P1482 a owl:ObjectProperty .

wdno:P1482 a owl:Class ;
	owl:complementOf _:066031779cfa800e67b51a6a3ae80549 .

_:066031779cfa800e67b51a6a3ae80549 a owl:Restriction ;
	owl:onProperty wdt:P1482 ;
	owl:someValuesFrom owl:Thing .

wd:Q124737632 a wikibase:Item ;
	rdfs:label "Armenian Soviet Encyclopedia, vol. 5"@en ;
	skos:prefLabel "Armenian Soviet Encyclopedia, vol. 5"@en ;
	schema:name "Armenian Soviet Encyclopedia, vol. 5"@en ;
	schema:description "volume of the Armenian Soviet Encyclopedia"@en .

wd:P1343 a wikibase:Property ;
	rdfs:label "described by source"@en ;
	skos:prefLabel "described by source"@en ;
	schema:name "described by source"@en ;
	schema:description "work where this item is described"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1343 ;
	wikibase:claim p:P1343 ;
	wikibase:statementProperty ps:P1343 ;
	wikibase:statementValue psv:P1343 ;
	wikibase:qualifier pq:P1343 ;
	wikibase:qualifierValue pqv:P1343 ;
	wikibase:reference pr:P1343 ;
	wikibase:referenceValue prv:P1343 ;
	wikibase:novalue wdno:P1343 .

p:P1343 a owl:ObjectProperty .

psv:P1343 a owl:ObjectProperty .

pqv:P1343 a owl:ObjectProperty .

prv:P1343 a owl:ObjectProperty .

wdt:P1343 a owl:ObjectProperty .

ps:P1343 a owl:ObjectProperty .

pq:P1343 a owl:ObjectProperty .

pr:P1343 a owl:ObjectProperty .

wdno:P1343 a owl:Class ;
	owl:complementOf _:9c5978c46703ed90be57b769a8622d59 .

_:9c5978c46703ed90be57b769a8622d59 a owl:Restriction ;
	owl:onProperty wdt:P1343 ;
	owl:someValuesFrom owl:Thing .

wd:Q177251 a wikibase:Item ;
	rdfs:label "associativity"@en ;
	skos:prefLabel "associativity"@en ;
	schema:name "associativity"@en ;
	schema:description "property of binary operations allowing sequences of operations to be regrouped without changing their value"@en .

wd:P1552 a wikibase:Property ;
	rdfs:label "has characteristic"@en ;
	skos:prefLabel "has characteristic"@en ;
	schema:name "has characteristic"@en ;
	schema:description "inherent or distinguishing quality or feature of the entity. Use a more specific property when possible"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1552 ;
	wikibase:claim p:P1552 ;
	wikibase:statementProperty ps:P1552 ;
	wikibase:statementValue psv:P1552 ;
	wikibase:qualifier pq:P1552 ;
	wikibase:qualifierValue pqv:P1552 ;
	wikibase:reference pr:P1552 ;
	wikibase:referenceValue prv:P1552 ;
	wikibase:novalue wdno:P1552 .

p:P1552 a owl:ObjectProperty .

psv:P1552 a owl:ObjectProperty .

pqv:P1552 a owl:ObjectProperty .

prv:P1552 a owl:ObjectProperty .

wdt:P1552 a owl:ObjectProperty .

ps:P1552 a owl:ObjectProperty .

pq:P1552 a owl:ObjectProperty .

pr:P1552 a owl:ObjectProperty .

wdno:P1552 a owl:Class ;
	owl:complementOf _:d646ce684b92dfe343f574cfbd061458 .

_:d646ce684b92dfe343f574cfbd061458 a owl:Restriction ;
	owl:onProperty wdt:P1552 ;
	owl:someValuesFrom owl:Thing .

wd:Q4720939 a wikibase:Item ;
	rdfs:label "closure"@en ;
	skos:prefLabel "closure"@en ;
	schema:name "closure"@en ;
	schema:description "mathematical property of an operation"@en .

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

p:P3827 a owl:ObjectProperty .

psv:P3827 a owl:ObjectProperty .

pqv:P3827 a owl:ObjectProperty .

prv:P3827 a owl:ObjectProperty .

wdt:P3827 a owl:DatatypeProperty .

ps:P3827 a owl:DatatypeProperty .

pq:P3827 a owl:DatatypeProperty .

pr:P3827 a owl:DatatypeProperty .

psn:P3827 a owl:ObjectProperty .

pqn:P3827 a owl:ObjectProperty .

prn:P3827 a owl:ObjectProperty .

wdtn:P3827 a owl:ObjectProperty .

wdno:P3827 a owl:Class ;
	owl:complementOf _:591354acd9a1c60143190541be6b2d38 .

_:591354acd9a1c60143190541be6b2d38 a owl:Restriction ;
	owl:onProperty wdt:P3827 ;
	owl:someValuesFrom owl:Thing .

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

p:P2812 a owl:ObjectProperty .

psv:P2812 a owl:ObjectProperty .

pqv:P2812 a owl:ObjectProperty .

prv:P2812 a owl:ObjectProperty .

wdt:P2812 a owl:DatatypeProperty .

ps:P2812 a owl:DatatypeProperty .

pq:P2812 a owl:DatatypeProperty .

pr:P2812 a owl:DatatypeProperty .

psn:P2812 a owl:ObjectProperty .

pqn:P2812 a owl:ObjectProperty .

prn:P2812 a owl:ObjectProperty .

wdtn:P2812 a owl:ObjectProperty .

wdno:P2812 a owl:Class ;
	owl:complementOf _:fb0f7ab1055ee23989a25d6be40e2991 .

_:fb0f7ab1055ee23989a25d6be40e2991 a owl:Restriction ;
	owl:onProperty wdt:P2812 ;
	owl:someValuesFrom owl:Thing .

wd:P2534 a wikibase:Property ;
	rdfs:label "defining formula"@en ;
	skos:prefLabel "defining formula"@en ;
	schema:name "defining formula"@en ;
	schema:description "mathematical formula representing a theorem or law"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Math> ;
	wikibase:directClaim wdt:P2534 ;
	wikibase:claim p:P2534 ;
	wikibase:statementProperty ps:P2534 ;
	wikibase:statementValue psv:P2534 ;
	wikibase:qualifier pq:P2534 ;
	wikibase:qualifierValue pqv:P2534 ;
	wikibase:reference pr:P2534 ;
	wikibase:referenceValue prv:P2534 ;
	wikibase:novalue wdno:P2534 .

p:P2534 a owl:ObjectProperty .

psv:P2534 a owl:ObjectProperty .

pqv:P2534 a owl:ObjectProperty .

prv:P2534 a owl:ObjectProperty .

wdt:P2534 a owl:DatatypeProperty .

ps:P2534 a owl:DatatypeProperty .

pq:P2534 a owl:DatatypeProperty .

pr:P2534 a owl:DatatypeProperty .

wdno:P2534 a owl:Class ;
	owl:complementOf _:56106536cf53d9fe8e74344a86006cd7 .

_:56106536cf53d9fe8e74344a86006cd7 a owl:Restriction ;
	owl:onProperty wdt:P2534 ;
	owl:someValuesFrom owl:Thing .

wd:P1417 a wikibase:Property ;
	rdfs:label "Encyclopædia Britannica Online ID"@en ;
	skos:prefLabel "Encyclopædia Britannica Online ID"@en ;
	schema:name "Encyclopædia Britannica Online ID"@en ;
	schema:description "identifier for an article in the online version of Encyclopædia Britannica"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P1417 ;
	wikibase:claim p:P1417 ;
	wikibase:statementProperty ps:P1417 ;
	wikibase:statementValue psv:P1417 ;
	wikibase:qualifier pq:P1417 ;
	wikibase:qualifierValue pqv:P1417 ;
	wikibase:reference pr:P1417 ;
	wikibase:referenceValue prv:P1417 ;
	wikibase:novalue wdno:P1417 ;
	wikibase:directClaimNormalized wdtn:P1417 ;
	wikibase:statementValueNormalized psn:P1417 ;
	wikibase:qualifierValueNormalized pqn:P1417 ;
	wikibase:referenceValueNormalized prn:P1417 .

p:P1417 a owl:ObjectProperty .

psv:P1417 a owl:ObjectProperty .

pqv:P1417 a owl:ObjectProperty .

prv:P1417 a owl:ObjectProperty .

wdt:P1417 a owl:DatatypeProperty .

ps:P1417 a owl:DatatypeProperty .

pq:P1417 a owl:DatatypeProperty .

pr:P1417 a owl:DatatypeProperty .

psn:P1417 a owl:ObjectProperty .

pqn:P1417 a owl:ObjectProperty .

prn:P1417 a owl:ObjectProperty .

wdtn:P1417 a owl:ObjectProperty .

wdno:P1417 a owl:Class ;
	owl:complementOf _:0cb1ab8817799c4db539b18975ce292a .

_:0cb1ab8817799c4db539b18975ce292a a owl:Restriction ;
	owl:onProperty wdt:P1417 ;
	owl:someValuesFrom owl:Thing .

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

p:P2581 a owl:ObjectProperty .

psv:P2581 a owl:ObjectProperty .

pqv:P2581 a owl:ObjectProperty .

prv:P2581 a owl:ObjectProperty .

wdt:P2581 a owl:DatatypeProperty .

ps:P2581 a owl:DatatypeProperty .

pq:P2581 a owl:DatatypeProperty .

pr:P2581 a owl:DatatypeProperty .

psn:P2581 a owl:ObjectProperty .

pqn:P2581 a owl:ObjectProperty .

prn:P2581 a owl:ObjectProperty .

wdtn:P2581 a owl:ObjectProperty .

wdno:P2581 a owl:Class ;
	owl:complementOf _:bdd44b035df3e72593f3ac1acbd85353 .

_:bdd44b035df3e72593f3ac1acbd85353 a owl:Restriction ;
	owl:onProperty wdt:P2581 ;
	owl:someValuesFrom owl:Thing .

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

p:P1051 a owl:ObjectProperty .

psv:P1051 a owl:ObjectProperty .

pqv:P1051 a owl:ObjectProperty .

prv:P1051 a owl:ObjectProperty .

wdt:P1051 a owl:DatatypeProperty .

ps:P1051 a owl:DatatypeProperty .

pq:P1051 a owl:DatatypeProperty .

pr:P1051 a owl:DatatypeProperty .

psn:P1051 a owl:ObjectProperty .

pqn:P1051 a owl:ObjectProperty .

prn:P1051 a owl:ObjectProperty .

wdtn:P1051 a owl:ObjectProperty .

wdno:P1051 a owl:Class ;
	owl:complementOf _:7aae51e6fdbcd835bc972ed14a284928 .

_:7aae51e6fdbcd835bc972ed14a284928 a owl:Restriction ;
	owl:onProperty wdt:P1051 ;
	owl:someValuesFrom owl:Thing .

wd:P4746 a wikibase:Property ;
	rdfs:label "Elhuyar ZTH ID"@en ;
	skos:prefLabel "Elhuyar ZTH ID"@en ;
	schema:name "Elhuyar ZTH ID"@en ;
	schema:description "Elhuyar Science and Technology Dictionary has a wide range of terms in four languages (en, es, fr, eu) that can easily be linked to and from Wikidata"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P4746 ;
	wikibase:claim p:P4746 ;
	wikibase:statementProperty ps:P4746 ;
	wikibase:statementValue psv:P4746 ;
	wikibase:qualifier pq:P4746 ;
	wikibase:qualifierValue pqv:P4746 ;
	wikibase:reference pr:P4746 ;
	wikibase:referenceValue prv:P4746 ;
	wikibase:novalue wdno:P4746 ;
	wikibase:directClaimNormalized wdtn:P4746 ;
	wikibase:statementValueNormalized psn:P4746 ;
	wikibase:qualifierValueNormalized pqn:P4746 ;
	wikibase:referenceValueNormalized prn:P4746 .

p:P4746 a owl:ObjectProperty .

psv:P4746 a owl:ObjectProperty .

pqv:P4746 a owl:ObjectProperty .

prv:P4746 a owl:ObjectProperty .

wdt:P4746 a owl:DatatypeProperty .

ps:P4746 a owl:DatatypeProperty .

pq:P4746 a owl:DatatypeProperty .

pr:P4746 a owl:DatatypeProperty .

psn:P4746 a owl:ObjectProperty .

pqn:P4746 a owl:ObjectProperty .

prn:P4746 a owl:ObjectProperty .

wdtn:P4746 a owl:ObjectProperty .

wdno:P4746 a owl:Class ;
	owl:complementOf _:bb7f68ecb3e1370fa661a0df6b6a66ba .

_:bb7f68ecb3e1370fa661a0df6b6a66ba a owl:Restriction ;
	owl:onProperty wdt:P4746 ;
	owl:someValuesFrom owl:Thing .

wd:Q36161 a wikibase:Item ;
	rdfs:label "set"@en ;
	skos:prefLabel "set"@en ;
	schema:name "set"@en ;
	schema:description "well-defined mathematical collection of distinct objects"@en .

wd:P527 a wikibase:Property ;
	rdfs:label "has part(s)"@en ;
	skos:prefLabel "has part(s)"@en ;
	schema:name "has part(s)"@en ;
	schema:description "part of this subject; inverse property of \"part of\" (P361). See also \"has parts of the class\" (P2670)."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P527 ;
	wikibase:claim p:P527 ;
	wikibase:statementProperty ps:P527 ;
	wikibase:statementValue psv:P527 ;
	wikibase:qualifier pq:P527 ;
	wikibase:qualifierValue pqv:P527 ;
	wikibase:reference pr:P527 ;
	wikibase:referenceValue prv:P527 ;
	wikibase:novalue wdno:P527 .

p:P527 a owl:ObjectProperty .

psv:P527 a owl:ObjectProperty .

pqv:P527 a owl:ObjectProperty .

prv:P527 a owl:ObjectProperty .

wdt:P527 a owl:ObjectProperty .

ps:P527 a owl:ObjectProperty .

pq:P527 a owl:ObjectProperty .

pr:P527 a owl:ObjectProperty .

wdno:P527 a owl:Class ;
	owl:complementOf _:c508fd90817ec28651ec025cc3117403 .

_:c508fd90817ec28651ec025cc3117403 a owl:Restriction ;
	owl:onProperty wdt:P527 ;
	owl:someValuesFrom owl:Thing .

wd:Q164307 a wikibase:Item ;
	rdfs:label "binary operation"@en ;
	skos:prefLabel "binary operation"@en ;
	schema:name "binary operation"@en ;
	schema:description "mathematical operation that combines two elements to produce another element"@en .

wd:Q18694550 a wikibase:Item ;
	rdfs:label "semigroup theory"@en ;
	skos:prefLabel "semigroup theory"@en ;
	schema:name "semigroup theory"@en ;
	schema:description "branch of mathematics"@en .

wd:P2579 a wikibase:Property ;
	rdfs:label "studied in"@en ;
	skos:prefLabel "studied in"@en ;
	schema:name "studied in"@en ;
	schema:description "subject is studied by this science or domain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2579 ;
	wikibase:claim p:P2579 ;
	wikibase:statementProperty ps:P2579 ;
	wikibase:statementValue psv:P2579 ;
	wikibase:qualifier pq:P2579 ;
	wikibase:qualifierValue pqv:P2579 ;
	wikibase:reference pr:P2579 ;
	wikibase:referenceValue prv:P2579 ;
	wikibase:novalue wdno:P2579 .

p:P2579 a owl:ObjectProperty .

psv:P2579 a owl:ObjectProperty .

pqv:P2579 a owl:ObjectProperty .

prv:P2579 a owl:ObjectProperty .

wdt:P2579 a owl:ObjectProperty .

ps:P2579 a owl:ObjectProperty .

pq:P2579 a owl:ObjectProperty .

pr:P2579 a owl:ObjectProperty .

wdno:P2579 a owl:Class ;
	owl:complementOf _:646b8b1e4925fe4fca2b57678b2ceb02 .

_:646b8b1e4925fe4fca2b57678b2ceb02 a owl:Restriction ;
	owl:onProperty wdt:P2579 ;
	owl:someValuesFrom owl:Thing .

wd:P6366 a wikibase:Property ;
	rdfs:label "Microsoft Academic ID"@en ;
	skos:prefLabel "Microsoft Academic ID"@en ;
	schema:name "Microsoft Academic ID"@en ;
	schema:description "identifier for an object or topic in the Microsoft Academic Graph (until 31 December 2021)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P6366 ;
	wikibase:claim p:P6366 ;
	wikibase:statementProperty ps:P6366 ;
	wikibase:statementValue psv:P6366 ;
	wikibase:qualifier pq:P6366 ;
	wikibase:qualifierValue pqv:P6366 ;
	wikibase:reference pr:P6366 ;
	wikibase:referenceValue prv:P6366 ;
	wikibase:novalue wdno:P6366 ;
	wikibase:directClaimNormalized wdtn:P6366 ;
	wikibase:statementValueNormalized psn:P6366 ;
	wikibase:qualifierValueNormalized pqn:P6366 ;
	wikibase:referenceValueNormalized prn:P6366 .

p:P6366 a owl:ObjectProperty .

psv:P6366 a owl:ObjectProperty .

pqv:P6366 a owl:ObjectProperty .

prv:P6366 a owl:ObjectProperty .

wdt:P6366 a owl:DatatypeProperty .

ps:P6366 a owl:DatatypeProperty .

pq:P6366 a owl:DatatypeProperty .

pr:P6366 a owl:DatatypeProperty .

psn:P6366 a owl:ObjectProperty .

pqn:P6366 a owl:ObjectProperty .

prn:P6366 a owl:ObjectProperty .

wdtn:P6366 a owl:ObjectProperty .

wdno:P6366 a owl:Class ;
	owl:complementOf _:6f940be26025c3cdbbbed9534272bb72 .

_:6f940be26025c3cdbbbed9534272bb72 a owl:Restriction ;
	owl:onProperty wdt:P6366 ;
	owl:someValuesFrom owl:Thing .

wd:P508 a wikibase:Property ;
	rdfs:label "BNCF Thesaurus ID"@en ;
	skos:prefLabel "BNCF Thesaurus ID"@en ;
	schema:name "BNCF Thesaurus ID"@en ;
	schema:description "identifier in the subject indexing tool of the National Central Library of Florence"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P508 ;
	wikibase:claim p:P508 ;
	wikibase:statementProperty ps:P508 ;
	wikibase:statementValue psv:P508 ;
	wikibase:qualifier pq:P508 ;
	wikibase:qualifierValue pqv:P508 ;
	wikibase:reference pr:P508 ;
	wikibase:referenceValue prv:P508 ;
	wikibase:novalue wdno:P508 ;
	wikibase:directClaimNormalized wdtn:P508 ;
	wikibase:statementValueNormalized psn:P508 ;
	wikibase:qualifierValueNormalized pqn:P508 ;
	wikibase:referenceValueNormalized prn:P508 .

p:P508 a owl:ObjectProperty .

psv:P508 a owl:ObjectProperty .

pqv:P508 a owl:ObjectProperty .

prv:P508 a owl:ObjectProperty .

wdt:P508 a owl:DatatypeProperty .

ps:P508 a owl:DatatypeProperty .

pq:P508 a owl:DatatypeProperty .

pr:P508 a owl:DatatypeProperty .

psn:P508 a owl:ObjectProperty .

pqn:P508 a owl:ObjectProperty .

prn:P508 a owl:ObjectProperty .

wdtn:P508 a owl:ObjectProperty .

wdno:P508 a owl:Class ;
	owl:complementOf _:5fd266465d236ed65347f82b760ee461 .

_:5fd266465d236ed65347f82b760ee461 a owl:Restriction ;
	owl:onProperty wdt:P508 ;
	owl:someValuesFrom owl:Thing .

wd:P268 a wikibase:Property ;
	rdfs:label "Bibliothèque nationale de France ID"@en ;
	skos:prefLabel "Bibliothèque nationale de France ID"@en ;
	schema:name "Bibliothèque nationale de France ID"@en ;
	schema:description "identifier for the subject issued by BNF (Bibliothèque nationale de France). Format: 8 digits followed by a check-digit or letter, do not include the initial 'cb'."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P268 ;
	wikibase:claim p:P268 ;
	wikibase:statementProperty ps:P268 ;
	wikibase:statementValue psv:P268 ;
	wikibase:qualifier pq:P268 ;
	wikibase:qualifierValue pqv:P268 ;
	wikibase:reference pr:P268 ;
	wikibase:referenceValue prv:P268 ;
	wikibase:novalue wdno:P268 ;
	wikibase:directClaimNormalized wdtn:P268 ;
	wikibase:statementValueNormalized psn:P268 ;
	wikibase:qualifierValueNormalized pqn:P268 ;
	wikibase:referenceValueNormalized prn:P268 .

p:P268 a owl:ObjectProperty .

psv:P268 a owl:ObjectProperty .

pqv:P268 a owl:ObjectProperty .

prv:P268 a owl:ObjectProperty .

wdt:P268 a owl:DatatypeProperty .

ps:P268 a owl:DatatypeProperty .

pq:P268 a owl:DatatypeProperty .

pr:P268 a owl:DatatypeProperty .

psn:P268 a owl:ObjectProperty .

pqn:P268 a owl:ObjectProperty .

prn:P268 a owl:ObjectProperty .

wdtn:P268 a owl:ObjectProperty .

wdno:P268 a owl:Class ;
	owl:complementOf _:d3120d2b47ac0e3950d9219515d435cc .

_:d3120d2b47ac0e3950d9219515d435cc a owl:Restriction ;
	owl:onProperty wdt:P268 ;
	owl:someValuesFrom owl:Thing .

wd:P244 a wikibase:Property ;
	rdfs:label "Library of Congress authority ID"@en ;
	skos:prefLabel "Library of Congress authority ID"@en ;
	schema:name "Library of Congress authority ID"@en ;
	schema:description "Library of Congress name authority (persons, families, corporate bodies, events, places, works and expressions) and subject authority identifier [Format: 1-2 specific letters followed by 8-10 digits (see regex). For manifestations, use P1144]"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P244 ;
	wikibase:claim p:P244 ;
	wikibase:statementProperty ps:P244 ;
	wikibase:statementValue psv:P244 ;
	wikibase:qualifier pq:P244 ;
	wikibase:qualifierValue pqv:P244 ;
	wikibase:reference pr:P244 ;
	wikibase:referenceValue prv:P244 ;
	wikibase:novalue wdno:P244 ;
	wikibase:directClaimNormalized wdtn:P244 ;
	wikibase:statementValueNormalized psn:P244 ;
	wikibase:qualifierValueNormalized pqn:P244 ;
	wikibase:referenceValueNormalized prn:P244 .

p:P244 a owl:ObjectProperty .

psv:P244 a owl:ObjectProperty .

pqv:P244 a owl:ObjectProperty .

prv:P244 a owl:ObjectProperty .

wdt:P244 a owl:DatatypeProperty .

ps:P244 a owl:DatatypeProperty .

pq:P244 a owl:DatatypeProperty .

pr:P244 a owl:DatatypeProperty .

psn:P244 a owl:ObjectProperty .

pqn:P244 a owl:ObjectProperty .

prn:P244 a owl:ObjectProperty .

wdtn:P244 a owl:ObjectProperty .

wdno:P244 a owl:Class ;
	owl:complementOf _:590c65ffccb1a1851cc444e4370c7714 .

_:590c65ffccb1a1851cc444e4370c7714 a owl:Restriction ;
	owl:onProperty wdt:P244 ;
	owl:someValuesFrom owl:Thing .

wd:P227 a wikibase:Property ;
	rdfs:label "GND ID"@en ;
	skos:prefLabel "GND ID"@en ;
	schema:name "GND ID"@en ;
	schema:description "identifier from an international authority file of names, subjects, and organizations (please don't use type n = name, disambiguation) - Deutsche Nationalbibliothek"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P227 ;
	wikibase:claim p:P227 ;
	wikibase:statementProperty ps:P227 ;
	wikibase:statementValue psv:P227 ;
	wikibase:qualifier pq:P227 ;
	wikibase:qualifierValue pqv:P227 ;
	wikibase:reference pr:P227 ;
	wikibase:referenceValue prv:P227 ;
	wikibase:novalue wdno:P227 ;
	wikibase:directClaimNormalized wdtn:P227 ;
	wikibase:statementValueNormalized psn:P227 ;
	wikibase:qualifierValueNormalized pqn:P227 ;
	wikibase:referenceValueNormalized prn:P227 .

p:P227 a owl:ObjectProperty .

psv:P227 a owl:ObjectProperty .

pqv:P227 a owl:ObjectProperty .

prv:P227 a owl:ObjectProperty .

wdt:P227 a owl:DatatypeProperty .

ps:P227 a owl:DatatypeProperty .

pq:P227 a owl:DatatypeProperty .

pr:P227 a owl:DatatypeProperty .

psn:P227 a owl:ObjectProperty .

pqn:P227 a owl:ObjectProperty .

prn:P227 a owl:ObjectProperty .

wdtn:P227 a owl:ObjectProperty .

wdno:P227 a owl:Class ;
	owl:complementOf _:286c7ee15bc3c86b8eb6b23547b34d68 .

_:286c7ee15bc3c86b8eb6b23547b34d68 a owl:Restriction ;
	owl:onProperty wdt:P227 ;
	owl:someValuesFrom owl:Thing .

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

p:P8189 a owl:ObjectProperty .

psv:P8189 a owl:ObjectProperty .

pqv:P8189 a owl:ObjectProperty .

prv:P8189 a owl:ObjectProperty .

wdt:P8189 a owl:DatatypeProperty .

ps:P8189 a owl:DatatypeProperty .

pq:P8189 a owl:DatatypeProperty .

pr:P8189 a owl:DatatypeProperty .

psn:P8189 a owl:ObjectProperty .

pqn:P8189 a owl:ObjectProperty .

prn:P8189 a owl:ObjectProperty .

wdtn:P8189 a owl:ObjectProperty .

wdno:P8189 a owl:Class ;
	owl:complementOf _:92bc7d972c1bed2e801eb42a65bd6c0a .

_:92bc7d972c1bed2e801eb42a65bd6c0a a owl:Restriction ;
	owl:onProperty wdt:P8189 ;
	owl:someValuesFrom owl:Thing .

wd:P10283 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:P10283 ;
	wikibase:claim p:P10283 ;
	wikibase:statementProperty ps:P10283 ;
	wikibase:statementValue psv:P10283 ;
	wikibase:qualifier pq:P10283 ;
	wikibase:qualifierValue pqv:P10283 ;
	wikibase:reference pr:P10283 ;
	wikibase:referenceValue prv:P10283 ;
	wikibase:novalue wdno:P10283 ;
	wikibase:directClaimNormalized wdtn:P10283 ;
	wikibase:statementValueNormalized psn:P10283 ;
	wikibase:qualifierValueNormalized pqn:P10283 ;
	wikibase:referenceValueNormalized prn:P10283 .

p:P10283 a owl:ObjectProperty .

psv:P10283 a owl:ObjectProperty .

pqv:P10283 a owl:ObjectProperty .

prv:P10283 a owl:ObjectProperty .

wdt:P10283 a owl:DatatypeProperty .

ps:P10283 a owl:DatatypeProperty .

pq:P10283 a owl:DatatypeProperty .

pr:P10283 a owl:DatatypeProperty .

psn:P10283 a owl:ObjectProperty .

pqn:P10283 a owl:ObjectProperty .

prn:P10283 a owl:ObjectProperty .

wdtn:P10283 a owl:ObjectProperty .

wdno:P10283 a owl:Class ;
	owl:complementOf _:32a5275a7dbbfba13192c77c3ada4d3a .

_:32a5275a7dbbfba13192c77c3ada4d3a a owl:Restriction ;
	owl:onProperty wdt:P10283 ;
	owl:someValuesFrom owl:Thing .

wd:P11514 a wikibase:Property ;
	rdfs:label "Great Russian Encyclopedia portal ID"@en ;
	skos:prefLabel "Great Russian Encyclopedia portal ID"@en ;
	schema:name "Great Russian Encyclopedia portal ID"@en ;
	schema:description "identifier of an entry on the web portal based on the Great Russian Encyclopedia (for the older version of encyclopedia use P2924)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P11514 ;
	wikibase:claim p:P11514 ;
	wikibase:statementProperty ps:P11514 ;
	wikibase:statementValue psv:P11514 ;
	wikibase:qualifier pq:P11514 ;
	wikibase:qualifierValue pqv:P11514 ;
	wikibase:reference pr:P11514 ;
	wikibase:referenceValue prv:P11514 ;
	wikibase:novalue wdno:P11514 ;
	wikibase:directClaimNormalized wdtn:P11514 ;
	wikibase:statementValueNormalized psn:P11514 ;
	wikibase:qualifierValueNormalized pqn:P11514 ;
	wikibase:referenceValueNormalized prn:P11514 .

p:P11514 a owl:ObjectProperty .

psv:P11514 a owl:ObjectProperty .

pqv:P11514 a owl:ObjectProperty .

prv:P11514 a owl:ObjectProperty .

wdt:P11514 a owl:DatatypeProperty .

ps:P11514 a owl:DatatypeProperty .

pq:P11514 a owl:DatatypeProperty .

pr:P11514 a owl:DatatypeProperty .

psn:P11514 a owl:ObjectProperty .

pqn:P11514 a owl:ObjectProperty .

prn:P11514 a owl:ObjectProperty .

wdtn:P11514 a owl:ObjectProperty .

wdno:P11514 a owl:Class ;
	owl:complementOf _:5d36652ac32d2710f4fb28e817a22714 .

_:5d36652ac32d2710f4fb28e817a22714 a owl:Restriction ;
	owl:onProperty wdt:P11514 ;
	owl:someValuesFrom owl:Thing .

wd:Q8487137 a wikibase:Item ;
	rdfs:label "WikiProject Mathematics"@en ;
	skos:prefLabel "WikiProject Mathematics"@en ;
	schema:name "WikiProject Mathematics"@en ;
	schema:description "Wikimedia subject-area collaboration"@en .

wd:P6104 a wikibase:Property ;
	rdfs:label "maintained by WikiProject"@en ;
	skos:prefLabel "maintained by WikiProject"@en ;
	schema:name "maintained by WikiProject"@en ;
	schema:description "WikiProject that maintains this property, item, or linked pages. If the WikiProject is hosted outside of Wikidata, define the scope using the qualifier \"of (P642)\""@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P6104 ;
	wikibase:claim p:P6104 ;
	wikibase:statementProperty ps:P6104 ;
	wikibase:statementValue psv:P6104 ;
	wikibase:qualifier pq:P6104 ;
	wikibase:qualifierValue pqv:P6104 ;
	wikibase:reference pr:P6104 ;
	wikibase:referenceValue prv:P6104 ;
	wikibase:novalue wdno:P6104 .

p:P6104 a owl:ObjectProperty .

psv:P6104 a owl:ObjectProperty .

pqv:P6104 a owl:ObjectProperty .

prv:P6104 a owl:ObjectProperty .

wdt:P6104 a owl:ObjectProperty .

ps:P6104 a owl:ObjectProperty .

pq:P6104 a owl:ObjectProperty .

pr:P6104 a owl:ObjectProperty .

wdno:P6104 a owl:Class ;
	owl:complementOf _:8ed522f108b0fd974fa8303edd0ec44c .

_:8ed522f108b0fd974fa8303edd0ec44c a owl:Restriction ;
	owl:onProperty wdt:P6104 ;
	owl:someValuesFrom owl:Thing .

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

p:P6781 a owl:ObjectProperty .

psv:P6781 a owl:ObjectProperty .

pqv:P6781 a owl:ObjectProperty .

prv:P6781 a owl:ObjectProperty .

wdt:P6781 a owl:DatatypeProperty .

ps:P6781 a owl:DatatypeProperty .

pq:P6781 a owl:DatatypeProperty .

pr:P6781 a owl:DatatypeProperty .

psn:P6781 a owl:ObjectProperty .

pqn:P6781 a owl:ObjectProperty .

prn:P6781 a owl:ObjectProperty .

wdtn:P6781 a owl:ObjectProperty .

wdno:P6781 a owl:Class ;
	owl:complementOf _:2944d5f001e47cac779fd38cb7f2db1c .

_:2944d5f001e47cac779fd38cb7f2db1c a owl:Restriction ;
	owl:onProperty wdt:P6781 ;
	owl:someValuesFrom owl:Thing .

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

p:P8417 a owl:ObjectProperty .

psv:P8417 a owl:ObjectProperty .

pqv:P8417 a owl:ObjectProperty .

prv:P8417 a owl:ObjectProperty .

wdt:P8417 a owl:DatatypeProperty .

ps:P8417 a owl:DatatypeProperty .

pq:P8417 a owl:DatatypeProperty .

pr:P8417 a owl:DatatypeProperty .

psn:P8417 a owl:ObjectProperty .

pqn:P8417 a owl:ObjectProperty .

prn:P8417 a owl:ObjectProperty .

wdtn:P8417 a owl:ObjectProperty .

wdno:P8417 a owl:Class ;
	owl:complementOf _:e472446c3fe9f4c3ee3f3f4242565297 .

_:e472446c3fe9f4c3ee3f3f4242565297 a owl:Restriction ;
	owl:onProperty wdt:P8417 ;
	owl:someValuesFrom owl:Thing .

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

p:P3365 a owl:ObjectProperty .

psv:P3365 a owl:ObjectProperty .

pqv:P3365 a owl:ObjectProperty .

prv:P3365 a owl:ObjectProperty .

wdt:P3365 a owl:DatatypeProperty .

ps:P3365 a owl:DatatypeProperty .

pq:P3365 a owl:DatatypeProperty .

pr:P3365 a owl:DatatypeProperty .

psn:P3365 a owl:ObjectProperty .

pqn:P3365 a owl:ObjectProperty .

prn:P3365 a owl:ObjectProperty .

wdtn:P3365 a owl:ObjectProperty .

wdno:P3365 a owl:Class ;
	owl:complementOf _:af88ccb1df88d926d3fd729824e729a3 .

_:af88ccb1df88d926d3fd729824e729a3 a owl:Restriction ;
	owl:onProperty wdt:P3365 ;
	owl:someValuesFrom owl:Thing .

wd:P9621 a wikibase:Property ;
	rdfs:label "Treccani's Enciclopedia della Matematica ID"@en ;
	skos:prefLabel "Treccani's Enciclopedia della Matematica ID"@en ;
	schema:name "Treccani's Enciclopedia della Matematica ID"@en ;
	schema:description "identifier for a topic in Treccani's Enciclopedia della Matematica, an Italian encyclopedia regarding mathematics"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P9621 ;
	wikibase:claim p:P9621 ;
	wikibase:statementProperty ps:P9621 ;
	wikibase:statementValue psv:P9621 ;
	wikibase:qualifier pq:P9621 ;
	wikibase:qualifierValue pqv:P9621 ;
	wikibase:reference pr:P9621 ;
	wikibase:referenceValue prv:P9621 ;
	wikibase:novalue wdno:P9621 ;
	wikibase:directClaimNormalized wdtn:P9621 ;
	wikibase:statementValueNormalized psn:P9621 ;
	wikibase:qualifierValueNormalized pqn:P9621 ;
	wikibase:referenceValueNormalized prn:P9621 .

p:P9621 a owl:ObjectProperty .

psv:P9621 a owl:ObjectProperty .

pqv:P9621 a owl:ObjectProperty .

prv:P9621 a owl:ObjectProperty .

wdt:P9621 a owl:DatatypeProperty .

ps:P9621 a owl:DatatypeProperty .

pq:P9621 a owl:DatatypeProperty .

pr:P9621 a owl:DatatypeProperty .

psn:P9621 a owl:ObjectProperty .

pqn:P9621 a owl:ObjectProperty .

prn:P9621 a owl:ObjectProperty .

wdtn:P9621 a owl:ObjectProperty .

wdno:P9621 a owl:Class ;
	owl:complementOf _:e243830b62079b2efaab8c938aad6ec8 .

_:e243830b62079b2efaab8c938aad6ec8 a owl:Restriction ;
	owl:onProperty wdt:P9621 ;
	owl:someValuesFrom owl:Thing .

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

p:P5844 a owl:ObjectProperty .

psv:P5844 a owl:ObjectProperty .

pqv:P5844 a owl:ObjectProperty .

prv:P5844 a owl:ObjectProperty .

wdt:P5844 a owl:DatatypeProperty .

ps:P5844 a owl:DatatypeProperty .

pq:P5844 a owl:DatatypeProperty .

pr:P5844 a owl:DatatypeProperty .

psn:P5844 a owl:ObjectProperty .

pqn:P5844 a owl:ObjectProperty .

prn:P5844 a owl:ObjectProperty .

wdtn:P5844 a owl:ObjectProperty .

wdno:P5844 a owl:Class ;
	owl:complementOf _:a6de350e2d61ca5bdf696b1e89f6e7c5 .

_:a6de350e2d61ca5bdf696b1e89f6e7c5 a owl:Restriction ;
	owl:onProperty wdt:P5844 ;
	owl:someValuesFrom owl:Thing .

wd:P10017 a wikibase:Property ;
	rdfs:label "Treccani's Dizionario delle Scienze Fisiche ID"@en ;
	skos:prefLabel "Treccani's Dizionario delle Scienze Fisiche ID"@en ;
	schema:name "Treccani's Dizionario delle Scienze Fisiche ID"@en ;
	schema:description "identifier for an item in the Dizionario delle Scienze Fisiche on the Institute of the Italian Encyclopaedia website"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P10017 ;
	wikibase:claim p:P10017 ;
	wikibase:statementProperty ps:P10017 ;
	wikibase:statementValue psv:P10017 ;
	wikibase:qualifier pq:P10017 ;
	wikibase:qualifierValue pqv:P10017 ;
	wikibase:reference pr:P10017 ;
	wikibase:referenceValue prv:P10017 ;
	wikibase:novalue wdno:P10017 ;
	wikibase:directClaimNormalized wdtn:P10017 ;
	wikibase:statementValueNormalized psn:P10017 ;
	wikibase:qualifierValueNormalized pqn:P10017 ;
	wikibase:referenceValueNormalized prn:P10017 .

p:P10017 a owl:ObjectProperty .

psv:P10017 a owl:ObjectProperty .

pqv:P10017 a owl:ObjectProperty .

prv:P10017 a owl:ObjectProperty .

wdt:P10017 a owl:DatatypeProperty .

ps:P10017 a owl:DatatypeProperty .

pq:P10017 a owl:DatatypeProperty .

pr:P10017 a owl:DatatypeProperty .

psn:P10017 a owl:ObjectProperty .

pqn:P10017 a owl:ObjectProperty .

prn:P10017 a owl:ObjectProperty .

wdtn:P10017 a owl:ObjectProperty .

wdno:P10017 a owl:Class ;
	owl:complementOf _:f449660bc7d1d3d9561135c10275fa9f .

_:f449660bc7d1d3d9561135c10275fa9f a owl:Restriction ;
	owl:onProperty wdt:P10017 ;
	owl:someValuesFrom owl:Thing .

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

p:P6706 a owl:ObjectProperty .

psv:P6706 a owl:ObjectProperty .

pqv:P6706 a owl:ObjectProperty .

prv:P6706 a owl:ObjectProperty .

wdt:P6706 a owl:DatatypeProperty .

ps:P6706 a owl:DatatypeProperty .

pq:P6706 a owl:DatatypeProperty .

pr:P6706 a owl:DatatypeProperty .

psn:P6706 a owl:ObjectProperty .

pqn:P6706 a owl:ObjectProperty .

prn:P6706 a owl:ObjectProperty .

wdtn:P6706 a owl:ObjectProperty .

wdno:P6706 a owl:Class ;
	owl:complementOf _:759d4dccd3a621b15a731d9f2d1d1258 .

_:759d4dccd3a621b15a731d9f2d1d1258 a owl:Restriction ;
	owl:onProperty wdt:P6706 ;
	owl:someValuesFrom owl:Thing .

wd:P7554 a wikibase:Property ;
	rdfs:label "Encyclopedia of Mathematics article ID"@en ;
	skos:prefLabel "Encyclopedia of Mathematics article ID"@en ;
	schema:name "Encyclopedia of Mathematics article ID"@en ;
	schema:description "identifier for an article on the Encyclopedia of Mathematics wiki (encyclopediaofmath.org)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P7554 ;
	wikibase:claim p:P7554 ;
	wikibase:statementProperty ps:P7554 ;
	wikibase:statementValue psv:P7554 ;
	wikibase:qualifier pq:P7554 ;
	wikibase:qualifierValue pqv:P7554 ;
	wikibase:reference pr:P7554 ;
	wikibase:referenceValue prv:P7554 ;
	wikibase:novalue wdno:P7554 ;
	wikibase:directClaimNormalized wdtn:P7554 ;
	wikibase:statementValueNormalized psn:P7554 ;
	wikibase:qualifierValueNormalized pqn:P7554 ;
	wikibase:referenceValueNormalized prn:P7554 .

p:P7554 a owl:ObjectProperty .

psv:P7554 a owl:ObjectProperty .

pqv:P7554 a owl:ObjectProperty .

prv:P7554 a owl:ObjectProperty .

wdt:P7554 a owl:DatatypeProperty .

ps:P7554 a owl:DatatypeProperty .

pq:P7554 a owl:DatatypeProperty .

pr:P7554 a owl:DatatypeProperty .

psn:P7554 a owl:ObjectProperty .

pqn:P7554 a owl:ObjectProperty .

prn:P7554 a owl:ObjectProperty .

wdtn:P7554 a owl:ObjectProperty .

wdno:P7554 a owl:Class ;
	owl:complementOf _:45abacf62fe6c98d6cfce7d4a036d4de .

_:45abacf62fe6c98d6cfce7d4a036d4de a owl:Restriction ;
	owl:onProperty wdt:P7554 ;
	owl:someValuesFrom owl:Thing .

wd:P12888 a wikibase:Property ;
	rdfs:label "Metamath statement ID"@en ;
	skos:prefLabel "Metamath statement ID"@en ;
	schema:name "Metamath statement ID"@en ;
	schema:description "unique identifier for a theorem, axiom or definition in the Metamath set.mm database"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P12888 ;
	wikibase:claim p:P12888 ;
	wikibase:statementProperty ps:P12888 ;
	wikibase:statementValue psv:P12888 ;
	wikibase:qualifier pq:P12888 ;
	wikibase:qualifierValue pqv:P12888 ;
	wikibase:reference pr:P12888 ;
	wikibase:referenceValue prv:P12888 ;
	wikibase:novalue wdno:P12888 ;
	wikibase:directClaimNormalized wdtn:P12888 ;
	wikibase:statementValueNormalized psn:P12888 ;
	wikibase:qualifierValueNormalized pqn:P12888 ;
	wikibase:referenceValueNormalized prn:P12888 .

p:P12888 a owl:ObjectProperty .

psv:P12888 a owl:ObjectProperty .

pqv:P12888 a owl:ObjectProperty .

prv:P12888 a owl:ObjectProperty .

wdt:P12888 a owl:DatatypeProperty .

ps:P12888 a owl:DatatypeProperty .

pq:P12888 a owl:DatatypeProperty .

pr:P12888 a owl:DatatypeProperty .

psn:P12888 a owl:ObjectProperty .

pqn:P12888 a owl:ObjectProperty .

prn:P12888 a owl:ObjectProperty .

wdtn:P12888 a owl:ObjectProperty .

wdno:P12888 a owl:Class ;
	owl:complementOf _:5d4a967f3b4b244b3ebff622f53fb73f .

_:5d4a967f3b4b244b3ebff622f53fb73f a owl:Restriction ;
	owl:onProperty wdt:P12888 ;
	owl:someValuesFrom owl:Thing .

wd:Q15241312 a wikibase:Item ;
	rdfs:label "Freebase Data Dumps"@en ;
	skos:prefLabel "Freebase Data Dumps"@en ;
	schema:name "Freebase Data Dumps"@en ;
	schema:description "dumps of the public part of Google's Knowledge Graph"@en .

wd:P248 a wikibase:Property ;
	rdfs:label "stated in"@en ;
	skos:prefLabel "stated in"@en ;
	schema:name "stated in"@en ;
	schema:description "to be used in the references field to refer to the information document or database in which a claim is made; for qualifiers use P805; for the type of document in which a claim is made use P3865"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P248 ;
	wikibase:claim p:P248 ;
	wikibase:statementProperty ps:P248 ;
	wikibase:statementValue psv:P248 ;
	wikibase:qualifier pq:P248 ;
	wikibase:qualifierValue pqv:P248 ;
	wikibase:reference pr:P248 ;
	wikibase:referenceValue prv:P248 ;
	wikibase:novalue wdno:P248 .

p:P248 a owl:ObjectProperty .

psv:P248 a owl:ObjectProperty .

pqv:P248 a owl:ObjectProperty .

prv:P248 a owl:ObjectProperty .

wdt:P248 a owl:ObjectProperty .

ps:P248 a owl:ObjectProperty .

pq:P248 a owl:ObjectProperty .

pr:P248 a owl:ObjectProperty .

wdno:P248 a owl:Class ;
	owl:complementOf _:a2b31078afaf5caae811f4ac846f5f35 .

_:a2b31078afaf5caae811f4ac846f5f35 a owl:Restriction ;
	owl:onProperty wdt:P248 ;
	owl:someValuesFrom owl:Thing .

wd:P577 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:P577 ;
	wikibase:claim p:P577 ;
	wikibase:statementProperty ps:P577 ;
	wikibase:statementValue psv:P577 ;
	wikibase:qualifier pq:P577 ;
	wikibase:qualifierValue pqv:P577 ;
	wikibase:reference pr:P577 ;
	wikibase:referenceValue prv:P577 ;
	wikibase:novalue wdno:P577 .

p:P577 a owl:ObjectProperty .

psv:P577 a owl:ObjectProperty .

pqv:P577 a owl:ObjectProperty .

prv:P577 a owl:ObjectProperty .

wdt:P577 a owl:DatatypeProperty .

ps:P577 a owl:DatatypeProperty .

pq:P577 a owl:DatatypeProperty .

pr:P577 a owl:DatatypeProperty .

wdno:P577 a owl:Class ;
	owl:complementOf _:eca5fcd2c546d0e0c20e05f61e0aa797 .

_:eca5fcd2c546d0e0c20e05f61e0aa797 a owl:Restriction ;
	owl:onProperty wdt:P577 ;
	owl:someValuesFrom owl:Thing .

wd:P304 a wikibase:Property ;
	rdfs:label "page(s)"@en ;
	skos:prefLabel "page(s)"@en ;
	schema:name "page(s)"@en ;
	schema:description "page number of source referenced for statement. Note \"column(s)\" (P3903) and \"folio(s)\" (P7416) for other numbering systems"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P304 ;
	wikibase:claim p:P304 ;
	wikibase:statementProperty ps:P304 ;
	wikibase:statementValue psv:P304 ;
	wikibase:qualifier pq:P304 ;
	wikibase:qualifierValue pqv:P304 ;
	wikibase:reference pr:P304 ;
	wikibase:referenceValue prv:P304 ;
	wikibase:novalue wdno:P304 .

p:P304 a owl:ObjectProperty .

psv:P304 a owl:ObjectProperty .

pqv:P304 a owl:ObjectProperty .

prv:P304 a owl:ObjectProperty .

wdt:P304 a owl:DatatypeProperty .

ps:P304 a owl:DatatypeProperty .

pq:P304 a owl:DatatypeProperty .

pr:P304 a owl:DatatypeProperty .

wdno:P304 a owl:Class ;
	owl:complementOf _:49f6b1d5994a21499c8de6a108f33226 .

_:49f6b1d5994a21499c8de6a108f33226 a owl:Restriction ;
	owl:onProperty wdt:P304 ;
	owl:someValuesFrom owl:Thing .

wd:P1810 a wikibase:Property ;
	rdfs:label "subject named as"@en ;
	skos:prefLabel "subject named as"@en ;
	schema:name "subject named as"@en ;
	schema:description "name by which a subject is recorded in a database, mentioned as a contributor of a work, or is referred to in a particular context"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P1810 ;
	wikibase:claim p:P1810 ;
	wikibase:statementProperty ps:P1810 ;
	wikibase:statementValue psv:P1810 ;
	wikibase:qualifier pq:P1810 ;
	wikibase:qualifierValue pqv:P1810 ;
	wikibase:reference pr:P1810 ;
	wikibase:referenceValue prv:P1810 ;
	wikibase:novalue wdno:P1810 .

p:P1810 a owl:ObjectProperty .

psv:P1810 a owl:ObjectProperty .

pqv:P1810 a owl:ObjectProperty .

prv:P1810 a owl:ObjectProperty .

wdt:P1810 a owl:DatatypeProperty .

ps:P1810 a owl:DatatypeProperty .

pq:P1810 a owl:DatatypeProperty .

pr:P1810 a owl:DatatypeProperty .

wdno:P1810 a owl:Class ;
	owl:complementOf _:1d6e1ecf4f0164f6a3471dd66d38c9d8 .

_:1d6e1ecf4f0164f6a3471dd66d38c9d8 a owl:Restriction ;
	owl:onProperty wdt:P1810 ;
	owl:someValuesFrom owl:Thing .

wd:Q48183 a wikibase:Item ;
	rdfs:label "German Wikipedia"@en ;
	skos:prefLabel "German Wikipedia"@en ;
	schema:name "German Wikipedia"@en ;
	schema:description "German-language edition of Wikipedia"@en .

wd:P143 a wikibase:Property ;
	rdfs:label "imported from Wikimedia project"@en ;
	skos:prefLabel "imported from Wikimedia project"@en ;
	schema:name "imported from Wikimedia project"@en ;
	schema:description "source of this claim's value; used in references section by bots or humans importing data from Wikimedia projects"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P143 ;
	wikibase:claim p:P143 ;
	wikibase:statementProperty ps:P143 ;
	wikibase:statementValue psv:P143 ;
	wikibase:qualifier pq:P143 ;
	wikibase:qualifierValue pqv:P143 ;
	wikibase:reference pr:P143 ;
	wikibase:referenceValue prv:P143 ;
	wikibase:novalue wdno:P143 .

p:P143 a owl:ObjectProperty .

psv:P143 a owl:ObjectProperty .

pqv:P143 a owl:ObjectProperty .

prv:P143 a owl:ObjectProperty .

wdt:P143 a owl:ObjectProperty .

ps:P143 a owl:ObjectProperty .

pq:P143 a owl:ObjectProperty .

pr:P143 a owl:ObjectProperty .

wdno:P143 a owl:Class ;
	owl:complementOf _:66a2156e9cbfe8d655274b862fca1b59 .

_:66a2156e9cbfe8d655274b862fca1b59 a owl:Restriction ;
	owl:onProperty wdt:P143 ;
	owl:someValuesFrom owl:Thing .

wd:Q4837690 a wikibase:Item ;
	rdfs:label "BabelNet"@en ;
	skos:prefLabel "BabelNet"@en ;
	schema:name "BabelNet"@en ;
	schema:description "multilingual semantic network and encyclopedic dictionary"@en .

wd:Q16583225 a wikibase:Item ;
	rdfs:label "Nuovo soggettario"@en ;
	skos:prefLabel "Nuovo soggettario"@en ;
	schema:name "Nuovo soggettario"@en ;
	schema:description "thesaurus realised and run by National Central Library of Florence"@en .

wd:P854 a wikibase:Property ;
	rdfs:label "reference URL"@en ;
	skos:prefLabel "reference URL"@en ;
	schema:name "reference URL"@en ;
	schema:description "should be used for Internet URLs as references. Use \"Wikimedia import URL\" (P4656) for imports from WMF sites"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P854 ;
	wikibase:claim p:P854 ;
	wikibase:statementProperty ps:P854 ;
	wikibase:statementValue psv:P854 ;
	wikibase:qualifier pq:P854 ;
	wikibase:qualifierValue pqv:P854 ;
	wikibase:reference pr:P854 ;
	wikibase:referenceValue prv:P854 ;
	wikibase:novalue wdno:P854 .

p:P854 a owl:ObjectProperty .

psv:P854 a owl:ObjectProperty .

pqv:P854 a owl:ObjectProperty .

prv:P854 a owl:ObjectProperty .

wdt:P854 a owl:ObjectProperty .

ps:P854 a owl:ObjectProperty .

pq:P854 a owl:ObjectProperty .

pr:P854 a owl:ObjectProperty .

wdno:P854 a owl:Class ;
	owl:complementOf _:7317e7e5a3edc1980ecfe7616bb5fa1d .

_:7317e7e5a3edc1980ecfe7616bb5fa1d a owl:Restriction ;
	owl:onProperty wdt:P854 ;
	owl:someValuesFrom owl:Thing .

wd:P813 a wikibase:Property ;
	rdfs:label "retrieved"@en ;
	skos:prefLabel "retrieved"@en ;
	schema:name "retrieved"@en ;
	schema:description "date or point in time that information was retrieved from a database or website (for use in online sources)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Time> ;
	wikibase:directClaim wdt:P813 ;
	wikibase:claim p:P813 ;
	wikibase:statementProperty ps:P813 ;
	wikibase:statementValue psv:P813 ;
	wikibase:qualifier pq:P813 ;
	wikibase:qualifierValue pqv:P813 ;
	wikibase:reference pr:P813 ;
	wikibase:referenceValue prv:P813 ;
	wikibase:novalue wdno:P813 .

p:P813 a owl:ObjectProperty .

psv:P813 a owl:ObjectProperty .

pqv:P813 a owl:ObjectProperty .

prv:P813 a owl:ObjectProperty .

wdt:P813 a owl:DatatypeProperty .

ps:P813 a owl:DatatypeProperty .

pq:P813 a owl:DatatypeProperty .

pr:P813 a owl:DatatypeProperty .

wdno:P813 a owl:Class ;
	owl:complementOf _:a84dea0fd38ed74f926ea4bdef778770 .

_:a84dea0fd38ed74f926ea4bdef778770 a owl:Restriction ;
	owl:onProperty wdt:P813 ;
	owl:someValuesFrom owl:Thing .

wd:Q188915 a wikibase:Item ;
	rdfs:label "National Library of Israel"@en ;
	skos:prefLabel "National Library of Israel"@en ;
	schema:name "National Library of Israel"@en ;
	schema:description "national library in Israel"@en .

wd:Q107507571 a wikibase:Item ;
	rdfs:label "OpenAlex"@en ;
	skos:prefLabel "OpenAlex"@en ;
	schema:name "OpenAlex"@en ;
	schema:description "open catalog of scholarly papers, authors, institutions, venues, and concepts"@en .

wd:Q10802227 owl:sameAs wd:Q207348 .

wd:Q13053286 owl:sameAs wd:Q207348 .

v:f987783e1f9c9fa0cb0b774d330af52d a wikibase:TimeValue ;
	wikibase:timeValue "2013-10-28T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:3909a0614a88a9d7b39b3ca6da421c30 a wikibase:TimeValue ;
	wikibase:timeValue "2021-06-18T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:3b2ff2744ee9af4b07734336d1723792 a wikibase:TimeValue ;
	wikibase:timeValue "2022-01-26T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:e8f0787e44ff9dd43e5b4af2e7fe2b10 a wikibase:TimeValue ;
	wikibase:timeValue "2013-01-01T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "9"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:e1f28dafe18efe99a187a348d0740ee4 a wikibase:TimeValue ;
	wikibase:timeValue "1996-01-01T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "9"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

ref:2b00cb481cddcac7623114367489b5c194901c4a a wikibase:Reference ;
	pr:P248 wd:Q15241312 ;
	pr:P577 "2013-10-28T00:00:00Z"^^xsd:dateTime ;
	prv:P577 v:f987783e1f9c9fa0cb0b774d330af52d .

ref:9a24f7c0208b05d6be97077d855671d1dfdbc0dd a wikibase:Reference ;
	pr:P143 wd:Q48183 .

ref:248ac337a217a5f5eed7139a82a4e60931611af0 a wikibase:Reference ;
	pr:P248 wd:Q4837690 .

ref:8593e496ec4bd48038ba6c5ca9989293b4f4d697 a wikibase:Reference ;
	pr:P248 wd:Q16583225 ;
	pr:P854 <https://thes.bncf.firenze.sbn.it/termine.php?id=68127> ;
	pr:P813 "2021-06-18T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:3909a0614a88a9d7b39b3ca6da421c30 .

ref:c8a47202c92936005b390eb36ddd267921b51f43 a wikibase:Reference ;
	pr:P248 wd:Q188915 .

ref:c13ba4d7902ead2693f79396bc25bd35d4d14030 a wikibase:Reference ;
	pr:P248 wd:Q107507571 ;
	pr:P813 "2022-01-26T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:3b2ff2744ee9af4b07734336d1723792 ;
	pr:P854 <https://docs.openalex.org/download-snapshot/snapshot-data-format> .