{"entities":{"Q4291036":{"pageid":6320637,"ns":120,"title":"Item:Q4291036","lastrevid":41128801,"modified":"2025-04-18T10:08:58Z","type":"item","id":"Q4291036","labels":{"en":{"language":"en","value":"Sequent Calculi for Normal Modal Propositional Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563293"}},"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":"Q4291036$CD9F91D4-1B6D-48BF-9DEC-5241ED09B64C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acb8197df550a0505bb4ee3ba6a5b1230de05476","datavalue":{"value":{"text":"Sequent Calculi for Normal Modal Propositional Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291036$C3F53587-116F-477F-BA51-A71CE22A574B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce88e4e3d60102df7c644b2140a21c694388422","datavalue":{"value":"0799.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$37681551-EBAB-4937-BAF5-F77594BD308E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291036$C297C1A6-BC5B-4B46-BDFC-B3EEC9F1C6D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa820dc859444e8bd30bc83b522a3fb170c4380","datavalue":{"value":{"time":"+1994-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291036$C5DE6C6A-9D53-44CC-BCE7-AB4D127477B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$5CB0E445-057E-4C5D-94E9-3B8AB96F72E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$AC8E7189-56EE-4905-9CCB-E836190932AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18adcbe847578113eed4c01b308f25bbb598ec34","datavalue":{"value":"563293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$0B9A2C51-48B1-4B3B-8B7C-C5E251A99560","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291036$F15ADB8F-1B91-4980-913D-C6DBC9A4C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291036$9D47DEFA-5733-46A3-A1F4-EB36138E4CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291036$32BDA51C-D16C-48DC-B76F-94231E9509BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291036$F66DA796-7048-4EC5-9A3B-C760558912D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291036$9525224B-F5E6-4E84-9A2F-E66EDA8534FE","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":"Q4291036$419A0B1B-CC85-413B-A982-4E85163E4D44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"221d8b8ff4b279549a7914849b18ca421dbd986d","datavalue":{"value":"https://doi.org/10.1093/logcom/4.2.125","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291036$CF6AD63C-CC11-4BE4-B56F-E7869CBA9E33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be33441dac4fb1bbe408413057096afd57536ede","datavalue":{"value":"W2074551833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$8776E9F8-4278-4748-A1C2-88173254E3B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13e9d8b6f49a99e07488d8d0c529ff91d042fd97","datavalue":{"value":"10.1093/LOGCOM/4.2.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291036$C4639F85-95F6-4711-908B-2AF049F15D8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222354851f52feb2b1c1fb76be039ee622b49405","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d192f36686fd123504fb0eae860dce6e252f2a1","datavalue":{"value":{"amount":"+0.851418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$CCEE5650-52AE-46D6-BB46-29BACD73AC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce0278aa4aebe9fa1a34c7f32d7c159393830fa","datavalue":{"value":{"entity-type":"item","numeric-id":1283134,"id":"Q1283134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab277e8fa69425d11bb63415fe66b6ca261c2717","datavalue":{"value":{"amount":"+0.84536326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$0ACEB461-4677-467E-96A8-D0D01989CE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c802bd5452a586957a5a64bc2df87884e4e1ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd6b85414150866f1b8bd50910b4c8c732fe39a","datavalue":{"value":{"amount":"+0.8399529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$CAE1A4E3-D5F6-4DFF-B3C7-51697DEC17B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16b6d04edbbbae131ea695b420e3e1e2d6ab274","datavalue":{"value":{"entity-type":"item","numeric-id":5688809,"id":"Q5688809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a439e0b64f94420efe6aa4b15694126b1631773","datavalue":{"value":{"amount":"+0.8261848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$1D70A38E-CA20-4036-86EB-3F9C0504E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7766c191d235d4bb77b01c4e56693ab61a07863d","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4762ec9710bba1bf91c6046e2dbc0aabc05bdc0a","datavalue":{"value":{"amount":"+0.8031673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$C5726BCA-B727-4B38-90B1-7B74586EB037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bad7c79490b3de45876778663776f761bcef44","datavalue":{"value":{"entity-type":"item","numeric-id":5690150,"id":"Q5690150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7290ff07fb3cb79631478b3644a42323abdffb2","datavalue":{"value":{"amount":"+0.8031024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$585269FF-5254-49A5-A67C-E8279BD9E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e3031cafb0aa55ceef5282190132499a8687e0","datavalue":{"value":{"entity-type":"item","numeric-id":2421521,"id":"Q2421521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fd0429937d6f380833af58870d715b799e103f","datavalue":{"value":{"amount":"+0.8001509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$74C4E8FA-EDC4-4297-BE99-D4524EF04568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818ff2e597d81e3b550eaf18f4d2de019a7c53a3","datavalue":{"value":{"entity-type":"item","numeric-id":5277918,"id":"Q5277918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828ec10a491a699c40cec696d8c2f12bc06da928","datavalue":{"value":{"amount":"+0.7996484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$3137A9A6-2EB5-4BDC-9DD5-FFFCCF992AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5715be0c7a547f3e7f49139b4047785351125196","datavalue":{"value":{"entity-type":"item","numeric-id":918548,"id":"Q918548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130700a3cd6d720f37bfcbb88231bb749c735b31","datavalue":{"value":{"amount":"+0.7941319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$2C195E33-E191-4922-8B1D-18C786A5730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6a3b3464904406b908bfc2ed88d01fa2bf50f5","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89547dda573949a380f60335e5973f521a9512db","datavalue":{"value":{"amount":"+0.790722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291036$0E5403F1-477A-48B7-B389-5F7551477FD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291036$4A30A7DC-BABA-4343-9C70-B5D0BDB88A99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291036"}}}}}