{"entities":{"Q5892512":{"pageid":7930438,"ns":120,"title":"Item:Q5892512","lastrevid":51254147,"modified":"2026-01-17T11:33:07Z","type":"item","id":"Q5892512","labels":{"en":{"language":"en","value":"Generic modal cut elimination applied to conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900058"}},"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":"Q5892512$5167C14B-283D-47E8-A866-B397B540514B","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":"Q5892512$33AB55BC-3736-4E17-9944-9BA6348FEDC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110556d09b55d702b1f5ce72a9efaa7cedc56546","datavalue":{"value":"1232.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$3E67920E-9BBA-4D40-B266-392CEC256E9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd3068cf33b9cfa2b794d0cd498fd1bc38bbc15","datavalue":{"value":"10.2168/LMCS-7(1:4)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$95CEE443-96C6-452A-8919-30FD4943E744","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":"Q5892512$D0F2C299-3CE7-4021-9F09-961401105D6D","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":"Q5892512$9A4F5163-399A-457A-8CC5-F3AE4BB364DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892512$7D3BC7C1-3E4A-4BC7-B861-B19A4F14725C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-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":"Q5892512$7D157094-00B0-4976-8798-9AD8D7C5592B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$3BFB12E7-C198-40BC-9554-C035CB6E0947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$F58BD758-A41A-4560-923B-3651984AEB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$F74FE713-A958-4F9E-9681-422B249466C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$46BC13D9-750E-4373-B2E0-6B1054175885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0abf9370f113001310b434acedcdafc9126327fc","datavalue":{"value":"5900058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$AA1BF65F-B538-4390-80A4-6BEE65D84F69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892512$236CC44F-A77A-4807-BC49-D15C17BBAFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892512$D486312F-5266-4348-9A6E-7C52307440F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892512$EC13227F-23E3-4A0F-93E3-8B97CFC44369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892512$4DF2D293-4D23-45ED-9535-2165E2D8D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83783a2e64f3a90545714d4a814c5cb088ac9cbb","datavalue":{"value":"conditional implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892512$E2B1C542-691B-44AF-92B1-259DB0AB63C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e84835cee70052100cf7d55693b196f9688daf28","datavalue":{"value":{"entity-type":"item","numeric-id":19079,"id":"Q19079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892512$63F434D8-7819-4AB9-9322-D7E0031D2277","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":"Q5892512$476E5E36-4BA4-42F6-B7E2-AAFADBAEA6F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bed693667bc892241c197957ee03b41309db889","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(1:4)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892512$21FFBEF4-FA45-4012-ACF7-EB6B852B455E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"446d94f067cb74ff5c269e7112819b55b061b52a","datavalue":{"value":"W2950911791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892512$B8F83BA6-0315-4583-9353-DD31367D9CFF","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":"fece490f352f4fa13ebb8c9b1ba18eba0ade6888","datavalue":{"value":{"amount":"+0.9997115135192872","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":"Q5892512$AFAE9663-DF0B-40C4-916C-E81628FED441","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":"5abc33b0175d94bb276e580338d9c091c80e1658","datavalue":{"value":{"amount":"+0.8559452295303345","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":"Q5892512$8AA67C7E-B73A-4827-8BA4-4B2EED140858","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":"dda1ee543e2fecebe9ab6c0d82912aa4b33c012c","datavalue":{"value":{"amount":"+0.8189411163330078","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":"Q5892512$7285B61F-F552-4E83-A41D-930AA78021D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af80fa7cc9c34af0874ea12b6d37b1a8c62ce0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5387889,"id":"Q5387889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac0b886f82dece7de0f6d2b472283294f79e185","datavalue":{"value":{"amount":"+0.808976948261261","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":"Q5892512$D7016CFD-DCD2-48FE-9E3D-CF0E2B84F255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae29f0fec7b9380a58c38a2307c9b11422ecc5c4","datavalue":{"value":{"amount":"+0.8085297346115112","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":"Q5892512$89C854AB-19E3-48EB-9890-329C48B23630","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892512"}}}}}