{"entities":{"Q5696307":{"pageid":7725867,"ns":120,"title":"Item:Q5696307","lastrevid":92810084,"modified":"2026-06-05T02:48:22Z","type":"item","id":"Q5696307","labels":{"en":{"language":"en","value":"On Kripke-style Semantics for the Provability Logic of G\u00f6del's Proof Predicate with Quantifiers on Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215477"}},"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":"Q5696307$F59E4116-7F61-4380-9342-99E23CDAD535","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36e303113c6695c80f1b3994156bb75277212802","datavalue":{"value":{"text":"On Kripke-style Semantics for the Provability Logic of G\u00f6del's Proof Predicate with Quantifiers on Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5696307$318B0EC4-7706-4D81-9C86-7592048B06E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad563ff28d4e9bf5f547e9d4a19cc348d3f2411","datavalue":{"value":"1080.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$B764A216-C73C-4715-8428-5E0EA0071A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd0e02c3257e2fcb0f0af6b8552c19095b35db9d","datavalue":{"value":{"entity-type":"item","numeric-id":234739,"id":"Q234739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696307$A293402F-97B0-46BD-AE8B-53539E343640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5696307$9CD4FD98-6963-4822-8C33-6A0FF7C23636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$3C55A0BC-FEF1-4403-BE67-72335B12BB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$BADD4362-720B-4A6F-8806-23D5F1B21E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b08b49b42cccf5195c935848415b0b9b6be2c2cd","datavalue":{"value":"35B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$6CBF9867-53DD-4820-86EF-B9942FA7F7B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eecafc3c5af5bbc4bb93db49450368d6bac841f9","datavalue":{"value":"2215477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$24BFFF23-12B1-4719-8F58-433928848CBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696307$1C97D34D-04A1-4DD2-BAE2-C61735F85B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f249b6a9500850d5af794d06baee6110650db920","datavalue":{"value":"Logic of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696307$EB0514DA-1FAE-42EE-B555-18713A645501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696307$6F186214-8C25-4052-BBC8-AADE87BB92A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696307$742AB660-52C0-48DD-9A23-BB804DE9BFA2","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":"Q5696307$ABDC76BE-1F84-4E8F-93D0-70ABD94F365E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8694e1d5a1ba5bdac9ed961e0c9436069ec2a5e","datavalue":{"value":"https://doi.org/10.1093/logcom/exi037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5696307$A38F21FD-2DE4-40DD-85DE-40811040A23A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5238b3dcd8bd685cb4572b6c2cec79683a302e01","datavalue":{"value":"W2092253502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$527C97DF-2DC7-498C-97E1-3C6C95B27C48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fd60fe155d8891be3100074d6658b859c47bc59","datavalue":{"value":"10.1093/LOGCOM/EXI037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696307$0F848B75-5C2C-4BAE-A56A-F832FE02CCC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696307$4A7A895D-36B5-47BA-A86C-B3632A85456A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c521edc4d515f5c87778c3eeb7fc970dd53789","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef87c4f7f2fada54d251bbe81fb360aef7837323","datavalue":{"value":{"amount":"+0.860667884349823","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":"Q5696307$A91E4186-CFD3-413B-9E8F-8E36F257A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a868cd2603b131ad761af067f61d90fa9e26a","datavalue":{"value":{"entity-type":"item","numeric-id":4681896,"id":"Q4681896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd26d322f2f945eaf5b2b0f7e0f7b5b032e9b786","datavalue":{"value":{"amount":"+0.8575489521026611","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":"Q5696307$C912D858-B7DB-4357-9180-036AA934D486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7421ab23592124806145a9eefbad4ee283cf91e","datavalue":{"value":{"amount":"+0.8492875099182129","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":"Q5696307$BE94F944-A567-48B1-AF95-85B06A8FF10A","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":"e718c4d579cc6a77463a6c3d639e2fbb0fd11397","datavalue":{"value":{"amount":"+0.8306803703308105","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":"Q5696307$1FA4EDE9-EA18-4948-857F-8A1706EF927F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00810812571981f6eb99b2e7aceec6bc770b0529","datavalue":{"value":{"amount":"+0.8056186437606812","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":"Q5696307$BC1ABE31-5DDC-4E96-918D-128CA9388C5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Kripke-style Semantics for the Provability Logic of G\u00f6del's Proof Predicate with Quantifiers on Proofs","badges":[]}}}}}