{"entities":{"Q4983362":{"pageid":7012940,"ns":120,"title":"Item:Q4983362","lastrevid":91170302,"modified":"2026-06-04T22:26:14Z","type":"item","id":"Q4983362","labels":{"en":{"language":"en","value":"Completeness: from G\u00f6del to Henkin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419633"}},"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":"Q4983362$6C078BE5-9E90-417C-A622-6A4B993905B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783bae1a5d5e4abf358595df847c7fb8b22c3a90","datavalue":{"value":{"text":"Completeness: from G\u00f6del to Henkin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4983362$70C70018-5D9C-41B0-B8BA-CF452B0731FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a907236b329499a0e083f23590693fa2c3fa22d","datavalue":{"value":"1312.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$1EFA2CC4-3633-49AF-9229-F5E999387823","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf2e0e09d82fa0ae475aa1f5b81dc7bad211a3a9","datavalue":{"value":"10.1080/01445340.2013.816555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$F87488D1-F854-4CB4-A726-26BC25FA118F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$E387F1B1-ABA3-4C53-9EDC-79625FEE8EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3daa0c349ef2075840743170914355219155925a","datavalue":{"value":{"entity-type":"item","numeric-id":514559,"id":"Q514559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$2DC81B95-40F5-4380-85A9-EEAE21DD5CCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$4E566A17-3737-4806-86D7-5DB53A5D33AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-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":"Q4983362$02B9F117-D5BB-4321-9B70-F4D6655E485B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$09AE51EA-0D09-422F-BC57-ABBC941D9CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$286313EE-E2F7-4C28-9899-0CDFB273507E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30a833dc834edbcb709323eb3ca1aa2464174eb0","datavalue":{"value":"6419633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$649BCBD0-B886-43C0-AF6B-CDA804EE82CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4983362$170C4AC5-ADEF-4F55-8250-52EFEBE6C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcda76d6918856cb23952858fd3ecefa53f8ba1","datavalue":{"value":"G\u00f6del's proof of completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4983362$66542F23-EE05-4BA4-882C-52C40E88A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4983362$5E1DDF84-FEE2-43B4-89DB-88FAEE377DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4983362$67249E83-4EF2-4C8E-B549-0121A3DFFB99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"88fe121065c66b95942dd18b9e89b36300e43645","datavalue":{"value":"Q58341603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$AD17D9E1-C10F-410E-8D06-9359A4E90526","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":"Q4983362$695AA94B-BF04-4926-A13E-8410A0278357","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c1c9cce66ed35b5e48273a1d26d1bc675810962","datavalue":{"value":"https://doi.org/10.1080/01445340.2013.816555","type":"string"},"datatype":"url"},"type":"statement","id":"Q4983362$24D7FCB8-F9C7-453A-BBB7-5F89F2BD9AE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f1028bc8db7f0b835d6aae21c8ec78f7eaf6865","datavalue":{"value":"W2054845811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4983362$07E0F963-1794-4B8B-A0F9-524B05682043","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"387ebbf02524c9f6c7cf3a328c5dba366eadc7fe","datavalue":{"value":{"entity-type":"item","numeric-id":484101,"id":"Q484101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$371DFC63-79C8-4D5A-96D0-6B98DDEBE062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$D7B18071-75A0-4E0D-A60D-848F844A0B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$9784E680-FA16-43FA-B603-7B99F4640D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce029bf879fdaed2d64cff89d2bcfe4c552ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5760328,"id":"Q5760328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$E0096864-EF7D-4046-B656-447540BA99D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5369245c683380663d43367502a396b591af1be3","datavalue":{"value":{"entity-type":"item","numeric-id":5763293,"id":"Q5763293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$4756C4EF-F597-4EA4-86D2-BB341F2E7C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$1BC52668-AA42-4E04-8C72-0145AB88AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7bd199a472b4ba0ffc305b99b3f2c097fd070c","datavalue":{"value":{"entity-type":"item","numeric-id":4001483,"id":"Q4001483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$BF758D98-2724-4D89-89BC-21F79CBC3EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$EA327557-BFA5-4A9E-962E-7C2F90B63951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$F84676F6-C517-459C-BFED-8811C553E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a932a04a4a6fd7d5960237a8f6139fb497875827","datavalue":{"value":{"entity-type":"item","numeric-id":4391354,"id":"Q4391354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$0A38A1D3-EC34-4148-9047-4CD88B9F02B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d79573f8a01153458ba3d85e0ed27a1a2cda1c7","datavalue":{"value":{"entity-type":"item","numeric-id":4837673,"id":"Q4837673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$E3A24457-7189-4458-AF14-870F7E01D8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f0e56b1173179ed7388cef6afa43c5d164eb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4706125,"id":"Q4706125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4983362$C3FD5836-9155-4F6F-84DF-3797EDCA3050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a84f420b1ed5ff389a53b71d13de4cb54d28881","datavalue":{"value":{"entity-type":"item","numeric-id":2866439,"id":"Q2866439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f679d6373c85fa30fa3f2b644ff2edb2a18c9db","datavalue":{"value":{"amount":"+0.7825077772140503","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":"Q4983362$9B9054DE-B14C-4CE8-B158-24941A1C4909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13e9cdd04d4b637dfae0354f41c3d4af456599e","datavalue":{"value":{"entity-type":"item","numeric-id":3454811,"id":"Q3454811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfd80110efd21adf557310c357588a7f247f2d8","datavalue":{"value":{"amount":"+0.776588499546051","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":"Q4983362$CCAEA809-7D92-4873-81CF-8C44AFB7E3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21b73d123ea38e8025a75e6dc9f3aafd718bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3612504,"id":"Q3612504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8526b820ed1eaaf87a4c0ae1de059ff297a45ba4","datavalue":{"value":{"amount":"+0.7523326277732849","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":"Q4983362$8F41E6FB-FB79-41E6-8B97-DCE9A99772A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c64c0ce8f51fd00bd4f559673d80a28cf0b9df","datavalue":{"value":{"entity-type":"item","numeric-id":3454810,"id":"Q3454810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9035e2ad0137544ebffa0f9fc7c8952ac95f13ff","datavalue":{"value":{"amount":"+0.7427553534507751","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":"Q4983362$2D1848D7-A2F5-4F4B-9FDF-D75FF7547946","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":"621c923fef0879a147d7a0054bfc13a9274d6b35","datavalue":{"value":{"amount":"+0.7410873174667358","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":"Q4983362$4CE44DF8-3CE4-4BCC-A1D8-0C6CBB437269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness: from G\u00f6del to Henkin","badges":[]}}}}}