{"entities":{"Q5241408":{"pageid":7270976,"ns":120,"title":"Item:Q5241408","lastrevid":91928624,"modified":"2026-06-05T00:25:53Z","type":"item","id":"Q5241408","labels":{"en":{"language":"en","value":"Full cut elimination and interpolation for intuitionistic logic with existence predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124777"}},"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":"Q5241408$24978B6E-0630-45F5-B547-C7B3D0816244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40b48a8bfb4cca000705c82c17e07a838e068de3","datavalue":{"value":{"text":"Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241408$F578E882-792F-46BA-975B-45F48F666038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c384ad8ecde9c952ed9de2dbb08d422bddba08d","datavalue":{"value":"1477.03242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$68B71CBB-6584-4851-894B-AEB8D32DEC3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a924b9aa928db1177fb05d1cf9cafc16cb475787","datavalue":{"value":"10.18778/0138-0680.48.2.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$8D4D3A0B-A58C-4FD3-B989-20A1E3C1A345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18934a2357b48007aec9f076002503991f9ce9c","datavalue":{"value":{"entity-type":"item","numeric-id":300556,"id":"Q300556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$E26109AE-7760-498F-B680-1BF34484FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$BDB2B56A-AD1F-4AFA-8B5B-9E49A45322A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$55A9DF25-AA41-49E2-9674-1ECF5E639B0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97e6e40fde11bab71af900bf93cdabd76f1f7c45","datavalue":{"value":{"time":"+2019-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241408$DC2B1886-D5CB-4A76-BF0E-F755B0BBC63D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$5201B722-029B-488C-8747-785BC5156FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$19E3C303-FAC3-4404-9B87-EB8045F77278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb7770565ba37e5c95b90b79fd6c4daf786eaecb","datavalue":{"value":"7124777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$270EA06D-38E6-4A25-8A6C-B934CB82EA8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$9672E543-0403-4879-89A0-E6D5F195BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dd2829add34e6c0adb199f2ad50cb663cd9070","datavalue":{"value":"existence predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$5895F90D-2BAD-4491-AB8C-873D41C3BE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$D12D9C67-D5AA-402F-B7B5-685DADB3CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$B9CDDE14-EA99-4851-9FB3-08F081D78388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$28FBC26D-A7C1-4D3D-B6A8-BA69841F2FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50e28ed26a2d1ca96e03bfaaa6e4fd655828042","datavalue":{"value":"Maehara's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241408$8DCE35D8-2E68-45ED-92CB-0A92E387F133","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$437000E4-BD97-4AC2-A988-7A346DB8E770","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":"Q5241408$A744E02C-40D9-4208-A8B1-189283DD5B1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbc578483e171e3b531ff38983494f3971685fae","datavalue":{"value":"https://doi.org/10.18778/0138-0680.48.2.04","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241408$8F08A33F-E836-401A-BD14-51E54ADC2379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f506cdd8cae28ddee7a0379e85ed681fe32663a","datavalue":{"value":"W2974740209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241408$9828F739-E76E-41CF-8A68-9AB937F6998A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61234dae26d5b83ced560641237efc65fbe6905c","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$07D7702E-8112-4E3F-9EF9-5A1F504CD9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4349a4945383fab5f883bdef5abc9122ae1b876","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$1356AB5B-E3DD-4204-813D-F64787D2B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$B6F09772-3D33-4CC6-8F25-72A857A28421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8773127b9ac48e644cb7a3aa96a3d08ca1972e02","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$4575B0BB-D9DF-4138-81EB-3A392A42E2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$4C6934C4-7E20-47EC-8747-B6A6B8C3DB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$33AC72F4-CBE0-4E55-994E-13B63C270FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$EB38DDEC-5EC4-46E0-9774-2C3D6706B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$2CC9FDB6-AADB-4C04-83AF-6DE229B495AB","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":"Q5241408$8DE336C5-E36E-4E7A-B28B-5E4AC8414274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$6D1C739A-E50E-43F5-A221-720EF05308DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a310b31eaf5a477426701cc373a17a34144fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d591611d7547db30220cc2371451c050f58bde","datavalue":{"value":{"amount":"+0.8153886198997498","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":"Q5241408$6CCED67F-21F5-4468-995E-3446516AB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7831872d208bee061f436ff757a77e2205876192","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1091d22a740142daeb6a888792959794aae3d4e9","datavalue":{"value":{"amount":"+0.807329535484314","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":"Q5241408$355AD4B3-53AC-4916-A352-1E780CE21A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f775a3f1f58577f0d6c8c4e75f1b4fa420ae5d","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da2e33024b0d6ee1990b34a173f5112c40e6a9b","datavalue":{"value":{"amount":"+0.7947856187820435","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":"Q5241408$8BFBE9E2-85B9-45C0-AFA0-E7706D04A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5128df90b3cddff447aeda09873e9e2efbb4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79222889a53fd7f1eadbe27cc0bdff8fa4e4d0f8","datavalue":{"value":{"amount":"+0.7763346433639526","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":"Q5241408$98104A00-9D00-41CA-A93F-98B4DC08C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88d63725a5b88cf12970a82f8312ab426cadd5b","datavalue":{"value":{"amount":"+0.7759705185890198","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":"Q5241408$1AD9F764-FE0E-457C-A672-373019A4FF3A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241408$A83CB343-7DBE-430A-9020-80D11B0792E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full cut elimination and interpolation for intuitionistic logic with existence predicate","badges":[]}}}}}