{"entities":{"Q4221769":{"pageid":6251370,"ns":120,"title":"Item:Q4221769","lastrevid":41774300,"modified":"2025-05-08T04:30:43Z","type":"item","id":"Q4221769","labels":{"en":{"language":"en","value":"Gaggles, Gentzen and Galois: how to display your favourite substructural logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228625"}},"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":"Q4221769$119D3479-C92A-4A63-8D3A-E2E0F0D36CE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f66040537bc82a6f4fed188b4e836f81747d8408","datavalue":{"value":{"text":"Gaggles, Gentzen and Galois: how to display your favourite substructural logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221769$33BA7B5E-F57C-4F31-ABF9-30B4216AC4DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eee44706e7fecfd427f572ed902e8cf9727a061","datavalue":{"value":"0917.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$799865A6-BBD8-4516-A847-115D15CA1EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221769$CFD329E7-FEF9-4A5A-9A3A-BDDEED77FB84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f17fe6f73043bfd4b99079c382b6d17c4e7b22f","datavalue":{"value":{"time":"+1999-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4221769$533A6C8C-83B3-4616-A8BA-A638B53D2F41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$5575F927-8FCD-42ED-A749-54D307436A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$E0E96FAF-3C8D-4254-9CCB-301B6526C9A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cea2aa5d536e28e420d22123ffa693f3947080e","datavalue":{"value":"1228625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$E7F6D2E7-5F95-40F0-AD1E-CD77B96A8BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f433e772e093878cc5ca720431920859519f12","datavalue":{"value":"display systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221769$D0FA5EB1-5D57-4F16-A56E-8E73DA07FF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ecaa06ee84b0e4fe7fcc506778e0f24101f74f4","datavalue":{"value":"translations of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221769$D43AFBBA-4AEA-43BB-84D1-322DAC27DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d8e6f5a0060af49bedc1544af4e37bbfcbe599","datavalue":{"value":"gaggle theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221769$4839043B-0BCD-42EA-9EDB-593E36BCC2C4","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":"Q4221769$1B724FDF-F8FF-457C-95B2-B27FBF6CFD62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fa4abd2d57096167262cd2c3e69cab57688d144","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.5.669","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221769$BE8F2601-29EA-41A4-90BB-D82037A4B6DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"318383165f38e6af881922077054298b5c16d17a","datavalue":{"value":"W2010987503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$AE5C490A-BB7D-4963-B662-008BA0F74AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3e4501751e283eee7bfdb0ec4083ad2586d96f","datavalue":{"value":"10.1093/JIGPAL/6.5.669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221769$E257F4B1-93BB-4153-A8B6-AAA3DA1E8CAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221769$204C794F-02A8-4830-BEF7-E8228A93EB8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c928a55fec20971e388f0ca289d5e2372e74bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4392660,"id":"Q4392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc169e52ac853f2434768c2f5a137ff06396126","datavalue":{"value":{"amount":"+0.84665835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$771C0D0C-D7EB-4784-B247-7FC39C65BF89","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":"cd4c3ddcd813832f51ffa45d792cd0bca2435a6e","datavalue":{"value":{"amount":"+0.8406042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$DBB0F310-4102-4CC5-8649-F3E07BC1812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1510c2cbdaa0dce7c7aea0638c341b5d4ed6f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2379337,"id":"Q2379337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e66740884e6e167d5c5d9c31f6ccc345b1030d","datavalue":{"value":{"amount":"+0.84023386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$7EC7700B-6FCE-4D2C-9DF7-2330A6515F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c802bd5452a586957a5a64bc2df87884e4e1ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72db8314d199b1dc77d960be0442b8a705a095d","datavalue":{"value":{"amount":"+0.83523315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$78F05D05-12AA-439E-8EC7-657C3B24DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a616398eea8698b8606fdd3ad9ddb3cb3dccb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2699013,"id":"Q2699013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed75c9abebc7a9fabdfae3c4a5b33a74f3de0a8","datavalue":{"value":{"amount":"+0.83115506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$644341A9-0DB9-4644-BEFA-C69AF62A89D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6924ac4195660e8b30b658abcee7b862b809410","datavalue":{"value":{"entity-type":"item","numeric-id":3061277,"id":"Q3061277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a493f114cee1087ccbb5a554ffa652d40ec0142","datavalue":{"value":{"amount":"+0.83081526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$FF1961D7-D31E-4E96-AEAE-ED1D79558225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f959bceddb1b72e27899a577180b98d7338f7","datavalue":{"value":{"entity-type":"item","numeric-id":1902550,"id":"Q1902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0e4516fa7e44d1aaaa79c3d9843817f4ecf444","datavalue":{"value":{"amount":"+0.8293731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$D7F3267A-1DAB-4987-8F52-261FCB3F97F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987476dcff3f8e0370c96e94b452e06ca3de87de","datavalue":{"value":{"entity-type":"item","numeric-id":5869717,"id":"Q5869717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37e0b001d7d38b8e1cb5f4423adfbe57cea1af4","datavalue":{"value":{"amount":"+0.8279396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$12DE93A5-FE9C-47F0-8DF2-40B40B5CF0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404da9a255b410dd78cc53f42a34810423984a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5883175,"id":"Q5883175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104335eb449630ae627c617db116e999410c073a","datavalue":{"value":{"amount":"+0.8279395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$240B496F-5C9D-4349-B387-2053B09F0125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213cfddd2216a55115fd49ce65c64459537cc506","datavalue":{"value":{"amount":"+0.82690895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221769$FECB7AE0-382E-4E49-96A8-5602E34B70CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221769"}}}}}