{"entities":{"Q2443118":{"pageid":2453861,"ns":120,"title":"Item:Q2443118","lastrevid":51966035,"modified":"2026-01-20T15:53:06Z","type":"item","id":"Q2443118","labels":{"en":{"language":"en","value":"Nested sequents for intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6279840"}},"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":"Q2443118$268EAB99-1DBD-4EB0-951D-1038E3B02467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"503e38a9f6ae79a92b6f8e1c689d6325c5b308e3","datavalue":{"value":{"text":"Nested sequents for intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443118$D89753E1-95C2-47E2-9D6C-99B89FAF562F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b272ecb5b87f8e4c498e8255945d947f9c31a08","datavalue":{"value":"1327.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$EE5A32D9-1A28-4883-9A90-825021BD22B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebadefcd99d439b2fff9a544bfdc1c524ea14469","datavalue":{"value":"10.1215/00294527-2377869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$0CBCE0CA-0513-4BB5-BECE-8D8EC63DCAB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$12B5BED2-8F19-4B51-81D4-F2A258AFB52B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$4E925F15-EB4B-4D7F-A342-5F5BEC8D1DFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d05609d3284090a82a1da837c76429332d3f4107","datavalue":{"value":{"time":"+2014-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2443118$DDFB2CE0-0B48-409C-8E9E-D29D2B299907","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f346772e65570c29d01458c7805ce259fb33a627","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1390246437","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443118$874B60DE-86BC-4AAB-926F-D07951346E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$F6F1D653-16F5-4DFB-BCFF-67614F7AD333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$25DFC2B3-5599-46D9-9D31-68A3596014C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$448C2F44-8E3E-459B-8434-600FD01DFCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$459F332D-F71E-4E6F-A49D-B9C6485E6524","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ad51d482293ab5606accd02305e836425b465a","datavalue":{"value":"6279840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$070A26A9-86E1-437D-A351-878141A37A8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$FFFF90C9-E29E-4389-8715-A0F88737E72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c24734544dd80d2e2e46e880c32230937a4955","datavalue":{"value":"constant domain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$6C950CA0-8E2F-40B1-A3B2-3DBB96548D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$6D8F077A-89E1-40D5-A65D-9103E821EA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6969d6f5466fad8412af4be696b885c41e64f74f","datavalue":{"value":"nested sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$985964B1-A9E2-42DC-9A5C-1C43F22767A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$BBFCFFD1-22E4-47C1-93F4-CEDC360F21F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c06d585fc9cb5de8b766d860a769194264743b","datavalue":{"value":"prefixed tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443118$F7BC76CE-DCCC-40CC-B7B8-1DA5A4DBFA75","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":"Q2443118$35A6523C-9B41-4A31-B320-C2EF3E51E7C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad60082917cb6e0298a9f36083bfb8a47f8a3868","datavalue":{"value":"W2087640560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443118$47A95D3E-A2E2-4437-A0DA-D6A82376BC68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$136FB165-FA75-42CF-9396-A376453D01F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$127CCA3A-D504-44D6-B89B-C6F4553122F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58eaad3a5ac524510b3238f74f601fe62e64360","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$8859A29C-99B2-46FA-9245-13B3A5A6E868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$0D3F3B50-B79A-417A-84BA-F96A5DA95108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$2CF25C68-9B80-4242-BE13-CD1C978ADA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$71022C52-59EE-4F5E-B6AD-63325CD0CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd0dc657f95a5f080525666aa54d66a669d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$66E0B4D8-58CC-4535-8A94-00F4C5AE6273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$5A5BDB4F-2ABB-40D3-9669-FAE8251F154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca0d51854621bb08fb0858d69501b553d7e23b","datavalue":{"value":{"entity-type":"item","numeric-id":5339292,"id":"Q5339292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$CA79C52E-02A8-4217-B282-2F299DA30207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$2A7419A0-52FF-422E-A3BE-F2FA673943DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e485a1f093e0e4f3e22e808637e7ce76dcd40fbe","datavalue":{"value":{"entity-type":"item","numeric-id":4304102,"id":"Q4304102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$836B1D64-ABCF-4B42-8FFB-125483FE2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f47127f84e59e5c8e05cb61d505399254113aae","datavalue":{"value":{"entity-type":"item","numeric-id":2869908,"id":"Q2869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$ED00869A-1C2D-4CD2-A2B0-7A6C12AE8CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$7960B387-201A-4BAB-96E3-B3EBCDCEDAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b75c836050a45587827e305145185f5c5f81a2","datavalue":{"value":{"entity-type":"item","numeric-id":3638293,"id":"Q3638293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$03CFE0C8-CBD7-40BA-AC4C-42C0C99A369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$F5C87EF2-4D2D-4EBC-B0E8-00347C3BA525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443118$B2B33AD5-2C85-456C-AD62-45804B1FED46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabdcc5c479ce282b504db46fb21f46e05d6c2f","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3e951254440d034cb6f988701e5d7932a812ad","datavalue":{"value":{"amount":"+0.8427906036376953","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":"Q2443118$527CBFE2-E4CA-4573-9DB0-F7769AA9B2CB","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":"a54a1c2e7eef3b9eb498f0716854b064a97ae687","datavalue":{"value":{"amount":"+0.8193545937538147","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":"Q2443118$F5EEE71D-D1FA-4CC3-B06D-1C683A4D305B","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":"66885006947c93ee10b064b70e955c99765feb5a","datavalue":{"value":{"amount":"+0.8001517653465271","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":"Q2443118$60257713-06D2-4ED4-9807-BC0E365908D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ede27f49129e2d739ffa77ff8b0285d00c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f9091780a7303d2d3e9e3b20e70600e0c7f383","datavalue":{"value":{"amount":"+0.7978019118309021","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":"Q2443118$A8C1BF7F-21C1-48BE-A39D-0CC79E772769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8ce28be7fbc1f8f22de9521072042d486e4e6e","datavalue":{"value":{"amount":"+0.7891256809234619","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":"Q2443118$4901D10F-9DE6-4787-97A6-9925F6E891E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443118","badges":[]}}}}}