{"entities":{"Q2856632":{"pageid":2867352,"ns":120,"title":"Item:Q2856632","lastrevid":51855431,"modified":"2026-01-20T09:43:16Z","type":"item","id":"Q2856632","labels":{"en":{"language":"en","value":"The finite model property for semilinear substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220966"}},"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":"Q2856632$0A157806-D59D-450A-8C9F-95F3B7B58AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87f1cb77024207600a3a97790de3b67776f1ac00","datavalue":{"value":{"text":"The finite model property for semilinear substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856632$C9F6EC4A-9974-4A21-A64D-10BA76262425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0775a35f847bb74b4497813f44a3cebb1a33464","datavalue":{"value":"1303.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$6E9524CF-5644-4DDF-B8B7-05AFD925F204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$A639C52B-72FB-45A0-8EBB-5C1669211CBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45da5aadb8800ba43f09f9cebbbe7dc2b44f0a61","datavalue":{"value":{"time":"+2013-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856632$A1FEE5E4-CA8C-4896-9651-55EB9D90F37E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$9B505CF2-D402-4EEC-B58C-089CEBFE6175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$5F044547-5509-4783-992E-61899C50CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$ACD1246E-4E3E-4D13-8B1F-BA8A5164CB61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fc8696c444b05dab62b1da7f4a5e36750187da","datavalue":{"value":"6220966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$9E68A75B-6CD5-4240-A8E5-16CE505D8A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2c79c8682fbe274fc16872eded01e22ad6da24","datavalue":{"value":"fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$F353E1D3-77C0-4EF6-8391-FD29EF80FEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82905d4f26f4e05e0c4181fbe196c437c7c3268","datavalue":{"value":"uninorm logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$E24FB23C-02A4-4FDC-BCEC-5A17D733FA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11207872cc31823b6ef56524d249f2fbcc85fee2","datavalue":{"value":"semilinear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$2410D412-1B50-4E3E-96FC-0A9C3A47B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$18CB78E0-8FE1-4430-A000-6CC269AE2026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$10923A38-1900-4B34-8957-502097CE96AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$41270A71-3427-48C3-A24F-2FA87F4A47E8","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":"Q2856632$82F6FAD2-FD9D-4C9B-97EA-84DD7A1E75B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75a8350381a5f0e961b5bbfae3570a96491bdd1a","datavalue":{"value":"https://doi.org/10.1002/malq.201200032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856632$B2BAE471-4FA3-4E63-8807-FFC63CEFEECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77f3db60cc036583942e9d841b057593e663351","datavalue":{"value":"W1927766982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$86EFF5DD-116F-4D71-8F0F-8749F99C60C7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7258fabcec59dc08a827f0f3775707b7f602ca6a","datavalue":{"value":"Q59306550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$7BF61855-3BB2-4244-A871-0393883158C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$9469E000-9BCF-4E4F-A9F6-AEBBA0B15293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794e881a21233b5e71621321195089beb55f1a52","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$02694535-C2C2-4684-8540-A5A724227E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$42C95E42-0916-4DC0-9915-7461B8C33E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849c86dce3ce9eb1d036250350c0ff9f05d99f39","datavalue":{"value":{"entity-type":"item","numeric-id":1015484,"id":"Q1015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$0B3B3A5B-0D52-4ABF-8ADE-5DE265B2E1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$49AC7BFC-1627-49A5-ADF5-C822BAAACB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$904B5F50-3F74-4AF3-AAA5-01FFDA212F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$6247186F-AEDE-454B-B5E4-0A0D18D1F25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$8DD4B37D-E546-48DA-AF25-2D11C4E7C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$7924EDCC-BF4B-487D-84D6-694A0EC00EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c7441f14cd80867272d212ce0f09fd35cbd33f","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$1A0F4B77-E3FB-407F-8A61-1295F2434745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d12abfae0606d4328f96e653eed2c6b54d3080","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$822D3712-097D-4779-B386-8772949D6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b573b4d85de632d5273b87a25efc67e3f96d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$FEC27507-8971-47AA-98EF-D8A71A44001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc4eafb37e644ed25bcb7019193e0776cea60a7","datavalue":{"value":{"entity-type":"item","numeric-id":938238,"id":"Q938238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$89C64170-1880-47D4-BB76-16A273AD11B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67bc80147844a79f1830886d467082c0280dc66","datavalue":{"value":{"entity-type":"item","numeric-id":412072,"id":"Q412072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$6B2929B8-1421-4604-8ACF-BCA53B0A926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155840193fddbd09b9f4f686f2220e61d02fd710","datavalue":{"value":{"entity-type":"item","numeric-id":3391743,"id":"Q3391743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$06F30371-421B-4D0E-A21C-1AE31E538DAA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fdb62c224bf470a59841c7ba355eba10506c80b8","datavalue":{"value":"journals/mlq/Wang13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$AA8D1434-BF75-4962-9095-13B975A19FF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60cdc4c3c2c1b77609938a7672ecde539508502f","datavalue":{"value":"10.1002/MALQ.201200032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856632$74B111EF-A183-4AFD-915A-E77153A4FB1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$204C32CF-8B24-4308-982D-1524B0D665C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bb49fc19dc117374136392d7f5ea889aa1d0fb1","datavalue":{"value":"Uninorm logics generalize the t-norm-based mathematical fuzzy logics by relaxing the integrality condition for the characterizing residuated lattices. For two such uninorm logics, UL and IUL, studied by \\textit{G. Metcalfe} and \\textit{F. Montagna} [J. Symb. Log. 72, No. 3, 834--864 (2007; Zbl 1139.03017)], and for a certain axiomatic extension of a non-commutative generalization, HpsUL, discussed in [\\textit{G. Metcalfe} et al., Proof theory for fuzzy logics. Dordrecht: Springer (2009; Zbl 1168.03002)], the author proves that these logics do not have the finite model property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856632$AD3D0CB2-9A2F-41CD-A118-2D56E021528D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856632$C5BFA9D6-D79D-4462-9D24-3C1DDDFE1EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167c4baa075be7b5fa33cb2144c2ee1946511ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1991589,"id":"Q1991589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e8723fbf1eedf9088f3a3ba04d09933478ec6","datavalue":{"value":{"amount":"+0.8103439211845398","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":"Q2856632$7A7C4F6A-9822-4102-999D-07DB5C5D53F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9baef6b14855973f0662a6fd69b1af233661f906","datavalue":{"value":{"entity-type":"item","numeric-id":2337882,"id":"Q2337882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838a0ff0fae407692b87aa4eb72fb7af5cc8777b","datavalue":{"value":{"amount":"+0.8093436360359192","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":"Q2856632$19B8E4A9-FD31-4952-AA05-2BA736662C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61465d6691f2125cb4531bf938e94b6535d35345","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f423812a0bc513023c9af3f046f090f1e4d78e4","datavalue":{"value":{"amount":"+0.7795575261116028","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":"Q2856632$0FD46ADA-E15C-4AE6-B279-E83EC05ED7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a4e638f604493a8ac66c0465df2e2f456f9375","datavalue":{"value":{"amount":"+0.7794944047927856","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":"Q2856632$1FEFD241-12A4-4737-B442-992F2A199EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aeed1d5931f35451b0dbf7e3a39ebe89ca03456","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389402f38ac78f0d69b7b4c888981188ef93ef93","datavalue":{"value":{"amount":"+0.7777706980705261","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":"Q2856632$4963973E-9016-467A-A54F-38E77C62B0CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856632"}}}}}