{"entities":{"Q4982512":{"pageid":7012090,"ns":120,"title":"Item:Q4982512","lastrevid":91159268,"modified":"2026-06-04T22:24:35Z","type":"item","id":"Q4982512","labels":{"en":{"language":"en","value":"Proof theory of epistemic logic of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423888"}},"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":"Q4982512$64146EAB-31D7-4252-9C7C-8B62AC1663B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e02dd3cbd010497f3ae9a722353c27d3fb94b82f","datavalue":{"value":"1321.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982512$F90229A7-A05D-4A3A-B33C-CBD2EFE8AF61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18934a2357b48007aec9f076002503991f9ce9c","datavalue":{"value":{"entity-type":"item","numeric-id":300556,"id":"Q300556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982512$1BA1F4A2-9DB5-4CD9-B0B7-1087E9FFCDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed963368ddce1f37d4db97cd23b32dbfa80fbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2443326,"id":"Q2443326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982512$CBDBEA4B-9414-4FB8-BCC5-02B354148272","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982512$C5A67D95-6ACD-49E2-A072-604AE2E14FAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982512$5231DDAA-CDA1-439A-A0B6-82DBAB11BE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982512$3CC44F2D-1F2B-401D-97F0-2C4A986A2DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982512$23901A2E-C3B9-43F4-90FC-5C012AC002AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"064275f83dcd38909ad610063a09848fae793e75","datavalue":{"value":"6423888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982512$920F2E1F-1D01-4125-9443-02B257E8AE61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982512$53F74479-BF3A-49C3-BF69-D2995653479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158722b6d0cae6da4e528e54139252470e3e1080","datavalue":{"value":"dynamic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982512$2D17EF3F-2FC1-4AB8-80D2-60398A2295AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982512$D414CCBB-B35E-47C7-B8B0-7B9EC586FC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982512$98A13C39-4E44-4850-AF9C-DA54A759E53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145c8586b9e85cc78a9b41c93ad81035b14c898f","datavalue":{"value":"epistemic paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982512$9E3074DF-0932-4D81-B10A-608F66C7A329","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982512$AE974DF8-BFA7-499A-9994-E2A9AA066D2B","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":"Q4982512$5F2E2C10-3977-47A3-88BB-6F5274B34AA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451e7853180acd7f9f02af319dc540a73c34a62e","datavalue":{"value":{"entity-type":"item","numeric-id":2825421,"id":"Q2825421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b77e52ddc0db12346c7741b5510a5f550f6c31","datavalue":{"value":{"amount":"+0.8163615465164185","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":"Q4982512$ECBB93EC-551B-4343-B125-0B4082864206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4e1fb58bcb3fcddcf57152a08ebc3de17cb4f9","datavalue":{"value":{"entity-type":"item","numeric-id":647418,"id":"Q647418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5125d34bf0ac124839db5f39f77ea2d1816af4f","datavalue":{"value":{"amount":"+0.8007625937461853","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":"Q4982512$3BAF5703-F2DE-4821-8D4D-2DEC471D950B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703f929d2bfb2383f41c555d4ddbff1861ea145b","datavalue":{"value":{"entity-type":"item","numeric-id":2344955,"id":"Q2344955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c2d59466704164c91bbf690c0f7db374cee239","datavalue":{"value":{"amount":"+0.7987577319145203","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":"Q4982512$11DD162A-07CE-42A2-B4EA-D26488259442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9a4bf5790bcbb69adbd7982ece715c14f06153","datavalue":{"value":{"entity-type":"item","numeric-id":3655230,"id":"Q3655230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbe14ba927081a6e84a9713bcd87352dcff0c58","datavalue":{"value":{"amount":"+0.7938176393508911","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":"Q4982512$EC8AAB98-952B-405D-BCB0-BE1FB0BF86D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba469c55df0f82983760d2ebb19e39063e046481","datavalue":{"value":{"entity-type":"item","numeric-id":5695989,"id":"Q5695989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb47354e91e1f00e1b426cc660bc3c8383722ec9","datavalue":{"value":{"amount":"+0.7916182279586792","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":"Q4982512$324342B2-3677-4FDA-A8D0-6AA80C24585B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of epistemic logic of programs","badges":[]}}}}}