{"entities":{"Q1198409":{"pageid":1209158,"ns":120,"title":"Item:Q1198409","lastrevid":66853302,"modified":"2026-04-12T13:18:03Z","type":"item","id":"Q1198409","labels":{"en":{"language":"en","value":"Modal translations in substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92835"}},"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":"Q1198409$0CE0FEF6-45C3-49AF-B370-7B63B6980601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3341aaba1ed7edc70c96bb38b4d5506291b532","datavalue":{"value":{"text":"Modal translations in substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198409$3F369695-EE49-474A-8A1A-4D8CEC7B9FD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d84b19f228354dad72a6907303514d5543cb60c","datavalue":{"value":"0765.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$48680B1C-9809-4020-9470-BE1A11A23B9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"750d18fb97c4d4abfe295a93722297e17ad7ba20","datavalue":{"value":"10.1007/BF00260931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$C84D60F9-BA09-4E58-ADC2-4C962F147072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$9B308C12-0DFF-4769-BD57-8EAE6FB6FA6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$A189430C-BDED-48F1-B041-37D0BD930A1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1198409$5E173E5C-1F23-4941-B06B-88839399F9B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f85deb844164075206086f7af01685ab50ac7aa","datavalue":{"value":"The G\u00f6del-Tarski translation of the intuitionistic predicate logic into S4 by prefixing \\(\\square\\) to all subformulas is sound and faithful. The author proves a similar result for translations of the intuitionistic versions of linear logic, relevance logic and BCK-logic into their classical S4-analogs. The proof uses analysis of cut-free Gentzen-type derivations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$A4624B32-5D09-4B70-B7DB-25E61FDE14CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$7E587348-20BE-4F05-A554-449F1024F06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$C0501E45-23F2-4792-9729-7662B830FF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$DDBB8120-8D49-4E63-9A2D-F561B0FE307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$77841934-2128-479E-813A-3B8ADC0216EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b3f4e3fa50f3f12a715ae330667f2a3362971fe","datavalue":{"value":"92835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198409$E6D7F19B-50FC-481A-B5EC-4A48D5D9AED1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f2b3dff2bca831f543a879fff0d072bb3b0bbf","datavalue":{"value":"translations of intuitionistic logics into modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$A95563D1-5C68-4A7B-8C42-7930141DD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$8B5A7DDF-7475-48E5-B83A-536902FD1745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$9941831A-EC0A-4449-9E1F-0EFD7BA0FD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e6230853178ae07c963996ccc88c435cbb674e","datavalue":{"value":"BCK-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$D8E76A7E-CDB4-4CCC-A160-C243D5C5F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb37cecbdeab55828c42eb2a9550e3ce2bd901c","datavalue":{"value":"analysis of cut-free Gentzen-type derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198409$1E7E5033-D9E4-4C49-BA17-361921D0B4E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$4D5746D9-4C1E-4492-B6AB-CEA34E5930DE","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":"Q1198409$CECF2780-EA4B-4581-8A4D-94F4D839ACC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$81B07D8B-4A11-4D64-9689-03191139F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$837F56FD-B41E-4A0A-9CB8-B3D7FF523A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633dcb2295357ef20fffeef4c219bcdd0ab20452","datavalue":{"value":{"entity-type":"item","numeric-id":1146659,"id":"Q1146659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$5CFF9968-9E0A-4F31-9BE6-6058219CD865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27be475e2944a8315474eaffebac2a29244cdf07","datavalue":{"value":{"entity-type":"item","numeric-id":911575,"id":"Q911575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$2400D670-64AE-4A18-B704-09C886B7CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae73dea2eef093cdbb0296cffafb6e959e5fe3a","datavalue":{"value":{"entity-type":"item","numeric-id":1104918,"id":"Q1104918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$4B56C487-6D23-4B19-A4FC-42A790DCB259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$DDBD95C6-F526-4EAA-BF84-0A4891C41D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8743f11e85f9ad8fd6d92e63f8d01fdaaa159cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1158407,"id":"Q1158407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$41832116-19DE-48D8-B94E-CFA82C702D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$3F2F6F84-FEC1-4EA4-B104-258E42A86675","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":"Q1198409$F1F26F46-38B4-421D-A58F-16E315BD4996","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":"Q1198409$C6E197FE-3040-48A8-B63F-D09682459EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46469b6f59725c7fdf21e0526600c3d7ae138ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5764365,"id":"Q5764365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$DC0D88D6-D911-4DEE-B679-DDE0EF08F248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9fa29d85b0fa6bb92ccad434bdf75276ac6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":580343,"id":"Q580343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$E21E03BB-96E6-490F-8D57-7083D93E0832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759ce861b6139cc1a107b7b75ca17acf9b6ed8ad","datavalue":{"value":{"entity-type":"item","numeric-id":2277439,"id":"Q2277439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$D37CE529-01B0-4813-AB7D-A796EE6264EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5cbc6e4207291864084d3942a2b63091f8bab1","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$71DEE024-3BC5-482A-B3FA-40CE6005201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e4eb00b712d26a8074d54339d75eeaa1a8ee5","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$294BF106-27A6-48F9-974A-F845AF5A2919","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":"Q1198409$4F2923DD-79B0-4B17-B77B-A58D73A5D96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cab151f8f496acd8f75bac0dd5c4c6d13cb226","datavalue":{"value":{"entity-type":"item","numeric-id":3914964,"id":"Q3914964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$358769AB-80F6-4916-B5E8-1DBE5E7A2984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f776a9049b5d345cc4d1d41aa1d8b454cafc141","datavalue":{"value":{"entity-type":"item","numeric-id":5341748,"id":"Q5341748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$1356EBFA-0006-430A-877C-40BCF63FE6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$BF45AF8A-C0BB-43BC-832E-C368FC3B176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$4C01AEFC-A4E5-42E4-959D-2A0E767C61B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80d12f62d1042fb6dc6c4635da143b6ae731dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$79F60F32-FB23-4740-B9FC-613AC9DD45EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$0A914DD2-D5D2-45C6-8A3A-7CB84097923E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$8719C43C-AB6B-46D2-B229-145ED809182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35364c4e7dfc31e9bbb5a472fb250dc8e10c53d5","datavalue":{"value":{"entity-type":"item","numeric-id":3686698,"id":"Q3686698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$D15AB25E-4F81-48E4-AFED-1029114B5681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$50558B4F-05CD-46BE-93EC-00C8A7B84E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$E4841197-A09C-4D69-B1FD-5B789EF6CFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$282B8356-024C-44CF-A2B3-6B8E0889DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86834ca057fc67c822152bf1315c6920be8217d","datavalue":{"value":{"entity-type":"item","numeric-id":3778023,"id":"Q3778023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$1D577858-20E1-4EE8-9DC4-6511F60B7001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17d219d6d29e150fd29432a905dce63c6017de1","datavalue":{"value":{"entity-type":"item","numeric-id":5581592,"id":"Q5581592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$6CE0FD6E-BED8-4BF9-98C6-3545255F47E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$5175FBC6-9121-4775-B9D1-84612826D2FA","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":"Q1198409$21805871-8006-4058-A387-2C22E5122A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$67EB4409-3BCE-442B-8287-98640DA323A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c5d987060b4bf24dd81c8ab3a4b6e644b081d","datavalue":{"value":{"entity-type":"item","numeric-id":1064316,"id":"Q1064316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$8A2F1D0C-04EA-4501-9942-2671F6AF8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$D325E417-55A5-4ADB-8185-2D5BEBB8F4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$B9723D09-9DF8-4B11-900A-0F64C94F9C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$FE614DE4-3EE8-4022-B263-511E7AA6C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04365e5f39c43785b7c266dab4729b03ad35b07","datavalue":{"value":{"entity-type":"item","numeric-id":689074,"id":"Q689074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$D0DF1036-4761-45DA-B343-64B9179002C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198409$C5883C28-D7B0-4090-856B-EEFD25D9A3E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee00179d1477704645c56d4e974b5cd4bb33452","datavalue":{"value":{"entity-type":"item","numeric-id":5217248,"id":"Q5217248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8e5e3efea40bf7ffaf0f062839e74a2cdd9624","datavalue":{"value":{"amount":"+0.99388605","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":"Q1198409$794BD662-CF48-4333-B71B-1462B471FE55","rank":"normal"},{"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":"74d7579240c81887f3d8be2626167623026b833f","datavalue":{"value":{"amount":"+0.94764906","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":"Q1198409$C1847177-D2E9-419C-AE67-B008F99BFCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1a068d35d562d02668f24ef2466262100aa9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87accca400d1ea382b8a6a78749db29fb555b6c","datavalue":{"value":{"amount":"+0.9308055","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":"Q1198409$F50C6792-A2C8-449B-879C-CD5E5CBD6FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803f762c60624fe76488b6efd9814db5149ecf92","datavalue":{"value":{"entity-type":"item","numeric-id":6156629,"id":"Q6156629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc084cc42781058658b11960a08a3e2034e515a0","datavalue":{"value":{"amount":"+0.9272659","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":"Q1198409$4ADBD4EC-F0B4-4E72-A4E7-6DD3B91D1A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af6e94aee3b44fbcafd7c8dc41fc6c7c2c68a6","datavalue":{"value":{"entity-type":"item","numeric-id":1610677,"id":"Q1610677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9d2312943a0131e6bb7455f603592ef85c96a4","datavalue":{"value":{"amount":"+0.91488755","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":"Q1198409$C8AF2C79-A713-4058-911E-BB9FB04CC07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef614d5036fc3115736ef799c1936d79bba4bf2d","datavalue":{"value":{"amount":"+0.9139133","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":"Q1198409$8C58A643-AF27-4CC6-9327-93034B02B1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a227da79a144cd5262b50d466617d35621eb1353","datavalue":{"value":{"entity-type":"item","numeric-id":1685940,"id":"Q1685940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e554e0b6b08d1a40a1ad7bf7f34633ab6c4a75","datavalue":{"value":{"amount":"+0.9126878","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":"Q1198409$CB347CD1-A92C-465F-8EF3-6926F86FA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d525dd5fb2eca773011eea84e4399dba50f69207","datavalue":{"value":{"entity-type":"item","numeric-id":4596623,"id":"Q4596623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc92464254bcd1b8db4f5b82280e38e9e25d0905","datavalue":{"value":{"amount":"+0.9119057","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":"Q1198409$FC87BED4-82CD-4A2E-BF12-03CE73FF1F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2670fba71f0b788a66d7b3517c95bff3abb2c88","datavalue":{"value":{"entity-type":"item","numeric-id":5741613,"id":"Q5741613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc33694b88c74070e058c6cf8ebb46b25509e362","datavalue":{"value":{"amount":"+0.9081961","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":"Q1198409$BCE8F954-38B4-418D-8A98-4E56A8D2ACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca97a1ab357846331154febf03c16a8ef6480f","datavalue":{"value":{"amount":"+0.90799665","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":"Q1198409$04CAC9F8-7B29-4729-83D7-EE4B83F3A348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal translations in substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_translations_in_substructural_logics"}}}}}