{"entities":{"Q5410235":{"pageid":7439809,"ns":120,"title":"Item:Q5410235","lastrevid":96160553,"modified":"2026-06-05T10:33:50Z","type":"item","id":"Q5410235","labels":{"en":{"language":"en","value":"Monadic translation of classical sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285623"}},"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":"Q5410235$D9548E4E-D125-49A5-85D7-7A77CE2D27BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a155d2ca41a2014f8a539701914ed16c5ea48d","datavalue":{"value":{"text":"Monadic translation of classical sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410235$0D727988-5209-463D-9A35-6CC23EE78AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bd6abe6c08ac85c8c78a861f8ac30ba70ff13c6","datavalue":{"value":"1311.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$410245E3-B56B-4D6C-AA96-EBCD3D3FDF81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78fb55079398c2140a8ace3c9bd63a377eccd33f","datavalue":{"value":"10.1017/S0960129512000436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$1C1E3D95-171A-4E33-A0A9-A7693463067A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$3FC8288A-FCE0-454F-A081-06C3BEBF04F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$CBCFBC07-B40E-4E0B-AE3A-07CE677FABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$A0EEEE6C-0E2A-4831-B97C-60CFDBAB4DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$23CB1C36-7819-4DEA-AF2F-2BCD33668B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$3EDDB5E3-4A17-49B4-ADD8-B6E8B9A04E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410235$DD7EC2E9-D184-43A8-9DAE-F62730A02271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$69516CC2-0387-4AEB-96D2-6148AC83DC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$ADF42C61-8E2C-4298-91CB-69D0D5B18B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$5B0FB898-ADC1-4A58-B273-B71B5B086214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6180c2fdea8cb163b1f2815b77328b3ccc0ca0a","datavalue":{"value":"6285623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410235$6041D799-999B-4079-9A29-8EB8B5E4D4DA","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":"Q5410235$F7B2DDAD-1B70-49E3-84B0-4A1208AEF2D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e21b6ea1e016e7a5e70aa8c13493a3f6a7fa29","datavalue":{"value":{"entity-type":"item","numeric-id":2889577,"id":"Q2889577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$C5C72C6C-4A2E-4721-8693-FC6CB0188645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd8d78db07bbfbadb3bd525794ef4a1e8772f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$3F0C623F-1A38-4F2B-99B7-567DF93B17CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfce7713583a441f86e3874e5801a1ba7184896","datavalue":{"value":{"entity-type":"item","numeric-id":5901474,"id":"Q5901474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$F2AC87C4-DC36-4BBD-9D00-BD2034DDAB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ab1cfed77cc0d5be8922df711324ecf8a7e5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$13E1B06F-3D0D-46D7-8F82-AA7BCCA0FD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced9f7c92a42f84706856cf63f87af8e30c2db89","datavalue":{"value":{"entity-type":"item","numeric-id":3638248,"id":"Q3638248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$0A708BB5-3A1B-44D0-BF5F-5A49E836A096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12de2044ce18231b11890ea9775fd9ae372f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3163882,"id":"Q3163882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$DE01E026-076D-4CF9-A290-D92E45377744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$9C93D14C-8443-48EC-83FB-A4A6F073B965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bba503ca0b5969142e3056aa23d82e5afa7c0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5958619,"id":"Q5958619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$88C08E73-4DDE-4A73-8017-C32F9D5414CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$FC0C0776-0EF4-4048-A188-8C0E165E13EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$81CF826C-F1C9-47CD-92DC-EFDE0D18707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586193e198456c5636e9dc32629cae648e642bd","datavalue":{"value":{"entity-type":"item","numeric-id":4650260,"id":"Q4650260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$BED1081D-E370-4B71-BF59-B3DD59B94264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$D800A4C2-F8F7-4226-AA4B-9404EE6B74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956f8f6ced52772736e9707cc664b497562a003b","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410235$259C30ED-2028-4E2F-83FB-4F3560FB83B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd07cd97964243d5836926a82d6a5d2420e22e","datavalue":{"value":{"entity-type":"item","numeric-id":3638248,"id":"Q3638248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcec3854a3ebcc720a8dcfaa786665ce42e74475","datavalue":{"value":{"amount":"+0.96994126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$EFE5C8E4-E2E5-4A04-8B41-1B4DE75ABE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e374d0e99970e7836106bafd962a3f8038ee6832","datavalue":{"value":{"amount":"+0.89234406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$95D2933B-7746-4211-A7A6-6A20DB24FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a130900d14ac9ffd5ddf12e923ff261137dff8","datavalue":{"value":{"entity-type":"item","numeric-id":4828877,"id":"Q4828877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a59461c1c79f92982fd388ecc134ead331f2abb","datavalue":{"value":{"amount":"+0.8822856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$C92E7039-3965-4B79-AC28-176FCC542CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbd42af6e37cff45330009871777fc55802c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4236059,"id":"Q4236059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc47d2fc91512880275412f43b743514edd3f824","datavalue":{"value":{"amount":"+0.8818873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$5EF41F92-7796-4678-99B2-700943AD086E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a6fe46b96ac81cfa8651c6499c0ba3defbd96a","datavalue":{"value":{"entity-type":"item","numeric-id":3003513,"id":"Q3003513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13df26056a0e59c21b8eb841ec073eb12dcc6fb2","datavalue":{"value":{"amount":"+0.8800766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$D2F7957C-65AD-4E2A-BE8C-1D2E118D3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fe5d3b8904183b7f00105568c2e193cd2127e0","datavalue":{"value":{"entity-type":"item","numeric-id":4586221,"id":"Q4586221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23201631b2d24d9246e57d501c3698cbb92bdb53","datavalue":{"value":{"amount":"+0.8780755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$4C421EB1-76BC-4F12-AAE3-3B296E2BCE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1516e062f9303358a1ad005801afcca60d76c1","datavalue":{"value":{"amount":"+0.8778471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$8A635D1E-6040-4156-88CA-91E34829453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271334effd6d8f4f51088f7bb830912ee0fe7401","datavalue":{"value":{"entity-type":"item","numeric-id":5370858,"id":"Q5370858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a6cee1c9e33a9da8ba674fb0bd157db4ea6696","datavalue":{"value":{"amount":"+0.8776093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$85EEDD62-F00E-45F0-BB0F-10B888EA87DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143c30a47b59a0b6c67ef0aebd1260ade2fc8bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3575301,"id":"Q3575301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599710edd13566e45bce01e831afe9efe2c0bd2f","datavalue":{"value":{"amount":"+0.8768456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$5E11EC33-A7FF-4D6E-BDDF-05EDCFB2173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e05dc66ccf63733bafee21f1036adfd24bf54f","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ef3b7548c17d3ccfabd4315b403769df57dc88","datavalue":{"value":{"amount":"+0.8762858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410235$9106BE06-AFBD-4C26-B223-BF63D577C04B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic translation of classical sequent calculus","badges":[]}}}}}