{"entities":{"Q351271":{"pageid":353038,"ns":120,"title":"Item:Q351271","lastrevid":51771485,"modified":"2026-01-19T23:07:27Z","type":"item","id":"Q351271","labels":{"en":{"language":"en","value":"A polynomial encoding provability in pure mathematics (outline of an explicit construction)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6186918"}},"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":"Q351271$90609654-78C5-4114-823E-E9C653F42BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20fceefa3f7d0791ad0302b00a2039c6d086db23","datavalue":{"value":{"text":"A polynomial encoding provability in pure mathematics (outline of an explicit construction)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351271$C4F6FD0C-1384-4FDA-8066-83D42D23750B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c7643c698747a5aa027ad90d96749503d769a70","datavalue":{"value":"1288.11113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$B1A08EDF-E398-4F12-B001-88F1853291C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351271$F05F767E-A5A2-4CF3-A18B-0B2ECAA9D7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66f6bee0d302cbb74eb723a53f0dd89660f4180","datavalue":{"value":{"entity-type":"item","numeric-id":351270,"id":"Q351270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351271$341068B6-3CEB-479B-BEE6-DF005CCC2E26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351271$A079B1A7-0B0E-4F03-9FDB-4A0C8B7D7C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047d86768cd722adf7361cd32b1edc0a73808dc4","datavalue":{"value":{"time":"+2013-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351271$352491AF-BC7E-4282-85C6-C18423D6B630","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ebd8b5fc67ee50addcdb0e5b08c74dd7edd7b7","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1366306724","type":"string"},"datatype":"url"},"type":"statement","id":"Q351271$CD81030C-A098-409D-A655-7B64FA00A971","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32b93a8dec1e2ae1fbe927c86efc856a069c511d","datavalue":{"value":"The starting point of the paper under review is the proof by Yuri Matyasevich (building on results of Julia Robinson, Martin Davis and Hilary Putnam) of the fact that every r.e. set of integers is Diophantine, i.e. given an r.e. set \\(S\\) there exists a polynomial \\(P_S(t,\\vec x)\\) with coefficients in \\(\\mathbb Z\\) such that \\(t \\in S\\) if and only if \\(P_S(t,\\vec x)=0\\) has solutions \\(\\vec x\\) in \\(\\mathbb Z\\). The authors observe that the set of propositions provable in Zermelo-Fraenkel set theory is a recursively enumerable set. Thus under a suitable encoding, one can produce a polynomial equation which has a solution in \\(\\mathbb Z\\) if and only if a parameter corresponds to a theorem in Zermelo-Fraenkel set theory, i.e. a polynomial equation as complicated as ``the whole of Mathematics''. The paper gives details of such an encoding.","type":"string"},"datatype":"string"},"type":"statement","id":"Q351271$E9970967-8FD3-4DD7-99BF-C94B46769468","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26c19f81fbafe8abd6879ee1939e0021ae2f99f9","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351271$2374AFBD-D0A3-4BDB-B524-FF26977EEFA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$3DC75D96-1F43-45AE-A84D-8EC4C028060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$BE681A49-F399-44D5-8DBA-C2B7BD523681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$D70E554C-9731-43BC-AB6E-2644711652E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8ae34b400a976bf91ed2d02545387acd7b31f48","datavalue":{"value":"11G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$B287358B-BE21-41E1-9B73-06B376E24797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f2a837fb05761d572aa760d6381043e69f4624f","datavalue":{"value":"6186918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351271$864A484C-2973-4DAF-A2DA-2FE35C09B8A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f38b4bf6af945c36b2192d056cd13774407ae5c","datavalue":{"value":"Matiyasevich's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q351271$22BC0BD0-5503-436A-AF5A-80A4F03729FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7a24a9061ece36769da8e6238df195ab34efc4","datavalue":{"value":"Diophantine coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q351271$60998C7E-4DA9-43A0-80E6-559D3F0B7C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b81a589eaeb5998a07257642bfeca43ac3f94c","datavalue":{"value":"G\u00f6del-Bernays set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q351271$B015847C-05EF-470B-9530-5D28FC9FAA38","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":"Q351271$EE2D5EC6-F06C-4EC1-805B-7400FFC427F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab43416930a5256ce383e999a3ef9810ce8b6d2c","datavalue":{"value":{"entity-type":"item","numeric-id":2253864,"id":"Q2253864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e0758dbeda57dcf5651bd52290c67ae434702c","datavalue":{"value":{"amount":"+0.8855067491531372","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":"Q351271$4EABBDA4-11F3-4826-9354-3C292DDA6090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38f7cf01165cb77b684a0503e618367ef16bab3","datavalue":{"value":{"entity-type":"item","numeric-id":3091735,"id":"Q3091735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d78f7e15e6eb541e5e7c6bed083892483683790","datavalue":{"value":{"amount":"+0.8463998436927795","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":"Q351271$605A0A0C-9A36-4970-BD6E-DA7FB54C0FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6c1aff53a4e1a1e0501bbc3add2dcc9494868f","datavalue":{"value":{"entity-type":"item","numeric-id":2210378,"id":"Q2210378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6053cc3fbf99153b633d7aec2946e7e07790f740","datavalue":{"value":{"amount":"+0.7986084222793579","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":"Q351271$6A85E97F-B6DE-47B1-9E18-FE9C27BC455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea768d57e4be8eac1086a71b172babfea3db61c","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bd6c5bd70f216c5ec194bede386f0fb3732f77","datavalue":{"value":{"amount":"+0.7877588272094727","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":"Q351271$A0F7A17E-66A2-42D6-8A15-1F00B1776569","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":"7f1666918907bd9a853cf1f0d148877f897b8c1e","datavalue":{"value":{"amount":"+0.7397897243499756","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":"Q351271$9EE0B29F-E7A9-4387-B013-D86D9334C7DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:351271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:351271"}}}}}