{"entities":{"Q673778":{"pageid":675627,"ns":120,"title":"Item:Q673778","lastrevid":63476784,"modified":"2026-04-11T13:26:04Z","type":"item","id":"Q673778","labels":{"en":{"language":"en","value":"Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985758"}},"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":"Q673778$CE54E60C-E41D-4443-9B4B-F9E904B4DB2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c99c636f29e0c6af4f6aca0310f213e24ffe45d","datavalue":{"value":{"text":"Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673778$61919D6C-0DC4-4051-8BF4-4F961192E326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e20c782cccad275e657d16dab5c0120213eb7830","datavalue":{"value":"0873.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673778$E6C9D85F-D64C-4490-B200-C146D945945F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51162c71430e66b0d71bd399901d3bb3f8a371bf","datavalue":{"value":"10.1016/0304-3975(94)00214-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673778$E2C0AA12-947B-42D4-B471-3F3BEC2616A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d8423f1327302bd91c424093d3752a15cfe97d","datavalue":{"value":{"entity-type":"item","numeric-id":673777,"id":"Q673777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$431C53AC-A754-480A-809A-F8F8E695C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$364CC9E6-3AAC-4F11-BAFE-9F5FC71816D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$562C4AD0-7B22-4CBA-9EB7-49B5BBDA84A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673778$98EC2656-3286-43B3-8AF9-C40145D10290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673778$E11BC7E1-14DA-4A2D-ADF8-3A40EAFDB5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"295580c2819a94f19d22fdc667dab4d18fd3d973","datavalue":{"value":"985758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673778$9E52CE1F-5823-4F11-A26B-1A7F85779EE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be81aa4626dc81d6c2fd4122c1d9281494e0d4f","datavalue":{"value":"nondeterministic tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q673778$BE22E413-4EBC-41B4-9533-2837AFFEC3B0","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":"Q673778$EEE5D294-2CC2-4B8B-B42B-532ACCB412A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a186415a46959b23b1da9f7214d49d8dbbfcfef","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00214-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q673778$E0105C0B-DAC4-42F5-8F73-7E11CA95161D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bf884eb660e77a50c91dd87f118d7f33a47bce3","datavalue":{"value":"W2076284895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673778$41A5D1F5-A057-4076-98C0-1490B2F6A757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$184A587E-E716-43FB-9CA9-162034DB7BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75546c5a0b51849c4db1e7441577e6385b49875","datavalue":{"value":{"entity-type":"item","numeric-id":4143272,"id":"Q4143272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$525EAD62-A9C1-481A-9E90-C044FF3BB996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$327152CC-8682-49F6-9FCD-9F548250D2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$4516B04F-8573-42A0-82B0-39FEDE59EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$9806E92A-BAB9-444F-8AB6-399C84F8904A","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":"Q673778$73789C33-A412-4670-9ED1-262B86994351","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":"Q673778$84E4F187-02E8-440D-B481-31BEF0723DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fc26db2951dfe925d71fa6328785bd7add11d3","datavalue":{"value":{"entity-type":"item","numeric-id":5286026,"id":"Q5286026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$D83412F0-BF37-45C0-A662-54A2A1D5732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$534EF681-9C03-4845-A610-898D3FA4CDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$5CFEBADF-3C12-4FF8-B56D-B0334A1C48BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$E392F387-49C7-464E-A937-6C33715A970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$06766374-8E45-4EE1-AC76-ABCE569BF6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$4F696799-D898-4D33-8769-F5A620E0D99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$6D3ADEC1-82B4-4EE0-BB4A-C743BC36EE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bbbb0fcd6dc011ad30e27432766ac608faa010","datavalue":{"value":{"entity-type":"item","numeric-id":752703,"id":"Q752703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$30ABBFEB-96C5-408C-A6A8-6F6552B2F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32409fd4e35400ca8995236e1e26fb220a06f2c9","datavalue":{"value":{"entity-type":"item","numeric-id":685082,"id":"Q685082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$535E4116-1ECB-4D99-90F9-BABA7FFE0258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504f6b648bcfa18997434aaf597ca9cf8bc967ad","datavalue":{"value":{"entity-type":"item","numeric-id":4304495,"id":"Q4304495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673778$CE2840B5-E872-498E-BFFF-7472BF027398","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e765d0962b89b006cd5b49026b0398d2f1a272","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583ae9c053e6d3237f4e80bbe55fc9f33eb76f90","datavalue":{"value":{"amount":"+0.8655480742454529","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":"Q673778$DD0D7E12-AD6B-477D-B8CC-19F409EDBFF0","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":"fd60749d7307e5fb6724bbd898fa48f32f340ee4","datavalue":{"value":{"amount":"+0.7888390421867371","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":"Q673778$5F284F7E-20CF-4D4E-8769-5982940E16E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdcca710f86835c0f29edf18bb1e31bec5ad010","datavalue":{"value":{"entity-type":"item","numeric-id":1337694,"id":"Q1337694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b2fc328544cfd91d6834e7dfaf4bbc5b0236ae","datavalue":{"value":{"amount":"+0.7875989675521851","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":"Q673778$557193F9-FACD-4C60-9FBC-9602CA9BEC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c66e93af945020ac63c9c5a14fa8e77c11897","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0d95f11c250b946b348d05928efd35b8c0a516","datavalue":{"value":{"amount":"+0.7859078049659729","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":"Q673778$956D9C19-421F-4A04-9FF0-9F124281B977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulating_alternating_tree_automata_by_nondeterministic_automata:_New_results_and_new_proofs_of_the_theorems_of_Rabin,_McNaughton_and_Safra"}}}}}