{"entities":{"Q5875379":{"pageid":7904930,"ns":120,"title":"Item:Q5875379","lastrevid":97508459,"modified":"2026-06-05T14:55:12Z","type":"item","id":"Q5875379","labels":{"en":{"language":"en","value":"Alternating weak automata from universal trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649926"}},"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":"Q5875379$0CC66933-D500-4A6E-8136-4EFDE6C53E39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66d8415bbb318b7cdfb5b0ff416f446e7514756b","datavalue":{"value":{"entity-type":"item","numeric-id":290903,"id":"Q290903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$529B5C38-1DF8-441C-A63A-9D1860E1D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$4E60A27C-6BA2-4480-9680-4B379E7185E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$8BB02831-A648-4AD9-ADF4-4FE6049CCE5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875379$46382E7E-BE11-43A4-8140-D04CBB37F5C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc34d35f5a682085b3664eba2bf07320b5475c82","datavalue":{"value":"https://arxiv.org/abs/1903.12620","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875379$CA68A602-FBD8-4310-998C-82A089F80961","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875379$0D7EC842-2189-4D5B-BED0-ADC064B954F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5cd6fdad05eaa8a5e911e8dbb83b9d5f6e5de6","datavalue":{"value":"7649926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875379$8BE83313-C8B5-4DBE-BC27-FDA9216A98C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$1392B55D-4779-4B9C-AD61-913E1062BB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24df7ea1ec2400fb4a86d48215e59723dc2cca24","datavalue":{"value":"weak automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$FFCF7E84-A5E9-4C43-A1C2-4EDB32689919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$3227E2F6-B333-4741-9321-066AB9B025FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20266b4690f90eb91dd776a8bed0fe154b8859","datavalue":{"value":"parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$54342542-FC70-4190-BDC0-7F16852A8593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$BE53C164-CE56-4CB8-88B5-1132EF33175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70bb0874327037da65ae1403298e810b678e2d8f","datavalue":{"value":"universal trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875379$98F7B097-8E51-497E-A301-1F14E3445E17","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":"Q5875379$ABB0AEB9-5F8D-49F1-976C-EF7A990CDE6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7ce975dbe11b3f67f50a94811338de5e84ddf3","datavalue":{"value":{"entity-type":"item","numeric-id":5090957,"id":"Q5090957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$7BB427BE-3E46-4D54-95FF-9A1F9B1EE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$AD3BBF3E-6647-42E5-B964-31A7643BB735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6c1a2d45db13e11e3169dca5831edff0db7e2f","datavalue":{"value":{"entity-type":"item","numeric-id":2289060,"id":"Q2289060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$CFAAE518-CC3C-4D23-A959-0A5408FFD5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ccc7456ec01ded24d560374767ebb15de8658c","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$8A6BB79D-A123-46EB-9085-F14AF19BBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16859a7f432f026b1bee037de517711de6e7347f","datavalue":{"value":{"entity-type":"item","numeric-id":5236329,"id":"Q5236329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$9574B2FB-D273-4D18-AEA9-36C16AB7C788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a1085eb28592e5f5b1873aa8381e8d4dc946c7","datavalue":{"value":{"entity-type":"item","numeric-id":5145306,"id":"Q5145306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$7E387E6B-E114-45E2-84AA-AD0E6C8329B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$81C5CE96-2EA4-47E7-BE09-7C4851C49BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$00B6D4B9-5721-47B0-AB07-FB5685AD37F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cfc9721e667f943208ff3ec343cdc00460182e","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$AA529AA2-4A28-44A9-8729-A80E676A3CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c358f2d26f6f443f672da7f924c483242ce6680","datavalue":{"value":{"entity-type":"item","numeric-id":4259978,"id":"Q4259978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$B696BA3B-95C7-450A-BC8F-464F1A7FED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$7A3F181E-254C-4AC8-B60B-FF47AA569F8A","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":"Q5875379$DEA8BCA0-7B93-4613-9723-D8D5B8DED32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$C24EE2A6-C3EF-4557-888C-6CABA651CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8141ba4069566f85f2bd48d3bb1e303f1786c","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$2952B77C-EDF5-4981-B58E-94CE274A2E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db89590f97b5de8b002ebe61919d05093cef404","datavalue":{"value":{"entity-type":"item","numeric-id":2011666,"id":"Q2011666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$DB48AB73-7816-4DF0-A048-78314144E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$C974607C-A4E4-4B28-9089-894DC73BA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee01ae61518fbe11b8b3e07778bce3687a4d433","datavalue":{"value":{"entity-type":"item","numeric-id":4598240,"id":"Q4598240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$88A5B4BE-27F0-4CC7-AE24-CD3FD2748BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4653c4bce41e453d944c01560a098b2b498c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3518271,"id":"Q3518271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875379$7D3EDE39-A6AA-41C5-BF86-106457304789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"929d3f10701f4799d9214b68b4186bed645e829f","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875379$A905E8F6-E231-4BE5-AA7B-45B8C681762F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bf06fc5b450fb6ce8226ac7157dbd379b14a85","datavalue":{"value":{"entity-type":"item","numeric-id":5090957,"id":"Q5090957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab57e656109f5a4cf42dbb30760d1965d3a7eb6a","datavalue":{"value":{"amount":"+0.8878867030143738","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":"Q5875379$6ABB8152-84DC-46C4-B835-3DA4C49B6241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baa9c47cfd34d599aeb34a751a871ae28494162","datavalue":{"value":{"amount":"+0.8476921319961548","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":"Q5875379$54D1BD11-C2AB-4890-8C1F-0774C8E2547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ac9c4a8aea564144b4a9552b4ef2f023cc93be","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f488152593fb6f52f44f2c0314b3988e2cf3a7e","datavalue":{"value":{"amount":"+0.8413293957710266","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":"Q5875379$0952372E-8B1B-42C4-9BD4-60A168635B0B","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":"12dc83464bef65b837152918cc35e3a50cc75665","datavalue":{"value":{"amount":"+0.7877073884010315","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":"Q5875379$310D0564-718F-4AD5-8956-070326E68A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc55e95090de2a54edb1a5263a14644ad5f1c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3557bd6f86991ead5df9cfef650c8feaf682b100","datavalue":{"value":{"amount":"+0.779973566532135","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":"Q5875379$4E05383F-E5AB-4C6C-9A6E-770737921353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating weak automata from universal trees","badges":[]}}}}}