{"entities":{"Q764336":{"pageid":766185,"ns":120,"title":"Item:Q764336","lastrevid":64204713,"modified":"2026-04-11T18:20:06Z","type":"item","id":"Q764336","labels":{"en":{"language":"en","value":"Weighted automata and multi-valued logics over arbitrary bounded lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014321"}},"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":"Q764336$683FCBAD-A624-4E02-BF38-15FB394B8ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"935a4d32c310a97a02ac04bafd8f564c873d5e57","datavalue":{"value":{"text":"Weighted automata and multi-valued logics over arbitrary bounded lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764336$A2BB1AA5-EAE8-4D48-8003-B90E2E2495BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c792d872bf5be185229afca496ebbb9b33a66d5c","datavalue":{"value":"1245.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$6C9B35A5-CD0A-4ABC-A0E0-0B1B8E462F49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$C24CF190-23D3-438E-BD72-3384A265EF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc997ced3fd73a72cbbd0b0d0d4b1a7dc726eef5","datavalue":{"value":{"entity-type":"item","numeric-id":404010,"id":"Q404010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$43933DA7-7B1C-4C17-958F-DA02D49F4087","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$3CE848A2-2C2E-42A5-A4BC-42A24D6BD018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764336$0F0F6C93-A348-43A1-A044-8FB0633E269B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0750f21da2433b857a539fbac1e67872bd267c7","datavalue":{"value":"The paper gives general lattice-valued versions of the fundamental results of Kleene and B\u00fcchi-Elgot-Trakhtenbrot, which show that the languages recognized by automata are exactly the rational languages and, equivalently, the languages definable in monadic second-order logic.  The authors consider the general setting of bi-locally finite strong bimonoids. A bimonoid is a structure \\((A,+,\\cdot,0,1)\\) such that \\((A,+,0)\\) and \\((A,\\cdot,1)\\) are monoids. A bimonoid is said to be strong if the operation \\(+\\) is commutative and \\(a\\cdot 0=0=0\\cdot a\\) for every \\(a\\in A\\). A strong bimonoid is bi-locally finite if for every finite \\(B\\subseteq A\\), the smallest submonoid of \\((A,+,0)\\) and the smallest submonoid of \\((A,\\cdot,1)\\) containing \\(B\\) are finite.  A strong bimonoid in which multiplication distributes over addition is a semiring. Since not all strong bimonoids are semirings, the results of this paper non-trivially generalized the corresponding results in the theory of semiring-weighted automata [\\textit{S. Eilenberg}, Automata, languages, and machines. Vol. A. New York-London: Academic Press (1974; Zbl 0317.94045); \\textit{A. Salomaa} and \\textit{M. Soittola}, Automata-theoretic aspects of formal power series. New York-Heidelberg-Berlin: Springer-Verlag (1978; Zbl 0377.68039); \\textit{W. Kuich} and \\textit{A. Salomaa}, Semirings, automata, languages. Berlin etc.: Springer-Verlag (1986; Zbl 0582.68002); \\textit{J. Berstel} and \\textit{Ch. Reutenauer}, Rational series and their languages. Berlin etc.: Springer-Verlag (1988; Zbl 0668.68005); \\textit{W. Kuich}, ``Semirings and formal power series: their relevance to formal languages and automata'', in: Handbook of formal languages. Vol. 1. Berlin: Springer. 609--677 (1997; Zbl 0866.68057); \\textit{M. Droste} (ed.), \\textit{W. Kuich} (ed.) and \\textit{H. Vogler} (ed.), Handbook of weighted automata. Berlin: Springer (2009; Zbl 1200.68001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$23C3808B-4A01-415F-90B4-1C218FC4911F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$C64BC0AA-A347-492D-A9E7-ED6BB5CCD771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$9504095C-98D7-4AFB-9C8A-2D0F6517D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$A62439CD-4DF3-469E-BE7C-D97D6DC1E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$23ADB320-046F-4751-9E8F-C26C4FA1A03C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6234bbcd194f4b33c091ba8371d24615e602802","datavalue":{"value":"6014321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$8663C5E0-6F01-4BD5-8F5B-214B45320493","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$2158AD6B-A400-4455-90D1-A1DB00812578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$A47D3F1A-774E-4425-92F5-53937A2CAE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$577AC09B-6637-450A-A8F0-534BC7A2B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$7FFB247E-D938-472E-A182-8EDBD12A4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764336$8E64A5E8-2FC4-43A7-A287-26F54DC6528F","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":"Q764336$E9728ECB-0CAC-4491-89AB-973FD4F95F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2e87fa726ca210c1add4de6afcf8ccc0390f634","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q764336$04D3EC3E-2221-41A8-B94E-E005F4133AEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42fd65839207dfbd07f410a865f67f07e01403a2","datavalue":{"value":"W2016928625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$A1693354-2E44-42A0-9F41-37E435AED918","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b15a3917ee0c45e5acd7502f21292398f534ba","datavalue":{"value":{"entity-type":"item","numeric-id":3350779,"id":"Q3350779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$3221BC30-26F6-4D93-BA4B-B1E6989D1B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$A85555B4-2601-4A71-A1F8-F38299E8ED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$66D15720-9EB7-41CE-B5B0-9774D11B898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051a00b466e11d321f3ba238f084b317ed6b87f0","datavalue":{"value":{"entity-type":"item","numeric-id":3637211,"id":"Q3637211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$5298468E-93B1-4979-91BA-CB7635CB30AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123f5e06466310d3f5c71ee2db285a537d74e964","datavalue":{"value":{"entity-type":"item","numeric-id":5434498,"id":"Q5434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$ACF4012F-359D-489E-9745-9E5FA9A775ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$8186CD29-37F8-4D91-BA21-2122783B9984","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":"Q764336$3953375D-4D14-4DAD-A8A5-6B86B29551D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$161B5FBA-DB84-43FD-AFA3-416154C3B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$FEC6874D-7C45-49D2-AEE8-B3606EC7C040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1535fbd612b62589d9a390ea6cba86277672b","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$0CF2D938-38C4-405B-B3DA-08B5053E4665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b75a0f0c6b38b76fcae521215b443dcc0a84c24","datavalue":{"value":{"entity-type":"item","numeric-id":3184677,"id":"Q3184677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$C965696D-C1C7-4331-9E4F-1BB601C3F80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$57652FEE-05C6-4344-9F7E-E6D5AD8D6827","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":"Q764336$CB1C3C8B-1BC3-48DA-9581-5B2BF87857C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$BB32D169-E1D0-471D-91CA-690E4048DB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$ACE15B20-2595-4A3B-A32A-A12047C85029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ecf0e7c74ad29fb23509b3a28a532ae7d4d82d","datavalue":{"value":{"entity-type":"item","numeric-id":927397,"id":"Q927397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$97A44F51-6BAA-4BE3-892A-10E23F179047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$37FA166C-66AF-4D4F-B357-103A3CB6EF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84cb233b9d1e90e52c3729490c166eba2894417","datavalue":{"value":{"entity-type":"item","numeric-id":3536079,"id":"Q3536079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$F14801BE-BF7F-499B-83A0-6C27625517C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$80490E76-5F1A-4588-96CB-5148E148F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4df4df1f429bf7d2fca4dffdbead86f4272ad3","datavalue":{"value":{"entity-type":"item","numeric-id":840767,"id":"Q840767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$A74955A5-4A55-4256-AC52-09ABCFBA2BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$850F7F26-E488-4055-B139-453802455E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cec19ccd9f8b83f764a37a43c83276cd4412640","datavalue":{"value":{"entity-type":"item","numeric-id":3584890,"id":"Q3584890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$766BF8B3-F7DB-42A3-BF81-6B3BEB5913C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af53cad56838a221d1ec96c534dc8d447ac33b19","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$E50B54AA-92F0-4FE4-9776-E280C898B9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$59C0F8CC-5D87-40EB-A3AB-ED723B4689DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$1809E679-C809-4BCF-B43C-95830A648C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dc506e8ef0be80c3e9ef436058d212d0d160b6","datavalue":{"value":{"entity-type":"item","numeric-id":2429722,"id":"Q2429722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$931E248C-56D1-47A9-BFFE-5E868DE45EA6","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":"Q764336$91CD88D4-D535-4E21-8B7D-39A91554D9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$CBB42045-A845-4B4F-B6E1-C3B41B56FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36da588071d067059823d7e571d291ad38c486d","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$E7C7D152-AF49-45FD-A594-9A6B92691609","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":"Q764336$D2FFF634-50C9-4B40-BD13-66607830E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$D5E28737-35D3-4B52-95D1-DEA6E3E0C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$765FE95A-5BA6-4649-BD02-A0A217F49CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e086b04cd98a93e3201884b7bcde29cd2793dc8","datavalue":{"value":{"entity-type":"item","numeric-id":5046355,"id":"Q5046355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$A29611AE-3440-46A3-BB71-E0A475B9C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052a28d54b42471bfe13e4d7e661b089da740662","datavalue":{"value":{"entity-type":"item","numeric-id":3503097,"id":"Q3503097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$850DF4BC-D668-4732-B936-FA821FF60015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d3456f5ff3ad7dee7530cf53236a08ffaec8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$B46E55E8-EE42-4ED1-906E-AA130DDB98ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802fa16dd849b709f8453e66818db125cb4f0db7","datavalue":{"value":{"entity-type":"item","numeric-id":5428243,"id":"Q5428243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$7117B2C1-76F3-423B-8A75-C022975F46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aec100dd463a14d7c0590bcfcb94ababf6d061c","datavalue":{"value":{"entity-type":"item","numeric-id":3519504,"id":"Q3519504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$FF0F8362-E78D-47AB-8ED8-C86469E8CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$5CEC02F9-E79E-496C-83AB-AB349A7B0137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5286393ee0506c8fbc6acd503aebffbdede40555","datavalue":{"value":{"entity-type":"item","numeric-id":3434698,"id":"Q3434698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$B7A104BC-56EC-4073-ACFE-A57C44BD47EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983c6d361b39a1c2df39031e508b7ae6b374912a","datavalue":{"value":{"entity-type":"item","numeric-id":4385527,"id":"Q4385527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$2D9234AA-47F8-46A7-AFBC-072EAA78636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$BB2680A2-2554-48F8-8A37-68F6876BF29A","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":"Q764336$B92DAF65-60E0-4E60-A515-159DEA0E3926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc79d70e5ec570af0d04e1c0dd182525d5c582ad","datavalue":{"value":{"entity-type":"item","numeric-id":598192,"id":"Q598192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$53DE23F4-613D-490A-82C6-BDEAF973B730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6259a0b7a4474ebd303853eb2a09c1ce0297c36f","datavalue":{"value":{"entity-type":"item","numeric-id":2455592,"id":"Q2455592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$0E0741A0-2788-4E7C-85C9-FD69290339E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d33612db486748bbefecd2d59dbaa9456b7dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":2372526,"id":"Q2372526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$CC4F4254-564F-4296-BBF5-D7B46BE328B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3ea9c596ffadafd480b0353105f443a116489d","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$04F4F171-F2CE-4794-ACD4-ABFD96BBF8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d0f30748fd8a3bbebd86505be43529eb35243a","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$3F8279F1-A5FE-4FBF-8577-61D5DBABDB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$A181A6F2-8768-4D1E-ADF5-E709345D81CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$5DCF884B-B40A-4875-B932-5EF254F9A158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$3A8F1657-28D8-446D-A01D-005350D45869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$F1C941D8-3C23-41D8-AF68-9D26016B2779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8b81e2793dbcd71ed24f46356ddc3072a6981c","datavalue":{"value":{"entity-type":"item","numeric-id":5723184,"id":"Q5723184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$615E75D1-6A37-4CEB-A026-892B04683898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea8292c0486845bc8c1080ffe00ff1efd4359ec","datavalue":{"value":{"entity-type":"item","numeric-id":4383325,"id":"Q4383325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$A341EA6C-2FFE-4911-9DDB-0A764130A433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f360b9c0fb115b6ef82f556b230efa6194bf4d94","datavalue":{"value":{"entity-type":"item","numeric-id":1275092,"id":"Q1275092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$DDE1F421-50DC-4259-8C29-5404DD7CFAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f080a7e005cb6af18bf2372422983853dc85ca5a","datavalue":{"value":{"entity-type":"item","numeric-id":1586380,"id":"Q1586380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$DCE884C5-CC32-458A-82F2-4386E450A18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffe1e978d99e2fe2287f54e017548dfc49d814c","datavalue":{"value":{"entity-type":"item","numeric-id":2575078,"id":"Q2575078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764336$BE78878F-70B3-45AB-AAAD-7FF9209E0DC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae3c866fbb46b70b44daad59655f58371151a471","datavalue":{"value":"10.1016/J.TCS.2011.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764336$600EE683-B803-4436-B95D-7EEAC6A9EB64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd571a6640144fee574c08c4f85c5b262e81d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3584890,"id":"Q3584890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe8e149101b8b6de6faf9f64dd68a8097e1c449","datavalue":{"value":{"amount":"+0.9570816159248352","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":"Q764336$67E76E1B-4B80-42F7-A4C9-5B0ADF86DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8712d0e37323260eecc7842a93eeba493d0c6e91","datavalue":{"value":{"entity-type":"item","numeric-id":4980236,"id":"Q4980236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9092149d3aa81a8b781b8008abad4a045340f1","datavalue":{"value":{"amount":"+0.8413138389587402","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":"Q764336$0B19DE07-8F66-4681-BA17-97A62CB0A064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0846ae175b69334926f31411bab53894b7241f7","datavalue":{"value":{"entity-type":"item","numeric-id":5072547,"id":"Q5072547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eba6694d60e56d5eabcb36674353c0c533e3c37","datavalue":{"value":{"amount":"+0.8259406089782715","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":"Q764336$9AD8063A-7101-4442-85BA-9564021365C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fba2e556a03bdf963c21c496d6c1c146f3924ad","datavalue":{"value":{"entity-type":"item","numeric-id":3617045,"id":"Q3617045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9e10cd122adba63d3db569197a2ded9cb64bc5","datavalue":{"value":{"amount":"+0.8171300292015076","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":"Q764336$C0271CA8-178D-4513-9397-611FE61125F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850c7b4ede9753cf4b4b806b0eeef2c6d3d6eea5","datavalue":{"value":{"entity-type":"item","numeric-id":845080,"id":"Q845080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f969bc81ad9e4217964c02c47df72ec4ae865a5","datavalue":{"value":{"amount":"+0.8171296119689941","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":"Q764336$49DB8C4F-56AC-46C4-AC2D-3E8DB6D75999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted automata and multi-valued logics over arbitrary bounded lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weighted_automata_and_multi-valued_logics_over_arbitrary_bounded_lattices"}}}}}