{"entities":{"Q2445235":{"pageid":2455978,"ns":120,"title":"Item:Q2445235","lastrevid":78691619,"modified":"2026-05-06T12:12:38Z","type":"item","id":"Q2445235","labels":{"en":{"language":"en","value":"Conjecturally computable functions which unconditionally do not have any finite-fold Diophantine representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284211"}},"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":"Q2445235$CE29032F-C344-4227-ADCA-3E6985C39BB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a591dd1807748b0a4105fb46bf4a47acaaada704","datavalue":{"value":{"text":"Conjecturally computable functions which unconditionally do not have any finite-fold Diophantine representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445235$81F9955F-AD78-40E7-98EF-13217EFDADCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d8c9fedce86e3a45194280d850c2d49ad1610c","datavalue":{"value":"1285.11147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$84D11189-06E1-4838-ACA1-56EA239BEF70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c462aa9b35e194e1701ce61e773277899ea47e75","datavalue":{"value":{"entity-type":"item","numeric-id":206649,"id":"Q206649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$A1085396-14B8-4BB3-ACD1-401D6AF461EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$71980588-7FB7-4618-8471-8C1882276DC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2bd9793596aefadb295689a4db5fbda4fe4920","datavalue":{"value":{"time":"+2014-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445235$F1F19187-8C09-4EF4-BD44-E25E16C1ACCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$FEE55B4B-D6BE-49CC-B7FF-6A55A88F5016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$26877D47-EA71-4CBE-A6E6-6D8B44A01C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f071a227a82a2fbae9e00865d40aae78fee790","datavalue":{"value":"11D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$7B7F6790-763D-4953-A334-7DC1DB913A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2297a105730d9fc88828d8f50de961a29739ada9","datavalue":{"value":"6284211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$440E7178-B528-4FA6-B815-BB4D2648D298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445235$6A964C02-4B72-40BB-9EFD-E5DC5DEC8868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690793dbded033473b913b125a3ee1a4a9eddee2","datavalue":{"value":"Davis-Putnam-Robinson-Matiyasevich theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445235$9B966F49-2C11-46A4-A947-298A124CAC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deddc435a806a82750f1b2860d4b66cff6dbb01d","datavalue":{"value":"Diophantine equation with a finite number of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445235$44F533B7-1287-462B-AD0E-F89BB7B93B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca23e02bf7cc15bc40367e2bd102dbadbd5e1aa","datavalue":{"value":"Matiyasevich's conjecture on finite-fold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445235$ED512D22-2122-4F29-9AD7-4541B394FF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0f44e8f7bc3abfe33ac6d9eaab2ba3c0eae1af","datavalue":{"value":"Diophantine representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445235$494F470A-FCD2-43F9-BBAD-34729A53EF3E","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":"Q2445235$0B55E03A-CE61-47AD-8612-5B978C098AB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee8d9a111a91a24eb01ab384fa950b11e2d5523d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445235$2B72959F-1210-439C-AF89-81CD572889A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"632766febd8eadca26b882fd15ad49fff7312af7","datavalue":{"value":"W2004164951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$ED36091E-6F02-4553-8803-FFBE3532350E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dfcec16cd387479eaaceb5e3cf87dcb87a2f0f","datavalue":{"value":{"entity-type":"item","numeric-id":3097351,"id":"Q3097351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$8674B9CC-AA74-4305-8DD9-1534ADFF7F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b201c3a4a6d2d6b599094ea76d8d1f5a424535","datavalue":{"value":{"entity-type":"item","numeric-id":5183480,"id":"Q5183480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$2D60D77C-C801-44CA-A1FE-89C607A60F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$A40900E5-5AAF-4861-B39D-1790D9906FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$9659EB5F-FC9A-4FDF-942E-E0E347ADACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0194aac5d1b5fafc5d3a8db70fa2e0207b7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2715528,"id":"Q2715528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$58B09F0B-E884-4F84-ABFF-BF6C5A3235DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf49da9669831d82d9f87a771e5e2d75df286c32","datavalue":{"value":{"entity-type":"item","numeric-id":393229,"id":"Q393229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$C6297B33-119D-4F1E-915C-6C3B54A5ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f807077b4188e4441802ee77fc5ab7dd646da108","datavalue":{"value":{"entity-type":"item","numeric-id":3309910,"id":"Q3309910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$6EF5AFE4-ECC5-4C46-9937-C00712E7C8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db31b5e0028e42cd126f2b70a8567675391904bc","datavalue":{"value":{"entity-type":"item","numeric-id":5768440,"id":"Q5768440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$915395A0-5F3F-4533-AAE6-5220ABE490E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51ef3ec9770e1822ad2bd6e5b44a30f00e134f3","datavalue":{"value":{"entity-type":"item","numeric-id":5401917,"id":"Q5401917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$E66DDE95-DC0E-46B3-B1D4-6729DF36ABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2effd17109e37c7615421c60d628985e7c63b","datavalue":{"value":{"entity-type":"item","numeric-id":5401918,"id":"Q5401918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445235$95DBF0CC-488B-4037-AE85-745B86DFEAD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eb7ad9a8bdb809a0d378ebed4270b560dc8d7d6","datavalue":{"value":"10.1016/J.IPL.2013.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445235$3C7EE4DC-6AD1-4AE2-A00F-7D35C5357E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b748c58acd9699625e889bd0fbf306fdfdb10","datavalue":{"value":{"entity-type":"item","numeric-id":2790449,"id":"Q2790449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e1ce552eb87227924c9e4b40e9b5faff63af79","datavalue":{"value":{"amount":"+0.8325043320655823","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":"Q2445235$7DF9E691-6BC5-4682-9465-781C6A6A4ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f43f25e78d00a76d65b7b28a431b2c4cc97a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2843817,"id":"Q2843817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d876d2b84a3daed0aafcdf78b9bac1d104e52156","datavalue":{"value":{"amount":"+0.8210147619247437","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":"Q2445235$F583DF54-7015-4834-911C-154A026C9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e42b34c2688d2d880848370dffb67bed95049f4","datavalue":{"value":{"entity-type":"item","numeric-id":393229,"id":"Q393229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2759a1ce0bd4752005f45e3cb62585d5ae6fdc55","datavalue":{"value":{"amount":"+0.7927892804145813","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":"Q2445235$C695ADB9-25E6-498C-85DE-E0E6D0D9A8D1","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":"a0ed9d1fe592925d5cc8108f4e04933f2ec44bbb","datavalue":{"value":{"amount":"+0.7914036512374878","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":"Q2445235$61F156ED-7DA2-473D-9625-5691FABDF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd89e78450a82e7aad13c957892bd94d0065369c","datavalue":{"value":{"entity-type":"item","numeric-id":2102760,"id":"Q2102760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d14d31060c0dd63921f3f7baaa2f65f567bc724","datavalue":{"value":{"amount":"+0.7751557230949402","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":"Q2445235$F45ADFB2-D17B-4DB9-86F7-E1E15A13A70C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjecturally computable functions which unconditionally do not have any finite-fold Diophantine representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conjecturally_computable_functions_which_unconditionally_do_not_have_any_finite-fold_Diophantine_representation"}}}}}