{"entities":{"Q4457733":{"pageid":6487332,"ns":120,"title":"Item:Q4457733","lastrevid":48262558,"modified":"2026-01-04T04:00:55Z","type":"item","id":"Q4457733","labels":{"en":{"language":"en","value":"Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2061953"}},"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":"Q4457733$DEF0660F-A5F8-4477-91D0-F292A1B1368E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2e7573b401d5624988daf228b2d2285ef837cfb","datavalue":{"value":{"text":"Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457733$A04D7730-AA01-4BDC-BB3E-AB5978958A4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fdbf6ad461456aba1439490ea63730c79e495d9","datavalue":{"value":"1054.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$C1E8B6A9-9D70-41A6-9925-D15503A02737","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b7c301f4b02aff1be5220f52a5fad9d3047f8c","datavalue":{"value":{"entity-type":"item","numeric-id":162815,"id":"Q162815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$0ABE0F41-5F95-40FA-8071-8ABE3652D557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$C32A5F36-DB5D-40E7-9373-6E90DF5F1995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389b767007343732466af50d3ede33c114d8b0f3","datavalue":{"value":{"time":"+2004-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457733$DA5ACB52-D3FE-4B80-80E0-2145380ACAD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$84D5132F-36BB-4FC7-9139-84FBD6DFB7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$BFA5982A-C914-4AA4-9A0F-DC1E706ACE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$6B35F9D4-582A-464E-A9B7-8E563B34CAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$598ECE30-D015-43E5-837F-ACA34B62FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$310334D4-ED62-464C-90C4-B80592919E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$88F0BD1D-3C30-4896-9305-6C4C4BF7C269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1635b8fafbe49237fbf72f9bab1aedf5fa1d075d","datavalue":{"value":"2061953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$FBC39DD0-DAF0-4B70-B2BF-F8E089E43451","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06fbd501e93dc59d63b420b374a227b39d3acba","datavalue":{"value":"intuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457733$3FE7C5CC-6BF0-48BF-A383-66B74023CE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ccf56720c6cab3d62019be535766050a08cb8","datavalue":{"value":"Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457733$416DEA49-47B0-45D6-9D1C-28BB4211D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b423fe7ac1b3bfc7f4a2680323b3cc2a98bd8b","datavalue":{"value":"algorithmic problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457733$AED93E96-6AE7-4E61-8A46-5B2B6E5D3FEE","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":"Q4457733$D6C2757D-ACD5-4D11-AF4E-9DCBCB3BDF38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ef893b3789098b5fd1479088bc8e6b7c4139c3c","datavalue":{"value":"https://doi.org/10.2178/jsl/1045861513","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457733$36276942-DE04-4596-94AF-E942E8F37059","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a846401028cbd25ba015c5a042eb0a8bba5af55f","datavalue":{"value":"W2138038189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$F7FEE04D-5A73-4444-9514-79754222DA13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$ABA19D53-A0DF-4AC9-8A03-2E21E99321D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8479012f772331599f6c723e371f356de6489","datavalue":{"value":{"entity-type":"item","numeric-id":4374809,"id":"Q4374809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$631AF836-91D3-4092-BA13-BCDC3926FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ecc1f2fc0cddaf567242fab4c34d9c78e62afa","datavalue":{"value":{"entity-type":"item","numeric-id":4223173,"id":"Q4223173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$4E9341F4-9ADB-49F5-826E-F3F914C1CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$18A4B547-A598-478F-B2C8-C7482C4E2C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$5013BDA2-5912-4826-845E-0E285EFFFCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457733$2B5C0FA9-8A86-4FD8-9011-8244320286D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d78c0bf305404fb55d968938108181422ed04203","datavalue":{"value":"10.2178/JSL/1045861513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457733$0CDDA660-AFDD-406E-BFC1-0B0CC1D48317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4aa467d721272fe29d2b60145c509b23897200","datavalue":{"value":{"entity-type":"item","numeric-id":4302339,"id":"Q4302339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f27127f0286ceef8e45b43feba5549fdc4824e","datavalue":{"value":{"amount":"+0.7470914721488953","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":"Q4457733$1895FD48-CBA4-4BA9-A57C-711804D635F5","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":"43f27127f0286ceef8e45b43feba5549fdc4824e","datavalue":{"value":{"amount":"+0.7470914721488953","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":"Q4457733$51D0D951-176C-4D84-B3E0-38DFBCECCD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e7cdef9f927c27b69cad743c673bd6dbfae47c","datavalue":{"value":{"amount":"+0.738834798336029","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":"Q4457733$B20E66A1-41F3-4B31-A35E-6D43249986A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9dc41768f9b519d20b7a756c597f160679f8817","datavalue":{"value":{"entity-type":"item","numeric-id":3376536,"id":"Q3376536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90bd65c1044d531c2b2b49f83a49d8d31daf298","datavalue":{"value":{"amount":"+0.7368365526199341","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":"Q4457733$324F641A-0F20-43D2-A1D9-13E9EA25EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01745346cde837ba97623e7166ade91000b6e7e6","datavalue":{"value":{"entity-type":"item","numeric-id":3588162,"id":"Q3588162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27f6c81a7bf71a555b5d48c90edd034c796a76b","datavalue":{"value":{"amount":"+0.7350772023200989","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":"Q4457733$5D081EFB-E820-43CF-8684-749A1C0B3BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457733"}}}}}