{"entities":{"Q5434510":{"pageid":7464074,"ns":120,"title":"Item:Q5434510","lastrevid":50242673,"modified":"2026-01-13T15:23:34Z","type":"item","id":"Q5434510","labels":{"en":{"language":"en","value":"Explicit Proofs in Formal Provability Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223575"}},"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":"Q5434510$70CA9CA9-285C-40CE-9FC0-B9F362776E08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94acc91d100fe8b3e35e7da9e892be7325d4c1b7","datavalue":{"value":{"text":"Explicit Proofs in Formal Provability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434510$4A3C8CA7-CB94-483D-B9BA-C468E9580604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda37c8fc776fbf7337d8d83ff7a0bd90fe9dc78","datavalue":{"value":"1133.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434510$AC54785F-BAC8-446F-883B-567F50F7FB61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24e81e3e2f4a59dec21514d950b3d703da2e67fe","datavalue":{"value":"10.1007/978-3-540-72734-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434510$CD055F67-6A1B-4D96-A643-5F50B7A0CAE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2276ddb76dea48fbdc911cd5585d15c440430f83","datavalue":{"value":{"entity-type":"item","numeric-id":636277,"id":"Q636277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434510$5A60CD76-A24F-47E0-AE54-B15B2BE26C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434510$30EFBB66-1638-4EBF-8E76-50B360C86267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-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":"Q5434510$3E30E9B4-0004-42F7-AE8B-AEFB33A778F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434510$4590114B-42C2-494C-B200-CD292164E138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be58e1a39c599d7902376f4b47a2b1c7a53a906a","datavalue":{"value":"5223575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434510$BFF9E26F-4529-4413-954F-CB82C37A630F","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":"Q5434510$F47EE30D-01E1-416A-BA07-05B3FD127381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d203bceb18ae52471a616a21a7126eb1e69483c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72734-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434510$0AFB4966-036A-46E3-9276-48A7048231DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b646155a70f1263076335e129034f57e0c3045f9","datavalue":{"value":"W1560518114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434510$7B6A60FC-49E4-471C-AB77-26D3C4DDE572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85e24516b37c36948a6485f36236786ae9cc1a9","datavalue":{"value":{"amount":"+0.8656622767448425","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":"Q5434510$4F0A667A-C6C2-4F3E-B531-89E1CA06A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce77c4337adca780bc4b3e1f6b8f3b8a9de0b687","datavalue":{"value":{"amount":"+0.8240789175033569","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":"Q5434510$F865FC4D-8952-4F7F-BE0E-3955F2AF30A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31539ef4b569cf46df1ddcc4debc1f782ae2aee8","datavalue":{"value":{"amount":"+0.8025133013725281","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":"Q5434510$67B88B14-BB70-44C4-8E15-4D4B8C9EE299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c43c5aefa77af0c0812a3ca0f9b753798bf00fa","datavalue":{"value":{"amount":"+0.7780514359474182","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":"Q5434510$C6467117-93C2-4A94-9B8F-2FC382887025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002a1fdb67a12de57b1b6b159265b7b847b5c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4644600,"id":"Q4644600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6889c8446ab69cab1de93dbfb34389e34b259d22","datavalue":{"value":{"amount":"+0.776091456413269","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":"Q5434510$F4A40A28-3715-4CD7-B98F-5FB8047BD2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434510"}}}}}