{"entities":{"Q498397":{"pageid":500164,"ns":120,"title":"Item:Q498397","lastrevid":62419737,"modified":"2026-04-11T05:58:11Z","type":"item","id":"Q498397","labels":{"en":{"language":"en","value":"The dual equivalence of equations and coequations for automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485810"}},"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":"Q498397$06EAC2CA-FE69-4C9A-BA41-FD60198914D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"162d32195904cd997248562a5278effd4aa03b0c","datavalue":{"value":{"text":"The dual equivalence of equations and coequations for automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498397$3435AE6B-3FCD-44E3-B7F5-DF804C890A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1418217d75e385d5a2e14d7b6b28d9cbe1b8075","datavalue":{"value":"1333.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$2A04EE76-5DF6-4D40-826E-ABF69BD7D8D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"083dc26de2f7806eac2f247102cea5b452b1ac8c","datavalue":{"value":{"entity-type":"item","numeric-id":480804,"id":"Q480804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$5741AFD6-7940-4801-8018-5E689656C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd49e2382b00cb24f6da15a1d4cdbe73e2787ec","datavalue":{"value":{"entity-type":"item","numeric-id":265784,"id":"Q265784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$A958EFDF-12BA-471F-BCB1-D0ADFF25CC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$E30C8C95-CEC4-4160-9801-5B6778D9BE6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$A7C3E246-E37A-403F-A5C5-C147AFA94CB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80128406092f538ae4a71c1daa4ccc6a1b36048e","datavalue":{"value":{"time":"+2015-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498397$E1C805B6-D119-48ED-AA3B-897069B0B91D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7198656cf341a29b1d7cddbd4ee6a39102ef47ab","datavalue":{"value":"This article investigates deterministic (potentially infinite-state) automata from a category-theoretic perspective. The basis of each automaton, its transition system, is an algebra and a co-algebra. Adding an initial state preserves the algebra structure, but adding a set of final states only preserves the co-algebra structure. In the following, let \\(A = (Q, \\Sigma, \\delta)\\) be a transition system with (potentially infinite) sets \\(Q\\) and \\(\\Sigma\\) and transition function \\(\\delta : Q \\times \\Sigma \\to Q\\). Each choice \\(q \\in Q\\) of an initial state determines a unique homomorphism \\(h_q : \\Sigma^* \\to Q\\), namely the one that given an input \\(w \\in \\Sigma^*\\) assigns the state reached after reading \\(w\\) starting from \\(q\\) in the transition system \\(A\\). A set \\(E\\) of equations for \\(A\\) is defined to be a bisimulation equivalence \\(E\\) on \\(\\Sigma^*\\) (i.e., an equivalence such that for every \\((v, w) \\in E\\) also \\((v\\sigma, w\\sigma) \\in E\\) for all \\(\\sigma \\in \\Sigma\\)) such that \\(h_q(v) = h_q(w)\\) for all \\((v, w) \\in E\\) and \\(q \\in Q\\). In other words, if the words \\(v\\) and \\(w\\) are in relation, then no matter at which initial state we start we need to reach the same state processing \\(v\\) and \\(w\\). The transition structure \\(\\operatorname{free}(A)\\) is the product of the automata \\((A_q)_{q \\in Q}\\), where \\(A_q\\) is the transition structure \\(A\\) together with the initial state \\(q\\), factored by the kernel \\(K\\) of its reachability map. It is demonstrated that the kernel \\(K\\) is the largest set of equations for \\(A\\). Similarly, a set of co-equations is a subautomaton of the automaton of right languages such that the right language of each state \\(q \\in Q\\) is contained for each choice of final states \\(F \\subseteq Q\\). A co-product construction yields the automaton \\(\\operatorname{cofree}(A)\\) representing the smallest set of co-equations for \\(A\\). Both constructions are actually functorial. Furthermore it is demonstrated that certain natural restrictions of \\(\\operatorname{free}(A)\\) and \\(\\operatorname{cofree}(A)\\) form a dual equivalence, and as a consequence a variant of Eilenberg's variety theorem is obtained.  Although the paper uses category theory, the paper remains accessible to non-experts in category theory. All notions are carefully explained and should be understandable to graduate students of mathematics or theoretical computer science. Examples are provided for all major constructions and they illustrate the notions well. The constructions actually mirror well-known ones, like the construction of the syntactic monoid, so prior exposure to algebraic automata theory will help the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$21E34B34-061B-4BE1-912F-61CABA04F9FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26d1c218d463f30593893b3e531d81ce8bef8874","datavalue":{"value":{"entity-type":"item","numeric-id":519890,"id":"Q519890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$F595F779-541D-4DF1-84B4-215D5F24CA08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$4E6DF968-0F7D-4BDA-8D18-E3BF086E9474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$BCDD5C66-181C-4E32-B0DD-8D20F1C89CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$B630DFCF-FB98-4CF9-88EC-B916034779A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49307ef5ad172aac0823d86c3cde5980018fc4ff","datavalue":{"value":"6485810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$596DB4C6-4760-40FA-8151-E662F5E926AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$EA0B57C4-F05B-44AD-BFF0-25A92F81DFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$40AF157A-28B2-4E3E-8355-C76DDDE32FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$36DD9C09-C29F-4B93-95C2-C0C039B97CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$49025594-382E-4EF1-B94F-4264056D1077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd61e68e8c79f13012174a83585ad541b8dec04","datavalue":{"value":"dual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$74A562E0-EF61-47F7-8A6E-F5B8E93C71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42057bfaccb223b82ed61e893f5ddcd54f694fa7","datavalue":{"value":"syntactic monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$29F7D51C-526F-4524-972C-7F28A04C1642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27469e96df2a0f1bdfb5c9119732170cd3f39c54","datavalue":{"value":"equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$7DDF95CD-898A-4BB3-BD75-AE33311B9CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acda964bb500b2e4c0e639115fdd0ae7a5e040ab","datavalue":{"value":"coequation","type":"string"},"datatype":"string"},"type":"statement","id":"Q498397$AE18B735-527B-45B7-A591-B0B340FF85EB","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":"Q498397$09BE4468-E8EB-4BD8-9372-C9B098139E0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"082da41f8b81c0e1247c7402cee695c3efad3163","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q498397$563CCE79-FBB7-49AE-BDF3-46EACFF34D50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1f7ab2237866297b8d053c29065ddf49f6cabd4","datavalue":{"value":"W2123724019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$577B3BAE-D2F1-4023-98DA-6405F282CF8D","rank":"normal"}],"P223":[{"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":"Q498397$2C0E5024-5204-4FAF-9E40-3BD486A12DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$0C8C21D2-B581-4295-A528-46018B06113C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$66B84A10-325D-403E-B4EC-98FEC903BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$D59916B6-458D-4114-9A68-2839D3A12BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$7B80D0C4-43AE-462C-AB4D-B7301FDB5CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$1828C8B5-58F9-42EB-9DD7-707AE2AB020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e6f6522183274bf12a4e61f5a4fcffcc439aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2540643,"id":"Q2540643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$F6CBE30B-C3A5-4EDF-BD39-F881473A8A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e854d0633b994073a646bdcc0ce20d6a40b1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1224156,"id":"Q1224156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$CA7B735E-18A5-4393-A9F0-A44139A37022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e39f31b2fe85af4e4839c8740b223f285e9c244","datavalue":{"value":{"entity-type":"item","numeric-id":5638871,"id":"Q5638871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$4FD308F7-CF2B-49D9-B127-51744DE0C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093b72692f1a1e5a88ba7071fb036a351a62c73d","datavalue":{"value":{"entity-type":"item","numeric-id":2897941,"id":"Q2897941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$D7F2EFD2-4707-4849-A011-CB1D91C9EDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c3c79c38d0017404804da3eb9d7043e664a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5410330,"id":"Q5410330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$C03F5E8B-D28F-4D3C-9C72-CB1603685145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$89FD8FC8-D31E-4443-92FA-532A816D0B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d57176575c207c915ef229ec28e17138bcca997","datavalue":{"value":{"entity-type":"item","numeric-id":4635823,"id":"Q4635823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$D7E92F54-3289-448C-938E-4AAD887D9EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$E84DF19C-6BE2-4DCF-BAC4-E4A885847A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f125aabadc35d84f74d807647682d3665ceb835d","datavalue":{"value":{"entity-type":"item","numeric-id":3088025,"id":"Q3088025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$E49548DF-AAC5-4C0C-B1E7-1F06698A3DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e65f1aee6337ae272409edb725791b24d03767b","datavalue":{"value":{"entity-type":"item","numeric-id":4206797,"id":"Q4206797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$E5217BB8-B204-4818-828C-F6C0A1640179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$C2F4594F-F414-46A5-B921-7BB22281BC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c8c7aaded1de74e36ca267c155bb3faf741deb","datavalue":{"value":{"entity-type":"item","numeric-id":675860,"id":"Q675860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$6214278F-41EF-4E73-8394-529EF4C44BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d9ffef20a54e88904f50fcb4f59a2ffe64ad51","datavalue":{"value":{"entity-type":"item","numeric-id":2888490,"id":"Q2888490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$6AEC1BE1-1195-4565-AE9A-DF3DEF150283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40c022b102dd80d2baf27b86604da87797cad06","datavalue":{"value":{"entity-type":"item","numeric-id":3519505,"id":"Q3519505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$3D53B83A-8140-469C-8EF2-C79D801B2304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$DC22ED68-3AB9-4F7B-A9E5-2809C67F64C3","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":"Q498397$A00B201B-FCA4-4666-AA33-50E55D6CF276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$34A771BF-8BBB-4B3F-9F9A-E9A10685D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b113992ed619428b1b3229f72aa33ebdb82b8beb","datavalue":{"value":{"entity-type":"item","numeric-id":3044353,"id":"Q3044353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$55C3A679-4B85-45E1-BC83-DAC0361BD7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a600f90e826363fe64c7222921012bfedc4edf","datavalue":{"value":{"entity-type":"item","numeric-id":4439449,"id":"Q4439449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$C70F6CBB-6190-4E68-A4BD-1B118CBEFA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677f1c9ee64f99167747d99a7952d91f8409487e","datavalue":{"value":{"entity-type":"item","numeric-id":4153613,"id":"Q4153613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$BB1CDBF3-FB12-41E0-9FA2-BA976EB94D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aefa3d3a481beb979db9a0938d1157cb390e0261","datavalue":{"value":{"entity-type":"item","numeric-id":3364262,"id":"Q3364262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$D1EBFCC8-4C4D-473B-9290-B5F37FEEDECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d27570907efd8f63f1df9fda3465a634082962","datavalue":{"value":{"entity-type":"item","numeric-id":5599198,"id":"Q5599198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$B53EEEAB-5F81-4B3F-8AED-21696FBB6944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$49FC0441-D8FE-45BC-BABA-39B690D58FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e85363eeabe6d4bb877eb112267fc92de2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5459443,"id":"Q5459443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$03258062-55C9-4A17-9D4F-CD0815098943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$51B94B3E-2C28-4D6F-9532-89AAB5758D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$65697DB6-8BC0-4FB6-BB9A-0FC535A1C74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09101e083001f96ea9afcc61ce843fa37bcd3ae6","datavalue":{"value":{"entity-type":"item","numeric-id":470234,"id":"Q470234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$3E18BE0A-6825-4B65-B9C8-054F113395E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$A25C26D3-569D-4901-A80B-10EAC1BDF9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad8643cf2a646d0d700aa2cdb427a9790787a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302760,"id":"Q5302760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$A183B437-21CE-43C5-9227-B91FF8F60CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7926ba5002ae27bcb47ce1546881f0cc971f0a46","datavalue":{"value":{"entity-type":"item","numeric-id":265785,"id":"Q265785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$8E8C31DD-87ED-42C7-9341-D6C213D28BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577fdc381c10f44bd3170bb3911b589ed82340c1","datavalue":{"value":{"entity-type":"item","numeric-id":2915026,"id":"Q2915026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$AD6EB5A8-2586-49F8-AE60-3A659CD4834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4d43693616dc729d78f78f94f90f517c3af97","datavalue":{"value":{"entity-type":"item","numeric-id":5410684,"id":"Q5410684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498397$E32D2A21-744B-4296-843E-EFBA6D41F2CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e021a81e0a51d07564c37a6583c333923e07ef89","datavalue":{"value":"10.1016/J.IC.2015.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498397$B3DCA400-E579-4270-B4C2-FE426D3970AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e4ecc5ee08243d72d2862fec9edc3e5ca1ce","datavalue":{"value":{"entity-type":"item","numeric-id":2941177,"id":"Q2941177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62fa1bae812a75144c1d25372e985fc51239d052","datavalue":{"value":{"amount":"+0.7941297888755798","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":"Q498397$50BEF81E-39FE-4DF4-A44B-360C46BFAE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5992687b4409e0c82f981b76f145f0e2e5d2119","datavalue":{"value":{"entity-type":"item","numeric-id":265785,"id":"Q265785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7289ab354393dd6c430b8d6b8e408822db3975a","datavalue":{"value":{"amount":"+0.7855210304260254","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":"Q498397$98DCD059-0B63-4D0D-8384-6555120A55B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d669d42610054c3c89e66099a9c14aa80b6681","datavalue":{"value":{"entity-type":"item","numeric-id":1771881,"id":"Q1771881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df0cbd78ee712c197c78105712ee2b271ea548c","datavalue":{"value":{"amount":"+0.7678948044776917","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":"Q498397$1A50BF01-8D51-4252-B5A2-E60828CC023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab4ed950acd8501b00def7bfcafddb134f87ed7","datavalue":{"value":{"entity-type":"item","numeric-id":2946360,"id":"Q2946360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b51043768b7ef2ec45761d68932fe945da98c6","datavalue":{"value":{"amount":"+0.7647875547409058","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":"Q498397$2DC09C1D-B3D5-47AF-935B-3053D952BD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9045e0b97e7d9d650e83cb53683d5b971f7d0005","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa33975ecba9e1b706c87bfd40adad20a9c8fff2","datavalue":{"value":{"amount":"+0.7647746205329895","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":"Q498397$90F8185D-625C-423C-A09E-3D78D1F666B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dual equivalence of equations and coequations for automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dual_equivalence_of_equations_and_coequations_for_automata"}}}}}