{"entities":{"Q5145316":{"pageid":7174887,"ns":120,"title":"Item:Q5145316","lastrevid":53911622,"modified":"2026-01-25T22:23:25Z","type":"item","id":"Q5145316","labels":{"en":{"language":"en","value":"The state complexity of alternating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298766"}},"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":"Q5145316$4F0F3F4C-7A8D-42C9-8F5F-C51001BCC274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e341c63bfde3d0242727b32271ff9af81f0e415","datavalue":{"value":{"text":"The State Complexity of Alternating Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145316$3537C2E8-75ED-4B9B-A7E8-43C4FF252043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92759128df8952c58a8dbf473c4b8df6f829a91a","datavalue":{"value":"1497.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$010FD83E-B75F-422D-991A-DBB70E604B98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a27aa96cb33b7465da2b926e18a2252fa00b0923","datavalue":{"value":"10.1145/3209108.3209167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$A6D26477-3799-407E-A429-A55BF376CAC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145316$70BA5774-5CE7-45D0-AE6D-9465C1E94864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145316$11BEAAFC-8FF4-4072-A969-3AC938A50ABB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145316$5081C001-A73B-4193-8857-83BF4E6A1578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$5E94F8FB-707D-41E0-B54D-7937CA45D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$C6198043-53CD-459B-BF24-FAF010FE23BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c17ce8974ed4f9f6e3fc7aa3bfaf97c028f4aaed","datavalue":{"value":"7298766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$E41177EC-5F6B-4E9C-B311-171FD6B81126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$EB83633B-493A-4ED7-83FD-B0B4D516EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$A69B5C70-F9E9-4411-B63C-A48F03367393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39cb34573ce3448980d0b859e1d781641ec0acd2","datavalue":{"value":"hierarchy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$8F594D14-B6F7-48AA-B9E1-0DF7887618BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$EFC16189-C0F7-4A48-8A29-35570CCC8620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367078dd53268f15f939794271a5000fbfa9214","datavalue":{"value":"prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$BF1B7A85-84C3-405F-8A25-256AB72FBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145316$D3F04330-BDD2-49E3-9552-6E38A8FB8F07","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":"Q5145316$E1EFAA49-1519-4B47-ADCC-31A0C6BF1BF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"228a363bebfd63f2a9c1c0f89c122ccd390eb089","datavalue":{"value":"https://doi.org/10.1145/3209108.3209167","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145316$38D99AF8-87DB-49F2-8A15-DF5D59249E44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43d1ca74f829c84c83744fce17c83b2a2aa93490","datavalue":{"value":"W2798603509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$B855DA38-EBBB-4B3D-B1CB-AFE51C9F8C40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b73c7b8861ebc576f87c2e836e61d24afad52363","datavalue":{"value":"Q130995018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145316$22D22A24-474B-415A-BC5C-2919F6233966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95b5057706a7e7cb0133bed1c929d0700f44172","datavalue":{"value":{"entity-type":"item","numeric-id":5108020,"id":"Q5108020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74da1df8a788d189df7361964b0de3f29de3df90","datavalue":{"value":{"amount":"+0.9291986227035522","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":"Q5145316$7E84C7A1-E9BA-45F3-8A59-B42D4F0AD8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94259fa2fba3085cede5330632f55470fc2eb02e","datavalue":{"value":{"entity-type":"item","numeric-id":442279,"id":"Q442279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daab3e2a7a8a00a59523512bf1a8a1fb8e783de5","datavalue":{"value":{"amount":"+0.8294367790222168","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":"Q5145316$C485ED10-0B19-4F3C-B564-BA92B76630A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ded3aebba53b02d4337c606453c056c017e546","datavalue":{"value":{"entity-type":"item","numeric-id":5431557,"id":"Q5431557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d69e5bb7048a6740e74b53224edb232288bd383","datavalue":{"value":{"amount":"+0.8130735754966736","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":"Q5145316$4058EE19-7BD3-4C9F-9EE8-60B09C436A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e6b066c3b1e3ce262d69bb83d1a41ecb130456","datavalue":{"value":{"entity-type":"item","numeric-id":5223613,"id":"Q5223613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45110681eade670aa4393a15a0e7d9a78842a7c8","datavalue":{"value":{"amount":"+0.7945799827575684","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":"Q5145316$E0242526-FFAF-4FE4-B797-4F25EE47380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb3a81ee5d7a0002793cd8af6c34b5e0ef12ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5486002,"id":"Q5486002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53401cbc89926c42a6b8b56c5782e9dc1eea676","datavalue":{"value":{"amount":"+0.7924067378044128","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":"Q5145316$E5BDCCBB-50F3-4107-9434-F6555FCCEC51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145316"}}}}}