{"entities":{"Q2852157":{"pageid":2862877,"ns":120,"title":"Item:Q2852157","lastrevid":51839234,"modified":"2026-01-20T07:24:40Z","type":"item","id":"Q2852157","labels":{"en":{"language":"en","value":"The G\u00f6del completeness theorem for uncountable languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213838"}},"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":"Q2852157$46F8DB99-0F1E-4006-821B-82676BD49761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0233f10077b5341fa8557ef93efbc075338dd644","datavalue":{"value":"1288.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$7EE80B40-8ADF-4638-93A6-CAF54CB7A08F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"443ac7da0d4ab10cd7625ca9e09324f0c8076fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2679588,"id":"Q2679588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$B44453E8-8455-4B3D-9F5D-59F5D45F8819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d0b9b61d83d1e98f6242a5df0440e02577e539","datavalue":{"value":{"entity-type":"item","numeric-id":375822,"id":"Q375822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$B60C02B7-A535-49D8-82F0-21B98D753EED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$4A6B06CA-54C3-4E34-AEA2-F59EFE15D59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852157$27B14797-75C8-443E-ADB0-7F94C1B1C7E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$907A6329-8D03-4FE9-BC21-281AB621D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$BA09D0FF-A985-49EB-BA9A-FCB1337919F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$930F9401-5CDD-44B8-9993-75808DABB7B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c511b56b0b6f1fdb0fc2d8b33a68cdfd331903eb","datavalue":{"value":"6213838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$C8D61A40-38C8-413B-957C-692294EFE19B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852157$6A190E2E-C633-4AC8-A726-DFFBAC8EA2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852157$35C854AC-3440-421A-9376-E972CA184F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f9cb116398c11b6a4a0b0d4d04348399be8853","datavalue":{"value":"G\u00f6del completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852157$60BEBA12-09B0-4790-A516-4C6D224AB6CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$F0EFCD23-722E-46F8-9FC6-D6EBB1A4BECE","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":"Q2852157$9A0C85AC-0AE5-4880-B1E4-155120D41DFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fc08565ffe292db7568a881f5bf796b510eb704","datavalue":{"value":"https://doi.org/10.2478/v10037-012-0023-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852157$1C63E85E-78D6-4A04-8D3C-BE845D2C4DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebc5375ca284885b9928c103066560a461255e0a","datavalue":{"value":"W2067545168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$8C13562F-8172-4184-A0C6-08D2CC6144EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$BC874ACB-9D9B-46CC-862B-508BD3105F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f6716521d224544da29c623999f5dab5d1712a","datavalue":{"value":{"entity-type":"item","numeric-id":4023926,"id":"Q4023926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$C6ECCA02-0039-47D3-ABED-21E05B0D582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451f189a1bc16a0affba9c52bfd47bf51b5322c8","datavalue":{"value":{"entity-type":"item","numeric-id":2852156,"id":"Q2852156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852157$80848343-5B26-4C45-97B9-C34B37396D2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3d52f95eb114c004c5e7b9dbe0ce31763ad5ba","datavalue":{"value":"10.2478/V10037-012-0023-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852157$D932180C-9A64-4226-9063-59D3D4BEBAFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96b5670696c13d47c22cf0049c7f27d8aa97d87a","datavalue":{"value":{"text":"The G\u00f6del completeness theorem for uncountable languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852157$974F76EF-13D1-4208-848C-AAE4AE8BAD72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fab0fe5669f5cd4754210ef5c65f47ccb3873a8","datavalue":{"value":{"entity-type":"item","numeric-id":2852156,"id":"Q2852156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef382424f57bedbb0cbe4b41e987530ef7fa033","datavalue":{"value":{"amount":"+0.8783336281776428","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":"Q2852157$8F7379CA-5F1A-4364-8DBD-CC03469D0C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf1e310d4319850dc53c03d715caa346851662f","datavalue":{"value":{"entity-type":"item","numeric-id":2865750,"id":"Q2865750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905824e6de931e9827d2ecf19ba9ed2230195d89","datavalue":{"value":{"amount":"+0.7924144268035889","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":"Q2852157$1993161A-DD71-489C-9AA7-1A7B6984DF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518f113214d8dacdfd65ea5ea7302a8ee399d9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3075243,"id":"Q3075243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69361ccd9a6af855f34d7e309ebcd5d07d48751c","datavalue":{"value":{"amount":"+0.7772589921951294","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":"Q2852157$0878F893-A839-4913-B9F5-D6A8E1C06AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85445e218d9c7de34710abeb0c0c4584e4d8d5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2865746,"id":"Q2865746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14179b2fb0e376f06bbd0edd7195040f5102b1e7","datavalue":{"value":{"amount":"+0.7614463567733765","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":"Q2852157$FE6AB7A5-1D18-4625-BB89-E89556A86F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a09f2fef67545b50c056365a173d1e07e4e189","datavalue":{"value":{"entity-type":"item","numeric-id":1312692,"id":"Q1312692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34f6da2490dd088120f4b4f5cc4bdab1184677b","datavalue":{"value":{"amount":"+0.7508966326713562","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":"Q2852157$32796EEC-908B-47E9-A971-B559AC6B9317","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852157"}}}}}