{"entities":{"Q4982627":{"pageid":7012205,"ns":120,"title":"Item:Q4982627","lastrevid":98483072,"modified":"2026-06-05T17:44:52Z","type":"item","id":"Q4982627","labels":{"en":{"language":"en","value":"Term sequent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423994"}},"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":"Q4982627$03B731F7-B556-4CCC-A916-3A548AE702BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee9b2b444aa82152b9ed4972d69f81da6404e1c","datavalue":{"value":{"text":"Term Sequent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982627$5ECEF3ED-D1EF-4EBF-B15A-CCF8581280A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"395f1cf5d29408a7d6f0b5cf220d4f11d249f028","datavalue":{"value":"1347.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$94F4ED14-ACE1-4873-9B36-B2A8530825D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a81c1dc4fd6107d655f5cdf28aa4baf06ab79e","datavalue":{"value":{"entity-type":"item","numeric-id":603903,"id":"Q603903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$BAAF2FC4-EF1A-46ED-BC05-DE8E469D77AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$03B6CC5A-E6E7-46E9-943E-2C2DF78DD7EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982627$433D40E8-AAB5-4B89-920E-AEEA638CE8EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$2B34362B-EE2D-4067-8D77-BFA629744180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$B6A10858-7181-4BA2-B721-0F06E0AE61A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$F000BB6F-356B-4EAC-BB3E-94A3057119AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$E2131432-07F2-4740-B482-1B7E11A5E255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$49FC5F00-EF0D-478B-BD9D-75C1D746E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$1FDEF90E-337F-4F76-B450-8588CB369ACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f46d9d5465bcffb799ce82549b97886a2cf91f5","datavalue":{"value":"6423994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$303523F2-1174-4AB0-BB1A-4A1A12B59782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982627$F93AE9FD-5335-4105-88DA-38808E98BD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982627$62F6528C-FE40-4D1F-AD7F-520EFD3D33B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982627$F1BC0709-7F21-4A1D-A862-453B7310B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982627$D18B224E-80CF-412C-AC2F-327EA2B89CEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$2A0D3465-C640-42E6-8BBB-67BF80E5E6D1","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":"Q4982627$D6F27D71-6BB5-4F3D-9465-57522E5F9691","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc7efe1847169fc93a5ea46c51bc9c709d7a7eca","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982627$7CAACD20-9B8F-40DD-9EA1-13C1F2ED7BFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3585b8085e38ba774c4a15e02022d7d135ac1a99","datavalue":{"value":"W2132717091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$8A4707B7-6B0D-47B2-B789-001999CD273F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$D0AAC461-72D5-4EDF-9AD5-884F14D31E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ed83efa9c31fe937c116368ddc1008d2da01e","datavalue":{"value":{"entity-type":"item","numeric-id":5307080,"id":"Q5307080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$2D22316E-4EE5-486C-A0D2-F9F97FFA86EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37c592ac870d7dec1fc5772fd9a92a63642c5e8","datavalue":{"value":{"entity-type":"item","numeric-id":4808699,"id":"Q4808699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$CEBF8121-E6C7-4B3E-AABF-F58AED9298E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$DF74696B-BAC2-49BD-8BB2-B7F777C9BA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$9B71F67F-4910-447A-8EB3-4CA9FEB245AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$93DF4E41-11BC-442A-AC84-2AF0F03EAEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$52E7C55F-A0E2-4E04-ADE3-9AB945732D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531dac8031e8da7ba868f9f4db27350854c14988","datavalue":{"value":{"entity-type":"item","numeric-id":1210789,"id":"Q1210789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$64E1B6D3-6D19-472A-BF91-2EA713B6FF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$D3D01B84-7D0D-42E0-8630-A45B5A7D34B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$120C4767-BB99-4AC4-8A0E-872CDEDDEEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982627$7E5200CF-CEE8-4740-A4E6-EAF591A2C80A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a134c1067dced2a023c6dcb6f87d14a55565dc35","datavalue":{"value":"10.1016/J.ENTCS.2009.07.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982627$FD2F2CBE-D2D7-40BE-8DE9-2DAE49FFA815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0588fa81d050cdfd9c6444384081d8916c34387d","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a482c2760ffe8870439fdd8f55be34ebcf892710","datavalue":{"value":{"amount":"+0.8723239302635193","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":"Q4982627$DC842A78-4CA7-41BC-BA65-3CCF016CD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81a9fe63180760e6a1dd7af101b6668fad4b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beef63f709e99e55584be785e9a136588f5839a","datavalue":{"value":{"amount":"+0.7988629341125488","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":"Q4982627$CDC9619C-194E-4FD5-BD87-C2781D401A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7669763e66e6ccd2db574188c591e9933796a54d","datavalue":{"value":{"amount":"+0.7814919948577881","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":"Q4982627$0B328360-0B5C-4BC3-BF80-CD771B64E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c584b5802b8d5d68b6db74e44f1611a45c23b8","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d235ef1d15f2693ed219f12b04731f2073a315c7","datavalue":{"value":{"amount":"+0.7757664322853088","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":"Q4982627$E651E703-C827-41BD-A24B-99F983255887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0bc055c58ed78d23b8d3f80b8671bef20bbef5","datavalue":{"value":{"amount":"+0.7705543637275696","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":"Q4982627$5205EF68-922B-42D8-9583-964855A08949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term sequent logic","badges":[]}}}}}