{"entities":{"Q3638092":{"pageid":5667998,"ns":120,"title":"Item:Q3638092","lastrevid":87479060,"modified":"2026-06-04T11:47:07Z","type":"item","id":"Q3638092","labels":{"en":{"language":"en","value":"A Tight Lower Bound for Determinization of Transition Labeled B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5578402"}},"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":"Q3638092$446952CA-6991-48B7-928A-7D776402B828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25f438e4fba1fdc4bf59340bcca97b42572b7683","datavalue":{"value":{"text":"A Tight Lower Bound for Determinization of Transition Labeled B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638092$1FFE10B2-3EAF-4C7E-9E60-6B903BF864F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc4ed06e649319fd32728236be0dc355696e550c","datavalue":{"value":"1248.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$75B9421A-0377-44A0-83ED-34048A41795C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dcf7f734ec2d632abf00aa9251b88e3db2218d7","datavalue":{"value":"10.1007/978-3-642-02930-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$58AB295C-5CE6-4616-8499-4CDD092434A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638092$6B28AD1A-D52A-4460-A4AF-14A3807F83E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638092$5CA98968-0019-4DFE-80DF-4979AA9E0554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638092$552CF238-02CB-4793-A3C4-CFCFF1902FA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84a43ca09dfc89bd40b6e05ccc6fc3b6ab38d41","datavalue":{"value":{"time":"+2009-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638092$A500C401-C12F-4BBF-B6C0-89AF6D3059EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$DAA19F4A-CBF2-4653-8447-93E647201E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$37A734E5-43A7-4BA7-B6EB-EA93FA159566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa5dff2b86deabaf06e3fd9c016fba8725ffc86c","datavalue":{"value":"5578402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$5A5C08CB-1FB8-4EB2-AEC0-279AD68E4561","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":"Q3638092$DF5A3872-A19B-4AEC-9CD4-A5ED9E853734","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24858fa793496d8b21056956ec8777fdb7e80e35","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02930-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638092$0AA594CB-6066-48ED-B4F7-4F9548973BED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6119cdb9eb93d4ce8237a11b0fa1cb826b867265","datavalue":{"value":"W1507176903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638092$2A094759-B93A-4071-BEC9-0C14585A6B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace26560213f4f91c20cc22506856b9aa482da80","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e8ec19ef30985f8cedb938d73b0692718a2a93","datavalue":{"value":{"amount":"+0.9448229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$2EF618AC-27FF-46FF-ADFF-9C13D8EC9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eb2512629bf8d278d1db29ab433bd49a61d0df","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f0a8ef2011e9fa8d15700ed2e43a5da82b2a6d","datavalue":{"value":{"amount":"+0.919291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$BD0B4E7A-B9C3-45B4-831F-7FDC524EB1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec13281ffc419a125b51b44d1f47889c66d81e6","datavalue":{"value":{"entity-type":"item","numeric-id":4412826,"id":"Q4412826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760c2dd2e368d9a67720a7f1771b0bc4d2eb1bca","datavalue":{"value":{"amount":"+0.89803565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$73D234D0-C09A-43E2-9EFE-C58C6702C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0ca83be4116257bfb024f9b038a266e3d6951c","datavalue":{"value":{"entity-type":"item","numeric-id":5897682,"id":"Q5897682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2deb823428c81c328b0ce062e611aa6a9710452","datavalue":{"value":{"amount":"+0.88713443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$F7C7FAD6-A939-45CF-A193-D1C04EC172F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b41cd7f2ab0222909769d65cc6af5f65e3cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":860867,"id":"Q860867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2deb823428c81c328b0ce062e611aa6a9710452","datavalue":{"value":{"amount":"+0.88713443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$784AB0A3-0FAA-43B0-80E0-47D64A9B1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332ba18a6e4d069a5af724971f010694c6b2f149","datavalue":{"value":{"entity-type":"item","numeric-id":5428251,"id":"Q5428251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53836b3ffa9a0c22ab2bc1bfe31170f446e1b919","datavalue":{"value":{"amount":"+0.88099706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$5C7D0B0F-7DF0-4785-B031-6E315B0BC857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebc331c1ddd9edad0e18722df97f35c1d49b14f","datavalue":{"value":{"entity-type":"item","numeric-id":3538856,"id":"Q3538856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53836b3ffa9a0c22ab2bc1bfe31170f446e1b919","datavalue":{"value":{"amount":"+0.88099706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$D60F4CE8-5647-4521-B8B1-53E5C7D69952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e59a68742433af5e5db0db347bf2666cf048cd","datavalue":{"value":{"entity-type":"item","numeric-id":5092321,"id":"Q5092321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65962ec1ffc6391dce33466fe515ec9a89de11a8","datavalue":{"value":{"amount":"+0.8772368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$484B1206-B7ED-4209-A809-379C2C7EF45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2b44559d18da3d24acd4fd6d685f467b48f59","datavalue":{"value":{"entity-type":"item","numeric-id":4925234,"id":"Q4925234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6d45058dbb183f0139b446ccd771b1d9ccc1d1","datavalue":{"value":{"amount":"+0.8724431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$29D9BF33-FC98-4ED8-B424-6DE9F3284E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee66fe6dd6bb12af8d5d70ef5c810a57199172c9","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29841dd290c259b7b1c45d3b9a4aa994377c995","datavalue":{"value":{"amount":"+0.8722042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638092$E9F002C5-DE7F-4E93-9855-801D4837C80D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tight Lower Bound for Determinization of Transition Labeled B\u00fcchi Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Tight_Lower_Bound_for_Determinization_of_Transition_Labeled_B%C3%BCchi_Automata"}}}}}