{"entities":{"Q6572564":{"pageid":14183719,"ns":120,"title":"Item:Q6572564","lastrevid":95765756,"modified":"2026-06-05T09:43:49Z","type":"item","id":"Q6572564","labels":{"en":{"language":"en","value":"Formalizing a Diophantine representation of the set of prime numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881139"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572564$4F6BC358-E026-4E29-A114-33BF443557E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af09441845e7f54753f5e55b85a6b3f77503328","datavalue":{"value":{"text":"Formalizing a Diophantine representation of the set of prime numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572564$522DE9D8-C95C-4539-92E5-2B2988D1D853","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39e2bc5f3984baaae3ff1b135b59aded96a83c2","datavalue":{"value":"1542.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$D44FF7F5-FAE2-4D55-BADA-B06479A983AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572564$44FE31B5-1AD4-4DD6-A6AE-CF6E4E32ABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572564$28812718-752F-4A88-A083-21F1C9E90D7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572564$3326D0AD-552B-44C7-A25F-E5A29AB73DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$AC74D675-53EC-4FCF-B6B3-86237AA75472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$21506433-5B19-45C3-B848-142D8EB8B3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f071a227a82a2fbae9e00865d40aae78fee790","datavalue":{"value":"11D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$1BE9A34D-2B0A-412A-8BB4-35B788AA4D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4e0204544eef1ce1d7c96eac4a6f05a99d74fb5","datavalue":{"value":"7881139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$C68559EE-F25D-4246-A119-6C4CF1F1C61B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff659492fac3e5bf67a394ac3a48a1c9b49ea1a","datavalue":{"value":"DPRM theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572564$3F19742A-2A65-43B4-A2CF-250B50D32E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fcd8c555a664db197f8d6a3a0560e1955b1a53e","datavalue":{"value":"polynomial reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572564$C72044ED-0892-4EC7-B245-9244F0275BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367078dd53268f15f939794271a5000fbfa9214","datavalue":{"value":"prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572564$6BF467F3-A9A5-4D3E-8EE9-79626C92295E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572564$E2E96F08-4F8F-4014-B6DC-5DAE168D87A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a01d790b1e4387868b9bcfc659bc0cfaab7313f0","datavalue":{"value":"10.4230/LIPICS.ITP.2022.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572564$2E8E7ED3-D589-421C-B214-1E80767E40BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a6a26eb541449e5f34049edc724d153ef624f1","datavalue":{"value":{"entity-type":"item","numeric-id":2171524,"id":"Q2171524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10d6a997a6c20c69785d4c472e3a2b18da13e09","datavalue":{"value":{"amount":"+0.8550254106521606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6572564$27BFD00C-A0CC-423C-AAAE-FFF47243AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461885af5419890728b5db0b1d4184e84bc69126","datavalue":{"value":{"entity-type":"item","numeric-id":6557224,"id":"Q6557224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fad9d4642f746f2b40a217c1f39cda07912d293","datavalue":{"value":{"amount":"+0.796332061290741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6572564$4B515586-F878-4C2D-AD92-5DB5C22A9F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87af5afbdd21f603e5d46d7e8139c92652a4c2b1","datavalue":{"value":{"entity-type":"item","numeric-id":4039065,"id":"Q4039065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fee52bd37b0b114773310493acb9b4342ce2599","datavalue":{"value":{"amount":"+0.7833491563796997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6572564$5F95F6D5-921E-418F-A840-3F7F0DA867F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e934dc83eb497ea41c05e38f2182f2dd68c8a4","datavalue":{"value":{"entity-type":"item","numeric-id":1807459,"id":"Q1807459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194534a1b89e50e2d4ffdabcaf2c8996524685fd","datavalue":{"value":{"amount":"+0.7828764915466309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6572564$F25C1720-6990-4FA4-97DF-9EDF07244301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144f2a4ac6546c6620e9c69cb51f7a3e842ca2f7","datavalue":{"value":{"entity-type":"item","numeric-id":6557225,"id":"Q6557225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3525ea45ef7b953aab004a72526115d3ed8b5b5f","datavalue":{"value":{"amount":"+0.7819440960884094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6572564$5602C6D7-F5E6-4BA8-A3CF-A9186077DDCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing a Diophantine representation of the set of prime numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_a_Diophantine_representation_of_the_set_of_prime_numbers"}}}}}