{"entities":{"Q845908":{"pageid":847756,"ns":120,"title":"Item:Q845908","lastrevid":42725951,"modified":"2025-07-09T14:38:19Z","type":"item","id":"Q845908","labels":{"en":{"language":"en","value":"A power-set construction for reducing B\u00fcchi automata to non-determinism degree two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664742"}},"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":"Q845908$FE06F32F-181E-4467-B566-257D6D95CC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4247584e51c059662d8a424b260645a67820e24a","datavalue":{"value":{"text":"A power-set construction for reducing B\u00fcchi automata to non-determinism degree two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845908$AEC27D8A-6666-4FB2-98CD-9939718EDC54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"739022e605e0b9ad76eba5b07d937b59c438d651","datavalue":{"value":"1185.68402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845908$444F99FF-962F-4E56-8526-B24F4D94B0E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dcea5c1aa112c4c41bcb8a73cac9df067f482e6","datavalue":{"value":{"entity-type":"item","numeric-id":845907,"id":"Q845907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$04BF3AAD-643B-40E3-9646-29C357E69CFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$DE6E02F8-26F5-4D8A-92A9-82D3B9153D70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845908$7F1A7886-E9A3-4A52-9959-015E96808B1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845908$1C453B42-88F9-4B95-8FCA-A3DB81186599","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db87ba0a7b2f9caa31179c6a79f4efc461312ab0","datavalue":{"value":"5664742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845908$88AB96B2-47A0-4047-B099-0552EC669A6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845908$7AE07C1C-B311-4E43-B269-FDA73A4F416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q845908$EB398F6E-D058-4316-B384-44415012B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q845908$42E610EB-64BE-40BB-956E-0C8AEB744841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a56ec47e28b947d9f63e2b7b41c3f7b1293492","datavalue":{"value":"regular \\(\\omega \\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845908$4F1D4D06-B488-43AB-BF5F-65AACEAA5BFE","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":"Q845908$3879FA61-9CB5-4363-8057-C50E74145A24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b136c048315ad53e0933876d461c8115a5b94a22","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.08.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q845908$A1C7877C-68D8-4D7C-A86E-99E5620C75AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d29ab74194aead9356f4df9c722ee6d0fbe818f","datavalue":{"value":"W2002662108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845908$D5B954C0-F38F-45A4-8CF7-76F84FF219CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$F66363A7-AD2C-4218-A01C-19B19C32B6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$29687B23-16D4-48D9-9C51-11F9E010B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901701966a3f720569546cf5478278f378e3cb73","datavalue":{"value":{"entity-type":"item","numeric-id":3746904,"id":"Q3746904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$F60289B4-FB95-45AB-B3E4-74799D83BAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$35CF938C-D5A5-495E-8666-B388C2B8BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60699db28cb53b6feefe0edadcb1f9ef01aaaa99","datavalue":{"value":{"entity-type":"item","numeric-id":4096929,"id":"Q4096929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$4D405736-9B17-4A24-A11F-580BD3E1A4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a22895447e75dad117148d7f19941991d154d2d","datavalue":{"value":{"entity-type":"item","numeric-id":673348,"id":"Q673348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$995B171D-D8E0-4391-85A0-793552DD97A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c5a8312c0a723a56daffc19cda0523a44131dd","datavalue":{"value":{"entity-type":"item","numeric-id":5361465,"id":"Q5361465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$16110115-9F38-4E13-A19A-16CA58684242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$2121E884-89E4-4D19-B867-A73F19503957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845908$BBA0307D-E64C-4536-86C9-83DDFCEBFC9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5706c12c206f1083d582a4bf3b29b53acb18bb46","datavalue":{"value":"10.1016/J.IPL.2006.08.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845908$923A0337-81B7-4C43-9FC1-52C635EDC325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d243301ac3e867fcc20081d7af123443233beb","datavalue":{"value":{"entity-type":"item","numeric-id":3510798,"id":"Q3510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c500ea48c1f12aac0c8d0ef9f820a2b5b6eacfd","datavalue":{"value":{"amount":"+0.8758017","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":"Q845908$97943B25-C287-444F-92B8-2537C2F48496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f19728f467ea6a928bbba603bd187f662617e7","datavalue":{"value":{"entity-type":"item","numeric-id":5449808,"id":"Q5449808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13faeeb042f59e8ce47db618f429fb665fec1cd6","datavalue":{"value":{"amount":"+0.8606425","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":"Q845908$C7B03653-940A-46B1-A52C-E6886A668812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8ea97e536baa1948c1a1d6dbcdfff80eea9232","datavalue":{"value":{"entity-type":"item","numeric-id":5313799,"id":"Q5313799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca07c45ccf0ac2eb5b81399ac80e6c1575f5313c","datavalue":{"value":{"amount":"+0.8583075","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":"Q845908$31360C67-A437-46C5-8324-9FC7BC828505","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":"0b7ea1e2665be1d8f70dacd82dacfd2f08e043a1","datavalue":{"value":{"amount":"+0.85439676","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":"Q845908$4348299E-1DC5-40D3-BDC1-D2EF481E69C7","rank":"normal"},{"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":"bc8ce7e2a57bd2d62f2d57caf8755e899976a7e3","datavalue":{"value":{"amount":"+0.8526757","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":"Q845908$5F72F059-25B9-4B75-81CE-B65B5939943F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd38d735b516bc405ae22510abbc9fa27100998","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850d7c5ba62114bf83624ef0a5aae856022d31c8","datavalue":{"value":{"amount":"+0.84762645","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":"Q845908$D8A8F6A8-B492-4669-8116-27F56697E76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd585b1b2e5df1e5064eeb50b59f17275db54163","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9d080647bd336e1b6864dd25192f0fc00da3ce","datavalue":{"value":{"amount":"+0.8434154","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":"Q845908$7CE11282-3DD3-4CED-A81E-10A677FF4372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a80a200c5b157ef75d8a4190ce725d845d93d83","datavalue":{"value":{"entity-type":"item","numeric-id":5505553,"id":"Q5505553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56da90e09e0802f50df92ab456a0bded0c32e4ae","datavalue":{"value":{"amount":"+0.8432752","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":"Q845908$3B108C31-2414-434A-8DBE-83F32155F82C","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":"c15052d6111fa6f97d3794e81fb976627aee7305","datavalue":{"value":{"amount":"+0.8423789","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":"Q845908$B8203A40-4594-4337-A4E4-5D4229CF47E0","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":"c15052d6111fa6f97d3794e81fb976627aee7305","datavalue":{"value":{"amount":"+0.8423789","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":"Q845908$F0C33F16-DB3E-45DC-BFC2-5D1CB23EEF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:845908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:845908"}}}}}