{"entities":{"Q2097058":{"pageid":2107801,"ns":120,"title":"Item:Q2097058","lastrevid":82472402,"modified":"2026-05-06T20:59:03Z","type":"item","id":"Q2097058","labels":{"en":{"language":"en","value":"Rosser provability and the second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615250"}},"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":"Q2097058$D499AA75-EFB8-457D-BFE6-F1A9004F280D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7abf1df7a8da862338e2d6d4003e81c52659cd5f","datavalue":{"value":{"text":"Rosser provability and the second incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097058$D60AEE7E-F41F-4C98-9B8F-0B6877AD89A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4784624624ce4fd84796ae1be7182ae1fb65bd6","datavalue":{"value":"10.1007/978-981-16-4173-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$689A61B6-4B42-4BA3-B398-E4B6E7A49790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$8EC410E0-AD05-4646-837C-3F6C15B2E2FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d427d6e8557b276fa99b93deca64aa11553957f3","datavalue":{"value":{"time":"+2022-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2097058$1F85E13D-AA18-4152-8BDE-92ADCE5F6364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f58fe70634b95b0713dfe4b52ab62c56a20017b","datavalue":{"value":"https://arxiv.org/abs/1902.06863","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097058$317BB316-0BE1-4F99-9422-5251D40F796D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$B058AF13-9E7A-45E8-B2C8-BB656E3EF365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$89D4AEC4-B9AD-431D-B8F5-0698DB1E919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$EA85B455-6D8A-4AD5-BC87-B418F37534FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$8A5F7132-CCF6-4D4E-B6EB-FDD45B919367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$E02DEE0F-B40E-4F10-BE05-39E88F0323D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a59103796dc701b86171c079ab8b6602d1a006eb","datavalue":{"value":"7615250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$FF36B86E-B038-462B-B0EE-76C3EEE5BA8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec22be8932a528d729a93a63c08fcfb4bfe5310e","datavalue":{"value":"the second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097058$92A62F80-7FEF-402F-AD9F-2576932C4B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb088e3f083edf24aa73f673b18753e6d001384","datavalue":{"value":"Rosser provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097058$C9370BFC-2AFF-4809-9297-8AA996DE3ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6f5a843a99f5a1eb02f1424ec2d67664ff9d67","datavalue":{"value":"derivability conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097058$4AAF878D-088E-4118-A99C-79DF506A0EE1","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":"Q2097058$5ACD3C22-DC5C-4743-A2B5-1A7CB95CF23D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"253164cd1922992c4155b2438e026896a0225a16","datavalue":{"value":"W4206914386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097058$EB972AAA-C3F7-46D5-8CBC-BE34A37BEB3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b226e1cf53a11b2b23cbab3932c50f8cdfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$6EC16CDC-B2DD-4959-9820-79C0D1838375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dbf8dfa5bc399ec3c3b82f7d186f6542ccc3ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677759,"id":"Q3677759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$63945363-4171-427A-8020-0B882C9C88E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$0E546F41-EBD0-4FE5-85BF-5981DAA84060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$7A20D784-04AA-4D5D-BD28-5F184400868C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$DD53E51A-0005-422D-B54D-28C8FCA10E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$AAD40251-81D2-4009-B057-EAA6E2935E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$EC98A506-609B-4252-876F-142B5FB1B2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e96ea34bbc5fad7d5203a5493140eddfb6d54","datavalue":{"value":{"entity-type":"item","numeric-id":4401433,"id":"Q4401433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$0D887358-4AA1-41D0-A4B8-FA974E50F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7832f2f2ecde50f1bf06cc037ee5f47e180d130f","datavalue":{"value":{"entity-type":"item","numeric-id":5738203,"id":"Q5738203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$9A6D12E0-ED50-4FD6-BF83-A2690C890218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492c87567f6dc4126c57966fd5903e66ca640c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5513756,"id":"Q5513756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$33837A2E-5E29-4C53-B597-BE62F41E3F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$5E96A43D-3D71-4FA6-92C0-4212502076E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$DEE381B1-5D2D-4901-9A3D-6FDA91EB3AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$75A30910-D3FD-4312-A9AF-BED439C103F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa35e2db2ec77c074fc79357cd52a4f0c472583","datavalue":{"value":{"entity-type":"item","numeric-id":2186698,"id":"Q2186698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$110AD96B-E8F0-4CA5-9AC7-8DF790B2C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b1af4dfccaa0f3bb97490187ae8ac9e6c5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":892168,"id":"Q892168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$AC5BC0B9-B117-4B99-99CD-FE8D64BEED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56050a36f966b9bacc1a86cb4c5605e0a97b28d","datavalue":{"value":{"entity-type":"item","numeric-id":5855755,"id":"Q5855755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$2B26F0AC-E7A8-4A4D-A21E-AF2EBBC4E6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$94D5A4CD-526C-4468-A67E-FFB21F8D6775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$A8D24DC3-3E1A-4155-84A5-EE65D02DF4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6090a34cfdffbb5f68ab89f159a5f9836ac9847","datavalue":{"value":{"entity-type":"item","numeric-id":4190631,"id":"Q4190631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$A10B5FD7-BDE1-4AF5-BC7A-D109B413904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc73e23839d9fe8f09566ce9fc5a96bdd2a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":5523665,"id":"Q5523665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$02D9CF6C-0CAF-44B3-8613-1CD7F29A912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2c891a261f942495047beb365a06a874147652","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$C980C9B1-A164-43ED-A1B4-FBCBF2BD494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097058$0C6F54C3-5FB5-400F-BAE5-F6EBD37948BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea54f5e0ae71c5c2942db2608e2788127e791e05","datavalue":{"value":{"amount":"+0.9192379","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":"Q2097058$51307B3C-7AA5-4CD6-B27E-936D3E2C8CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffc73126aa7c62ba35fa9192e74b33b93e3eca1","datavalue":{"value":{"entity-type":"item","numeric-id":5802127,"id":"Q5802127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c76ee7ee58ec03073e08c8aa59e13567a49b9c","datavalue":{"value":{"amount":"+0.9090205","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":"Q2097058$FEBB0632-ACD2-44AD-B125-F2782E18C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14ac9f24b5895d10b4e743f8ffeb86cc3cb1171","datavalue":{"value":{"entity-type":"item","numeric-id":454368,"id":"Q454368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a6ae97fd650ba5ab288b40c9a7138b97884c68","datavalue":{"value":{"amount":"+0.89833486","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":"Q2097058$4D5A7229-BC7C-41CC-9D43-0990BCB1FC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f4541abffea4cfd0506a08e0bbfbc0bd86ba1c","datavalue":{"value":{"entity-type":"item","numeric-id":2500470,"id":"Q2500470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1126d5485b5a6566e5c74a9ca17da33d7bee4ef3","datavalue":{"value":{"amount":"+0.89601177","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":"Q2097058$275223E5-6B60-47E3-B1C4-50790CF6F563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd38c53ff7172fd58ae1cb772f837c49d510e38","datavalue":{"value":{"entity-type":"item","numeric-id":5221590,"id":"Q5221590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe725bc4d6932f1d139e4ebc06094cfcb6d3d5c7","datavalue":{"value":{"amount":"+0.8832403","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":"Q2097058$BE113C0F-DC30-49F0-AD16-919914D5CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7152548faa874038f638a8a89bc0066c77dfc86f","datavalue":{"value":{"amount":"+0.8827325","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":"Q2097058$B897F22D-0B90-44B0-BA65-8EA574FA0766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03c9f5f2e3d3b09a62150532cccf0e99ab6bbee","datavalue":{"value":{"entity-type":"item","numeric-id":3133168,"id":"Q3133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b891dfa6037a77f0505552fd3b992da26f964eb","datavalue":{"value":{"amount":"+0.8814132","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":"Q2097058$7781DE0D-20E0-482F-800D-D3CDA2B7E45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbf8bb837043ae9828c76186b4fd7093d4d6c24","datavalue":{"value":{"entity-type":"item","numeric-id":4019364,"id":"Q4019364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa61c6bd454b666bf49ad26ef6a9e718694358f","datavalue":{"value":{"amount":"+0.8802074","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":"Q2097058$834F69CD-B2C3-4ED4-B19B-EF1648712792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77987602c70ea00d010d2ba1d26517916150a70d","datavalue":{"value":{"amount":"+0.87901753","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":"Q2097058$9B399D9D-E7E1-4C87-A296-97F01C9DB9A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rosser provability and the second incompleteness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rosser_provability_and_the_second_incompleteness_theorem"}}}}}