{"entities":{"Q698829":{"pageid":700678,"ns":120,"title":"Item:Q698829","lastrevid":63607164,"modified":"2026-04-11T14:18:25Z","type":"item","id":"Q698829","labels":{"en":{"language":"en","value":"Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1809991"}},"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":"Q698829$F201AF3F-A6B9-47CC-A5B2-D69FD6F9DE5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426d9dbe4956f78f056623210b5e2b6328ca2ace","datavalue":{"value":{"text":"Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698829$8DE3876C-4EEC-4F98-B49C-7456E4623213","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e37d4d2c48dce6008854fb0fc5cf7a8cc298ac","datavalue":{"value":"1001.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$4432889D-33EB-4728-8D9C-492DAE4B27D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e61032bda97ba364a1d4dccc412c804c32d4ccc","datavalue":{"value":"10.1016/S0165-0114(01)00164-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$05F55624-E2A0-430F-B4B3-CD6C119D31E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$4410E45D-BE49-459F-9E1A-175753856D78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$531F10DA-0426-4B6F-989F-9DD55DD15F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bffdc8b8d5e9929ac7ba3da2bea94b5f4ddd4baf","datavalue":{"value":{"time":"+2002-09-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":"Q698829$BC92E964-07CA-40E6-99E5-7E77DD0261FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$D4921E69-BF5C-4E79-A447-00D85E11E2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$C0DA75A0-80D2-4E5F-9507-60A34661BEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$FD0550E7-7912-410C-BCF1-5084F80E3D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70844cdcd2fa2ff2a23d77e444ded28097daa2cc","datavalue":{"value":"1809991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$11C086BF-C564-424F-AF3E-381956C47149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4cb19b4771d952287388e20c6d9dd440a8face7","datavalue":{"value":"semantics of sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$0BB2A0AA-B0D4-42BC-B872-D1FBB663E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030c198d03c350a19a1f3010c29bb379ecd6608c","datavalue":{"value":"truth lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$A1AF6DE6-FBA1-49A9-9765-7A1DB932D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fd241aea53a8dc5f28f29a59be398872b5171b","datavalue":{"value":"sequent consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$B44AB36A-B14B-4E98-A18E-9843FECA86FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c01acf821a65e0d97413a190762733d37714095","datavalue":{"value":"weak structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$D24157C2-3619-4766-815D-D078238DB141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$153E5979-BC21-4313-B803-2A81F810C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q698829$57C19900-9DCC-4674-B129-2D1F714081A7","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":"Q698829$C4DC3F29-F0C9-4057-8E41-336C554785E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$30EDDB94-A339-42C9-9CEE-8498E05CACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$BC0B81F4-7C64-4052-A55C-7DC442770BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fe42c316d2384054c5067b1c186538c95162ec","datavalue":{"value":{"entity-type":"item","numeric-id":1313085,"id":"Q1313085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$60C7ED69-3D15-44E7-88AE-CCB564B87006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ea96e0eef7ec43602077899dd74e624fab0591","datavalue":{"value":{"entity-type":"item","numeric-id":3666849,"id":"Q3666849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$73E0EE09-CF9B-44F7-8909-FB498B37ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$253B35C6-58B7-447C-B3CE-2AB3C53CF17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$24EEF937-EFE6-4FBE-9E29-757405D2098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$6B689295-8EC4-43C5-8D6A-1F3F54E8586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$3AE9EFF6-FFE2-4895-8C63-56FC8FBE1873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3f63bfa85c45df0ff605f48c9475b0e5306bc7","datavalue":{"value":{"entity-type":"item","numeric-id":759001,"id":"Q759001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$F3ABBA18-B3A5-4835-B816-926B71DF6963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$BDC8B862-7154-470A-8268-8CB0FCB83456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4278bbf7c3a34ba16400403dc2fb40591639b3","datavalue":{"value":{"entity-type":"item","numeric-id":3877681,"id":"Q3877681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$EE733D4B-4E60-451E-AA24-A73EADE55B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$5584FF35-E1B1-45F0-9C10-93703F2F7DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f563d29caa2b52dd93c5aca64dc4fb2a0b106ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1184069,"id":"Q1184069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$1E166C86-983C-4C03-830B-D7806A1FEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$446B7810-965D-4220-BF4D-834132724741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$5D60DBCF-5D94-4A69-ABDC-99DCE00B483C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf353a2523f11425ffb25e836f9f766a59af5a87","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$8DF01DF0-ED76-4089-80E7-6E5780E74B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bdcdba08aee8f4dc017ac9e1e9f8edc054d353d","datavalue":{"value":{"entity-type":"item","numeric-id":5947553,"id":"Q5947553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$193D01E3-A23A-45D7-A7B9-F52D61800C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$ACE4FBE8-9C32-498E-AACF-269C8F53B9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$33FE53BF-FD2F-4EB5-A1E5-211422BD9557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56644985cf57e9ed0ff4fbd8710db0680e92663b","datavalue":{"value":{"entity-type":"item","numeric-id":1894594,"id":"Q1894594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$DF548FC7-3A65-49D8-98A6-26D98A86B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dac6d27982dd2016e9a5c32c0a4782053372d0","datavalue":{"value":{"entity-type":"item","numeric-id":3813818,"id":"Q3813818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$592432BA-DC6F-4394-A092-10504E6C367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$72EDCC3D-6775-4A99-9346-EEDEFEAB2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b8767f707ff0217cca532351a31f644e48f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4196406,"id":"Q4196406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698829$8D8AE47C-B037-4920-A9AF-4BA0E0C1301C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"126f74dfebe78bb383deb689ae28b12e23611798","datavalue":{"value":"https://doi.org/10.1016/s0165-0114(01)00164-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q698829$94F4DD41-BE2C-42D9-9305-2180536709B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab016b0be311bfc112accfa5d2ed73dca93cc34","datavalue":{"value":"W2083159371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$BBCF393C-280C-4FA7-AE0E-6B94606FF218","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f5c4d1af8bf68a9a6baae3a8c0aeaecce00c48e","datavalue":{"value":"Q127877744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698829$98DB541B-B0FB-41E5-97F6-33C3154F7CCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f71fde8d84caf637ef282e113d2e5806dddb02","datavalue":{"value":{"entity-type":"item","numeric-id":5947553,"id":"Q5947553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28d127b7b008d7640e9c306967baf84788114eb","datavalue":{"value":{"amount":"+0.866136372089386","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":"Q698829$6CCAE6E1-ADE9-4D02-9FF1-D087A9F8F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a8947d7fde4a07abf53a3757bbdfb4c30c9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1931305,"id":"Q1931305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fa285eeae713e3f5c065640b5fc822ff466855","datavalue":{"value":{"amount":"+0.7924326062202454","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":"Q698829$5EBA7B6B-387C-4547-BA0D-A325F4DF30DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cd0a830c556e55eb12f2f9fd5eb3365dcc211f","datavalue":{"value":{"entity-type":"item","numeric-id":3021911,"id":"Q3021911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76033ebaf0dc4f8d3850ba92c12ccb521eabd58","datavalue":{"value":{"amount":"+0.760593593120575","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":"Q698829$FC003C8C-0A56-4550-95BD-4F83E62A981D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7980a6c375ad3602dc8007f79b46adda1515930","datavalue":{"value":{"entity-type":"item","numeric-id":4660202,"id":"Q4660202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f22a4ebb3ca7ee4f3beedb14513c3260380a7e6","datavalue":{"value":{"amount":"+0.7407800555229187","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":"Q698829$138A1B39-6A82-4466-8A4D-C7481444CFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46885de638958bd90983c7cd839e5b53f09da5","datavalue":{"value":{"entity-type":"item","numeric-id":1407529,"id":"Q1407529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae32b3af0c8798dc8b1116d2997dbae3c58b96c8","datavalue":{"value":{"amount":"+0.7360783815383911","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":"Q698829$FF2A6E77-6E66-4E7E-8A14-26DD3DE1F5D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Not_necessarily_distributive_fuzzy_semantics_for_multiple-conclusion_sequent_calculi_with_weak_structural_rules"}}}}}