{"entities":{"Q1344870":{"pageid":1355609,"ns":120,"title":"Item:Q1344870","lastrevid":68515656,"modified":"2026-04-13T00:13:57Z","type":"item","id":"Q1344870","labels":{"en":{"language":"en","value":"Meeting strength in substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724127"}},"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":"Q1344870$05403954-E249-47D9-80B0-2D820262651E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc41cabf78c4a317f72f010ee33bb2dd636d2193","datavalue":{"value":{"text":"Meeting strength in substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344870$84F07798-77CC-4E0A-8372-61232E90ACBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81ad72397c4f02f25522fd97675a5c9ec43ccd45","datavalue":{"value":"0813.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344870$0CA0D13D-E651-49AF-B511-0E2F80924CB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ff0b164e812bb62fe055bdaf12e4fe1f3fbaa3","datavalue":{"value":"10.1007/BF01058530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344870$A3A23618-413D-4C90-8AF4-16D4FB051CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$24014883-11A5-497E-8797-16F3FCB74FDD","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":"Q1344870$3E29F7E1-DFF3-43BC-B35B-EEE25E3CA00F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344870$EC48A222-1727-4860-AE51-6E97B02817BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344870$DE6E2554-FEB9-4763-A70D-97029B76D36C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8d4f044e5b0c2d6e160fa9a2bf37bb6c44c8e55","datavalue":{"value":"724127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344870$52C7CBA3-F9D5-4B44-898B-A730EE373C7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd0025833ae5fdc89921dd51e9787fcf8a710f5","datavalue":{"value":"hybrid substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344870$D5FB9714-A35A-4558-B49F-D0D9B5B764C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23758e06c15c870e5a961dfaa340c860cb59961c","datavalue":{"value":"Gentzen-style proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344870$AE99A294-C8C6-480A-8A1F-301A7ADED296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344870$BB5EA41D-D848-4318-80F5-9D49F3B99056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78658c0cb57f35e7f723ba1a3be4d1e407265b86","datavalue":{"value":"cut- elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344870$DC045DAE-3B5B-487C-94AB-3E11BDBCF608","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":"Q1344870$846547FC-E51C-476E-8EF5-2D90ED1D6A78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa5d319e3e38a53a3050991cfd8f406c5fe78cc","datavalue":{"value":{"entity-type":"item","numeric-id":1177646,"id":"Q1177646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$8E1ECA00-2F25-4461-94CC-7DB965195021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9957386f86b992cf0b7a5c54942755ce3377f379","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$C122C296-1C20-41D2-B7EE-A304B34E13F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$15C55F27-BB97-40E1-9773-D5D01FD1B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d197a65ea477d3c98172aa2319f78cbbe2d1672","datavalue":{"value":{"entity-type":"item","numeric-id":1314285,"id":"Q1314285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$73542D9D-0C84-4C8A-BD2D-71A1AE0EF577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10a94af4633ae234c933fe2911be3db8bd5f89b","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$70884065-7990-4F6C-B508-3E7B7A918EAE","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":"Q1344870$000C24C4-EFC1-4D72-8A43-02BBBD9312DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1315308a3632017650f7f5ae94783a9883728aea","datavalue":{"value":{"entity-type":"item","numeric-id":3739107,"id":"Q3739107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$1C4D5728-3336-4AF9-9916-61985C9DD676","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":"Q1344870$2ACF77F1-451D-4D36-86D2-42CE8D2962E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf627f9bea2670e555e81570d7d63865bb5c04cb","datavalue":{"value":{"entity-type":"item","numeric-id":3846669,"id":"Q3846669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$D76CBBE5-CA2F-4964-8B2C-055CD9D680FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc09c309998a4ba90499dba0167e6792905bbb","datavalue":{"value":{"entity-type":"item","numeric-id":1314290,"id":"Q1314290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$80947654-4D4F-4362-ADD3-C4305A0086F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$1716A3B9-C147-4AC2-B1B5-56E13DF2D956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344870$D3D69ADE-7C46-431D-A538-505DA6B85C99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"407fcca623f24caf7a21c93ffdc68c8953823f56","datavalue":{"value":"https://doi.org/10.1007/bf01058530","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344870$B2A68E55-B075-4833-91C6-E93AA1511EF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"477635c22b8843012837a7081c85fce9287be0d1","datavalue":{"value":"W122858738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344870$D977337C-F685-4521-800E-1C7D50AE408C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b827ac7cd65583cd8ee7beb7e96f458ebcdb8fbc","datavalue":{"value":{"amount":"+0.7543144226074219","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":"Q1344870$22501B82-322C-4171-9BB8-DBC5055CAC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091c6dacd6c700e170221b862b9d1437439adab2","datavalue":{"value":{"entity-type":"item","numeric-id":1425193,"id":"Q1425193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ab9f6850317f03ec81b3fdc3851ecc39bd2569","datavalue":{"value":{"amount":"+0.7520366311073303","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":"Q1344870$332C0B24-A91B-4186-BDDA-1D7EBEB9EF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c4fdfad566481fbbfd52bcb7feeede7ab5cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8aea6594e24b726aec1fb05d2d669c4398dd58","datavalue":{"value":{"amount":"+0.7501524090766907","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":"Q1344870$758478B5-5584-47FD-8764-683769FA5000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07c6620f862b982b24b5ac61d328c9538931f54","datavalue":{"value":{"amount":"+0.749004065990448","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":"Q1344870$7F13F650-BED8-485C-B796-DDE18CA9020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07c6620f862b982b24b5ac61d328c9538931f54","datavalue":{"value":{"amount":"+0.749004065990448","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":"Q1344870$116CCF32-7F55-41E5-B9A3-403751F5E4E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meeting strength in substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meeting_strength_in_substructural_logics"}}}}}