{"entities":{"Q514513":{"pageid":516280,"ns":120,"title":"Item:Q514513","lastrevid":52755521,"modified":"2026-01-23T10:43:57Z","type":"item","id":"Q514513","labels":{"en":{"language":"en","value":"Gentzen-style sequent calculus for semi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6690920"}},"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":"Q514513$6B944CFD-77EC-4B66-90AA-4280FEBABA9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70be68824fe8f856da2f23313df539c4621c9b5d","datavalue":{"value":{"text":"Gentzen-style sequent calculus for semi-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514513$531BAA4D-0CAB-43F1-BD84-69580C3A9E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e0f97e7053e1f401ef7d42b3147c4280bd17ee5","datavalue":{"value":"1417.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$60F53F6A-077B-4C91-BE7A-C35EF7F0C33B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$8F846EAB-D85C-4CAF-BA45-64B23DE4487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$4C98D8FA-A6A0-4370-A815-29F985AE37BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$A1920FF3-5F3A-418E-851E-B7CE17D0F9E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a8460bdb64b4b5e4361d553b383ac843f49ee0c","datavalue":{"value":{"time":"+2017-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q514513$AABF09CC-02E4-4939-ABC1-EC208541F00C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$9F6EFA91-6344-4F67-973F-33211015C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$86091CDD-03E1-48B3-9C25-576B6BD35005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$5E5BB011-5C2D-4739-8514-FDA4D83817C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$05EF7937-3F56-4699-A4A8-F974801668D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db10d1020633a6232ab773924850e4625f4f36fe","datavalue":{"value":"6690920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$F3890B74-0756-4A8E-B6DE-A9D731BD58E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3375cc65232131077f60ae439076659220404684","datavalue":{"value":"semi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514513$EB4085A6-E135-444B-980E-A83F83F0F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514513$2642A81F-2EFC-49A8-8E0B-2CBEE45F6F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f91923718aafa6282d2e7e5ba773fcd1e17386","datavalue":{"value":"semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q514513$067C5524-39A5-4731-BFAF-8FEC5AA5C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q514513$F23421A2-1F9D-4C4B-8154-2ED1B9D97935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q514513$F64DCA71-9F0C-4139-B847-8DC6C126B1DC","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":"Q514513$97479323-4653-49BC-BE1F-6AA732228074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae843763b9cf9dae3b9cc0dc856e06474baff3cb","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9675-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q514513$38FDBE21-BBB4-4A9B-AABD-C63E3A62A598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d8722e4b4dd6b10a3e319af44f2e0b8ce67a28","datavalue":{"value":"W2416395567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$DD112672-6EFE-41DF-B9B1-91728251C7DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1553aae584dd2ca876ec4105e45dafd07b135d","datavalue":{"value":{"entity-type":"item","numeric-id":432182,"id":"Q432182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$0945F005-BCCC-4D64-AB31-776E2AB5DDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a9c6efb05029268fd725fdc6cec06cf4b3c2f2","datavalue":{"value":{"entity-type":"item","numeric-id":2888154,"id":"Q2888154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$346B067F-5D3B-4055-A8AB-12F61FCC3930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921b5f7c8775fb47d26c07df83162f34ffb210c2","datavalue":{"value":{"entity-type":"item","numeric-id":2888630,"id":"Q2888630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$126229B2-AA93-40A4-A99F-EFBF9D82AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6419dfa1ef235c9fc41986f39e1fd4f7c199aaae","datavalue":{"value":{"entity-type":"item","numeric-id":2376916,"id":"Q2376916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$0C3914A6-5DD6-448D-BD41-E7C764A410B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$CAF630A4-145E-4F28-9CB3-85CA47243F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db4334fad07a61c2b2b8228e69e16c405504889","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$522342BA-3DBA-43A4-95BB-A1BCBD340627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c9346400d5d268831a5056493682abe2667eba","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$9BC53302-9608-4A8B-A1AF-24C82C81FCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0d4d25920112a445d9d879d37d52d6bb5370da","datavalue":{"value":{"entity-type":"item","numeric-id":495844,"id":"Q495844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$85D1BF24-0E1E-4C1F-B36B-FCF01191AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$8B9C0970-FD4E-446D-8D53-38163261D70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$A37D7EC2-547E-4FCA-AB37-9B51D74805B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$3DB54A6A-C865-4D1A-9F95-C2F1F69E44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1f4182e5ee541d75600c8cc7a8798b7ca4dbcb","datavalue":{"value":{"entity-type":"item","numeric-id":1404389,"id":"Q1404389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$BC695213-FB22-4F1D-B41C-2F917BE6F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$99BAB250-75B9-4E1A-9942-3F3D24C9679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19259581b483b4d9f7139fc51ccb474bac80cc23","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514513$347A10D1-824F-4D50-87C2-24DA7CCC68C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8934dec3a79d03045c8002599ca3c9aef696f9ee","datavalue":{"value":"10.1007/S11225-016-9675-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514513$6DD80AD2-0D22-435D-A0EF-2E4F321F44E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a79df2ffd1c3a1f172085f72d3d8e2a3d67318f","datavalue":{"value":{"amount":"+0.8185344934463501","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":"Q514513$0B2E0C59-D9D6-4AA5-9ACF-6110540AF5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245b8fce78c2d75aa4f7382e91e634c74a04f607","datavalue":{"value":{"entity-type":"item","numeric-id":495844,"id":"Q495844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d185af808d7239ec4228465ec5be6f50e714e28","datavalue":{"value":{"amount":"+0.780146598815918","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":"Q514513$33E91A4A-EB48-45ED-9D9E-B7260B34BAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f72cae399e5e37c9ea9252cbcc122660d90e6e","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19513ad3ae5d22c6f7aa34a7eb4c838b2107e8d","datavalue":{"value":{"amount":"+0.778598964214325","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":"Q514513$BB570527-04DA-465B-872A-4482D9F19933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2a3cdacfb0f12b4f09bcfd07330252214ee247","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909f8dec9441b5c7484aa0588cc53ea164c0d9d2","datavalue":{"value":{"amount":"+0.7598472833633423","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":"Q514513$9AFE9927-1DB8-45A2-8525-8ABEC0762F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68faed6eb9dc48afa454d00fb13e5dfcf1af4017","datavalue":{"value":{"amount":"+0.7593210339546204","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":"Q514513$71C26082-6F1C-4697-9B85-E51FB6D64A37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:514513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:514513"}}}}}