{"entities":{"Q4928772":{"pageid":6958354,"ns":120,"title":"Item:Q4928772","lastrevid":51745928,"modified":"2026-01-19T19:49:37Z","type":"item","id":"Q4928772","labels":{"en":{"language":"en","value":"A Sahlqvist theorem for substructural logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176641"}},"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":"Q4928772$6A07E7C9-5601-4F06-877B-3C75D4230549","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0561c5b8443b8bdfb36e5f5e9f67d21cfe2f40e1","datavalue":{"value":{"text":"A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928772$47177CAF-1603-4379-B0C7-CCC1C6BB3D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f9bfbf9450131e86a6259e0d1a6a40d211bdcc","datavalue":{"value":"1282.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928772$5E8A861D-99C4-49A9-B3C2-8972159921B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6efb26364cc69dd29ff1c1d7e6b8ce5fef5440d","datavalue":{"value":"10.1017/S1755020313000026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928772$C401CFAE-7F05-4D46-BBFB-0C896A9A5709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b302ef45d2faab4be5cd3a672c01a16afc2c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":306838,"id":"Q306838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$0C179BF0-EB87-4E6A-BFA0-4F9DE21A5AE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$0753E80A-23D9-4AE6-88AE-8AB15E7C666B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4e9af00f855d7cecba7c55310c21ccc70c71050","datavalue":{"value":{"time":"+2013-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928772$F9D1FDD9-98AC-45CA-A159-0C740D1A9D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928772$AEAC472E-1140-44C2-B3E9-0EDF5D0B39F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06f1c797d3004aa393fc2c2897240f2b785e1b18","datavalue":{"value":"6176641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928772$27909FC3-1260-4AE6-9FFE-FB7537019EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac708e1379c6cfe62fd9484982f19da4e2246a9","datavalue":{"value":"bi-approximation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$4F8D13A0-8CC4-4627-84E4-AF54D673061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ea3fc3ff62d9da31d7418f8054c6fda6f8ab40","datavalue":{"value":"lattice-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$5C1013A7-9B76-4C34-A1C6-4218955E2864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$6D99BA72-8B00-41BF-8159-8F004D8DFD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce7fb3dd8a1fa067fbcf0977cc4bc10543c739c","datavalue":{"value":"Sahlqvist-van Benthem algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$C0896CC5-0A0D-4E35-9274-D084E4AFAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749aa416ad1c15cb4534102e4cb75cc6bf9478aa","datavalue":{"value":"Sahlqvist theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$C2DBECCB-66D5-4987-B999-854958B756B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$41E12342-D3AD-4995-A4D7-B115B8D7DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d0b7f6d65a0dcdca518d264a201a980e17bfd1","datavalue":{"value":"consistent variable occurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928772$01F6D460-16B5-4056-AB23-FC7678200E8E","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":"Q4928772$122FCF05-0D39-40F7-9D37-84D09CE65A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8051f9c3832ffcebefb3910be5f14f7201178aef","datavalue":{"value":{"entity-type":"item","numeric-id":1420343,"id":"Q1420343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$42D4256A-DBB9-4E12-A0ED-C40D1156668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481a441d538eae7c6a03f622bc0ee221721e0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272119,"id":"Q1272119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$044F4E4A-89DF-4BEB-B166-4C87C644878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ee318e773dd0d5382d4bffb9a8fa7de331f962","datavalue":{"value":{"entity-type":"item","numeric-id":1368914,"id":"Q1368914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$1B106A61-14A5-4A3C-A8C3-D5E25BFF3400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$C214ED12-9872-40FC-82FC-603291502D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$3B3A813D-EBD5-4E3A-B91D-A519C9B04039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$FA15F253-14FE-49E1-9252-989FC7AF5F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$2C2616AE-04B3-469A-88D8-3DC3E0A64722","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":"Q4928772$DED8EC78-D8AF-4804-AEA3-A7AA25EE17E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85be03f55bdb3c7c30c7fdf17ccfd2235ddf6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$79C5A153-0811-4261-842B-059597ECDC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$F915147F-63F7-4904-87D9-1E705C503B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$C22C16BD-1DB4-4F20-A743-D1DEFDC61529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d201ede5ca679cfc81b78a00904975105b96557","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$BA1EEB3B-B61C-4BB9-BDCE-C2AAE6345740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$C5D6BB47-1502-4925-B59E-7DC36A51645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b180a8e8531cfbfff84c09c9661e83fc404d4","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$D05D78C8-5C95-4E84-82CF-02B7A17B9385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$4976F6E5-EC2A-47D4-99A0-36C03B2F3C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$8CAA5C8C-65A0-408B-A0C8-0858BE7AFAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928772$45DEF535-A2F4-46B1-9B76-A4BF12F1EA41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9118e70e79b00db6520cc85e4bac3fe24f66994e","datavalue":{"value":{"entity-type":"item","numeric-id":1670491,"id":"Q1670491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da442e916b890f54e4f57e6c695ec85b56879d5b","datavalue":{"value":{"amount":"+0.737622082233429","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":"Q4928772$EEA43CD9-BD70-4E1A-9464-519EEA58111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d1a642b79fca45fac6af097dd12ef0d2614bc","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002cd3e4ca5ea45397c22013593e9429e8d5fec3","datavalue":{"value":{"amount":"+0.7349774241447449","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":"Q4928772$EDCC0DAA-7E89-45A9-99BB-25A36C8CB6B8","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":"72e778aa7da92db020cbd50384905eea4c84c707","datavalue":{"value":{"amount":"+0.7343482971191406","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":"Q4928772$4CE0BE12-6D76-4811-98B2-CB2E255E80D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ae2789436b5bbb0077aa29895bba51a141151c","datavalue":{"value":{"entity-type":"item","numeric-id":2870155,"id":"Q2870155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2201c25f970f441f9162934a3851330550c93b56","datavalue":{"value":{"amount":"+0.7326534986495972","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":"Q4928772$4CFD2B7A-D9CA-46CA-8473-9D3BEED99A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78478b8769b76feb7ae990961e17dc2fa8626324","datavalue":{"value":{"entity-type":"item","numeric-id":3510441,"id":"Q3510441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a41cf046768e0aafe81d8c33d695dcfdd30363b","datavalue":{"value":{"amount":"+0.7291717529296875","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":"Q4928772$3C5C5998-2258-4AF7-9FC8-4246DF07D97A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928772"}}}}}