{"entities":{"Q3984420":{"pageid":6014290,"ns":120,"title":"Item:Q3984420","lastrevid":93032357,"modified":"2026-06-05T03:27:37Z","type":"item","id":"Q3984420","labels":{"en":{"language":"en","value":"Asymptotic probabilities of existential second-order G\u00f6del sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26200"}},"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":"Q3984420$3D7D3D71-C9C6-42A8-BA33-99EAA8BBBD94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fbdf281e06310b2bf613997b593728f7fba666e","datavalue":{"value":{"text":"Asymptotic probabilities of existential second-order G\u00f6del sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984420$AA949681-3DCE-4657-AAA1-A0D32D328272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dec3371432d7f20508bbcbe5809fa0fadb5d141","datavalue":{"value":"0736.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$82892185-E404-42CC-87AF-AE5F783306E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ef8d0eab015f4f8ef553d6708b7b508036ec5ea","datavalue":{"value":"10.2307/2274691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$43CB643C-2E37-49C8-A1CA-6C48AF34D5B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b26410f96225891c328a54facf6542f45ea37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1127319,"id":"Q1127319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$FEE13C87-7D99-4F7C-A18C-5520DE18B6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$D7702D9D-2997-455C-9692-6507689C65D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$617C5483-A713-4319-ACA3-9EFCF396DD59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984420$25535684-42C3-4A80-8532-9BB915EA14A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$70134C6B-74E8-4077-9B73-9AF1CFD8EDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$71AB4AD0-5DE8-473F-992C-092950118435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c74a264405d8354989f683bf9f43e6ce78c89b2f","datavalue":{"value":"26200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$6C8862A6-A275-4300-8F5B-9B3A6031BAE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a1c45f186413ef0d035aab9ecb90c1ce8c8579","datavalue":{"value":"0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984420$6F63E91E-0282-4D0F-A670-A6CEE7BA81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78e8a8f22903070df62a1aa9de25f2789b5679b","datavalue":{"value":"second-order existential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984420$E04168A9-9846-4973-A5EA-0AB64D949C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4d13ec547d1195e5e7390cafbc1a47b4a9c9b2","datavalue":{"value":"G\u00f6del classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984420$31F9ABE9-AFAC-498A-8B58-AF9DA59D0284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8afdf1e8f57d63975e91b0b15fbabe1c98743dc9","datavalue":{"value":"G\u00f6del prenex formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984420$D10613B0-4CDD-4E9E-A4D5-A73E89CCFA09","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":"Q3984420$CFA12865-213D-407B-BE35-10B84DD32A4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8d1fd03e13fe050a53e093cd56c297017e9aa2f","datavalue":{"value":"https://doi.org/10.2307/2274691","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984420$4A36CF59-86CD-497B-A586-58FF647262E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41a6aafdd8948922b5e37a93ea5aebff69876d1c","datavalue":{"value":"W1976500120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984420$18806764-A7F3-490D-9E42-BABC10441FBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$EEDADA39-80B9-4E32-BF2D-4F4BA651D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$E7EA8D6F-E27F-4A31-BED1-ECDA27EFB13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$9DAA6456-1DB3-4D97-9425-9B5AC8098BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e224c6097d2b878d98250e30a244a9ed6be5f517","datavalue":{"value":{"entity-type":"item","numeric-id":3317080,"id":"Q3317080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$D1E5D320-B162-45E5-8AC1-29AAA371D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3e217d975577abd60153ec008522cd4114ebdc","datavalue":{"value":{"entity-type":"item","numeric-id":2711918,"id":"Q2711918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$34D5C757-EAC2-4BAF-9995-35D738257654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984420$33761B05-E845-422E-93D1-0053DCCC1CCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562f15ceae0b6244a554601d5a239fb8bcb20c62","datavalue":{"value":{"entity-type":"item","numeric-id":1317435,"id":"Q1317435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b56bf522b93ffa5c7c7a912fd09c48af798392b","datavalue":{"value":{"amount":"+0.8899888396263123","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":"Q3984420$AF7EAB34-D457-4D53-9512-1C9E3FA4193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40472ea50a09b3a7f7f0038db6ae29a0c774b45","datavalue":{"value":{"entity-type":"item","numeric-id":4867408,"id":"Q4867408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138ab38b90e1f110e230754555c287333120c47b","datavalue":{"value":{"amount":"+0.856788158416748","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":"Q3984420$79CD7669-91CE-470D-8BCA-AFA4D76161A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e16102924489d49fb4c46ee8eede861d58952","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f06b19f268d95436e9992b784edf9e8976471ee","datavalue":{"value":{"amount":"+0.8286944031715393","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":"Q3984420$2360744C-5AA4-47FE-8BB7-9AD45182C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c87785855ea7b47517ef5f46a98548d091fc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4338327,"id":"Q4338327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03329794ad9578a4637fd6b10a081fce655f01e7","datavalue":{"value":{"amount":"+0.8252570033073425","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":"Q3984420$08E093E6-DFE3-4263-9166-8258EA0EE575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic probabilities of existential second-order G\u00f6del sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotic_probabilities_of_existential_second-order_G%C3%B6del_sentences"}}}}}