{"entities":{"Q1759726":{"pageid":1770468,"ns":120,"title":"Item:Q1759726","lastrevid":69014469,"modified":"2026-04-13T03:44:46Z","type":"item","id":"Q1759726","labels":{"en":{"language":"en","value":"Characterizations of complete residuated lattice-valued finite tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109651"}},"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":"Q1759726$A0ADAFE2-4CE8-44F8-8735-36194B88B40C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"893ef00b403a9983f7de98da26ca2ffc994b3c42","datavalue":{"value":{"text":"Characterizations of complete residuated lattice-valued finite tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1759726$179633BF-C7A9-406B-AB6A-4A1DF2182F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5d2767883c7ba0fbc5556d48379b002aea88ed0","datavalue":{"value":"1253.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759726$F1716F08-E4F7-4273-96A9-6AE1A17CF10E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e6cbddb448417dd211a92bdcffd7140ef0094e","datavalue":{"value":{"entity-type":"item","numeric-id":1701898,"id":"Q1701898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$9B2B0703-32EC-43D8-86C2-59CD186CE5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4d4d2b18835bcc17ae6e91c2ffa01f83f8f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":295482,"id":"Q295482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$95EAD367-4BCF-49B6-98D0-CDF05DD5BA2F","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":"Q1759726$0941C534-0B36-4463-A72F-96CC735A81AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1759726$FF0F9D1C-FD51-4610-9E25-B2D3135F261B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759726$07D02ED2-7EAB-4895-8C23-8DC1FDA516D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a271f99e3bb7cb658cc812b084386e987e5317","datavalue":{"value":"6109651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759726$F83E27A6-294B-4498-BC52-752A5D04077B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$EE99E578-13F6-4DA5-AC91-ABB53E60115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$B87506F4-2F85-4E17-BEE2-2443AC6F5B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$243A9EA8-B859-4619-82B3-F7B907D4FDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27475cf4bbb44513022010d7b214034cad9831d","datavalue":{"value":"\\(L\\)-valued regular tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$30943EB4-899C-465C-A085-A9BA4EB513DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$3B96A649-2800-4880-B9CF-67D4965185FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b1e6e4894a941571983949cbbbb3d6f318e463","datavalue":{"value":"minimization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759726$94216DED-F988-434F-BC97-DCD872366CDE","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":"Q1759726$EA2A43CB-ED68-4338-93CE-17B059B37B6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c03b30f7d978ce9093b9654aed632dc6ad6ac6b","datavalue":{"value":"https://doi.org/10.1016/j.fss.2011.11.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1759726$D29E259F-9B06-43A5-9A11-E30437589F23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86610eff52a88d390c6b23054935b40b01b5816d","datavalue":{"value":"W1986566706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759726$1514F334-074B-4A11-ACFC-0FACC05FC94D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219f6b5b4ce63e56b73b49b60ccb5dbf8aee6de","datavalue":{"value":{"entity-type":"item","numeric-id":2270250,"id":"Q2270250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$0F0C4C4E-02FE-4060-A8F9-5A4E2288126F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$08ABFC5F-F361-4E7B-A6B3-2AED4F4C1289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81a5fa1c97bb665eefd6c36f54f6653a9ef3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1426248,"id":"Q1426248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$47999711-DA94-4F88-A9E8-CC63C6A87A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfbe2e489d8ff6586f2982512a5715a0e85c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":2372277,"id":"Q2372277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$5FA6F217-6A8C-4443-97C4-1A462BE1C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa14683c469036c34a0a8d885fa33bee80e3c6e","datavalue":{"value":{"entity-type":"item","numeric-id":4076799,"id":"Q4076799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$6D3350E3-0A44-4FA0-87A7-C208290A665E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$EDA77416-5883-475A-9F65-0E0FE4011C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$E3809734-6E39-4F1B-9540-28C589AA9230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa26293325ec2308170b1620fd8b5b5488b9dd0d","datavalue":{"value":{"entity-type":"item","numeric-id":865914,"id":"Q865914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$DFD1D7BF-3EFF-45AC-92B7-EE0A3B785880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb772afe7ca582c3a770bf0640259e894a5237a7","datavalue":{"value":{"entity-type":"item","numeric-id":2372275,"id":"Q2372275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$417D1A52-3946-451B-B218-90153547C46C","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":"Q1759726$68946A2E-6C2B-4CF4-B52B-48DB1942371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1cf7633a2264a38105de0f8d3e4297424df3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4520282,"id":"Q4520282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$375D6C5C-EF34-4D25-A217-D61BC141AAF6","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":"Q1759726$832952D5-01C8-4B35-A278-A9D4ED14019D","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":"Q1759726$4A2B2FD7-7333-45A1-BB40-537F50FD0820","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":"Q1759726$79104610-82EA-4919-B77A-1C980F35B843","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":"Q1759726$1B99DA4F-902F-422E-B6AB-13773A00CFC8","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":"Q1759726$5A8F3BB4-B321-45A1-9C0B-69EAB86A28E3","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":"Q1759726$1523AF3B-8821-418C-AED9-78975F018F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3277de0ddcc01b344c69653f57c536ef6d3172c0","datavalue":{"value":{"entity-type":"item","numeric-id":1426246,"id":"Q1426246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$4737CE73-D03E-4971-938F-DE28C9392218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319f11835e555e42031d0e6da658240c6b195923","datavalue":{"value":{"entity-type":"item","numeric-id":853474,"id":"Q853474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$6D1A3EA5-54B8-49CA-AE89-B2B188545172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50eb8282bc706ce082988e18c52f8ef95393c455","datavalue":{"value":{"entity-type":"item","numeric-id":1028906,"id":"Q1028906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$62C4E305-5F91-4191-B2E2-4125BA01E041","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":"Q1759726$F585683A-5A2C-4990-AA6D-36954C83F8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eb2c494e7dd98c709e29393b280b0f3773109a","datavalue":{"value":{"entity-type":"item","numeric-id":983034,"id":"Q983034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$5DFC5941-50B8-4FCD-B1A9-60876A261200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e35c8657e66261cec2907dbb54c36b995c5e25","datavalue":{"value":{"entity-type":"item","numeric-id":1037930,"id":"Q1037930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$961FCC74-4F62-4D05-9847-431D4C7F888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627d01e0ff690f64f1e10e52afe29ca61e1a1074","datavalue":{"value":{"entity-type":"item","numeric-id":1037929,"id":"Q1037929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$3C246C29-1264-4A50-A621-9557127B03F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"867d24022230cab3b4122ce2b618599618fdf132","datavalue":{"value":{"entity-type":"item","numeric-id":2372274,"id":"Q2372274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759726$04566A8D-F441-465F-98C9-6085C1CBC059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffa547dd8aab95857060c46db683b79748669407","datavalue":{"value":"10.1016/J.FSS.2011.11.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759726$2625C50A-482D-4B60-A0F6-704B9F7934F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7600fd772b47f8cf9cf25972eef15769b6107898","datavalue":{"value":{"entity-type":"item","numeric-id":2392561,"id":"Q2392561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a1f69fb59289493557fc73bde63bab519de5b7","datavalue":{"value":{"amount":"+0.9039206504821776","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":"Q1759726$00148382-C37E-469E-BE50-FC8A9CAAE2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d120c335568c69bc7dccfbba1d680f2c23cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4626611,"id":"Q4626611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9779b9ea8ca3d1396b9dd655c0351d375ff311","datavalue":{"value":{"amount":"+0.8531355261802673","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":"Q1759726$BA767C48-6D9A-43D1-ADAA-CB912C5A4BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77911fa9d64326b2c961d84025bcde63fd4c6b9","datavalue":{"value":{"entity-type":"item","numeric-id":4553830,"id":"Q4553830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35aa5fc484a44b4f03e6ce1d73a9b0c5c0ca2e6","datavalue":{"value":{"amount":"+0.8506919741630554","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":"Q1759726$0B46E133-FD0F-4555-86A7-CCDD36BFEACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22643e7264153ee35767065ff36f14f46a64d15b","datavalue":{"value":{"entity-type":"item","numeric-id":1040923,"id":"Q1040923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc5b562a469a91bdecb282a418aac32f72803a7","datavalue":{"value":{"amount":"+0.8208774924278259","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":"Q1759726$97463F8F-A658-4575-877D-2401B172E391","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":"e984d16eb76685c078dacdaa76e610a56ac4f13d","datavalue":{"value":{"amount":"+0.817115068435669","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":"Q1759726$82426B17-7A0B-49F9-96E5-D5C5B73D852F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizations of complete residuated lattice-valued finite tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizations_of_complete_residuated_lattice-valued_finite_tree_automata"}}}}}