{"entities":{"Q5090951":{"pageid":7120527,"ns":120,"title":"Item:Q5090951","lastrevid":94276112,"modified":"2026-06-05T06:24:16Z","type":"item","id":"Q5090951","labels":{"en":{"language":"en","value":"B\u00fcchi Good-for-Games Automata Are Efficiently Recognizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561321"}},"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":"Q5090951$F26AA47F-BDFC-4BD3-9235-2CD0C875B808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b702d58a23bad60a1dc653d66b6407d09f57ef32","datavalue":{"value":{"entity-type":"item","numeric-id":1744372,"id":"Q1744372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$D052FD7A-B2E0-4239-A6CE-222F235EEE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$D9896DC7-5239-4B72-90BE-3CBFB480387E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090951$2457BB83-4216-4C59-9267-2E33EEA4AE77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090951$0DB6885C-B90D-4EFB-9FBE-CB833AC54549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090951$FA4706FD-54D4-4389-9CA3-39F8581901F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ee0dc00682a924419fa42faf2c264009379b1f","datavalue":{"value":"7561321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090951$D9BCBC26-B7AB-4B3A-A22A-A2B52F6643BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f89252789775caefd006f97e1ee20a75525fe02","datavalue":{"value":"B\u00fcchi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090951$8B88EFFD-3BC5-45A2-BAB4-B2218FA3586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090951$F2DE4759-DAB9-4950-9B11-4DE2431864DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090951$DAC466EA-51B3-4007-80C3-AF17A749E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090951$1EF0CFB4-8D9F-42FF-8CAC-0C64CED8F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090951$8410809F-5084-4B67-8FB0-7040BC66DC55","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":"Q5090951$42650AD0-91C4-48D9-8775-9A0F6149507F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cc158694cee4574d6bb26e8e09ba06f91453ac","datavalue":{"value":{"entity-type":"item","numeric-id":5327425,"id":"Q5327425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$310D828B-5009-493B-BF40-D6CD95BF6FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8474e212e837f5e6be74c727636f13951268d0","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$68095363-ED8F-4DE6-A0B3-5983B9A4BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$6B21101D-E6D1-4583-9D8E-BDC99DEECB42","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":"Q5090951$F6F8439C-79DB-482B-9B62-C6778CC4CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$ADCB6BA6-40F6-49F9-9A48-F82ACCF623E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff2f50e974d6091754401c09a34dc01c7266099","datavalue":{"value":{"entity-type":"item","numeric-id":2904745,"id":"Q2904745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$3766A241-7A0E-472B-AEF7-82A78BDE5F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc5022f128a975dec37fb8610712d3064312c71","datavalue":{"value":{"entity-type":"item","numeric-id":4484483,"id":"Q4484483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$59BE331C-EA1F-457A-A5AF-044D4A06D894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$BF998E02-1519-45C6-96DE-BBE28B1AE50E","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":"Q5090951$4107427F-B972-42CC-B9A4-704E6A918EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442fb555162261a2556716c5fdc2247d191e9304","datavalue":{"value":{"entity-type":"item","numeric-id":1337694,"id":"Q1337694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$267963DC-2E31-4FAE-B5EA-B862BDA855F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de4f71fe7795e06eacc97834f5add086e47ac26","datavalue":{"value":{"entity-type":"item","numeric-id":5404935,"id":"Q5404935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$459A1607-7554-4190-B4D8-11B6332813F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeeb959491c11355f939d4404d90bec4eebdb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3304146,"id":"Q3304146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$D6A24ED3-F3DE-423F-B014-79107EA528A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8091299405c35479baafae89af1a807594a1d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$FFD31819-896A-49ED-B939-B1FCA3A6C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$DD645AE1-6299-4E1C-9A89-BA254D8940FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c61bd4561350d78843929402a0458a42d91c83e","datavalue":{"value":{"entity-type":"item","numeric-id":340584,"id":"Q340584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090951$C73EBF1B-B816-47E0-A800-B8F005275D11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ae12721b643c549779122600da141406df2f8ff","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01910632","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090951$6A9BF317-43F0-4CF2-B041-B93038AF8E17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d90f53138795fa653b6d126c16da170963fc6301","datavalue":{"value":"W2901103347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090951$B86C046E-1730-4419-9B17-F82E48E137E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2929b5a87b09f56a511edb2c8164fbaa68d6c8","datavalue":{"value":{"text":"B\u00fcchi Good-for-Games Automata Are Efficiently Recognizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090951$5CED9F09-B127-46FE-9D27-9D4636087944","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0187e8dbb5da40d1772e303c696fd9cf57a76a","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090951$C3B8A6EE-C81E-4676-A668-C496AABCFA5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771760150652959d5ae0ede78e5a9e6926c508fd","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb02e8e065ad5e336db7fa2b3017b4899712719f","datavalue":{"value":{"amount":"+0.8938101530075073","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":"Q5090951$78788620-B30B-42A7-BD92-475BAE0C88B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2db715aff7920231e4fca59d29d5afa8a643de9","datavalue":{"value":{"entity-type":"item","numeric-id":5875380,"id":"Q5875380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e35a30a20ab999717ff0e1bf51a0dd6355e0e04","datavalue":{"value":{"amount":"+0.862906277179718","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":"Q5090951$16D5A669-6EC4-441E-BF60-8FE9AF8E018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f53c1d7a7743b43e958bcc3819e844fa2928e05","datavalue":{"value":{"entity-type":"item","numeric-id":5028456,"id":"Q5028456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e583eb44b173479fbda88d61e541009f458f39","datavalue":{"value":{"amount":"+0.8558664321899414","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":"Q5090951$5426C5EC-EB0C-4F43-92B4-FC96DF709ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f389a5f49b16d3badfcdbb472f9ea33feada4ce","datavalue":{"value":{"entity-type":"item","numeric-id":5145673,"id":"Q5145673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88529b3f94624e8590d4e9e3d73efbfdd8c39dbf","datavalue":{"value":{"amount":"+0.853663980960846","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":"Q5090951$2575EFC9-8FCF-4BE5-B4D8-71DA3CE87A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942a00b32d00d6ed84ebd7f000aca00f86386c81","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63003decb6e7f8987f0829abb76527ebe0b6fd7c","datavalue":{"value":{"amount":"+0.8450698256492615","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":"Q5090951$10D8C79A-FC4B-4420-9523-37FB0570986A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B\u00fcchi Good-for-Games Automata Are Efficiently Recognizable","badges":[]}}}}}