{"entities":{"Q1891253":{"pageid":1901995,"ns":120,"title":"Item:Q1891253","lastrevid":73935012,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891253","labels":{"en":{"language":"en","value":"A course on bimodal provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759342"}},"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":"Q1891253$2D542911-C17D-4537-BA9C-96923B4A72F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40456dc140ef2982d1967663b1c91727ce450fde","datavalue":{"value":{"text":"A course on bimodal provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891253$70D55D1D-982E-4A68-AAE3-70A50D88CCE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6d72ff614571a2c84f1b4e8e0901c1e8fc1df4e","datavalue":{"value":"0828.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$42C5291C-627F-477E-9F93-30B1BED1A198","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9917a5c300b33af679f9314d8e80d352116c689","datavalue":{"value":"10.1016/0168-0072(93)E0079-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$F9B9B977-DB44-4CD8-8050-8AAC9B7A9F04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$B1DCEB6D-D5DC-4CAA-8992-D5AAA26E8C26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$886846B1-68CA-494C-B20C-9522AD3D6907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-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":"Q1891253$5DB04D4E-49F9-40CE-AEA0-1DB60E1857A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$EF8D421A-CB77-4879-B6CE-784F87A48690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$94908111-402B-417D-85DE-AF624731A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$26297289-5AB9-48AA-867D-5EED0F30F475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53659c7a684b0b60ef42e5947ecff68fe8711163","datavalue":{"value":"759342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$EFF5400D-6209-4D84-9475-3B4A53B55DFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$910A22EF-F1E4-4FB2-A67F-812AD65891E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$1B1FE67C-2A94-428F-B452-0DD506769470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1d615e2cfdf70c1baced4a5a7402e6518a6b2b","datavalue":{"value":"\\(\\omega\\)-tails","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$E3DB2D56-68DB-478C-8356-E4811F151372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$3948B96F-2A67-4FCF-B6AC-B54EB1136CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$33EBCC5E-CB26-411E-A98B-E7DDF5764C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73fd47f497fdf0dd00e32529e43dd6908a3a79bb","datavalue":{"value":"provability logics with reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$CB9F5C81-743D-401F-B86D-7F5CF8521938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$F52F3935-AA07-4A56-9D12-B47E07F0E2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2668db5acae2e13591dc07c2a3bbae0771e431e","datavalue":{"value":"logics for subsystems of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891253$DDB985B3-1D43-4B9E-AD62-BF810FBA9616","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":"Q1891253$0CFAAB9E-DE95-4DDB-8023-C980816852D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79f982b64d35e26b8c1885bfdb8b69b2fafcd57","datavalue":{"value":{"entity-type":"item","numeric-id":688859,"id":"Q688859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$3B49D1DC-665A-46C0-BF03-690D21C01FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33dd634a96a58171f55ad11b7e3bbdeb0d7f844f","datavalue":{"value":{"entity-type":"item","numeric-id":4250049,"id":"Q4250049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$A5790A06-CCDC-414E-96A0-F862B2990A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$AE5CD423-72BC-4B6B-BCBA-2824847D5593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ce2e1be7062ada793624a42c35614af512a31e","datavalue":{"value":{"entity-type":"item","numeric-id":3760515,"id":"Q3760515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$F09014FF-A479-4F4E-A4C2-A1CDDE9A9B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$5178950F-88D9-4C61-8A5A-CC65968A168D","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":"Q1891253$22947819-1FDA-4841-957C-CE24F443D058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63cdbd83b7f46d74372c8e13aa2d33751bfa018","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891253$FEE69AA0-74D1-477D-B9F0-93A14A02D5DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cdbf5fb143c29bb9575f5381dcb7a7b617d2a9b1","datavalue":{"value":"Q128036853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891253$547B4CEA-1F8D-46E9-9B6D-7C91E9E4DD5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3277ce74f5083ec23be2fd6321b53b775c56d0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04883fe4c1b71ef57cf4971050f3a5264302c51d","datavalue":{"value":{"amount":"+0.8628305792808533","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":"Q1891253$8ED8E32C-10C3-4D0A-BCA6-C07F14035F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c471e1dc278e2c38d35ec1c90acdf5ea4868b4","datavalue":{"value":{"amount":"+0.8610094785690308","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":"Q1891253$FB9A1889-03F4-41D0-8202-F3CD21D0D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d000dd6448f9167f538020d4618c30ba8eef78f","datavalue":{"value":{"entity-type":"item","numeric-id":3760515,"id":"Q3760515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ee83ac56b10c0ba98b022a2b6213581df261e0","datavalue":{"value":{"amount":"+0.8142660856246948","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":"Q1891253$F522B603-C6CA-4532-9919-1F28CB2B5EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcb4eae65959f7c688fd7786121b33d3cd7d1a4","datavalue":{"value":{"amount":"+0.7949208617210388","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":"Q1891253$D2BCBC4B-4294-4ACF-9002-C1F99075352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9beba9e9d85779037badf3f766803ae374c96a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4443211,"id":"Q4443211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759fde5c801a943aa98196460b789a72abac1c61","datavalue":{"value":{"amount":"+0.7939318418502808","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":"Q1891253$492D86B0-9FCF-428B-A456-889F8279A541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A course on bimodal provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_course_on_bimodal_provability_logic"}}}}}