{"entities":{"Q6251440":{"pageid":13388218,"ns":120,"title":"Item:Q6251440","lastrevid":58861188,"modified":"2026-04-06T21:51:10Z","type":"item","id":"Q6251440","labels":{"en":{"language":"en","value":"On Logic of Formal Provability and Explicit Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900181464"}},"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":"Q6251440$0BB96415-E380-4639-8AC0-8448DAF5F930","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7ebb73e5a12fa4aeb0393433d51b5e2245772","datavalue":{"value":{"time":"+2014-05-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":"Q6251440$6ED0B7EC-100E-49E5-9855-8BC8F1FC26D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"433f1e45c03bc3e5c930515d0c09a19a17d82352","datavalue":{"value":{"entity-type":"item","numeric-id":3371154,"id":"Q3371154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6251440$9FC69755-635F-419A-BF88-E6FB507AD2DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$B06EE22C-5514-4642-906E-75C0915B339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$553A062D-7951-4509-8673-17142AC62C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$E7F708BD-52FA-4A98-AF2B-337C863713C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$020BD908-C523-4526-AC12-775CCCA7B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$A2990D5A-4FFD-47C0-A21A-9A4011839E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7aa46cb8d69b7d05a1672405ca7bb601c2840e6","datavalue":{"value":"900181464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251440$84D72FFA-B866-45A1-A2A1-DCF71967B25B","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":"Q6251440$E686D6D4-A1BC-467E-8833-A4D60D6A7B4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6251440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6251440"}}}}}