{"entities":{"Q5902296":{"pageid":8011247,"ns":120,"title":"Item:Q5902296","lastrevid":102016202,"modified":"2026-06-06T03:19:00Z","type":"item","id":"Q5902296","labels":{"en":{"language":"en","value":"Generic Modal Cut Elimination Applied to Conditional Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640973"}},"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":"Q5902296$F01A9427-399D-4691-9300-F800A8D4EA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8475a25813bd45eabdb4e9d9592ab999bbf0dc","datavalue":{"value":{"text":"Generic Modal Cut Elimination Applied to Conditional Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902296$A601F0ED-F950-49A6-A0DA-5E89A5BBBBD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8274e6fe24dc30daf31f3887ac4e66e587089c3c","datavalue":{"value":"1260.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$55B78B52-EFD7-4554-B662-EB6224D5DDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"179ac32025e0f532d9632e127d5063acc116c45e","datavalue":{"value":"10.1007/978-3-642-02716-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$6AEFD3C2-AADB-4D30-B480-DDCA0195C4F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902296$CD7EEAC6-4EE2-4CF5-A98E-8AF8143B767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902296$C9F24963-A4EA-4F65-834B-157F97776AF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902296$B79A6466-FC38-457B-8243-F9AE29257B3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902296$C120F88D-8340-4851-A709-503CEF48D89F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb147622ced68e2aa9468a040aa59f3d2a31f3ae","datavalue":{"value":"https://arxiv.org/abs/1011.3479","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902296$E91ACBE8-6E28-432A-9EC9-4606F58482AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$B8E58DE3-69EB-49EF-A21C-947E4C114834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$FB8A3438-5858-4708-AA30-DCD1ACA0C31B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49675b000af40839ce7de76623e2783a41a0b814","datavalue":{"value":"5640973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$549084D2-F313-4345-8830-F23F8443B750","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":"Q5902296$CE57830F-B684-4D95-9457-188B1A5487E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33c38f8de2bd2355ee3df207a2faaa9e43b25d50","datavalue":{"value":"W2405904545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902296$0C32EC42-38D7-40FB-AB5D-E58FBC1F08A0","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$09ADBEFD-A8FB-4D6C-B6A5-10796A3D874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9aa1f6270f25ab280ca77f8719a4af5e633e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3010370,"id":"Q3010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2d77a9c76b9318298ef7ea86e1101c640210bc","datavalue":{"value":{"amount":"+0.9302302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$5C782BE0-8586-4016-817F-8690E0F13093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb79089c5fde38f00f2f5e7209170010ef5270c9","datavalue":{"value":{"amount":"+0.9141933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$EDE36E26-5CCC-4BB5-98EB-F8683270BF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49481fb7b165b92da151144948ef7801d2952df6","datavalue":{"value":{"amount":"+0.9096483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$00D23A9C-C2F0-4285-9267-5088E00E98C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d6b507c5d15ba93ff37b3e15ce66032ac119c4","datavalue":{"value":{"entity-type":"item","numeric-id":5213665,"id":"Q5213665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6cbeee5e08c00f8389133270455aae83a1df87","datavalue":{"value":{"amount":"+0.9048326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$C2BF1326-44CB-4F86-87F3-4CCEFF1F43B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137ece3485bd94eb6384fe30979b166becb136e5","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f152800eb0b3d02615c10afe06949df6203f08","datavalue":{"value":{"amount":"+0.9036883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$CEC333D5-D62C-4322-AD92-19FB00E1D3E3","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":"5567b1377efc1dd4f6922543fe10d5e2984260a4","datavalue":{"value":{"amount":"+0.9027922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$8FF5CCF7-0DBE-4811-BD09-49B2197A1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8e0faa8de98fb28841e3c5ef196f4ce525c020","datavalue":{"value":{"entity-type":"item","numeric-id":3083215,"id":"Q3083215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb57e40d22c1613c11041359722454744225bcca","datavalue":{"value":{"amount":"+0.8997482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$3CF5A733-9216-49A1-AEFC-AA9CAE609DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a5208f7b785c36635b36163c42f1897fb97de7","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148596173fabbc9dabb8b607c2c8c912acb070ba","datavalue":{"value":{"amount":"+0.89809763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$D6127C2E-A8EB-4281-BCDE-9F7FB4415050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918679ab8d939d52a5a76803cd6ec1a2b82b030f","datavalue":{"value":{"entity-type":"item","numeric-id":2810127,"id":"Q2810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fb51b498f07511cc6ee4420db5d6d5fc65b4f6","datavalue":{"value":{"amount":"+0.89573216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902296$3B94B718-B7CE-4A5F-8B1E-3ED02FB6C3DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic Modal Cut Elimination Applied to Conditional Logics","badges":[]}}}}}