{"entities":{"Q6480858":{"pageid":13976988,"ns":120,"title":"Item:Q6480858","lastrevid":40977014,"modified":"2025-04-16T12:29:56Z","type":"item","id":"Q6480858","labels":{"en":{"language":"en","value":"Euclid's theorem"},"de":{"language":"de","value":"Satz von Euklid"}},"descriptions":{"en":{"language":"en","value":"theorem that the number of prime numbers is infinite"},"de":{"language":"de","value":"mathematischer Satz zur Primzahltheorie"}},"aliases":{"en":[{"language":"en","value":"infinitude of primes"}],"de":[{"language":"de","value":"Euklids Primzahlbeweis"},{"language":"de","value":"Satz des Euklid"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"ed54d0a7c8bc7627dc39b2bb0d6a8dfbe8f93dc5","datavalue":{"value":"/m/08v6sw","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$2FF18F51-8440-4F3E-B395-887A24FF9115","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480858$229EC0AD-8C08-4660-BCCD-3CC7BDDBC8E2","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"043c088fccac1dd9dcf6dd5a47c73fc3a57aa218","datavalue":{"value":"EuclidsTheorems","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$A0D1A2EE-C86A-4F04-815E-C678F9534F63","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"043c088fccac1dd9dcf6dd5a47c73fc3a57aa218","datavalue":{"value":"EuclidsTheorems","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"1596916849f773c763b538697651866e56e677af","datavalue":{"value":"Euclid's Theorems","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480858$6C125759-26FB-4D3D-AEDA-73C62E45CF6A","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P1575":[{"mainsnak":{"snaktype":"value","property":"P1575","hash":"521111ba475279daeaaad74727ca79b29c0dc167","datavalue":{"value":"Euclid's_Theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$1C6F4A0C-4AE6-46ED-8F13-B3E374130654","rank":"normal","references":[{"hash":"4d46412e0144d31efa6469dbfd8089064ab1a2a1","snaks":{"P50":[{"snaktype":"value","property":"P50","hash":"8deea508190568e50523256eacef9eab6131b058","datavalue":{"value":"https://www.wikidata.org/w/index.php?title=Wikidata:Property_proposal/ProofWiki_ID&oldid=949031396","type":"string"},"datatype":"url"}]},"snaks-order":["P50"]}]}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"0dd735bffbc14c514b89f816635af765db357e12","datavalue":{"value":"|\\mathbb P| = \\aleph_0","type":"string"},"datatype":"math"},"type":"statement","id":"Q6480858$15D6F2B3-3F71-4DE0-B641-3E4BF5D39A82","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"9274a06de75987c7029cbb7c80dca7a4a33c12fe","datavalue":{"value":"175262894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$13F55B30-19AC-41AB-BED4-CF0DCB69A440","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6480858$8E8AF362-38A0-433B-AC1E-492045138978","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98b8e82b243ff59e5d41412c2ca7331e4e34baaf","datavalue":{"value":"Q1506253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$2F656D9B-8D32-4532-A54A-A8253D71F076","rank":"normal"}],"P1588":[{"mainsnak":{"snaktype":"value","property":"P1588","hash":"42d2321de35234be2d0b6d50d23195fb05dbb59e","datavalue":{"value":"prminf","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480858$134A9D7D-68A6-46E3-B4B1-5A8010490466","rank":"normal"}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"2cfb036cbeccc376ffa9cb0b586dfc98e1ce6855","datavalue":{"value":{"entity-type":"item","numeric-id":562469,"id":"Q562469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480858$B41704B7-302C-4B01-93DA-6A76F7FD381A","rank":"normal"}],"P1209":[{"mainsnak":{"snaktype":"value","property":"P1209","hash":"b6db508378fc71aee51580a0d149ea33f1556595","datavalue":{"value":{"entity-type":"item","numeric-id":562469,"id":"Q562469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480858$4B4640BB-50EB-4610-9B23-0AEC1810595B","rank":"normal"}]},"sitelinks":{}}}}