{"entities":{"Q2449045":{"pageid":2459788,"ns":120,"title":"Item:Q2449045","lastrevid":72723129,"modified":"2026-04-14T07:01:14Z","type":"item","id":"Q2449045","labels":{"en":{"language":"en","value":"A description based on languages of the final non-deterministic automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6292365"}},"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":"Q2449045$C7CA444C-BF81-432E-BD80-E8956FB55CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59f6a1afe339b18edcee5dcd3d1f4dfd3887624d","datavalue":{"value":{"text":"A description based on languages of the final non-deterministic automaton","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2449045$D48B63A1-6DD8-4E0F-86A4-8B606BDB73FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f100573374890de42baebbc88f10ec8c14b05512","datavalue":{"value":"1359.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$FCCE9792-E719-4780-AC46-57D309CA567C","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":"Q2449045$485B8243-C852-430C-8471-3CEC5BC2B3AD","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":"Q2449045$8C000814-425D-44AB-A159-7D70B5F33025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85517cc36b5159f953e409a01907fd316f2e34e6","datavalue":{"value":{"entity-type":"item","numeric-id":352718,"id":"Q352718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$BCD8F1A5-AACE-4C3B-88CE-CD006D1EBFC7","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":"Q2449045$B2142917-AECF-4ED5-91D5-A4E05DD9C260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d85f8a3ae41a625095eeca46851c21dfb30c8c","datavalue":{"value":{"time":"+2014-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2449045$B808C75D-B689-4FC5-98FF-B5B1BF8940B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$9AB8E275-2D77-4CC4-AF5F-393AC7382D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$228F1842-A43A-497A-B702-9B6A18F771D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$A52C6E6E-E9A9-4BCE-9EF8-3D16A43A537B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069ceadae29412d8e91c21a2eb1369d9c284330e","datavalue":{"value":"6292365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$223226D4-1729-40EA-9AC1-1AD2B378F5E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2278240e312c8ceb74b374704cc546cc465a92b2","datavalue":{"value":"nondeterministic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449045$8EE9D0C5-87B8-4332-BD3B-8C724CD1328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449045$3117FDD3-7A99-4C33-A4C0-87E832BF904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449045$7D37098A-A0F4-4C82-B8C2-CC54FC216D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449045$1574940C-698C-4541-AA6F-98EA72A90BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffcbf09a8dd8b67178c992d2a6c452069ee99a1","datavalue":{"value":"final automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449045$28F2C9AC-1808-4E40-AB76-AA4AFDBB3F6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$CC50C8BF-B900-4E21-81A9-C2C8925F5AD2","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":"Q2449045$9B39CB80-959B-4BC4-850A-BFC178AC9C4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82c11fb3eeb65f63e4d843de69322b89c83ec33b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.01.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2449045$722F3C57-7600-415B-A741-0B4F8DC7B67A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26b589a720ac6d269e1312767e7726e081d42e49","datavalue":{"value":"W2071869647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$7DBD9194-E8AD-46FE-905F-16E80D18FA07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52cbecaa96f5bd3ed77e4109251a4ab9aef3ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5411870,"id":"Q5411870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$02136B68-7B38-49F0-80A4-86F39F72370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$003B794A-2015-416D-B794-61D571DB5F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$618EE80F-DBE7-4F4F-A1C4-49023D01D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba51f8b103a77ba0276f12004e13062aed32f94","datavalue":{"value":{"entity-type":"item","numeric-id":2915670,"id":"Q2915670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$CDE0491B-2765-42BE-986B-045B1045BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$D8C7C2E7-08B6-4BA8-A529-3F39AE297F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083aadca839e006675db7605a0cedc93bbfaa619","datavalue":{"value":{"entity-type":"item","numeric-id":5458362,"id":"Q5458362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$A0B3A810-B80F-4D46-B97C-D1611167CC4A","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":"Q2449045$5ADDED46-C5A3-4E13-928C-679F8C6F803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd6010ea3d4fb73dabaa449b49e0ac918fbb812","datavalue":{"value":{"entity-type":"item","numeric-id":5199957,"id":"Q5199957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$B42FFCFE-B1F8-4E12-AF9C-6ABBF1E2DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$CE0DB15C-AB1E-4068-B1F5-D9319AB4CB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$131AA2A6-E38A-4071-98AC-0CBD3EBB4141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$D367CEB4-A773-44E5-A1B3-70781A5B6C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$1B1705B6-3996-42C3-B855-7B3DC3A76606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$997625FD-8F5B-4784-ADCC-DBD22A4C438F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7564e2a79865fa75910705c9159182852b8b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5739360,"id":"Q5739360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$9A157D03-8780-4A27-88C9-5A546FEFD3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$7514F182-B582-4C6F-AA39-40C91A299DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$F0E96D0C-26C1-451B-94E3-388C8C2590D5","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":"Q2449045$309D5426-EBC4-4AE6-91E9-10235C8ECC96","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":"Q2449045$2A322DA9-B9FB-4E6D-BFE1-4C70F79F7AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298c345c5fd5e9751c3c32a918b118916c5b64f5","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$C4FB5201-5401-469E-908D-938A6248B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$6BD881BF-E2B5-42D5-98F1-30A6264B49F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62cef7cfbdde29813a82f7eed9dc0834eb4aab7","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$9BF7AAB4-9D0F-46F9-BA55-12D6495E8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e7d4831e3b04a2e9d34a2be84ea9f73e1cb57a","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$1102AC1C-7039-40F5-9054-8E68352620B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449045$02D7B5D9-2AF9-48CE-B389-97D1145078B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41de525489337520c0590b8c8d6162723101206c","datavalue":{"value":"10.1016/J.TCS.2014.01.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449045$7175FB66-2110-40C9-A89A-E52E96F857BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93e853f06e4b0b52c71817079c949b16807e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2708951,"id":"Q2708951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87984a2d0d6fa6de7be50a00bd88006cdd5bad79","datavalue":{"value":{"amount":"+0.8538335561752319","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":"Q2449045$9F0EB5CF-02F1-4B52-8F40-CC6A0679C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b57c19bf12472ba0e1ebfe14a41680e7ea6e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575547,"id":"Q1575547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97459be8d9993c5fc6027210ebaf594538bc48fe","datavalue":{"value":{"amount":"+0.7691506147384644","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":"Q2449045$33FC41EC-6D2B-43EB-A09D-7F469D00FCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdf68d1cc42c617a8fb9c4e6fc998514052c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2942783,"id":"Q2942783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0401eadd51aeecf87c878d3d06fbf96c834ada79","datavalue":{"value":{"amount":"+0.7468603849411011","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":"Q2449045$F3106975-3B33-4BFB-9F13-692305310346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f0a5b8e8159e9b00668d07314869b22873b333","datavalue":{"value":{"entity-type":"item","numeric-id":3325051,"id":"Q3325051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1cf9a8cf328ecdebf1a86bfbec6b343f5a7bfa","datavalue":{"value":{"amount":"+0.746555745601654","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":"Q2449045$4FACB181-938F-4B64-8876-BD9EAA60168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecdaea374d3f59341800665d16bf5a2f907dca3","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c8385546cbe17beb7d25faff4c755710cdb548","datavalue":{"value":{"amount":"+0.7453771829605103","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":"Q2449045$E45746AF-C3CF-4D28-A258-5B81EB75BC7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A description based on languages of the final non-deterministic automaton","badges":[]}}}}}