{"entities":{"Q3417780":{"pageid":3428483,"ns":120,"title":"Item:Q3417780","lastrevid":50011123,"modified":"2026-01-12T15:27:27Z","type":"item","id":"Q3417780","labels":{"en":{"language":"en","value":"On sequent calculi for intuitionistic propositional logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119942"}},"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":"Q3417780$6C7C8E0D-5F76-40FF-B905-DB90C2CC6677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6d75bc105d76f25a34bb9fec0c2506865c2bdc","datavalue":{"value":"1138.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$3F228016-3A68-49DE-872D-5E698D67AE52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166ba6e429b1b3182a1f829ff825dcb7dbf5eba","datavalue":{"value":{"entity-type":"item","numeric-id":804560,"id":"Q804560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3417780$16E586C6-1951-48DE-A573-9A6285BCABD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3417780$3CAAB1E2-C50E-4A11-952A-8FAE6A5B2D06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540c762578da9bc1ab2c6dab59a49e65487b2380","datavalue":{"value":"https://eudml.org/doc/226362","type":"string"},"datatype":"url"},"type":"statement","id":"Q3417780$BADB1CA8-7E1B-497A-B42C-640648A40FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a1afdcbc8e3f88814d3e2058cfee4a008c15800","datavalue":{"value":"http://www.emis.de/journals/CMUC/cmuc0601/cmuc0601.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3417780$44711338-35E3-4BC9-BF5D-1B3EFD597D48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$859B1373-34A5-4EE4-8EA9-D056342D6148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$64A6A793-A26C-4C60-8610-009B78E1EB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$369F99E4-25A8-4782-A8B4-030C5FC52021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$9C68CAF7-B45B-4218-8D66-BC9A6F4529B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91d9d7daac6cad7f32de5acf8f02f7c7bd539238","datavalue":{"value":"5119942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$E121D743-01AE-466C-A661-64CDC7658D7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3417780$F144364A-21BC-456F-A4A1-7F76DBFFE9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3417780$9883DECD-C218-4E4F-98FA-68084ECF80D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8ff0cec760e32c58f22ad4089eecf623cf2aa7","datavalue":{"value":"polynomial-space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3417780$B16E3DFB-A096-4F6A-B139-870CE5F6A22D","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":"Q3417780$D9780C08-0D7F-404E-89C5-6F2C7EB0449B","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b57414f285386df6ff3395afc7d622d9f22d5a52","datavalue":{"value":"bafkreibtxjiarlj3bwgqg34nypf4xw3eda54bqw4rx267kde6bre6zywom","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3417780$443DBA76-77CD-490F-8F7B-6F5708EE615E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4690a5e49fe449eb2087010d35349e301628903f","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b520a32441fd92dc732db4e2e05b28b9571ae4","datavalue":{"value":{"amount":"+0.8253278732299805","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":"Q3417780$79221CA6-4CC4-4EC8-AAC3-B39CEBE8E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc58f07039ecc1834117bccc0eea7f0e6934732","datavalue":{"value":{"amount":"+0.8187400698661804","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":"Q3417780$796F45DA-03C3-4D46-AA88-C4B57A1D6351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42a2c5c1557cf86b004fd438a7929e8c2ea8860","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2192e29a8a8b4ac4a250c515187a049c15e3a3a2","datavalue":{"value":{"amount":"+0.8060115575790405","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":"Q3417780$A1421411-3B5F-41FF-8B5D-F63A8EC4D2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd2c597745dcde73634a208c0f63d170bb8e3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0e328bc57fb5448715673f23982b2b1241940","datavalue":{"value":{"amount":"+0.8043742179870605","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":"Q3417780$E3F5560A-9AB3-40E7-962E-B1D8C4DEC645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309a2fb3896afcd614632ddfda96b918cd9d9580","datavalue":{"value":{"entity-type":"item","numeric-id":3838821,"id":"Q3838821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a099e2e0ad85050a34ed3b9d1b0773b921a74c","datavalue":{"value":{"amount":"+0.7932863235473633","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":"Q3417780$4309D17D-B0C4-4BD6-8B1D-AB19C60364E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3417780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3417780"}}}}}