{"entities":{"Q1874281":{"pageid":1885023,"ns":120,"title":"Item:Q1874281","lastrevid":69170457,"modified":"2026-04-13T05:14:17Z","type":"item","id":"Q1874281","labels":{"en":{"language":"en","value":"The finite graph problem for two-way alternating automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915472"}},"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":"Q1874281$FE00DCC9-1A45-46F7-A956-21677157A615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109fe683e1bde974a18726355a9379d82f97cb45","datavalue":{"value":{"text":"The finite graph problem for two-way alternating automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874281$76AE9B6A-2478-47F0-8C37-7D4844953C7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ece6c22aa871aba1a876f42f53ab141ad8bb0bd","datavalue":{"value":"1052.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$A07C0692-40CC-4584-8C43-F78890DF0ADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a98a777aadc17a8e3813ed5178e2fe0aadcc057c","datavalue":{"value":"10.1016/S0304-3975(02)00866-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$FFC500C4-1D74-4CF7-968D-CF39D39F7453","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$5304BB3E-59A7-4A21-A643-3E3DFCED79AB","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":"Q1874281$1C513EBE-0814-4313-8DF9-059B250C3565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874281$5E35B54A-EE87-4504-B88D-45F2C57C958A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$54D53266-028F-40EC-AEFE-35308846D4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$0EB8CC9D-4FD1-41FB-89B8-EEA5515C8556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$37E8D702-D5E1-4E8E-9FB5-E7C32391109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$3997BD7B-F1CE-4401-8689-DC208ACBB274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74a48c8de00631e6d1b12415f5bf104047432b1b","datavalue":{"value":"1915472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$2BECE36F-1886-4A4C-992C-3FE2B48B994D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d93d7e6620fb5da2f3bc3103eb4b81b2707c8c","datavalue":{"value":"Alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874281$B77D02F2-47BF-48DC-9C56-AE670D2FE700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8c402b24afb48b265729d774370318221c6d3a","datavalue":{"value":"Finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874281$35FD7300-F51D-498D-9B69-7F5055984F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874281$EF81591B-21FB-406F-B083-E0C11EEB2954","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":"Q1874281$5EC2DBBB-EC76-4853-9BCF-03E6A1ED5504","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$E6CD5F7F-5D3F-43A5-9016-11779C139018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$17832A19-2123-46B2-B714-4B845025B3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$D088CB04-4C68-4504-BAC9-4E6286FEA1F7","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":"Q1874281$7CBD9CC4-370D-4209-8402-C34F9194ADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$4DA6EC2B-F20F-4BF2-A981-04EAD165F1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$EFBD0A53-7F39-4B70-AF58-1C3A79BCEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961718bec1ff5775006cd097ddc5e24540c59cee","datavalue":{"value":{"entity-type":"item","numeric-id":1077932,"id":"Q1077932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$23C9EDF7-0F6C-4D99-8A53-74D6925FCB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$5689705A-6E18-4582-81E4-705F5C539DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874281$D5C30C07-B46E-4DA2-BF26-3DCBE32909D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1031cbe8df8959b57df07368eac476451c985504","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00866-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1874281$22AE588F-8AFD-480D-A980-D533C3402E66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5ecd0725ca79570face5d17cedadfc225c1602d","datavalue":{"value":"W2658457120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874281$1CCACD28-F2D9-4BE2-AC06-478A735A5700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2033bcac68191730376c420b22cb99c63e089986","datavalue":{"value":{"entity-type":"item","numeric-id":2769426,"id":"Q2769426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a161c1ef1a0c91b50d450750eb8e1d0813be73ec","datavalue":{"value":{"amount":"+0.9949179887771606","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":"Q1874281$0F884D71-581A-43E9-88B5-8C1AEEEEB4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c68786f4ddcddef4e359671f7334d407d254c8","datavalue":{"value":{"entity-type":"item","numeric-id":4737212,"id":"Q4737212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a4cb5e4da561108e97fb3803ec651221ec0531","datavalue":{"value":{"amount":"+0.9393209218978882","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":"Q1874281$27CBD166-DB80-447F-921D-8A514F0BE54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8244e7ad4c793945e73c19bd2cd55548f6eba4","datavalue":{"value":{"entity-type":"item","numeric-id":3644793,"id":"Q3644793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5d91c860ca1506802dde178538791d64a041db","datavalue":{"value":{"amount":"+0.8052797317504883","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":"Q1874281$DEF37598-DD3C-4C31-9268-A79F1CAA74DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f2b2dc5add5ca8910de13f750b64d1a381a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0462f415dadf5c7008c8cf7a5e97d59a0b95b8bb","datavalue":{"value":{"amount":"+0.7770282626152039","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":"Q1874281$20A9B097-278C-42D8-B0FF-431187B4A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96745fba719914b12ac11b6f4ad0a2e0133ee129","datavalue":{"value":{"entity-type":"item","numeric-id":4412832,"id":"Q4412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0737f59b9633f7ff26a31c6f11fdcc280e03c15d","datavalue":{"value":{"amount":"+0.7543602585792542","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":"Q1874281$4DAC8B40-06B5-4C04-B6A4-4D4A1FBD73C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite graph problem for two-way alternating automata.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_graph_problem_for_two-way_alternating_automata."}}}}}