{"entities":{"Q5718685":{"pageid":7748239,"ns":120,"title":"Item:Q5718685","lastrevid":48632038,"modified":"2026-01-05T10:58:54Z","type":"item","id":"Q5718685","labels":{"en":{"language":"en","value":"Canonical extensions and relational completeness of some substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247443"}},"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":"Q5718685$87905C38-011D-4B79-9C77-1391218BB41B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57352d4fdbacab16dec9d72afe04f43626f8dd46","datavalue":{"value":{"text":"Canonical extensions and relational completeness of some substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718685$AD2E4662-7A19-4234-968B-E9E1910B47AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b9e39a7b3673bc99e7ff6b49525ed906abbed63","datavalue":{"value":"1101.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$FD53B8A4-1702-42F1-9FCC-9E68FF59D2E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$C82E7C85-2473-4CD6-B197-656EA5427FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$ED5D9D3A-F557-484C-BD40-9C50B0A86B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$BFFD39EE-C746-4E5E-B7DC-B4043E9FE465","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$63BC419A-B215-4C2E-A6D6-D7763C4D1849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-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":"Q5718685$72345974-2C30-49BA-A250-2AE1F9D949DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$795C6C97-BB5E-40C8-8532-D4A210D3A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$51D813DB-E6D9-4D77-9D2E-E926713628A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$310856D0-4BE4-4CE1-AFB7-C4E2A4BFE33D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f303fbdf95fbccf94161d0d0249ac3d716168a","datavalue":{"value":"2247443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$7FB48C16-9DE9-4200-8AA6-13E1CF66F82F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d8c05e859c2d992426e971b18b01a746d772c0","datavalue":{"value":"completion of a poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$92067ED4-9209-4777-80E5-13825E9E7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$EB127F44-398F-42F9-9CE8-8950787F1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e1c1195420a81e55aca64771d7605bc02a95888","datavalue":{"value":"perfect lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$C1B07095-93FA-42E0-98FA-92958948A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7a00117f4fef8b7e8a97bb18fcbec5cc1ae4d6c","datavalue":{"value":"Dedekind-Mac Neille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$3088A8EF-2478-4ECE-9E65-4BEDF030ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fe6f8c33bd0c983a18b7441826e53c916fbfce","datavalue":{"value":"residuated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$31A8478B-8426-4876-8211-BD3923DE1ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718685$CBD25D1B-7550-4082-B6FD-D250484373D7","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":"Q5718685$CB8D0995-D1C1-4288-8F6C-5559B55AE468","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7025d890f32d07581e588deb85db807e8892e92d","datavalue":{"value":"https://doi.org/10.2178/jsl/1122038911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718685$5F060AA0-BCA0-43C8-BFD5-CA3E73113FC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35136ec834bfdf55faff24a163d5c327fc1e1e76","datavalue":{"value":"W1972417425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$4393DEA3-6620-4C01-90DC-6F06788372C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2a357531552139792e783fb9476b61ce0c4478","datavalue":{"value":{"entity-type":"item","numeric-id":5954708,"id":"Q5954708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$FC2856DD-C443-4EF8-92DD-1D7496AAEE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199c98bb51534348ce438ba75bdf1c47c017e797","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$512B735E-2F74-4A59-947E-D09F079F2FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$02CB23D1-7725-4A7B-BF37-D906931507F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$08BC438F-5BF8-47C5-B87D-AF3CDC6411A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad2bdd319b4a133d3917ef0cacdcfb0f2b72513","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$30220095-AFE9-47B2-8087-3F1F342A3FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c22639056cd296f13b201208d22065ed087c3a","datavalue":{"value":{"entity-type":"item","numeric-id":705530,"id":"Q705530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$4F43D17C-E363-4119-9211-0CA46CBB11C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$2AFB68B0-D472-4E19-B743-373132EDA522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$2438DF0D-93C5-42E0-94FF-F779EC55DCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$9A30FEBF-15BC-4E30-AD9C-A5CFCF7E90A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cf1f7cf0461dc347c4976ffc8e3da8d98a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718685$1A5C0C7B-2880-45DF-AC5A-17B464FFC4BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fe56dd28410e6034efb778ca030568655220190","datavalue":{"value":"10.2178/JSL/1122038911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718685$8A984B54-68C2-41A7-855B-2949D0D48828","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff234e36379196d2b7dd4b540dee6ffedbf8c390","datavalue":{"value":{"entity-type":"item","numeric-id":3460620,"id":"Q3460620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429b2dc9e572fb131e2c6dcbde445ef7c19ce495","datavalue":{"value":{"amount":"+0.840538740158081","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":"Q5718685$EBA7B3B5-4D5F-437B-8F62-6E9B711A50F2","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":"90f001e643a1626aba7adfe20c556f0e41d4fabe","datavalue":{"value":{"amount":"+0.8171436190605164","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":"Q5718685$CE8DCFEE-FAC8-41CA-AD25-5407FAE5541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0236726feff592b9a314898593175d227081cca5","datavalue":{"value":{"entity-type":"item","numeric-id":2409626,"id":"Q2409626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55e7a8192d1205543a3f08b2b95eff062326966","datavalue":{"value":{"amount":"+0.8130193948745728","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":"Q5718685$E6BA7365-584C-4322-B620-0B28EE2D7132","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":"a42ab6148dd09a9b577b51b05e6e1a5e321218aa","datavalue":{"value":{"amount":"+0.8004546761512756","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":"Q5718685$86310F62-80FE-4DC3-9E18-1670183DF230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da190214abbc81c2fe832754b98c55fb689836","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42ab6148dd09a9b577b51b05e6e1a5e321218aa","datavalue":{"value":{"amount":"+0.8004546761512756","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":"Q5718685$7453E26D-74F6-4AFB-900A-1376BC9344C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718685"}}}}}