{"entities":{"Q1006458":{"pageid":1008306,"ns":120,"title":"Item:Q1006458","lastrevid":69406788,"modified":"2026-04-13T06:47:36Z","type":"item","id":"Q1006458","labels":{"en":{"language":"en","value":"Investigations into a left-structural right-substructural sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532519"}},"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":"Q1006458$57C36BB5-AF2E-4130-A299-77A3EFB96D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76858e442e4c312d06ed04ce13f27bc16e6b78e1","datavalue":{"value":{"text":"Investigations into a left-structural right-substructural sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006458$5FA5B510-DAB3-4D22-9794-E1E5BC3C746E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829f82fbf8800512324bb251ef44529fda0e764e","datavalue":{"value":"1158.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$6942E334-1B2B-480B-85B3-420114E42F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$5F0EAC88-E233-4B3F-8AA3-075DC68CDFA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$E09D5102-F0A4-47E5-99AC-FD9EFAC7D754","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006458$8ECC8E87-54FE-4A50-AADE-0BA77A0A50C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$FCD03C03-8B5C-4215-8FBC-F22B5F7F0D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$1E6EDD7B-D337-44D6-93AC-CA1F46DCCAE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"755e662a62e42e511cb95425e6ff740fa1a93068","datavalue":{"value":"5532519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$4DE14354-6CFC-49B1-B36E-CDE06F808991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006458$E1BBA3DF-1DBD-4CA1-9B66-EF047ACA693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a33511003adf8e3ae86ce5bf941dced635a07429","datavalue":{"value":"multiplicative disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006458$4CDCFBD5-B9AE-4A9A-825A-3EDE3E361FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879803104f43f0dd61a2c5953506ef84f55722e2","datavalue":{"value":"fission","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006458$0B6E59C8-8D54-4564-9870-480752AA4384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006458$2344B72D-F291-4045-9255-F14CEE235B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006458$75520D63-4F0D-4C1D-A8ED-B3595D0A0184","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":"Q1006458$48DE32AF-BFC1-4FC1-9F15-B78496376C7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45ed67123fb3c2f126c8f91b9ce3dd57782b868b","datavalue":{"value":"https://doi.org/10.1007/s10849-006-9026-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006458$260B8691-D96C-48BC-891F-8D005154F181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94e5987c7b11ffba0fab8c988569e2ff2cfe0c1d","datavalue":{"value":"W2071843095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$614C091E-D72C-4B44-9CF2-020E993B0FD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$38739038-F929-4189-86B4-5A9C9CFA9D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$9035776C-89A9-45EC-A116-FD8263FA1576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5867d89e76aefe333be2b35bc861c507405068ab","datavalue":{"value":{"entity-type":"item","numeric-id":4941997,"id":"Q4941997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$94159F7A-E8D9-4DF0-8107-05AB2D028382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8eafabf0cddf70d8185a67fa02863c2bd424ef","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$5FE073AA-CD74-4E76-9F76-A57DE3F38990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$48F5A9A4-1EB5-4319-8747-FD59AE2DBED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5285f261a809808960705bdad542f470e1b76494","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$A072C513-E44F-42CA-9284-D3535056B63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$64E2AB7B-6AA7-4BC7-BFB6-85257792CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$B6F005FE-089B-49E6-A8AD-F08C93C1F9EF","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":"Q1006458$EAE40CDF-D2F5-47C2-8329-1AAF51709684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$72E79275-BBB6-4A68-9A4D-372465E60A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e8e030541387c8fd02d424bf9e4c2e895e8dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1115417,"id":"Q1115417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$018C5EB5-C27C-4DFF-A49D-7DC8CF0BDEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92256643775a9cf0b5775e19178fbd831235665a","datavalue":{"value":{"entity-type":"item","numeric-id":1362590,"id":"Q1362590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$5666175C-2315-42FF-8DA3-820C1AEDC311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0814cb5aa3f21358060af16d7572f479c8806a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2499308,"id":"Q2499308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$342A759A-9727-46F5-81C0-FBB2204D411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fbdbd74ac1072771d7af15d76366572f6c6486","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$A621D7DF-C1E6-4D42-B7A8-B7EAFC345C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10659093a687057e309b0c0a81b663d04e45ff70","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$110B7B9F-A5FD-4826-8D6C-8D9D99CC72F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2932435bf88167c762781bbe294026bb31718314","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$9FFDA2E8-B8BF-44C6-A524-D5DDAD8BE6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1255097d6acdffbd7c4d8d22a2368af4a6c339","datavalue":{"value":{"entity-type":"item","numeric-id":4887109,"id":"Q4887109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$F8828547-B7E1-4401-98FE-4B86F7ECA90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$370F16FE-6AD6-4624-B1B8-A1CDF606D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$75C58D63-409C-4113-9FBF-6D10B007FAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5a6ad65774536346bcfff115a10ca4717e208b","datavalue":{"value":{"entity-type":"item","numeric-id":1168307,"id":"Q1168307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$46EAC1F1-6B6F-43CC-A05C-47C45BC6A868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b39e2f15a4c99a5b59638ad40fc174fcadc191","datavalue":{"value":{"entity-type":"item","numeric-id":918952,"id":"Q918952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$026930EA-D1A6-47B7-8649-DA30AFFD89AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$6E78351E-F311-449B-8618-C9C2500A7088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$D2029B98-A38A-4561-9777-41539E0ABA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$A3A58718-60B8-40F8-90FB-0DB92FC0D46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d878b52bc1ec8b3fbbd716d070d2424e8770493","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$7F797342-1F67-4388-801A-F7626A6BE0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$AB61A711-C5B8-4263-85B1-D23C080FC4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$996315F2-EF0B-4EBB-884D-F58B0541A348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b422dd948f7aa62f3ffe928fc88304ba8432f4","datavalue":{"value":{"entity-type":"item","numeric-id":4099604,"id":"Q4099604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006458$3AC4AA55-E455-4CF7-9C86-EED2CB5817EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7479b63166f42abfb1c4a5049118adec8bcf88bd","datavalue":{"value":"10.1007/S10849-006-9026-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006458$FA7A13B2-9C17-478C-A5F0-563E5FFA94BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3feb2d7767cadabafe75b0c04b8ed9452a5643d","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72aac779232e90fb49f23090939e2cde6264598b","datavalue":{"value":{"amount":"+0.7596720457077026","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":"Q1006458$9133C0A6-95BC-49E8-A062-A0FED22F4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea01a5a34aadc1d70b6b9643d312f2e0d73ce3e","datavalue":{"value":{"entity-type":"item","numeric-id":698829,"id":"Q698829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6089487b39e53fbcb247d17df34ab6c0495435e3","datavalue":{"value":{"amount":"+0.7573302984237671","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":"Q1006458$3A5EEAF4-16FE-4247-BBAB-1D5417546B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca5a9cee4f28e4c03eaa66a64a2be0e78108e30","datavalue":{"value":{"amount":"+0.7505494952201843","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":"Q1006458$6A6801EA-99A9-4E59-B33B-FF68EC3ED4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88fc679e4c4dcce0c819549fd2c8233bae20b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4227869,"id":"Q4227869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009b85ccc7822805287a611ef4fc1abdbf891f68","datavalue":{"value":{"amount":"+0.7449406385421753","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":"Q1006458$3390D2E5-3288-43FF-8315-910CC89C5030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c349a65bcbd14f1436fadc43658f4e3f78fad84d","datavalue":{"value":{"entity-type":"item","numeric-id":636359,"id":"Q636359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6414fff7a986704c41d08fa060a1e0db7c1c75","datavalue":{"value":{"amount":"+0.7404493689537048","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":"Q1006458$3EFEC259-79B3-4011-B656-10688C9CE2B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Investigations into a left-structural right-substructural sequent calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Investigations_into_a_left-structural_right-substructural_sequent_calculus"}}}}}