{"entities":{"Q5287692":{"pageid":7317266,"ns":120,"title":"Item:Q5287692","lastrevid":46293708,"modified":"2025-12-24T12:26:19Z","type":"item","id":"Q5287692","labels":{"en":{"language":"en","value":"On strong provability predicates and the associated modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238219"}},"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":"Q5287692$0D4EB629-13DC-46A7-9577-E70086F67B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebd7f7023613b1254d37eca282548edb99f4f6a1","datavalue":{"value":{"text":"On strong provability predicates and the associated modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5287692$146C5854-ABE6-4CD3-B74A-1E9CD1E186DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8728801af578bd149b3264b560e3584f874e2658","datavalue":{"value":"0795.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$C3FB9D81-8C87-4FE5-8469-7E68ABF2999B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d37ed1e5a0b4c2c1b943783154abfdcdce5b7ab7","datavalue":{"value":"10.2307/2275337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$BCC843AB-D471-4FE8-9E7C-AD527ED428D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97c111219caf9aa85df23ec5f84f4212253d200e","datavalue":{"value":{"entity-type":"item","numeric-id":688428,"id":"Q688428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287692$DC517EF9-76A5-4E01-9B8A-CDFCCAA5229A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287692$D03B6511-B9B8-4CF9-B4C2-CAB0A3333F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5287692$FA67E31A-4245-4364-836F-6E91C5155015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$76A3B420-68A9-45CC-AEE8-BEE46CC96868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$4B0CB405-C585-4820-B637-F181B6E95F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$B0B59DB7-BEC8-4627-A2BB-1CFDBA210CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3477dc7fdefae83294c8a2c1ea16e65c57f6e9d0","datavalue":{"value":"238219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$8C961BB5-F572-4045-BE72-40E0875CB514","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d05bb4ed0cb1dd1c4b84e681fb98696503814c1","datavalue":{"value":"strong provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287692$280A553B-A8A2-4F64-88F1-6D1B539A11CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010ed7a88ea8c4ecf27ef6457a460f57bac0f4a4","datavalue":{"value":"joint provability logic for iterated \\(\\omega\\)-provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287692$BB314887-F504-4B07-A338-E5823B1F9B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287692$468CD18A-E6F2-4E2B-B5EA-7D5CDC6D50B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2bb4cb2bf08906d22a2bc1f32a4e70e1d900f0","datavalue":{"value":"Craig interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287692$08B4FEF1-1E44-4680-812F-2F6D7385550F","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":"Q5287692$28D589A2-C3CB-4C09-9337-004CAF6C9425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c6ebe4db83d2eb8474dae027385b2ebc3416576","datavalue":{"value":"https://doi.org/10.2307/2275337","type":"string"},"datatype":"url"},"type":"statement","id":"Q5287692$C4C02738-8477-48AE-A628-EE5F4D437C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0043b6851bab82d17f9d45116be8a4f82d29f7e9","datavalue":{"value":"W2065285281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287692$872A81D3-384F-4BED-8C76-DFDE7748EAF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ecd163b96e08514ad8c06234acbc820cdbe5610","datavalue":{"value":{"entity-type":"item","numeric-id":1153905,"id":"Q1153905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287692$B6A47B5E-54E6-4169-BC87-0A86121E073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287692$E8182B12-16E7-44F0-8735-9262B9B87799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7021b8f12a8870837b2ed06bf45c0e1a122b683","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287692$C78499BC-6189-4CB4-93D8-6D12375F7407","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":"Q5287692$FE6EECE0-EEF2-4DA4-B493-C3C71EDDC4FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c09b2e4d2b5eff12ed9d9217e5996cd86fc6910","datavalue":{"value":{"amount":"+0.8114421367645264","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":"Q5287692$3FD769CF-D390-408B-9A30-7F8ED975F89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b59b4ac94d84256b41ec57454c7c693cabfe97","datavalue":{"value":{"amount":"+0.8112387657165527","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":"Q5287692$3D10E789-6532-4B43-B98C-C0E78B15E5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e03518c9a1b6dfd029faf1bcb36b9bac328de3","datavalue":{"value":{"amount":"+0.8060508370399475","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":"Q5287692$3DD0E4E5-DEEA-4A61-B14F-04949C76FCF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287692"}}}}}