{"entities":{"Q5009427":{"pageid":7039004,"ns":120,"title":"Item:Q5009427","lastrevid":91274414,"modified":"2026-06-04T22:44:01Z","type":"item","id":"Q5009427","labels":{"en":{"language":"en","value":"Alternating nonzero automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378557"}},"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":"Q5009427$23202F46-0AF8-4255-8671-CBFA4C3FDA12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32a3caca359aeb96a076fc44568e6e76062cb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1786611,"id":"Q1786611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$8AD8424E-2BE7-4B44-A8DF-266BAF3BE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa56517fb09a9f3548e30af9b0933225274b9538","datavalue":{"value":{"entity-type":"item","numeric-id":259584,"id":"Q259584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$1EDF84E4-52EE-439D-B36E-A7EAF71F033F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009427$9828CC88-B838-430C-8E95-00E2BF514B03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d59dbb1c7966ab6cc226446ddbef8da2f28bcbfb","datavalue":{"value":"https://arxiv.org/abs/1802.04067","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009427$BF44F369-BA97-4242-995F-2D7981CBC47B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009427$58D174D7-2C10-45D8-86B3-9FC8381E77F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85fc458e22f7a88e2432a6c65714a4cfe0c0a3a3","datavalue":{"value":"7378557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009427$C02A0CC2-08CF-4427-8672-DFC8E55B11B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab42e443dab24834df8d5b79522326a9effac035","datavalue":{"value":"zero-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009427$D492AC1F-981D-4C5C-A429-5D9F438E31CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2c96a972ca6be6bd35cdc1b97db482768ae38f","datavalue":{"value":"probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009427$948BC572-60FD-44E6-AC24-F669AC667CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009427$5D992EEF-BB1C-4A8A-86FE-A8B20507AF59","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":"Q5009427$9E4F7D81-979D-41C6-92CA-72ABFC6723E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8691f8690d7a59e388f25e1256663fb561c5ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$3C636085-3459-496A-968A-9992B59AD990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f3b38548aafe4ab7c5de76d1a432e19d2bc170","datavalue":{"value":{"entity-type":"item","numeric-id":4598237,"id":"Q4598237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$BE6F30E1-D5FB-4F5C-A580-D56B6EB9E2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4195d4ec54a87709693271dfa955a9a51df340f3","datavalue":{"value":{"entity-type":"item","numeric-id":5111438,"id":"Q5111438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$05EC6181-1140-4DA0-90DC-F8934675455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176492351b6803d6dd45cb238a6cda64a727f5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$559FA1D7-0F72-45F2-ABD7-5EEB4004CCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9e97b68e3028c6c347d74f231089ec59820d11","datavalue":{"value":{"entity-type":"item","numeric-id":2946733,"id":"Q2946733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$880ABFB5-E20A-4608-A3A3-99106A48FC40","rank":"normal"},{"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":"Q5009427$216E34A9-14D9-40F6-A48B-EB465D75ED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$4B47A4EA-29BF-4251-9684-5F4421B15795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$110B0196-8C08-4BDD-A446-494F4927AA1A","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":"Q5009427$CC2092CB-342E-4FA3-A497-8F520F946BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$BD41A204-AF72-4435-93D2-51EEFE1B98CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b761051777cca47316fb44f9b8efa088eb2e646","datavalue":{"value":{"entity-type":"item","numeric-id":5283434,"id":"Q5283434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$6E713610-0EFC-4143-A45F-1F7ACFE63DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9d707b665d08bf218c2f4e44727bb6ea319923","datavalue":{"value":{"entity-type":"item","numeric-id":5216326,"id":"Q5216326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$2556246A-8073-407F-BD7D-FAC7826A96FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$58D37BB0-0A5B-4E8E-852E-934BBD5D77E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$5A03DEAD-CDE5-4C21-A06E-929E300245F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009427$4DB244CE-D4B7-44F7-A866-98EB0727A1B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffd435d99786dd4de144493feda6c4a97c41873f","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009427$671BDD6C-8F07-417F-A726-84F14E7DF428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720d843385d49b4cf22ff142386f76f489a67a3f","datavalue":{"value":{"entity-type":"item","numeric-id":5111438,"id":"Q5111438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db31f721be0448134e64ae183cb53e657e4d7526","datavalue":{"value":{"amount":"+0.812009334564209","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":"Q5009427$38DE4BE6-8996-4199-AC5D-AD35B3ADA021","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":"d39384b4ce65773c6dc0f020d7e7aeb506e513d5","datavalue":{"value":{"amount":"+0.7832694053649902","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":"Q5009427$B917F717-8C8E-46BE-817D-E752F121A754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aa83cdc55d660d7b97c73c4285edd9ceb54c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2963922,"id":"Q2963922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b925dd9c268f7b0f7f481f7e3ea1f93e8aaddf54","datavalue":{"value":{"amount":"+0.7763533592224121","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":"Q5009427$E720EA5D-999F-4FC8-99BF-5049C5EDEEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f9548e0e5517a8ec8429f1b31c063f18ae0ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6406f267d6015fe3c10082fe0ca3f5a2c51bbd7b","datavalue":{"value":{"amount":"+0.771905779838562","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":"Q5009427$B9A7E39B-DEEA-4C11-8B2F-1410ECF7C4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0090e63abba69d5b0b967ca6bad787619146c8c","datavalue":{"value":{"amount":"+0.7653452754020691","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":"Q5009427$D5DE2E7B-37DF-4B51-9603-6B024304D53F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating nonzero automata","badges":[]}}}}}