{"entities":{"Q4627724":{"pageid":6657306,"ns":120,"title":"Item:Q4627724","lastrevid":53378564,"modified":"2026-01-24T20:40:32Z","type":"item","id":"Q4627724","labels":{"en":{"language":"en","value":"A semantical analysis of cut-free calculi for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034286"}},"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":"Q4627724$E2F94EBE-1473-47B0-89B0-E5FF71DA20AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a52d24989fbebc2d3e643e918c24c838771ebb4","datavalue":{"value":{"text":"A semantical analysis of cut-free calculi for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4627724$A332B6BC-FA02-4F7A-B5C1-4A4D9654345D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8302667ae4882a2be7affb11fa49e06f98ebe57","datavalue":{"value":"10.4467/20842589RM.18.003.8836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627724$0957FD8F-C0ED-466F-8729-937CEA17582D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4627724$664C4CCB-7F07-4868-B189-77B2E1A6C544","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4627724$F9164079-893A-48D4-B8B5-734EB847207C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4627724$88CD8BA8-A3ED-4C9B-979B-8D737F2D5208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627724$657FE62C-5799-44E0-BDCD-A58CB2CC99E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627724$DB21D5BA-E26F-4585-8C08-4EA7FE45BB18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e5227d38e14e78be521facbad841128ac84375","datavalue":{"value":"7034286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627724$A0A37924-5FBF-4010-ACC4-28741A1DC6CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627724$6336CA77-22D0-458D-A53D-AD9ED6FB47DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627724$2C021396-AA94-409D-B1C4-03AA2800DFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627724$B97002D8-9390-4FCD-A650-23CDBE1AD1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627724$A7E28338-20F9-473D-B35F-30044051968B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627724$DA548C2F-33EB-4C73-8135-F99114B867D8","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":"Q4627724$BD1C1AB1-0417-485B-9007-C98A9C800C6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"345347d6c415229a5c83aa4f649308e48611d056","datavalue":{"value":"https://doi.org/10.4467/20842589rm.18.003.8836","type":"string"},"datatype":"url"},"type":"statement","id":"Q4627724$F0574F62-551F-4156-B02B-721DF3770967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da2bb9162b6a813d3fde52bea35f938b14ea3cf6","datavalue":{"value":"W3004166243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627724$F1504F4E-B90D-4C0B-9DB2-48ECB494A6CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa93313a78142362d5f9390c29799047d5488232","datavalue":{"value":{"amount":"+0.8794174194335938","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":"Q4627724$3662ECDA-01D4-4EF5-B490-00D4037B6FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573bd03e33c5f2997686f0226ef3cb98df1d3c23","datavalue":{"value":{"amount":"+0.8419390916824341","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":"Q4627724$4BAA4D66-DDD4-4AF3-BAB8-0A2F997B9AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95af78a25a04d4fbc2e7ad3b55c2e1f7e569afcb","datavalue":{"value":{"amount":"+0.8390039801597595","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":"Q4627724$EB77D283-F58A-4006-A625-CF288A8EA751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc96ce7fe4ff84dd96c01e9dc7899cc39cc60765","datavalue":{"value":{"amount":"+0.8389866352081299","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":"Q4627724$BFF05CDE-5BF7-4A98-B11D-C0EE44CFD165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56a056662e1a1af4ed5e4dd5c92d62f73efa598","datavalue":{"value":{"amount":"+0.8272666931152344","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":"Q4627724$6547A543-AC4F-4123-9471-0DE1E4B174B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4627724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4627724"}}}}}