{"entities":{"Q2177587":{"pageid":2188330,"ns":120,"title":"Item:Q2177587","lastrevid":57767751,"modified":"2026-04-02T11:00:32Z","type":"item","id":"Q2177587","labels":{"en":{"language":"en","value":"On deriving nested calculi for intuitionistic logics from semantic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197413"}},"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":"Q2177587$59F6F394-5BF1-4ECA-ADC1-BF82485E75A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0077b57b7c26632edd986c8ca420c0c12f41e1ad","datavalue":{"value":{"text":"On deriving nested calculi for intuitionistic logics from semantic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177587$7FF3C296-B2C5-4DB7-A8DA-9AB1E62295E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4d6a4a08dcc13dbd91f4bcab679cd24ca1c267","datavalue":{"value":"1485.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$A0AA5825-E1D9-448D-90C5-89AAD5105117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860861974ca20c4a63cc13c9a7e53f9fff113962","datavalue":{"value":"10.1007/978-3-030-36755-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$2B28E896-26CD-44D7-A7EE-E267743FD7E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1cd4ae27124a7613f6f15cdd4522fe66a676dd","datavalue":{"value":{"entity-type":"item","numeric-id":2142092,"id":"Q2142092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177587$07DBEF89-2818-4375-8F34-5EA33CE40157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177587$0F29E000-4C4C-40FD-8AC6-F6B1F218E0E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2affeb463e233b18c3e82b2b74a66d8a212d2231","datavalue":{"value":"https://arxiv.org/abs/1910.06576","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177587$201FECAD-A76B-43AD-85B5-5331F9DB7AD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$C6FA84CF-1DA6-4465-84F6-288E655FFF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$4A691382-8365-4C7C-A5AA-1C2260F23799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$E0B4C2C7-09E0-4279-99F1-537A63D0BD69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"881bed9ca2da11d93e8d5cd227e246a15fe41427","datavalue":{"value":"7197413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$BF939678-AB15-4EC3-B2C0-E1BC89C1C46D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$2BFC3B07-C1CB-44C6-8AF4-ABA1EF06564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$C67CE79E-50F6-4016-9F0A-1C3AA762A5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48c0ecb011c87b63e73370e39b45338599a3e08d","datavalue":{"value":"labelled calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$2097B662-B4A7-43E5-B6E3-8096E06854F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f6db2abe4d259ced4ed4023b9143e81ffba244","datavalue":{"value":"nested calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$25CD9683-6AEC-4A8B-ADC2-A902E43C0588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$F1835F65-030E-4013-87B3-5D39626FCE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450bcf5939c9d2696c7de54bcbdf34a6d4c2c0d1","datavalue":{"value":"structural rule elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177587$43DC1555-EE60-437E-AFD0-E4360D0CDFAD","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":"Q2177587$5DFE791B-105E-4795-AD86-80FC47E8CA25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd83d4b8474c7f05c6843edf8d947207290122d9","datavalue":{"value":"W2994955096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177587$C506C4AF-3F47-4C26-807C-06BE868FEEA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202421b33e0b99dc0e2915b7b9fea1f6e15a41d6","datavalue":{"value":{"entity-type":"item","numeric-id":5028317,"id":"Q5028317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6112043fae7a16aa41bbc2e3e0b701795ff13ff","datavalue":{"value":{"amount":"+0.9281232357025146","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":"Q2177587$FBFE1A8D-9924-48FE-B4C2-AC5BBDC4B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21842729ec61282c4554fe7b111152dfeb8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1799270,"id":"Q1799270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292ae1617aeb14ca5e2e531cf09fc4ab4e05cae4","datavalue":{"value":{"amount":"+0.7992475628852844","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":"Q2177587$5D3221A9-5916-45CA-B1E9-EE89C92BFE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16ad418b8b98a9de95cfe3f9f18097a42592087","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a93b30f2a8dbaed1bd963ff163c1068a862e96","datavalue":{"value":{"amount":"+0.7986195087432861","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":"Q2177587$58B200C5-0036-4E2D-879D-C3CD8DD86745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9b35f7c30998823f1210698db9a7f39a780f71","datavalue":{"value":{"amount":"+0.7758911848068237","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":"Q2177587$74CFE13A-DD4E-489E-8D1E-70925C49202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b48d1eee01d9f80d508ac15284f7bb583c45039","datavalue":{"value":{"amount":"+0.7578621506690979","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":"Q2177587$934B3BE2-DD0C-4019-ACB5-4F7EC12F9825","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177587"}}}}}