{"entities":{"Q43934":{"pageid":43990,"ns":120,"title":"Item:Q43934","lastrevid":105428336,"modified":"2026-10-09T10:09:35Z","type":"item","id":"Q43934","labels":{"en":{"language":"en","value":"GoedelGod"}},"descriptions":{"en":{"language":"en","value":"AFP entry GoedelGod"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"08de9ca16f6df5ab538b1ac21caa117c08fd7da3","datavalue":{"value":"32223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43934$ED2F2C41-2FA5-4CDD-BD8D-2875A500D5E5","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"11d5bf2adaddf6f5a92a872d41245f144f85b922","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$10F379CD-C5E5-4D79-B637-9BAC76E30E6B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$E6F7AC1D-1ECF-46BF-898B-E31359CC7391","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"cf6046f3d4b8173510f3496ee3bf0a80d731c379","datavalue":{"value":"https://www.isa-afp.org/entries/GoedelGod.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43934$263AC9BE-CD60-4576-9489-21A0A8C5A22E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43934$AE06047D-8612-4B68-AB62-ED5D4E9E9DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43934$46E4FE13-1810-445A-A733-35BB48A7C834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43934$1ECC2DD4-126D-46A7-9365-18910BA85BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43934$F25D0CA8-FC43-4A7F-BCB2-3FE1DCB80392","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$D4C3DF5E-A3E7-4FB7-8EAA-09CB9AA4033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$D9588D89-1254-47A2-B271-87FAF1820E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$954CDD1E-5C69-46EA-8AD4-7A1C5E8FE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"239ac5c0327af3346b2f92ef805aaafc618ec12b","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$71681C3C-2C95-455D-90A5-A1A60F4A507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$93D2FED1-1C10-4BA8-A1DF-FB82F5D530E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$00908583-02C3-40D3-87CE-113EDD33E33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be349a9c602ac7f46103617ce9f8f7a751e64df6","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$003BD262-19F2-4A39-B6FC-BE5A75F744E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$AA9F1A43-A500-45B8-B780-8CC56936601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BC81B2EC-F6BC-45B3-9458-B5F1A69D82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$AE685D6A-D7BF-47DD-ADA7-6834157C009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$DA34D4AD-CB46-48A5-8C7F-BEF424AA926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3ddd2de3e8fa4535b3f4ff87a0621ac29673932","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B4B40254-64BD-457E-9A04-E746C93E26EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$5007DAF5-FDFE-40E7-A422-8E1950DADDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$FFB0E945-62DB-42B9-8E21-65D09F068778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$C2BBF652-C74C-4298-85CB-51E1FC32BD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$201399C5-F261-4298-9AB0-B2068A0A2576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$2C912F06-7656-46AC-A6EB-DF6121DC1F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$528FC583-CBF9-4DB1-946D-23A92003C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5988771a1b0a6a680c6c9ed2522a7367163c907","datavalue":{"value":{"entity-type":"item","numeric-id":5974685,"id":"Q5974685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$5F4DFBFA-2010-4BE1-AAF5-A8A49164F2AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f35f22275db674c71834b1251d7e9a218c52bc3","datavalue":{"value":"https://isa-afp.org/entries/GoedelGod.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43934$07502EA2-87F3-4F5A-86D8-C63587EC8A91","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c02d9ad114c3bd598ff935febd6964e2e7a5f3eb","datavalue":{"value":"Christoph Benzm\u00fcller","type":"string"},"datatype":"string"},"type":"statement","id":"Q43934$085C3625-0793-42FE-8FAA-543F7939E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8306a8f0a59367118f5121948e229bfaf230ec13","datavalue":{"value":"Bruno Woltzenlogel Paleo","type":"string"},"datatype":"string"},"type":"statement","id":"Q43934$0160B6D0-56E2-42D7-8B0D-1B0787603092","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2dc4cfef1bc1d542242995f103dfbc21cde76f54","datavalue":{"value":"Dana Scott's version of G\u00f6del's proof of God's existence is formalized in quantified modal logic KB (QML KB). QML KB is modeled as a fragment of classical higher-order logic (HOL); thus, the formalization is essentially a formalization in HOL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43934$65E75F6F-56B2-4B52-9F14-7D558A861AA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09bd4a6beb6f834c6327d58fde9b2924c73ecbf6","datavalue":{"value":{"entity-type":"item","numeric-id":3454082,"id":"Q3454082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$2E6C825E-7F8B-49DD-A4BB-31C523428429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"168bb98be947fbbc6e47a3971bcc419c97361630","datavalue":{"value":{"entity-type":"item","numeric-id":4893141,"id":"Q4893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$835CC528-5F66-4FB2-9FBA-1237F80B1210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$DEAC5DAA-897C-4218-B75F-189874937307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$61393DB9-C5F4-4967-A39C-79944C984ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b30f251a9bd5b05c898db8d902209f9dbbeacf5","datavalue":{"value":{"entity-type":"item","numeric-id":4664927,"id":"Q4664927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$94A05E65-6FD7-43AF-9B8E-90AEF3DB74F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81006082b42235e7fe4c4265102798be7adefd9f","datavalue":{"value":{"entity-type":"item","numeric-id":3648679,"id":"Q3648679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$0F3F00A7-8D19-4C48-9704-E669561F3358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18edac2eca5fb633b532600061311894868008a","datavalue":{"value":{"entity-type":"item","numeric-id":5869572,"id":"Q5869572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$66534EEE-3F56-40B7-8AB0-4C4824B83C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cdbf60575c5f5395b6bb7df67d68d06aea35bd","datavalue":{"value":{"entity-type":"item","numeric-id":4619819,"id":"Q4619819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$C1D1C275-FCF5-4D7B-A68A-30FA63597679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$FC9FF574-60E1-481A-BC99-CF74E155331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4de1ceab97f483ed77043583ab0d56aedd72ff","datavalue":{"value":{"entity-type":"item","numeric-id":3121970,"id":"Q3121970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$418C1F1F-A0B7-4167-B78A-DCDA1035E1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B55FE43D-E2AE-405A-903C-097805A8F7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$A4B3F755-1889-4BF7-9194-E2B0891FE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261bf1cec9df1397efeae294bf8d132656416872","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$1794E65B-2D69-4DD2-88CD-D939D0303640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbb59706402a58eab2bb1a14f29de683fb59d18","datavalue":{"value":{"entity-type":"item","numeric-id":2870120,"id":"Q2870120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BA4A630B-850B-41F3-A519-22BDAA214C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$25623B34-3126-4F6F-BCC3-98B26117DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$040ED859-C58B-4837-90D7-81F4A87C9868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2a2cacadd3c3bd12d3fb85ce93d5f9e91b3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$43C6941F-BD8E-41B1-9BB3-34D64316055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f800fa035265a93be31af16f1245c90338118eee","datavalue":{"value":{"entity-type":"item","numeric-id":3455772,"id":"Q3455772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$DB69862C-4E0B-4AE5-9451-EAD8702196FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcd804a4e8668e17b8b2634c9c07f03eb9afc66","datavalue":{"value":{"entity-type":"item","numeric-id":2819202,"id":"Q2819202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$0E6072EA-6C38-4900-9243-164444D5F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237821fafa43d4e18ba60cad08d7b20a58307b74","datavalue":{"value":{"entity-type":"item","numeric-id":2819197,"id":"Q2819197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BCE53198-1FCC-4F32-95D3-E23C74509E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a5bc172c534cb9e97bce0f559173d2e5d4c09","datavalue":{"value":{"entity-type":"item","numeric-id":5357221,"id":"Q5357221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$2B0D0D05-5927-4BAD-82FE-D7D5ADABE071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f20088575107330940e1348ba332c37a9c576c","datavalue":{"value":{"entity-type":"item","numeric-id":4645724,"id":"Q4645724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BA297F4C-4EF6-4A01-84B8-86AAA97520DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c15a3aaf15944c388f90dae1ba7bd566e6581","datavalue":{"value":{"entity-type":"item","numeric-id":5044857,"id":"Q5044857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$541B51D1-BE5E-44ED-800F-C47916BA3285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f57ab185f01735f66a42ce7839138c4a9333540","datavalue":{"value":{"entity-type":"item","numeric-id":1670720,"id":"Q1670720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B9725680-8CD5-4333-AAD6-CC4E24913F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$3DBC0149-CDDE-4C13-982E-546E19ECFCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e88d53dfbbdfbaf62027cc76abd0a85885ca988","datavalue":{"value":{"entity-type":"item","numeric-id":5224901,"id":"Q5224901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$781185DC-E603-4E11-BCDF-15ABAA796E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e53aaca4f42b4c0d3e5f96583dc4ec11cc373f","datavalue":{"value":{"entity-type":"item","numeric-id":5098730,"id":"Q5098730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$5D29FDF6-3F85-4550-8633-FA6E4794F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$569C6C41-BB98-4638-AB63-FCF3F4D0B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$7384B6A2-2A76-4D5D-BDA9-4EEA7A882F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f711f8df070156c625ab5bb45a5b09f0f2c1adf","datavalue":{"value":{"entity-type":"item","numeric-id":2751373,"id":"Q2751373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B865B803-34EC-49C3-8A87-DC45EF48017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb0d2ade58232332214dc54a5ef14b4d99f877","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$78B1888B-64C7-4815-9484-8B2566340EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19869f725e62f8398666e086cdb5b9b1635a5bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$E6C5C724-BAE2-413C-A81E-8150A3D9658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed3f5770ea874eab13022b2dc651c322d7ee489","datavalue":{"value":{"entity-type":"item","numeric-id":1582229,"id":"Q1582229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$82220B6F-B51C-4C13-ADF5-C8318CDBABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc92394c37de3b612c31c4ae383ddddc72e9742b","datavalue":{"value":{"entity-type":"item","numeric-id":5300583,"id":"Q5300583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$F4437442-81B6-4CC8-828F-5A93772DB1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f2e0d3679410b7f9da7159d583989b5f920798","datavalue":{"value":{"entity-type":"item","numeric-id":3006121,"id":"Q3006121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$6037A81C-7480-4546-A5ED-74F22A7F3AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e805495fad9c48bd6fb488d573377395d196ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5738905,"id":"Q5738905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$69B00C40-5DF6-4A27-8637-05CE473D0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d5b76ee2b45e01763f407213639dc7f1fbb683","datavalue":{"value":{"entity-type":"item","numeric-id":1108818,"id":"Q1108818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$8EC38CF6-8E8C-445D-A4F2-32220430120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef10639af25eb30763df7a25a67b7e8327f9e1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1274556,"id":"Q1274556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$625B0B36-C487-45A1-94CC-B4A1B5604EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$0F96A563-80D1-4C5C-B462-2490C6E953EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00959318a1c9193c4d7248f49ef0e6af22cbafd3","datavalue":{"value":{"entity-type":"item","numeric-id":877243,"id":"Q877243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$3AEB927A-8DDF-42E7-8312-3A21AC58278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$5DE406C7-AB78-43ED-9081-F250024FAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0bbb1d8cfb9b91bd41f05780d54a53310b43ff","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B326939B-7CCD-48F3-A846-801F4ADDB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96a358f287739105c8e74dda0596ba96a39a99c","datavalue":{"value":{"entity-type":"item","numeric-id":1550609,"id":"Q1550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$C1CFB24E-FD7B-4F4A-AF33-17A17D2019D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$FA9AC8A0-34C9-435A-A241-DA5AEF3ACEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1852aae2eae450eced17016d9f4d6d484c78c805","datavalue":{"value":{"entity-type":"item","numeric-id":4896507,"id":"Q4896507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$C417FC00-0ABB-45A1-9EFE-B372D1834191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c690c641c266d929fa14dcaae9b6e0536eeae15","datavalue":{"value":{"entity-type":"item","numeric-id":1612687,"id":"Q1612687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$67B3F9DB-362C-471D-A2EB-C43F94E9A6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$A2DCCD88-8F33-49CF-853B-1A7D2FEE90BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B5482816-0DAC-4357-893D-122DC8BB6C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be986acc9e1b8514990926935f126389f1f796f9","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$F57E12E8-E0F0-474D-9D1A-3377E896846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb395247f033fef2d5dccf3b9e631ac3727ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$AFF3936B-0A12-4683-8C98-F110AE8EA900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdfe50642d43bcbc1e1abcfb32e3a3f77b86c3","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$E0089F95-7511-4C1C-9635-A6257EF24E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BFBD50F9-20C9-4225-9F73-1F73E7DCFF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$6FC9BC4A-0CF3-4422-84C5-2FE238006917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5448f9ab6736da170ef8ee2679236b3f9e856cc","datavalue":{"value":{"entity-type":"item","numeric-id":656826,"id":"Q656826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$FA1F9C4D-5DB3-4BD9-B6A1-A283C34EE011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efafa2e2c176d912ba73c3933ed3a7a7495ce16c","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$C61CC2AF-1506-47E7-BF36-9C873C3E3EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80086ea9aefdd3a89c3fb62db9aeca2cf2f617d5","datavalue":{"value":{"entity-type":"item","numeric-id":523303,"id":"Q523303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$70AC5547-87A2-4A5F-9485-F44958F2F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc32a45197289255347eb2abe39423c908831fe","datavalue":{"value":{"entity-type":"item","numeric-id":4978553,"id":"Q4978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$29132410-E709-4185-84F2-B3231A4ACB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ff7c4a7feff9f1c47a5dd0b4e8fefa755b6cba","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$87C570B0-E3DF-4933-9A5D-9377FC8070EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4afd360c55657f5f71c4b2160366c3488de0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2211865,"id":"Q2211865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$37F78FDF-E107-46C1-871E-9AA9354846B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ad3748c26d7907a9b2a2e66ec00a80dbda987f","datavalue":{"value":{"entity-type":"item","numeric-id":1868166,"id":"Q1868166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$7A7C29BC-8F0A-4095-BB50-480E9581582F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63919d4847c98bd0f80ae5b0af43f9f3ee389590","datavalue":{"value":{"entity-type":"item","numeric-id":5221294,"id":"Q5221294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$84520860-7302-44FC-B860-B81B6AC0A7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab5bfc98fb13b99b946f066a163c266ddcf1f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5126209,"id":"Q5126209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$4FFB2AA7-3F9F-46A9-A319-94FC0ECBA70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$16A8FC01-10FC-421A-8CBF-5B9409FA5DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$478C13DD-52A2-4983-90D2-228A507E98F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2bb28c3711712f9eb76dac5a57067b30e7c11b","datavalue":{"value":{"entity-type":"item","numeric-id":2363503,"id":"Q2363503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$8EBE1BE4-8383-4C13-A041-9785F2B96C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$56FF295F-8667-462A-86F4-379B3B3C47A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$D81FFB32-CB2A-438D-B35C-5BAEEA8ADDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e916037e73fd363478a89d072e59756b6b25e090","datavalue":{"value":{"entity-type":"item","numeric-id":5787927,"id":"Q5787927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$F7F1C206-D14A-42B7-8913-C95DFDA97B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$2395D37B-B765-4A4D-A5E7-3A589749DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$309F39C6-3FB8-460E-974F-C07F83E36110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bcc4f4a531d2901707f28dbf4f33b0fe9362d9","datavalue":{"value":{"entity-type":"item","numeric-id":1484786,"id":"Q1484786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$0734B3F0-37E6-40A6-9551-9A74571127AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab120f9eeedabad7035af4bf0c5b9da9573f3e9","datavalue":{"value":{"entity-type":"item","numeric-id":3453128,"id":"Q3453128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$9734CD41-1D8A-4CE1-BCD5-8BCEA1B398A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$E7CC4393-B113-4429-AB65-B3C32861967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$62DDFD20-6C50-4D7D-95CE-2575F270B740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$23F2B9D6-631F-45C5-A23C-E2A345E10FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$7591D1F8-F532-42A5-A515-192320E8DCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b19149185e72c842c12321303888117be6b4dec","datavalue":{"value":{"entity-type":"item","numeric-id":2914754,"id":"Q2914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$42CD0B42-DA82-47C2-9567-A1723B7D7E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$B5F4A206-9E67-4833-AD7F-D68EDF8ADCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a96d2c858551fc55efb11cb4dcbddfceca8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$5CC0B5DA-3A39-4E42-8F81-FBB4587C03E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$BDACC6EB-EDDD-42F9-8B38-55396F983476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d708a7ff2fd63656a1bad3d9d80acaa9a511921f","datavalue":{"value":{"entity-type":"item","numeric-id":2366527,"id":"Q2366527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$AB2066BF-BE7B-4F82-948C-8118F733C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7e6208c98dc284c771e9fee509c9f48280ef05","datavalue":{"value":{"entity-type":"item","numeric-id":1961929,"id":"Q1961929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$9CB52890-D6C1-4E85-91F8-42D3B1BC059C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be29d4f4e235d8cfcaabe5d8b66cc0b39df71c93","datavalue":{"value":{"time":"+2013-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43934$10229755-0440-41AA-9D0C-8AD77333D367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"860e680672885f9065472bc307b6bdeb127e7d76","datavalue":{"value":{"text":"G\u00f6del's God in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43934$B421166D-3288-4F68-BFD6-F76C2ED83E62","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$F5E496C4-C494-4CBB-8D0F-6BAFB3C9DBE6","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"4c1d1ae6cb9b8c5cfab3c3fd27c80d8670e5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":7360816,"id":"Q7360816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43934$50649E46-7B6E-440C-A3D7-A93ECEB965A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GoedelGod","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GoedelGod"}}}}}