{"entities":{"Q2219166":{"pageid":2229909,"ns":120,"title":"Item:Q2219166","lastrevid":71588004,"modified":"2026-04-13T23:14:48Z","type":"item","id":"Q2219166","labels":{"en":{"language":"en","value":"A Lindstr\u00f6m theorem in many-valued modal logic over a finite MTL-chain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298024"}},"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":"Q2219166$524253B0-2913-45B0-A93C-C4F91149E63E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c7b5e63129f8a64fe51a57d490ed7bf6df53f5","datavalue":{"value":{"text":"A Lindstr\u00f6m theorem in many-valued modal logic over a finite MTL-chain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219166$320D5434-E56B-4ED2-BD59-B656F5FDD924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"156386691480cfe3745205953dd4f5a5301fe057","datavalue":{"value":"1452.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$CA8C6DFD-2DDE-49A1-A55D-D4E98A4E3D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$90889E18-80BF-4B90-9808-645F5A417EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$678AA894-7D76-4ABE-A27A-3BF94928E5A5","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":"Q2219166$FDB83C77-0B87-4AC3-AF4F-A133FA73DDD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219166$3605715D-3AB8-4E29-B861-7C6BB7B58A33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0ca1be9b7361e8e8a1d66bd25829aed6e41f93","datavalue":{"value":"https://espace.library.uq.edu.au/view/UQ:41b4dd2/UQ41b4dd2_OA.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219166$715F1424-C4EC-4B19-8D2E-A24E7A988B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$07E3D5DB-E753-4F71-AA49-91AC05841C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$FC2FD812-3F95-4D1C-B364-C07C578FF5B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d1ec1296b9ec51e23f291996144bed5d2a0d12d","datavalue":{"value":"7298024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$4C9BF05B-6F27-478D-9E23-A29874714C78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e169b8aa95cd0689e50a9ceb223354763fc30719","datavalue":{"value":"many-valued modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$60898F1C-4371-4FAA-BE21-39AE2C9A25EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$110C3366-E9AB-4071-9CCD-2A21E81B430C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd7f5f103347ed49cfdd30391b7b75152650138","datavalue":{"value":"MTL-chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$65636CC2-EC9E-4117-BEE8-B1A6CEF95B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$5FBCF058-6816-4A66-8D31-AFF5A4FBA2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$75B0C81C-267A-415A-B9BB-7B93255B2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3114c8e2d0e26c2dc056ff6cf4eed5d18dc13fe3","datavalue":{"value":"Lindstr\u00f6m theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219166$C860A284-6B6A-429E-AFF1-141B6FC724C9","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":"Q2219166$9ACB94BF-5DCC-4431-A324-CB88894031D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba7a1fa50dd5070b8f4719f262673cad5411a257","datavalue":{"value":"W2921681629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$6B624BC1-E837-4393-B129-516618F659DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$3DD435E4-5CBA-4F50-B275-EC8930453F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$6BCAE450-9A52-4E9A-B454-05B59B32360B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d805908acb8b94b66aaa9d9cf61db22d9eaefc","datavalue":{"value":{"entity-type":"item","numeric-id":2492309,"id":"Q2492309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$678631AD-AA8C-45D5-BD7A-DCA026B12E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebaee7c23bbdb4586c8c27830f2c0c8154d7b10","datavalue":{"value":{"entity-type":"item","numeric-id":2820688,"id":"Q2820688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$8FB6A6D4-B58D-4069-97E5-60EC5E3D03CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$7F9A8377-7C34-42E1-A981-5B3439ACAE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fca1aa145c954105ccc69ed1e2873dd9a5c86d","datavalue":{"value":{"entity-type":"item","numeric-id":2361346,"id":"Q2361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$9040AE08-CEF9-4F54-A87D-002ABB79AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$D574A825-F2BD-4189-B26D-82AF47262ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$B04688B7-4ECE-4917-8FA1-7271F6E609EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846a3f9f5005a36413ab4f05d0c0bba23e808886","datavalue":{"value":{"entity-type":"item","numeric-id":5251374,"id":"Q5251374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$88116851-6545-487D-8631-618CF12D2195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d1f8876a0e638b43f8b67431189b148d6a3209","datavalue":{"value":{"entity-type":"item","numeric-id":4902311,"id":"Q4902311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$44E7E7C4-B852-4C40-9981-DDDA216B81FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9362a769c1a25908d67e0982198c1933f9bcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4583683,"id":"Q4583683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$3BE5C66F-2E7F-4597-A80C-113645F878A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95766a8ec8ce1a97dfd392ae9bd9ad8f693156a8","datavalue":{"value":{"entity-type":"item","numeric-id":5172131,"id":"Q5172131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$4AA91573-BE72-4E09-A1DF-ED038AD37C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1dc5372688f51dba15cc7d762bc3a4571b68bd","datavalue":{"value":{"entity-type":"item","numeric-id":1935367,"id":"Q1935367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$BCB8DDED-6F33-458F-B894-466BF07C3FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8a0add2ae226bd078b2e0b70ee523ce1e4a54a","datavalue":{"value":{"entity-type":"item","numeric-id":4644543,"id":"Q4644543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$05FF3F82-AA79-4964-A092-043CC69FF019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32364f26b927f8643204c6652109becb85f1292f","datavalue":{"value":{"entity-type":"item","numeric-id":2392014,"id":"Q2392014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$4B27552F-395B-45C9-824A-5F2B5AB5BAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfd5e3557d1211c397f41b1440147daf2f150b8","datavalue":{"value":{"entity-type":"item","numeric-id":5311054,"id":"Q5311054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$88276897-F20F-40C3-AEE0-6007FF44DC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$52D16977-5B96-4C57-8EE2-6A96AB008185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$6969F4B2-F2FB-43F8-B663-ED260464A11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef542449e85c39def3ef2fa5d9cae80c238d9","datavalue":{"value":{"entity-type":"item","numeric-id":5111213,"id":"Q5111213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$64EA6721-A5FA-4F78-A505-70396A0D1114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$F21B567C-5A53-4430-9BBA-838C01E36035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece188b1590616bdd9fb098c5fbc7b67e626a41a","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$567A81BE-DEE5-4E5B-9557-BC40EF9DDBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2ff5dadfce4fed6e539da5c8d2970417c93391","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$9976F56F-020A-4658-9046-D7ADFB53CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605f622f3a12725668bf044b690b4b1ff40ed061","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$851934D9-199D-4D18-B4C7-B92407840403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0f10026eb1d1b29d367b8bb2d15f247247309","datavalue":{"value":{"entity-type":"item","numeric-id":2987054,"id":"Q2987054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$3E2C258C-AF84-4092-9BFE-026E9EEC207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c978ee8a631aace02221941bdde51958b115b0","datavalue":{"value":{"entity-type":"item","numeric-id":1790599,"id":"Q1790599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219166$229458B3-CC7E-4A0A-A1D8-DB49FBF34847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da5ca45c49e77d5917013719a4f16dcd92428cdc","datavalue":{"value":"10.1016/J.FSS.2019.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219166$C2BE252A-064B-4453-9B07-6FA3B3225968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514d89b36656f6169aafbaee9ebcf9ab1541de21","datavalue":{"value":{"amount":"+0.7876571416854858","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":"Q2219166$DBD5C490-10E8-4C9A-8762-C553782151B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c334aeaead719f05492df4fa2970c1ab79a52c","datavalue":{"value":{"entity-type":"item","numeric-id":2220488,"id":"Q2220488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f7c3cd207f1de9e48f61fe4299ee486488f999","datavalue":{"value":{"amount":"+0.7860952615737915","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":"Q2219166$E91E23B7-6643-400E-9A81-AB0542FAE80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3adbd202cfeb46e618634cdd86432fa842b8b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5134275,"id":"Q5134275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd0c423000e8eac67d5202b44d5af4311829fd6","datavalue":{"value":{"amount":"+0.7829864025115967","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":"Q2219166$28792764-7F05-48A5-9F38-40E8F4593706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb80659977aec99804b30d76ea5cdbb50cdf15","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669c1adbac83c1691e6898f603adff7dc1b45716","datavalue":{"value":{"amount":"+0.7781151533126831","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":"Q2219166$29CBDCCF-E0ED-4AF3-BE47-B59E0C6DDF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bcbf5ab1b4ee1d90196c628857cae1fe2f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c34dc271d6093443ec03cac2d34a812b4ea8aaa","datavalue":{"value":{"amount":"+0.7780752182006836","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":"Q2219166$63861EC5-FF91-4972-BC8F-CCB1C3332602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lindstr\u00f6m theorem in many-valued modal logic over a finite MTL-chain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Lindstr%C3%B6m_theorem_in_many-valued_modal_logic_over_a_finite_MTL-chain"}}}}}