{"entities":{"Q853474":{"pageid":855322,"ns":120,"title":"Item:Q853474","lastrevid":49970275,"modified":"2026-01-12T08:58:27Z","type":"item","id":"Q853474","labels":{"en":{"language":"en","value":"Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073338"}},"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":"Q853474$EFD88F5C-06A4-4E6F-9725-B4F7C0FADE6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"211cfe0e3681f5488dc4bf6f7d8a432316ee5200","datavalue":{"value":{"text":"Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853474$269B5B0E-5527-4FFE-AF7F-3AA81F3533A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"872cecb33191e7e385ab361a125032fbce9a6ef7","datavalue":{"value":"1121.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$8A77FE66-EB65-4A3B-9041-13B359814C93","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":"Q853474$19F24E0E-DD28-454F-8302-15AB2C589D86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853474$B16FA9EE-2A76-478E-A841-DAD9A48EE796","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc6470bbb932337e71d828906eb37e5b23da9267","datavalue":{"value":"Using the framework of fuzzy finite automata theory, the author continues earlier work on residuated lattice-valued logic to prove interesting results on an analogue of the standard pumping lemma from classical automata theory. In the process, the author provides a partial solution to a difficult 1952 problem by J. B. Rosser and A. R. Turquette, viz., if there exist many-valued logics beyond the level of predicate logic (it turn out that they do exist), what is the nature of such theories? The author's approach has several deep applications to artificial intelligence techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$087693E3-081C-47BC-9406-5CC7BC8EA835","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$EACAA125-4AA9-4621-B2B7-049A560C2FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$C0D48450-3F92-4B16-B233-5B445B144A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$37E11F98-EA88-47CF-9EDC-63E8BD020FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$B1C97CD4-9372-4644-8ADB-26DD47E4B844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$FE0BBAB5-0157-4B98-ACC9-DEDF5A319FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$29A8FBB4-DA8D-4DCB-8487-37B4692548E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fb44036a0603d8475bc15884ed876193ae0abea","datavalue":{"value":"5073338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$663C7665-45C0-4662-ACF7-DB19E3E6BA8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$CF153749-A6A3-4DA4-AB31-FE517BDD037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$9F01B59C-11E0-4E29-950D-C28355BA7130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eba827caab5a506c1f95fc3ca02d9e553e8d300","datavalue":{"value":"fuzzy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$A291130C-9752-4C14-BD4B-6F7F239D16FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$189AE27B-79CF-41B3-AF44-F4062878BA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q853474$99E51CA6-A40D-470F-884D-6AD8CB618218","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab66a5420d5c70f02dffb47dd1efaf0c8598780","datavalue":{"value":{"entity-type":"item","numeric-id":632211,"id":"Q632211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$67B82443-3F8D-4674-835D-E43FFD8571BA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f2fc3016399ecc63250454e64c3621fca5d8753","datavalue":{"value":"Q62049464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$9BDA5917-9591-420E-9531-EE5743B4A069","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":"Q853474$E0ED7B4B-0E53-499F-8EDF-A5B48EE8D420","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbfdcabbc7a01000d2cd5a2025762c96d889cda7","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.03.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q853474$7438FF69-0FD8-445E-9454-A5F79CD77200","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34bfd783bc9995c9f3b6b1f1199021c3b51fee98","datavalue":{"value":"W2071188100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$138D32DE-5016-4C1C-91E8-680D2500E2EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc89717b6d1943eca12aebd06b90b1f3a6fcc32","datavalue":{"value":{"entity-type":"item","numeric-id":4302844,"id":"Q4302844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$ED34B4E8-EB3E-46CE-B523-5BACEBE60934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9d3af31d60a5e7856555eb3152a175648d4355","datavalue":{"value":{"entity-type":"item","numeric-id":5769534,"id":"Q5769534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$E106EE66-9F8C-4056-99A9-8B925DA164AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf7e5c7d03504edd10b95f6e63ce402d34f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":1145129,"id":"Q1145129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$F3FE3A10-71F1-44A4-B1B0-6665CF1DE9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$DDE330B6-2675-4FD4-AB86-251C3399EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$7A928C4D-0B02-4C4C-9294-BDA1BEF2DC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb6047601974a744b53879e83222ebfbb0e9acc","datavalue":{"value":{"entity-type":"item","numeric-id":5928253,"id":"Q5928253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$AAF21460-91AF-4606-841B-D5CBBA8439F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cc968b4d7eceb6240743bb6ac8a7d125858523","datavalue":{"value":{"entity-type":"item","numeric-id":4791753,"id":"Q4791753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$42A1A6F2-E37D-408D-9038-906E82A918E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$0D1CA2AB-F972-4B3F-A5E0-2AB514B63822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$6899E526-81B8-4CD8-A9C5-814BB67C27B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$0A02F5A1-6F45-407C-8AD1-85E66810BD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c577b0d5c3bbb3e781a495a5170b27d33e77007","datavalue":{"value":{"entity-type":"item","numeric-id":865962,"id":"Q865962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$CDCCA2FA-7CE9-434B-A9C9-712E5420CDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2953dd79e5654ca286705e0654d424b51eff5229","datavalue":{"value":{"entity-type":"item","numeric-id":866002,"id":"Q866002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$9FB7DAEE-D085-4A37-AFDA-8CC67FB6CFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$14BF0780-35C8-4D2C-A033-1F3EB8A124BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32793c5851e041526f0ab0dada810aa9e16a780c","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$1AFE990D-8FE4-487E-A3BB-C67F1B6E83F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$364CDC57-60F2-4014-A7F1-8F01C43C0A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1380f226fbe3c73a439845ed8e8372648100cfe","datavalue":{"value":{"entity-type":"item","numeric-id":5561990,"id":"Q5561990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$1E392FED-5627-45CA-9245-B27C785A595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2e1a5f4414abf4ad9e6432bf9f55e2de73f472","datavalue":{"value":{"entity-type":"item","numeric-id":4103035,"id":"Q4103035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$E37E71FA-90DC-43B1-83E4-3FA107A00EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$0B7E2CDB-140B-4B99-8D4A-72F38B268BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb128008a5642237994ff3b9493ee22b183a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":1313033,"id":"Q1313033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$0EB2FB69-79EB-479F-B8AE-FA6CBE984BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62266ab346274c29d932285110a5da677baeffe6","datavalue":{"value":{"entity-type":"item","numeric-id":5678850,"id":"Q5678850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853474$16E3A0E1-1DA1-43CD-BEDE-CAAAB42A781D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"55c0d9fec2ced5d3b39732f166cc25273d979d18","datavalue":{"value":"journals/fss/Qiu06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$14F2A916-2CB5-4995-B992-AF86CCB0F24B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02161ac72d31fe9aac7926f97a52460840c824d4","datavalue":{"value":"10.1016/J.FSS.2006.03.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853474$C3F1DDF0-E191-49C1-9B2C-A0E917BCF2BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0e17f6d51220fe8befa808fb92d428831a178c","datavalue":{"value":{"entity-type":"item","numeric-id":1037930,"id":"Q1037930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0974421f9c7fc435f13a06677157aee8602d6e02","datavalue":{"value":{"amount":"+0.8486014604568481","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":"Q853474$3B63F40C-4C2A-43DB-B8A0-B2F1D72F7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8acfb9a7e31485a466253e96554c63d6b762a4","datavalue":{"value":{"entity-type":"item","numeric-id":865962,"id":"Q865962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7dcfdaea99b696a9277514d0cc54df942a0326","datavalue":{"value":{"amount":"+0.7988126873970032","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":"Q853474$C71D4268-A170-42D7-9BA2-159A5D3B4154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09992776302732b44eeed8ed2f79dff8e6061b2","datavalue":{"value":{"entity-type":"item","numeric-id":1037929,"id":"Q1037929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00594e6789a38f5d03b916098d6f5bf84f6ec638","datavalue":{"value":{"amount":"+0.7718790769577026","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":"Q853474$7CB9602E-E252-46F9-A259-1A24167EEDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8115d874186266eb5eb396b2b91c2c4ce063a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1759734,"id":"Q1759734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50ec98d596ff46ac03bddfd55ec08becf43c241","datavalue":{"value":{"amount":"+0.7680122256278992","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":"Q853474$71FAB98D-520B-433D-9E4E-BDCAA443CF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187204009677a2e7e242929d64dcb2bcf92343b8","datavalue":{"value":{"entity-type":"item","numeric-id":5941828,"id":"Q5941828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcef23c032de0b8cfadfd4a6beb887a045fe4749","datavalue":{"value":{"amount":"+0.7665231823921204","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":"Q853474$BA239A9E-1FE0-4A66-A7BB-2EA3400D84C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:853474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:853474"}}}}}