{"entities":{"Q6889894":{"pageid":20835898,"ns":120,"title":"Item:Q6889894","lastrevid":84198101,"modified":"2026-05-13T11:56:01Z","type":"item","id":"Q6889894","labels":{"en":{"language":"en","value":"Complementation of Emerson-Lei automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8131387"}},"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":"Q6889894$79EE590E-C87D-4CF3-B401-A5EF2ECB0152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd412e9aeb186f8c7a4e2572a9fb979c0a963ba2","datavalue":{"value":{"text":"Complementation of Emerson-Lei automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6889894$3670D44F-F800-45CE-A8BA-95F833C15689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"619159e609df54e88ba343ee0dc24c75d313f538","datavalue":{"value":"10.1007/978-3-031-90897-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889894$8DA9DF5F-1A1C-4068-9239-A692BEDD9DB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$EB68AB90-1513-4F33-AEB3-559B3135DEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$C8CFFDEC-556D-4C97-A94D-29E2AB1C4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52911dcfac75d6feaf4ae954f50595565e7473ac","datavalue":{"value":{"entity-type":"item","numeric-id":6485616,"id":"Q6485616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$0497C45C-CFF4-41E4-8B93-704CA5D55127","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fcb6b1f2d2c7e392377c9a4c2df3e14c0322b86","datavalue":{"value":{"time":"+2025-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6889894$C837D35A-A774-43EA-82FF-500C2D3A19CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889894$06E98D85-4010-41C2-AA14-AE3484A9CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889894$B37B833B-B81C-4715-B838-434A7F3039EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0c95709a8c81a27642a59a854bcd25d96db441","datavalue":{"value":"8131387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889894$5AB00073-523E-45C0-89B4-119BF06D81B7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$862D528B-1592-4937-89F9-52628652506C","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":"Q6889894$DDCD70E6-E09D-4B54-9D98-F75EB82102D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41c1e91de5da70fe5eaabd2d3fbddd54b105b4","datavalue":{"value":{"entity-type":"item","numeric-id":5145275,"id":"Q5145275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$DF2CA44E-CB84-47D6-8FD4-0D0AC89A2093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76aaab8e3b3aebfebf97b87f55acb624a063fb96","datavalue":{"value":{"entity-type":"item","numeric-id":2272937,"id":"Q2272937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$7969AFB3-301E-41C6-BECB-AA3B9132A38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a67f94d4f62492b8f6f8a03bf68a55a2b9b1df5","datavalue":{"value":{"entity-type":"item","numeric-id":2226719,"id":"Q2226719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$A7272DB9-1FD2-4E88-8405-77516568FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00429d7d61e8bc73c2ae2b2c0966928c9609ae67","datavalue":{"value":{"entity-type":"item","numeric-id":5222950,"id":"Q5222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$9CDBFE82-257F-45DE-AF38-EAF70A3D7CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a30a939090a3c23bf0f46867938a34d999a1a1","datavalue":{"value":{"entity-type":"item","numeric-id":2892768,"id":"Q2892768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$5114E2E2-F630-4FFF-AA74-0A94A1B82240","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":"Q6889894$18769299-F533-417A-803C-050090BBE087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbf721b0e5c6748c49af7f4e0023b34a2a749b6","datavalue":{"value":{"entity-type":"item","numeric-id":2915677,"id":"Q2915677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$EB9ABF31-C35F-4DD4-A9D5-18636C2C81A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4596ae47c103fcacae85cdee746157ca70ad52","datavalue":{"value":{"entity-type":"item","numeric-id":6536321,"id":"Q6536321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$55D0868E-F706-4806-8357-9FE3E77940C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$F18694D2-015C-4BFA-A394-F66AF19873D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72474dd1ba73ed908c3566582f149d5d0770c44","datavalue":{"value":{"entity-type":"item","numeric-id":6040669,"id":"Q6040669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$96F9E5EC-842C-45E3-9531-D045BF505D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed47cec87bb2c4108423904df1f84dccca63f5a7","datavalue":{"value":{"entity-type":"item","numeric-id":5357716,"id":"Q5357716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$B09369DF-755F-4EC9-BDF5-D55D1324E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f9c53c6f494471f72e1c0519150de6221c5ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$44270CA8-5A64-4008-9B4A-7CAFB78796F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$1FA52F51-3145-4195-AC8B-875E7E3465FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74d0435d0118a636b08e3dbde4e1278c46871a","datavalue":{"value":{"entity-type":"item","numeric-id":6134248,"id":"Q6134248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$82498D73-9E53-4C70-A19C-4C9AB1F972D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500138f2f478eda7081e0f8dd651bcb7e9fdf9dd","datavalue":{"value":{"entity-type":"item","numeric-id":6535356,"id":"Q6535356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$1E13D207-7A6C-4663-8236-181A285060FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f02b5e2ba4ffacaeb3e048ee0b2822ea0f58273","datavalue":{"value":{"entity-type":"item","numeric-id":6487336,"id":"Q6487336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$A48A7DE0-01B4-42DA-B08E-265782B3C67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e412b76dbdc0c876f918173ef799fb1b165a84e","datavalue":{"value":{"entity-type":"item","numeric-id":6535611,"id":"Q6535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$53B4383B-A3E5-4BB2-B80B-0A3DD32028B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba265020390d1bd4605ad733a16a2ccccc4072b3","datavalue":{"value":{"entity-type":"item","numeric-id":6597962,"id":"Q6597962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$0BB4A6CF-CC1D-4CFF-91F3-517867F5A958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$1CD22E90-4C87-4268-9FD2-BD26E5FD6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07a57ba4d70616b4f878d68c5f222ec79861b62","datavalue":{"value":{"entity-type":"item","numeric-id":3648701,"id":"Q3648701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$2C1A52A7-4BFC-4EA1-A65D-BA56E6CAE121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$C609F32F-33BA-4DF0-9F29-CCA7B8B7C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3703b1ea87ece826331ee1c48ae157bdb4cced7","datavalue":{"value":{"entity-type":"item","numeric-id":5703760,"id":"Q5703760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$EF33C75A-52AA-46AE-8FB5-516FB6A90651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286c93413832179aec95e747781915100a4e0c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2575735,"id":"Q2575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$CDF1ED90-7104-49FA-8AC5-EDF454011565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4573b227fbba8ffa410ea5afa5ff5132abb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$1B389875-B588-4947-AF71-F900E2F2A3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e7dcd71bacc570a3aa7afd8ee6efe93878eed","datavalue":{"value":{"entity-type":"item","numeric-id":6487334,"id":"Q6487334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$9ADB21F5-7794-41F1-B1F9-7F65478FACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372d6c766b186946389fd539faa234a65186fd76","datavalue":{"value":{"entity-type":"item","numeric-id":3296336,"id":"Q3296336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$B388C412-659B-4B48-8B9E-E43F3FFACED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2708d88d955ebb9560ca2e18e02307b90dcc11a1","datavalue":{"value":{"entity-type":"item","numeric-id":5021011,"id":"Q5021011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$546F9791-7097-4504-A9B3-FE400E045C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9282021d413096ba59e9ec4d42d5d045c6f221","datavalue":{"value":{"entity-type":"item","numeric-id":3334086,"id":"Q3334086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$59F4F1AD-3C35-4E4C-9E68-C0F6FC0E56C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3da6e8e22eb9ce673b708daba3d803e9c1df4","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$7B607BA6-455F-4F60-87CE-3C7AAA9C70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5405c014915b7b0d71a0db89fdd8d5534a1cb60e","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$CD6D0271-F987-4901-ADCC-2D331A431A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e514071c007ff2e5c95dfa454cea6895bddf3ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2922042,"id":"Q2922042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$40DAEE1D-8213-4B15-838E-E6E7EECA9761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8342d751f4f18803fa38f88b9099a0b317941f","datavalue":{"value":{"entity-type":"item","numeric-id":2922043,"id":"Q2922043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$F60714B5-FAB7-4E34-BCF9-3012CDD1B675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$E179C194-3AC4-44AD-B3F7-8AF17C1309DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ff534dc1bc5136039c7e5ce8256bebd8851de1","datavalue":{"value":{"entity-type":"item","numeric-id":5145686,"id":"Q5145686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$71ACF479-6280-42C4-9C26-983254225F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$AE4C4703-3E70-4AC8-8DC3-370609BDF3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ab89692bfa2e1548d91c2b146e4643d877632e","datavalue":{"value":{"entity-type":"item","numeric-id":3591446,"id":"Q3591446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889894$BEB7CA83-617D-4367-8EA3-046B36CF0C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complementation of Emerson-Lei automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complementation_of_Emerson-Lei_automata"}}}}}