{"entities":{"Q2842604":{"pageid":2853324,"ns":120,"title":"Item:Q2842604","lastrevid":51800972,"modified":"2026-01-20T02:50:05Z","type":"item","id":"Q2842604","labels":{"en":{"language":"en","value":"Alternating context-free languages and linear time \\(\\mu \\)-calculus with sequential composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198648"}},"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":"Q2842604$82D5DEE3-007B-409E-B6B3-6C75EA53E360","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a37072f879dfb2f9d11a25e80cc40da3dc870686","datavalue":{"value":"1270.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842604$FE70BE6F-2A5F-408D-86B2-A036830F8E35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"135a67b928c9b34d86238e223c37c8a5493a09f3","datavalue":{"value":"10.1016/S1571-0661(05)80365-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842604$15CDAB65-644E-4F74-B674-5734DB2C23BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$5E362653-E4F0-4230-9AEA-3BDE4ACABD13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$E490EE57-A0F7-45BB-B13F-2E6F50A6BCB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842604$5BBDFE52-FD25-4FCE-89AE-0E6C5C30FA19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842604$AA099217-4A56-4F39-979B-A0C923726848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842604$41DA86A2-5C0B-4800-9DAC-833DF0EB82AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d3d6a74e950d711904270c87b053a69425d28c9","datavalue":{"value":"6198648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842604$E7E442A4-ED5B-4C4E-92A0-0EEF09FA993D","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":"Q2842604$D15475BF-4B7A-48AC-A4D0-8AFD5E97E3D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$7B36EE5D-8DDB-4CB4-B963-0C39B80546A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$F9647902-2E0C-4165-8B4E-34DEFC4D43E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$8A8B541E-4F5A-4257-8D7D-0BB0AD029149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$8720F3BC-3029-4AF0-A9CB-034FD0684630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c56a9500216bebcb774fc37b1a721dfe2c0874","datavalue":{"value":{"entity-type":"item","numeric-id":1193905,"id":"Q1193905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$BC68D0C8-97EA-4BD2-9D44-CDDAE3A144D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$D45DA35C-2785-4A33-A500-DD7DA0B3C6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$3207895A-0B96-402E-B5C0-6EFF2461251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6402063c371d5f6eeb986c6c2ed16c202db80c5","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$30A137BF-DCFE-4B96-9219-5AF111683189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1d5a831cbb34a273963a4831164b44cd5c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":1123637,"id":"Q1123637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$86FA7117-4F3E-4D6C-824B-939A05D1B046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$796817FA-570E-44C6-98CE-6A66ECD4D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806aa0730efeaea38cc1fb7d237e6694cb7cdf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3979274,"id":"Q3979274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$0015EFBF-CE02-47D4-97A5-2A8D821B4F97","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":"Q2842604$841015C1-6C32-42AC-AD28-5450FD381334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842604$2F178047-E97F-4CE4-BC6B-76B06D4167AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19b83b28f0dc9de11c9b12db17a19dc55235dab6","datavalue":{"value":{"text":"Alternating context-free languages and linear time \\(\\mu \\)-calculus with sequential composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842604$D459738C-4414-47CF-937D-B33641C972FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628b5f2c090c6cc663470a2c37cc894ab84223a9","datavalue":{"value":{"amount":"+0.7642626762390137","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":"Q2842604$D2AB742A-6B54-4900-A769-A8483965E3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067081d76927d979a5e039d672897139e96d4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4449213,"id":"Q4449213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306f0ff9d630569063fda3e1bde52c1a03f466d0","datavalue":{"value":{"amount":"+0.7637036442756653","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":"Q2842604$2D2356E0-ADAA-4362-BF4F-CA7FD9F608A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd668a72999afe950907b2084dfc4639b76a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5271085,"id":"Q5271085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d5159408e19a836a25c7b0c56b17208304f3e2","datavalue":{"value":{"amount":"+0.7573270201683044","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":"Q2842604$A4E57DB4-23F2-4E11-B1B0-70CE0C86A73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99b2cfc6464c168f81c799305271eb7c36d3785","datavalue":{"value":{"entity-type":"item","numeric-id":5711494,"id":"Q5711494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c68e2f1f6d22f2799ccf012b6cae30565f53f56","datavalue":{"value":{"amount":"+0.7457687258720398","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":"Q2842604$A6A659F3-B916-42A0-B96B-5775B2736F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c44eb8d0ea3627c5b928f8a6683a1a5071485c","datavalue":{"value":{"amount":"+0.7415271401405334","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":"Q2842604$D2E2A5AA-9FE9-48F5-9DBC-FEBCB47B28CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842604"}}}}}