{"entities":{"Q3105688":{"pageid":3116404,"ns":120,"title":"Item:Q3105688","lastrevid":51397121,"modified":"2026-01-18T02:02:12Z","type":"item","id":"Q3105688","labels":{"en":{"language":"en","value":"Admissibility of cut in congruent modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5995435"}},"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":"Q3105688$7CC2788C-4C64-4BC5-933A-4C1AF5BC9577","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b2f5999941315fc2967fca61539499994f71a51","datavalue":{"value":"1248.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105688$3B83DF7B-4ECE-4E9C-8B70-36E912124B09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105688$124B87BB-CECE-4A52-B7C6-768927A8C634","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d04b8daff84f99cf3f01a5ba8a71b465d6e6ca7c","datavalue":{"value":{"time":"+2012-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3105688$0CC3FE91-E8FB-4E0C-8451-5FDBC3D09749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105688$E7F2BE44-F72D-4312-AC5C-EC79C91E8B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105688$8BC4A787-A7C1-476C-8639-623E1CB0FD46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2db568f8b93d61804a8b960a835bf6584defbd2d","datavalue":{"value":"5995435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105688$7B69B595-A82A-466D-A6BE-CE581DA64132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105688$422394D8-54E3-4CB0-9DAA-3554080CC5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105688$4CB40B1D-D05A-4648-B00E-F5A20234ADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105688$D449480C-F54A-422D-9EF9-83CF6B5DAB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105688$579DF59B-C2D4-4FE3-A32C-9BF5C36FA879","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":"Q3105688$F0992520-25DB-4BF5-B496-E4547253E5C8","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":"Q3105688$0FDB704A-8077-4EC0-B8BE-3399A8EBFFBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44e0985c0eafe9bc20e40d69ffdae5b0c45b315","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba94950120991ad5164bbdae945d66dcaa683eb9","datavalue":{"value":{"amount":"+0.8091829419136047","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":"Q3105688$0F6128A4-EB55-4CBA-8B04-07A71C175CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89255ad6a801f695c5c56b768d9f7e6e99279425","datavalue":{"value":{"amount":"+0.8085249066352844","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":"Q3105688$C88104D8-AFA6-4A15-8C21-B7D28373953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d08f5351bc4e55134a75fc8dde2073e97247e7","datavalue":{"value":{"amount":"+0.8057013750076294","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":"Q3105688$8C2C462B-EAAA-493B-8228-1B73AD2D1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d281c0b093dceeb7253bad6892e4babc6cfc058","datavalue":{"value":{"amount":"+0.8013596534729004","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":"Q3105688$8C5797F6-5D9F-4A85-98AF-B52657C427BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315471c39a9b75d36b0135482fe8914404f675f0","datavalue":{"value":{"entity-type":"item","numeric-id":3464619,"id":"Q3464619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8b9072fe5dcb8f2c4aea4ff877a8b160588941","datavalue":{"value":{"amount":"+0.7999699711799622","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":"Q3105688$F9E5EC35-8DD7-4B7A-BF63-7FF2B65BA6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3105688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3105688"}}}}}