{"entities":{"Q4897039":{"pageid":6926618,"ns":120,"title":"Item:Q4897039","lastrevid":41562772,"modified":"2025-05-05T22:10:50Z","type":"item","id":"Q4897039","labels":{"en":{"language":"en","value":"The Discovery of My Completeness Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 938823"}},"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":"Q4897039$8EECD480-CF60-4929-8853-31933CF3F90F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7ad1ad67ca8c8a199d885e2f7eefafeaa83b35a","datavalue":{"value":{"text":"The Discovery of My Completeness Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4897039$940958AA-BFE1-4BDB-8542-0044AAB9FFE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c160a74379ccc8a8354ac2266703173cb5a8567","datavalue":{"value":"0882.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$605DE6F4-FFEC-4D0B-9A83-6D237570FF2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03fc017b6f3985a1c249cf00842b1910f8186c8","datavalue":{"value":"10.2307/421107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$C7D9D610-D003-4DD9-B3D2-938F4A9F04A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08096eef4c8cb12c9f143fe73e795074c5a55fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1064323,"id":"Q1064323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$70026BBE-E845-4051-A671-BD9FC92CB94D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b4e4f8d3c91bc0cb00b95b47a240b3f524981","datavalue":{"value":{"time":"+1998-03-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":"Q4897039$7B7A737B-C65E-4DCD-913A-9A8F3A195DC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f2816f83f8652e6dfbc84b36356366b5a1f97b6","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0202-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4897039$FB6E8862-9460-4361-B7CC-D2F3D912765A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$F0DF75C6-CDA2-4574-803B-62119EBAD0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$C7A87759-EA66-4F16-A2EB-C2DA0C7F6AF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acab1b5182296578eab7177fce8cc6cc767119e2","datavalue":{"value":"938823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$00EC2BCE-F141-40DA-B500-D1ED5A08ECF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c46536592355f54cee6ba9dbe32602e9f8d87e49","datavalue":{"value":"Henkin's completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897039$89C93980-EC71-413F-A215-7F2F25285C12","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":"Q4897039$E029C0B8-34F9-479C-BF4E-109586F5AAE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3be9645ffcb30f38b8632026702c69da8625836","datavalue":{"value":"W2022607815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897039$9AFA89D2-ECA8-4AFB-88D9-8C394A8C0B50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$9F8A761A-3DEC-4FC5-BEEF-993B0A18FEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f636e8c4b1d67294e13d2474bb5e573d2b309bca","datavalue":{"value":{"entity-type":"item","numeric-id":4921532,"id":"Q4921532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$8042DB43-2479-43A8-BB17-99DDD2CFEDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c195632e56985356c6ce2b32eb90f69938b2ecd8","datavalue":{"value":{"entity-type":"item","numeric-id":5769516,"id":"Q5769516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$AAE52A74-27A1-4441-A77D-78BD3504B5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$7BBB5717-5A09-45F8-9A52-A91E0E58EA0A","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":"Q4897039$DD16B872-67CB-491D-8847-B140F85EA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45279a81234b37ea8bba5ac5b0ac963d5ad80439","datavalue":{"value":{"entity-type":"item","numeric-id":5819443,"id":"Q5819443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$222102EA-547F-484C-B622-67EB060C1096","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897039$E5D1EE10-6EB2-435D-8A68-F8DC4A508E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6efed6ebf504009b495401835bca52387219113","datavalue":{"value":{"amount":"+0.8416981","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":"Q4897039$C77BCFBA-CBA7-4AC1-A2A1-C75194AF4161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357c32da89e45d5dad6cfcbe88e1ed5715b05f4b","datavalue":{"value":{"amount":"+0.8375375","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":"Q4897039$CE49DDA2-C8AD-4D84-911E-8636F1E10D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131d10c4225507427d5073947b959e46a90642f5","datavalue":{"value":{"entity-type":"item","numeric-id":1183715,"id":"Q1183715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154b06ce0fd9688b55a4b2e04e294e60fbbd197f","datavalue":{"value":{"amount":"+0.83212864","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":"Q4897039$E195F494-0221-4F9E-8ACB-5F476B8F563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4635f16b5808a3d13f3b018983f999b88ac52158","datavalue":{"value":{"entity-type":"item","numeric-id":3792682,"id":"Q3792682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c5d1da9c3d474b6f70e9f94023cc25f8b23484","datavalue":{"value":{"amount":"+0.83135164","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":"Q4897039$64CE5ECB-8EF5-4612-822B-4AF9B814AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ab19ee3276b2a882948f4cde405e8d5899e82e","datavalue":{"value":{"entity-type":"item","numeric-id":4983362,"id":"Q4983362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541b7d12d6193678a23370c5fa68e13bd15fd4f5","datavalue":{"value":{"amount":"+0.82652587","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":"Q4897039$DA7E87E1-A512-4DD0-937D-37A4D48F267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8c290b2be76da903fab6417eff1b72441b7d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3843608,"id":"Q3843608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88475c8e845e0396bff22c42e554117017438a96","datavalue":{"value":{"amount":"+0.8251749","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":"Q4897039$61A15AC5-9C56-412D-8B59-842312B96DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e60b34635a96cb3f8193207a34a3609dcf88c","datavalue":{"value":{"entity-type":"item","numeric-id":3464646,"id":"Q3464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ff49f9d4d6b6fcafb74e4d2e9764031ba3a2d8","datavalue":{"value":{"amount":"+0.8227965","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":"Q4897039$F725173B-B234-46F4-A638-C7B54B07AD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0841540900a24a4d8bf9598d3614c5c2b24292","datavalue":{"value":{"entity-type":"item","numeric-id":3804703,"id":"Q3804703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d935010e22a59ef68bef63e7687358281b0ed1d8","datavalue":{"value":{"amount":"+0.82273954","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":"Q4897039$B6A4F74F-6C93-49E8-9FE4-66A0F3FE7D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a939ed648a237f64d31aca234634c0cc921feea","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b84ef29a15fd5252ae7c8f5a7f79ec29d3e420","datavalue":{"value":{"amount":"+0.8220849","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":"Q4897039$6CCE48B9-5E49-4475-9E57-277DB2B64976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7378d1bbbb2e7853b11fc9316a65af7de899894","datavalue":{"value":{"entity-type":"item","numeric-id":3001823,"id":"Q3001823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57efd8d8767807189362357248bce6b9b60c4b0","datavalue":{"value":{"amount":"+0.8207597","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":"Q4897039$05E2E000-F616-4D23-A0A4-A0D9E5977E06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4897039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4897039"}}}}}