{"entities":{"Q1697352":{"pageid":1708093,"ns":120,"title":"Item:Q1697352","lastrevid":53024258,"modified":"2026-01-24T01:45:44Z","type":"item","id":"Q1697352","labels":{"en":{"language":"en","value":"Local finiteness in t-norm bimonoids: overlap cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6840680"}},"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":"Q1697352$9C6E5008-2107-430F-8D2C-34CC27A1D73A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0cfe3e83ed040023fbcc5b75d0e84c2abcec05e","datavalue":{"value":{"text":"Local finiteness in t-norm bimonoids: overlap cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697352$405EEFC9-2CFB-4EE9-B322-1BA24D5D0A96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6672f02ed6d11f670e507a702c37ec1929e0209","datavalue":{"value":"1386.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$0DFCF12E-8A94-4C39-A3D5-1C73AEA21399","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":"Q1697352$1511F4D6-390E-4263-B458-BE5BE2D8FD86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f287bdf783f35305500eed531b35fb7e704778e5","datavalue":{"value":{"time":"+2018-02-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":"Q1697352$991157AF-11E8-410C-BFC5-E04BE3A6C70C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ced905fed382c4439cc37abb6150164c6b56a424","datavalue":{"value":"Locally finite bimonoids are relevant in automata theory. In [Inf. Sci. 228, 26--36 (2013; Zbl 1293.03034)], the author considered t-norm based bimonoids where the t-norm is representable as an ordinal sum of continuous Archimedean t-norms.   This paper investigates bimonoids arising from continuous t-norms which are ordinal sums of \u0141ukasiewicz summands. Special classes of interest to the theory of weighted automata are considered. Local finiteness is shown to be incompatible with a certain property involving the overlap of t-norm and t-conorm summands.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$5001C6FE-D18A-48F0-B23B-9AA03D0B01AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$B611B507-2608-43FF-8037-CE2FEC315E5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$F2DDB2C4-E05F-41CB-BB0C-9DED93CFC538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$0D3E46DB-7A22-47AD-A18C-96010EA98272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$A42AD559-DF7E-4881-BF0D-C1BEC45F858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$743995B8-FCF8-470B-9A22-6B0B9D8D5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$98760815-4023-4939-BDCB-AA774287A951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"902bfa25ef8b3812e9bbafa11049fbbf996ef7ba","datavalue":{"value":"6840680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$E5F069A7-403E-476E-BD51-D73B6E4F132F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092e3afdbee8ca4273464b70d7ed62cb4d483891","datavalue":{"value":"local finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$E291E5C4-B118-4C7F-8DFC-2629C127A47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7fa3b8c509388d9927380f7bf66c097952faa3","datavalue":{"value":"bimonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$73A37201-F846-4982-83D1-F9B3727F0885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f17541ad579131c9baf195aa863e331d795373","datavalue":{"value":"t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$6612E5BB-149A-4997-9882-28F4CFB9D33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$D42639B2-F5CE-41D5-A2AB-EC13F8E75490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"317fb0f18d98ab0aa52dbd05a9edba909764952e","datavalue":{"value":"\u0141ukasiewicz t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$15F8022B-71D0-45A9-B3FE-23698B9E6CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5953bacab1a56e63f04b4c6d32795c581b64f0d","datavalue":{"value":"ordinal sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697352$DB9647B6-53C3-4E5C-BCD5-63F364E99E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca250e74c9c65da3879b9c408e4b10edc199f103","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$838CD236-0DDC-46BF-BFB4-892332853A51","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":"Q1697352$F4149CF2-6A05-417F-898D-5669496768F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cb6918e81ba93d53fd3c16fa99208611c4f34dc","datavalue":{"value":"https://doi.org/10.1016/j.fss.2014.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697352$81D8FF1B-200E-43BF-8387-8913BCBD3E3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad01d5a19a89cce54bd5846d82eff0571427f98c","datavalue":{"value":"W2519273294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$30D0F47E-6F63-41A9-9179-91C6BE2FB070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"753d45f5fa206d038df29ab976c6a807b271b292","datavalue":{"value":{"entity-type":"item","numeric-id":5480755,"id":"Q5480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$F2D66BBE-54BA-4D00-9258-4D21483F1798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28511450b638452d6ea421536980d9a65b3e2b35","datavalue":{"value":{"entity-type":"item","numeric-id":845343,"id":"Q845343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$279B253A-553E-4D3F-A817-DD04CE97D32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$71FC61DB-9515-41B7-A709-BBC4AF980346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720c450b4ad216c457cb11236acb6dfd07affd49","datavalue":{"value":{"entity-type":"item","numeric-id":2510162,"id":"Q2510162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$15C5F6CE-E471-4A59-B445-47EF687D1772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$9134C615-BD3A-4E23-8431-E464B71A0AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b019c72e2a9b40eb22515c5027b052d8e982c7","datavalue":{"value":{"entity-type":"item","numeric-id":5812332,"id":"Q5812332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697352$33AC1F12-A2FD-41B6-BEDB-3BBD01B72516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac2e77ab60e03c88d2b9a6bd0b27193415118c1a","datavalue":{"value":"10.1016/J.FSS.2014.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697352$1EA71C9A-8E7D-4401-B40A-FA7CA1AB4707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a3a46688f893cd085fc87582c2b96f5d54e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":2510162,"id":"Q2510162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647d121e2c93ec4519284c53fcbec65a2f081db0","datavalue":{"value":{"amount":"+0.8635218143463135","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":"Q1697352$AC942FF4-E3B1-4A26-872C-7C27B0719B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd49a2fc47b8c629fcaeaf3a28bbd9cf81d042","datavalue":{"value":{"entity-type":"item","numeric-id":6485376,"id":"Q6485376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6810dc5ba985430e02207ac38c5db96436cc0","datavalue":{"value":{"amount":"+0.6952105164527893","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":"Q1697352$57BF5115-8A51-4262-9E50-81B843F9B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb54ecb5610b82dadae2dbcc62c329165834736","datavalue":{"value":{"entity-type":"item","numeric-id":845343,"id":"Q845343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3511db7ad4571f6fbf45b9e0f58685f146c2af","datavalue":{"value":{"amount":"+0.6843830347061157","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":"Q1697352$C2EF1878-DC01-451B-902B-BF1915BE8FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae37d77ed2087acc8894752180dcbd1a0e340a33","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98c9f745477faf918d65f439ba1152e61dc4e6a","datavalue":{"value":{"amount":"+0.6761999130249023","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":"Q1697352$56EEE1BA-8C75-4644-A38F-111FE513C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9447a8980606d5a96f862daf3f74945a7c2cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":5500701,"id":"Q5500701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6c25d65e770095ed9dc7d845edd0d2b4af3b02","datavalue":{"value":{"amount":"+0.670935332775116","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":"Q1697352$2B328932-D89B-4FD4-8D08-1459CBA9085E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1697352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1697352"}}}}}