{"entities":{"Q3998431":{"pageid":6028260,"ns":120,"title":"Item:Q3998431","lastrevid":55135951,"modified":"2026-02-04T00:20:17Z","type":"item","id":"Q3998431","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 47306"}},"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":"Q3998431$14D10903-2EF1-4EAA-B502-7B95E607DFD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6254306df65e3b33c7914e74c1c392f1eb4718","datavalue":{"value":"0708.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$EE3063E3-43D5-42E5-9E74-93BBDC4B4D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3998431$8A396FC7-A5CF-4C35-A207-22EF424D96BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c8ff1ce115757f025d9968c64642224ff0c110","datavalue":{"value":{"entity-type":"item","numeric-id":2562175,"id":"Q2562175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3998431$E750F271-647D-4A16-97C9-65B07DD97949","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3998431$EC12BDC4-F813-4F4D-8A0C-99F8E14EF41C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$F654112F-DF56-488E-B21F-364DF938548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$72EC9308-F8D8-4E75-86CB-5FE84DF53365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$C6CE08CE-A2B6-44CC-A5B4-D40A18765898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$5E88E13E-7AC3-4B1A-8097-AED895FDC768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$3599B3D1-986D-416E-AFE9-0D5100016482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$F946E601-7D99-4DA3-9F87-DEDF26222EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$013A7EB6-221E-417D-A623-7D046FC2A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$9B37E4EA-A4A0-444F-BE62-8BFB7EEC4892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96787d377668fc4a6407829165024fc6f242e58d","datavalue":{"value":"47306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3998431$2E416D34-2F57-471D-A6D6-403A50098B53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3cc2be5a06c7a4fd42cfa93ab4ca67a19f07995","datavalue":{"value":"enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$F2864832-67D9-4062-859B-66AE5DF36CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a333338ea0c5cf9e00fd4adc30464d68a4bb6c","datavalue":{"value":"halting problem for Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$D9D75079-2A99-4FDE-BEF6-3E1BC81FA016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$241CD206-A206-49ED-A940-2AFDE918E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9f4d394dca5815c1c2b05a2148b4be1bf41180","datavalue":{"value":"undecidability of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$C473C556-52EF-4139-BAF8-9ED26A997E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7850554546b7e44b3c7e63bd79ecf97ad72d9869","datavalue":{"value":"completeness and soundness of first- order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$49406DFA-79FB-4FE6-85EE-D42F9F92BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c052d8592cbaab1e3bc16a1d32a131b8a989150","datavalue":{"value":"Skolem-L\u00f6wenheim theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$71762162-3D07-41D5-9B88-A37D7E307661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ae8b637749ddc659d161b8f9c42b10bc9db79d","datavalue":{"value":"representation of recursive functions in Robinson's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$C721820E-C303-4501-91A1-8208B910E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c538b6fa7571536a9674f50a8fd77a4b176afc68","datavalue":{"value":"Tarski's theorem on the undefinability of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$10B7B69B-A729-425D-8B65-E1B2A35B912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$F72BAD14-F3C1-4E3F-B196-33A2FB2136C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dbe256b2133aa352d9ca7d2796c75c57cd693b","datavalue":{"value":"L\u00f6b's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$0AE48229-C32F-493B-8CCC-DCE3C9D99D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe06f3b9be5f7e305e8ec856037321ae8135c4d3","datavalue":{"value":"non-standard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$7D63AD61-AEC3-4527-9593-F56CE172057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$4C826B76-FDEE-4E9B-947F-A3FD45BC12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$C30C206B-C05E-4759-854C-461A5F80AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa08559adb3f9022896dda6d7005082378052bc","datavalue":{"value":"Addison's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$EE88B862-F799-4210-9A48-4E536A3B634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f451f9b06b84f8240b33368c2f13a80bb38c8253","datavalue":{"value":"Presburger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$F9B2A9A3-E803-4159-B719-FDFE74C3FCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2bb4cb2bf08906d22a2bc1f32a4e70e1d900f0","datavalue":{"value":"Craig interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$CED97A27-CA18-4E3E-8C5C-F23E2E298455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f485e2ef5d711dc6b65f3aad7478d15f8b7f7","datavalue":{"value":"Beth definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$8C818B83-D62F-4D9A-A2DB-4FC737ED35C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac8168443acd3774521ed4ce2c70da3720bbd00","datavalue":{"value":"decidability of monadic logic with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$A82FDE1F-2402-4079-916E-A0EF2A4B7979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$8CB95B26-224A-4410-9C8E-47E54BF70B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$7C266044-2169-4429-92E6-2C73029F34B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$0BD3E290-271B-46ED-AA2E-64F1DD3ACC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d63750bb67e9da4d48c06f586110768e5e8179","datavalue":{"value":"undecidable sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3998431$F0D6AED8-39B5-4447-99CA-1A76832DD758","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":"Q3998431$2C7B22A8-6C95-4DA4-A1A7-09A34FCE5EEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1bef0c8499063b380888beb52dc209729e0ba4","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5631658f982e69d4666606bc668157d8d900719","datavalue":{"value":{"amount":"+0.9999995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$72CF3A9F-EF74-4B77-84D3-F852BE890E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594eef8d19338a4c3b1299555c1c210c3eabea28","datavalue":{"value":{"entity-type":"item","numeric-id":3148848,"id":"Q3148848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5631658f982e69d4666606bc668157d8d900719","datavalue":{"value":{"amount":"+0.9999995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$B225D642-0DFF-4C2C-95B4-503FED62E764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d9303245c1c25695837b1c620766a5e4dddefa","datavalue":{"value":{"entity-type":"item","numeric-id":3767319,"id":"Q3767319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39bdbac411198c4d649355dffa3c6a973388da5","datavalue":{"value":{"amount":"+0.9584728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$A9BE90F6-BBD4-4639-9A0B-2264691A9784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b302598f52112e754bd4277f0aec0f8139f697","datavalue":{"value":{"entity-type":"item","numeric-id":640476,"id":"Q640476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed64889e8119d8ef930d6e2890826dacb935b593","datavalue":{"value":{"amount":"+0.9326795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$E17382A6-AA34-4847-A398-1CF93F078FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8d3a40286496ad3dba624bcf602244a47adc50","datavalue":{"value":{"entity-type":"item","numeric-id":4895089,"id":"Q4895089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc844e9b1ee81f6e6ff5cbc496f5544b7079b16","datavalue":{"value":{"amount":"+0.92146003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$4C732962-EFBB-41AC-BBD1-E68621013C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a08f204d33ce23f7fc582e1f312cc62f3e4ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3993070,"id":"Q3993070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6339d2c864490cbf66d70bfe43064ad05e508be8","datavalue":{"value":{"amount":"+0.9192501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$7335D79A-7CDA-4F7D-AFEC-7D5A93F5B5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e51fb5c0cc5af6cb67bea5e3f8944959622748","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1596bb927b91c0e225042f5c79b15907d099907","datavalue":{"value":{"amount":"+0.9131585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$68061AF7-2D07-4670-A54C-CC5D825AE094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68bdf0766df1a66ad5f392ff8293521e4c3cd12a","datavalue":{"value":{"entity-type":"item","numeric-id":4720780,"id":"Q4720780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53d528b879519293818894f5f0c552ccd439b00","datavalue":{"value":{"amount":"+0.9128584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$8161DF32-761C-4DA4-8BBC-446D9DC23DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aef6322152c8b8c58156eced20c273d25b8b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4827463,"id":"Q4827463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153fd5bc5c6bf16f1e04395fb7f7063b6e71e4a3","datavalue":{"value":{"amount":"+0.9105762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$96D90C47-7E61-4FFE-9E69-1E87C9D8BC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f5c1ae87af856317c98effcc1abcc9e138885","datavalue":{"value":{"entity-type":"item","numeric-id":5286632,"id":"Q5286632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29df850dbe607bdaf8fa424a0b02a48917711881","datavalue":{"value":{"amount":"+0.91012263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3998431$1F6439F4-19E9-48FE-9CB9-E5E691D368FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3998431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3998431"}}}}}