{"entities":{"Q1960422":{"pageid":1971164,"ns":120,"title":"Item:Q1960422","lastrevid":72034278,"modified":"2026-04-14T02:13:28Z","type":"item","id":"Q1960422","labels":{"en":{"language":"en","value":"From multiple sequent for additive linear logic to decision procedures for free lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387349"}},"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":"Q1960422$35525F6B-0185-489F-B4F4-049067D24262","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b26d71f3f160e5e86d5aa8d1e4c926ff3ad1076","datavalue":{"value":{"text":"From multiple sequent for additive linear logic to decision procedures for free lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960422$FE0B9E75-49AD-47D2-BC61-662BC3BD920F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd1a2d269f791fd75f874f965373e77d840e609","datavalue":{"value":"0933.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$AE0BA2A3-3669-4C2B-A18D-25649621C750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2806bace4f9bebbee98495e3f70879b284be6362","datavalue":{"value":"10.1016/S0304-3975(98)00311-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$12290B36-A32D-445D-8D89-F271965C89ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$4E0A4F05-8454-4525-8FC3-A49233165F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$6145F7C8-E04D-407C-8A87-1400EACAFD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960422$806C9B2C-E139-42CB-977C-4BA99417299A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$0DF35127-31A4-4059-BC3E-4BF12A90063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$3D4F7707-625C-4B48-B017-FDF2F188726D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$E56D58BC-62B7-45B4-9C9C-835598B1C838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f6a3bde9022186c310d24b73b6115bb3c8605dd","datavalue":{"value":"1387349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960422$8255A560-D085-4BDC-A19A-938684DEDEF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4519728bd9c2d3a91033072289fe5836fcc50860","datavalue":{"value":"free lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$A0DB53FA-C5E9-4EDC-B205-4A0EFE582B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3d5fd10f12c085d015877e3cb7ab1ec450dd58","datavalue":{"value":"additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$C996400A-AA5D-40D1-B2E0-F91C4DD1EC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$59C6AEC5-B3E7-40CE-B067-2B11126166B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$E75AB2ED-43FA-4FC6-B918-72B77BBEBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"841e90697d70c2b570c4428a295df9b9e1f41e26","datavalue":{"value":"multiple antecedents and succedents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$FD9D2B7B-B2DB-4F14-BEB9-CFFBB2E3E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d888501111a4b1a04d79a209980511d55ad8e4","datavalue":{"value":"propositional linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$5F5AEC87-0E16-4B1D-B064-0A1CCD663A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf1887de3459e37c1d6fbd4528ce015f356df2b","datavalue":{"value":"general lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960422$A994E12B-9DE8-4F1E-AFD4-3F4B4727A938","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":"Q1960422$44853DAB-9A83-4383-9956-7EA8302B87E4","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":"Q1960422$A8CD75E1-ED1F-4F3E-A95E-49AE806E7963","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$AEBC2A76-0A21-48DC-B960-1F9690E4DD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$9FD84E7D-31C1-45F7-98E0-245F6BF0D315","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":"Q1960422$0B651D27-1B92-4A92-99D9-F908A1E77DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d2b2737588eda9c16e9b81f1a7b66724cc5e94","datavalue":{"value":{"entity-type":"item","numeric-id":3877741,"id":"Q3877741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$058B8EC1-A0F0-414E-BD4C-E64D69729734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cbb848f25898fbf0cafb6b56b244fe60a4e509","datavalue":{"value":{"entity-type":"item","numeric-id":1314435,"id":"Q1314435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$6029BDA6-4265-43CE-BCCF-287FCCFFD768","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":"Q1960422$747FAEC3-F5B7-4568-87E3-5ADA4D087B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9844cfcd4db547f6b8c0fbfe6cd78ea1bcf6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1836679,"id":"Q1836679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$A5ECD14E-26BB-471F-94BA-5C94F190A099","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":"Q1960422$3973590A-909A-4BD6-ABB6-B976B1BEA423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de94d8f291c9390ca640108081f24e51c850678c","datavalue":{"value":{"entity-type":"item","numeric-id":1314284,"id":"Q1314284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$313932FC-195E-4738-B943-499EECBB839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$02AFA8BF-276A-4495-B66C-86CC949CFCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$3F450B3D-90A3-4E63-9B03-CFCC8B644628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f148de05de98f52f121398c20edb4b8bf5cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$90073E1D-14D7-4842-84FD-82B2D1235CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7c244d14d07f3257f25d1bce430b4073a42125","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960422$2F744FEC-4B8B-43C5-A1F9-DF3661DA9529","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85508496643cedabf736873d09c50548f40a61c6","datavalue":{"value":{"entity-type":"item","numeric-id":4376063,"id":"Q4376063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b19732ffe7a9ec08bd6a036bc3c8146d8ae31e","datavalue":{"value":{"amount":"+0.9036256670951844","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":"Q1960422$05A08FEC-2EAD-4870-9B2C-E2FA7045B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524ab2973279b77374bf2818b4cbe86ddc56c2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2757832,"id":"Q2757832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd4c1e4f8609f81baeca4f60d0e40cf02de50b2","datavalue":{"value":{"amount":"+0.892025351524353","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":"Q1960422$5DB4FF8A-261A-4E80-94BB-479FB044BD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4d81171c70f968253f4cc658340f124c393136","datavalue":{"value":{"amount":"+0.7686420679092407","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":"Q1960422$44FFF48F-9E41-4D01-B755-84C5D1AB6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a047b27307d3228c0f5c95d086bb1daa339377","datavalue":{"value":{"entity-type":"item","numeric-id":3688447,"id":"Q3688447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4432f06b8bb3bcfc4d8bd81cd6f5f20b649e2e24","datavalue":{"value":{"amount":"+0.7680798172950745","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":"Q1960422$2B369BB7-9F5D-4501-A945-2F79A0FC8C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dc98c3c67423ddd1a0f33a1fc6c084065039f1","datavalue":{"value":{"amount":"+0.757719099521637","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":"Q1960422$C471B759-E382-4423-8E4E-4566A22A4EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From multiple sequent for additive linear logic to decision procedures for free lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_multiple_sequent_for_additive_linear_logic_to_decision_procedures_for_free_lattices"}}}}}