{"entities":{"Q1780896":{"pageid":1791638,"ns":120,"title":"Item:Q1780896","lastrevid":69342537,"modified":"2026-04-13T06:21:36Z","type":"item","id":"Q1780896","labels":{"en":{"language":"en","value":"Undecidability without arithmetization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2175877"}},"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":"Q1780896$5CA91AB9-CF92-4BC8-889E-E80F91A47E2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f87dc728435a8056974a493b670db03aa113bee8","datavalue":{"value":{"text":"Undecidability without arithmetization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780896$AD12A911-92D0-489F-9481-E0AD3C23DDF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02535cedacd148aeceb9666f4aac5144f100ff40","datavalue":{"value":"1080.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$54815B5B-4C89-4A11-8F42-2505E8442191","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b22caa67b786f75dff988c26946162a4fefd648","datavalue":{"value":{"entity-type":"item","numeric-id":598295,"id":"Q598295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780896$9D29AE20-B926-4F99-A62B-CEC845510B15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780896$5D6CB4DF-FF59-4B10-AD92-0EF66955C4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"790e1ec6d145b854b322b39beaf6c6285a4fe919","datavalue":{"value":{"time":"+2005-06-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":"Q1780896$F331290A-C267-4E5D-8384-3D1C361E6B76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d19fd72e13255beb654de402b2d39470af2386de","datavalue":{"value":"The author gives a new natural and transparent proof of the undecidability of first-order predicate calculus which does not use natural numbers. Instead of arithmetic, Tarski's theory of concatenation is used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$EACCE285-0EC6-4E3F-A5B2-44C221C584A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$5CF80E4F-6A55-4C57-8859-1B4E043D5446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$4AEC5697-5CA8-4E08-A7C4-91E3F6713C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1572e57776b9a43441d5e7825f812013b85c13ec","datavalue":{"value":"2175877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$BCD25682-D4EE-45D2-AC57-041274C14AD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$65E4D14C-C804-47E3-8453-FB7012E88C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf5ab01e5d8de98ef45fff0104111e4c6528808","datavalue":{"value":"discernibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$9285056C-A085-4401-9912-C2CA89189173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459d7269a9afbd2453d6cdc14c392714df119506","datavalue":{"value":"concatenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$A59D7A54-2EBC-4E56-9096-B0B79B37FDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$E0180D24-E88A-4D8E-8C48-A1AF2388583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$706B9BF2-9FDF-48A7-869C-C0D3050A53F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1674bf5a648f665d0c3aef2a9103c2819c28b82","datavalue":{"value":"Kurt G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$742ED2C1-9082-4561-B08A-CF0B2E528220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a5f44bc4ee8232f5a970333061cd09a34615b2","datavalue":{"value":"Alfred Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780896$236DCAC8-3978-412F-89F5-C7336126CA67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780896$7E5DAC7F-1BD9-43C6-B3E2-E612C56117BC","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":"Q1780896$7A32BF40-0950-4617-ABAD-1F01857E48A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f080fd475e12e1b634bec7d4b0f3e5d2aa68955","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2976-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780896$D609A88C-2A2C-4CA4-9495-6420AD26C5D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db73c7925c2d70eed1ef5c13ded7961f73849dc1","datavalue":{"value":"W2062842033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$7AD59216-3ED2-4D4F-85C6-1DA095BE4396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"176e0ff87099af1e84b4da21d5cab9b928fa194d","datavalue":{"value":"10.1007/S11225-005-2976-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780896$2EB492CA-C125-4D98-B5A6-658E577AE581","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4eb7983057091ffc64a13c9611ae33ff0609a1","datavalue":{"value":{"entity-type":"item","numeric-id":3601404,"id":"Q3601404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68081f757c871e9a1348c0714ab5b5a04d66773","datavalue":{"value":{"amount":"+0.8214762806892395","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":"Q1780896$7FB931EE-369C-43F3-AD34-34E1602A84B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc386b2be4cc392c36a8b9ab614f5b7346c64de","datavalue":{"value":{"entity-type":"item","numeric-id":5960015,"id":"Q5960015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c571f058dedf39913dec0c70c998062a56e921b9","datavalue":{"value":{"amount":"+0.8153741359710693","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":"Q1780896$D8302AB0-7F03-40C8-ACEA-D668958634DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1efb6273166b41e9c7de89de4ccbd3353db888","datavalue":{"value":{"entity-type":"item","numeric-id":598296,"id":"Q598296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68d10ab58eb6abcfe16959c78a2e82b4ecac01f","datavalue":{"value":{"amount":"+0.7998725175857544","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":"Q1780896$9945E386-1DAF-451D-B4AB-C836F8C79049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57e10ecd3e9abcf86cf5ae9eb5f367baf5ebace","datavalue":{"value":{"entity-type":"item","numeric-id":1038605,"id":"Q1038605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7d2baabe7848ee2645e9e1939805b7d36f5362","datavalue":{"value":{"amount":"+0.7577642202377319","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":"Q1780896$045D964E-EAED-4BF3-AFA6-A59B4AE6CE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b713701d62b1812a72a660b2a8755f651cfd694","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef0bec8fb89369089eebd927eac380e7fd0a02e","datavalue":{"value":{"amount":"+0.7540648579597473","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":"Q1780896$C973B895-7569-44F7-811F-69272E1BF6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability without arithmetization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_without_arithmetization"}}}}}