{"entities":{"Q1275992":{"pageid":1286742,"ns":120,"title":"Item:Q1275992","lastrevid":46605990,"modified":"2025-12-25T04:52:01Z","type":"item","id":"Q1275992","labels":{"en":{"language":"en","value":"Interpolational Craig property in logics of proofs with strong provability operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1240161"}},"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":"Q1275992$9B52E223-C78C-43BF-8FB6-76B86C8C69E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"485e487fedd66698553f6556b0370eb76131a447","datavalue":{"value":{"text":"Interpolational Craig property in logics of proofs with strong provability operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275992$5C48EABB-2A82-4B48-B59F-2093275211B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff92bb456bf5a2648dd68ea1e3a3439833356e2","datavalue":{"value":"0909.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275992$7957AF55-B9AD-46E4-ACD0-89B1F0EB7B1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275992$F8ACA45B-9471-4514-95D3-F01C7C11FFAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6d31144137b87943f8d6bd69e48d5d402876b49","datavalue":{"value":{"time":"+1999-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275992$DD91C5C8-AB16-4D16-9238-AA17FB97AC1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb6260952fedaf40b53c22dade226c4f83b7bfe2","datavalue":{"value":"In a paper by \\textit{E. Yu. Nogina} [Logic of proofs with strong provability operator (1994)] the logics of proofs BGrz, FGrz and MGrz were introduced that extend the logic Grz [see \\textit{G. Boolos}, The logic of provability (1993; Zbl 0891.03004)]. The author shows that the logic BGrz possesses the strong Craig property while FGrz and MGrz do not possess even the weak Craig property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275992$FE0BECF2-A648-469B-B448-751BBFC24EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275992$28616FEC-5AFA-47DC-BE4E-884B6013DCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275992$C5601FF6-1293-48F6-8D94-385C93BE9E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275992$A1C15F75-FE8F-462E-83B6-4A2830538701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8660c1e6d574d2151dd74bf09fe31715c9b0702","datavalue":{"value":"1240161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275992$A2BFAA83-C692-4807-B28D-AB31B709218E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3921fa6ab39835a93c6c3f7ae4d9e21fb6b4fec2","datavalue":{"value":"Craig property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275992$20B5DA7B-8AD5-433C-B9B7-64FF3EA5745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e69e018843fce0361222fdf3d6f34a4eb09d6f6","datavalue":{"value":"strong provability operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275992$DD517B5D-3C92-4574-A8D4-D05782D2F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275992$840A1ABC-571E-4A51-9BE9-3872355EB5E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275992$0A3EF9CE-0F1C-4252-AFEA-18C14FBB7FA8","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":"Q1275992$36F4CFA4-A35B-42DB-8097-BF1677AFE4D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea25c9da1fb8125b5d35c531b775eaad3876e673","datavalue":{"value":{"entity-type":"item","numeric-id":1406371,"id":"Q1406371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c464479d0aba65f6656b50db8495631bb87953","datavalue":{"value":{"amount":"+0.8345480561256409","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":"Q1275992$815327A8-0D7D-4106-8051-7F9A63129E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8271372f3d255739ec0822346157a475a68707","datavalue":{"value":{"amount":"+0.8273905515670776","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":"Q1275992$5A55CFCD-BDE4-4799-BC3A-A5A9C1D8F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038bd319bab251f1548b2b94bb874f01c18b574","datavalue":{"value":{"entity-type":"item","numeric-id":3827991,"id":"Q3827991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0534766890f9e647c82d358a5e9761831daa3c61","datavalue":{"value":{"amount":"+0.8042620420455933","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":"Q1275992$50BC3A21-9FDA-44D4-BC4F-A0E7A18CEAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194c981196218ac8eaecf19d7b9a148909eaec0","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31765ff7e96bb9da3e82b9c3314e24a4238235a4","datavalue":{"value":{"amount":"+0.795428454875946","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":"Q1275992$01B5EC0D-2E94-4E2F-865A-4F755F776CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1275992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1275992"}}}}}