{"entities":{"Q6562545":{"pageid":14173700,"ns":120,"title":"Item:Q6562545","lastrevid":40561884,"modified":"2025-03-06T20:55:12Z","type":"item","id":"Q6562545","labels":{"en":{"language":"en","value":"Non-labelled sequent calculi of public announcement expansions of \\textbf{K45} and \\textbf{S5}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871922"}},"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":"Q6562545$87D5B380-D052-44CE-AF4D-948021935094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26439c95f2e2628f24b426a4f8b4bcda359d6d49","datavalue":{"value":{"text":"Non-labelled sequent calculi of public announcement expansions of \\textbf{K45} and \\textbf{S5}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562545$0DBFA34A-8F52-450A-B9F7-A7251FBE9F8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f49015313d4da8436d129802642a424051c77574","datavalue":{"value":"10.1007/978-3-031-45558-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562545$2CEFE35F-63B8-4A0A-9052-B3CFBB4A312A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41c38620c980b21b866138230871d0ca2e8372d6","datavalue":{"value":{"entity-type":"item","numeric-id":6562544,"id":"Q6562544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$979E4F94-951A-4B8E-8137-3ADBEBE5F63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$31B2412C-B8B8-45F0-8D31-3F42F692D3FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562545$691CFEB9-A1B9-4D08-A2DC-86955EC07866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562545$67305699-CB47-402C-AF5E-3780F40591BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df315ebc4a5e8e63e03983ee4e5f17d04624d423","datavalue":{"value":"7871922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562545$2F907ACB-B259-4BEF-8404-966BBE03085B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562545$12B2C9E8-EE6E-4728-BCEC-225513E1A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562545$559B8250-A46B-44C2-9DA5-F1F1C6881311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562545$1759A910-346A-4C15-9CDA-B3586FE3A922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562545$02844BCD-B68D-42D0-9D99-1BC41F403F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95dc58bd79c469c584620b93c8e9df8644496fb","datavalue":{"value":"analytic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562545$DE80DD76-7982-4E21-B2E9-A1A80313071A","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":"Q6562545$9109959E-4AFF-4BE2-ACB2-E1198EAAD731","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$D097C645-2324-44C4-A5E1-8D3E0C572443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aede3d4a3d0c302a12c66e84d8e8badc4b218d0","datavalue":{"value":{"entity-type":"item","numeric-id":4636028,"id":"Q4636028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$D932716A-53EB-49C6-9526-FBCE62A0CC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$E05E4FC4-215A-4E02-BF00-D38F72730249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811458264a650a109340a5030fad038d17897be7","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$D9489857-F94C-413E-B24C-55E986C7587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$3831B021-C989-472F-82F6-0DE8D8CE099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$06E7271C-E5A8-4627-89F6-242F58F5E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4108d38641b70af67736a1c1fa43dcafa3e6f3","datavalue":{"value":{"entity-type":"item","numeric-id":6189211,"id":"Q6189211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$FAA59598-86CF-48CD-A22E-03C64AA255BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$B6010FFB-8269-48C6-9529-D696DCBE422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d6d6ee58d37b394877d5e70f635c51ee77e0d","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$7F9007E8-5AFC-4D98-A2C9-6182FD6C0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$6B7D95FA-ED33-4144-9CC1-7544EFE39A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680395284d1de2d0a8fb79f8ba75849ac7c8c8e4","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$583AC2B6-BA5A-483A-90A8-B460A27C53D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d8721fd1b5d94c948207dd9676796f0b01a26a","datavalue":{"value":{"entity-type":"item","numeric-id":3460054,"id":"Q3460054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$B8484A26-26F7-409D-BDE4-8B22FA9E00F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027f19b90b3a4a62ec3514bf34249266671c81d","datavalue":{"value":{"entity-type":"item","numeric-id":5213671,"id":"Q5213671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$D7CC1FD3-F460-476C-B6E3-FFE72FB1A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$29D4E3E5-742B-42C8-BE32-2BFC54FB0DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$CCCC0030-A50D-4C97-AE8F-598A16E0750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$DB74CA9B-7649-4389-A2BB-49DE6C9027F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$89FE8F0A-E59D-44CA-B720-F72E43D24F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$415280FF-1959-481C-8221-96EF77DE7639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c8af78860a9c10e903dfd0560f4cf9cb11ffc0","datavalue":{"value":{"entity-type":"item","numeric-id":5885772,"id":"Q5885772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$B2F5A796-AD2C-4A7B-8373-7C4B76F1862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f224a93d113e1cf48215cec18bd04c6b3ea33a","datavalue":{"value":{"entity-type":"item","numeric-id":4636308,"id":"Q4636308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$35BE0BD0-353B-4F67-B206-E19DEC896BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c232a4ac94055e2cc6462047a2680a2578759dc","datavalue":{"value":{"entity-type":"item","numeric-id":3887437,"id":"Q3887437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$0B581236-529E-4C0A-B24D-FA2FB5EA6528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$466DE519-B264-4C80-BE29-84C1924BA1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$839F0BD3-D6AE-4074-ACE0-D80E79525AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eacc81bf66ff060ee99fa9ba68745c99fbf1f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$7D9C463F-51E2-4F8D-B8DA-8947F329B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$D8A321F0-660D-4655-A874-036C979B6495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fe0837a2f8a7880f68fa0a971d2e4b8df3ed84","datavalue":{"value":{"entity-type":"item","numeric-id":6200762,"id":"Q6200762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562545$40BD3ED3-3C38-413F-8436-A10F5032AD11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6562545"}}}}}