{"entities":{"Q2510758":{"pageid":2521501,"ns":120,"title":"Item:Q2510758","lastrevid":44235906,"modified":"2025-11-21T04:12:08Z","type":"item","id":"Q2510758","labels":{"en":{"language":"en","value":"A simplified proof of arithmetical completeness theorem for provability logic GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324471"}},"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":"Q2510758$0BBDC858-D482-475E-BAEF-ACE6A63B84CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e38d59ddac60902dd40d2271793161107dc25861","datavalue":{"value":{"text":"A simplified proof of arithmetical completeness theorem for provability logic GLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510758$09C6468A-8C9A-4DE2-BCA9-185B95A645A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41fdddda86bfefe831267b615af5cc6fe2b3c72a","datavalue":{"value":"1294.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510758$77B39710-49A0-46EE-905F-248A770FDFB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a875963bbe65c0edeabbbe61f8a17a5f10edba2d","datavalue":{"value":"10.1134/S0081543811060046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510758$F2D28596-E4A8-49BE-8560-C8D0FD52BBA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$4DC97C3D-B63E-4940-B76F-DA647292D038","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"686f5ff8c01ac348f9dff34f0e2ff55a4d09a386","datavalue":{"value":{"time":"+2014-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510758$CB62AEA1-8B64-487E-998D-4B629B7A2C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510758$9C8AE533-7F6E-4E28-BE72-DDBDB9762B0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67aa1f640be8f78ace0fba8cbd27fdaa1db1beec","datavalue":{"value":"6324471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510758$90A38FEC-5F06-47A1-8338-E2BF0F5A0C30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$7313DC0D-A50C-476A-A8A7-4A5D74C0ED80","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":"Q2510758$3419832A-0895-462F-8401-EEEDF784480B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$370B3DDF-904C-472D-BFF8-2A831B64F36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$C27813BB-F575-414A-A01C-D3FF7E0355CB","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":"Q2510758$C0EDDF35-7329-4536-AFD5-39F1F5669EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$534F958A-9BB6-4EF9-AB31-CC6902DBAA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510758$7B7A42E4-2E99-4149-B6BD-074B30AB10CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ba046cc816b82282fcb832cb417f95fa43e8646","datavalue":{"value":"https://doi.org/10.1134/s0081543811060046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510758$D8CBB874-7A77-4010-8C12-81DE74767DC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"196f587f0b8421bccb2cc385e2e857cba53ac3b5","datavalue":{"value":"W1574162351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510758$50166B90-07A5-44BC-9A1D-B8DD8265E679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360f9dc418e21a8d4976b3ef8346586244f0a984","datavalue":{"value":{"amount":"+0.9105532","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":"Q2510758$F3B87745-DD8C-47DF-A140-F3364C41605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986be28e8c168a03f87b25d873f399ff65adf993","datavalue":{"value":{"entity-type":"item","numeric-id":1625591,"id":"Q1625591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb228cce297caf7da42c351b1cdf1e38f752349","datavalue":{"value":{"amount":"+0.9058986","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":"Q2510758$963B1C22-B9CB-4093-A6B4-C03727B945CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a6b167800fa57292324f80188fa967063337","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0df06a82e5aa912b26ce84152fbeeebeda7652e","datavalue":{"value":{"amount":"+0.9042078","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":"Q2510758$66E90F6C-F5B9-44A5-9DBE-F671C292916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24c5d5502a3f052682d071e0a957cbe5afcc4a4","datavalue":{"value":{"amount":"+0.9012978","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":"Q2510758$B8FDAE2B-209F-46A5-94A8-1A143E1C0A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a8ad5518038c4c4baeda1ff406e3344cde989","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098235982e542f23a31ceb918e9f0d61d67df46e","datavalue":{"value":{"amount":"+0.90096915","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":"Q2510758$F0B2B976-F7C7-414A-922B-49FEA156610C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213bfdda40865a873abe3b810f7c1bf61911cd0f","datavalue":{"value":{"amount":"+0.9007951","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":"Q2510758$6E391809-CC3E-4AA5-B4E5-FA149C537B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a618978de43dd5bdb8d7dcee52b55763a730591","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da01c865da555fc9ccea952ece3a4b2d7267485d","datavalue":{"value":{"amount":"+0.89949864","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":"Q2510758$D461A5A1-D35A-4CC8-B29B-DD757C569CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6ea8784d7a13838d3a3bcbc6a80b74225c4203","datavalue":{"value":{"entity-type":"item","numeric-id":1893136,"id":"Q1893136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd20c7c14a43b2aa3a3dbd7e5677e8bd5eba210f","datavalue":{"value":{"amount":"+0.89832485","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":"Q2510758$38646D6F-5957-4149-AB96-4033AC3858CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebe24f6f6aa43c28211b0a0a604c810eef559c8","datavalue":{"value":{"entity-type":"item","numeric-id":5957916,"id":"Q5957916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3754b01f2bbece25b6ef1ecb564f62b0ab9f89de","datavalue":{"value":{"amount":"+0.8919735","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":"Q2510758$76D90A50-CFA8-4B01-9DAE-1F76DC47653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a4beec989963b84b330a5033311fae02f2559f","datavalue":{"value":{"entity-type":"item","numeric-id":2277248,"id":"Q2277248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1757d4068b62a268604166f2ed022c4422260a59","datavalue":{"value":{"amount":"+0.89040405","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":"Q2510758$FE2385E0-E920-4BCA-80F2-6ACCD880A2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2510758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2510758"}}}}}