{"entities":{"Q5426071":{"pageid":7455645,"ns":120,"title":"Item:Q5426071","lastrevid":50214557,"modified":"2026-01-13T13:21:33Z","type":"item","id":"Q5426071","labels":{"en":{"language":"en","value":"From Nondeterministic B\\\"uchi and Streett Automata to Deterministic Parity Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5212254"}},"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":"Q5426071$51F58E52-191C-4D1E-9584-AAE0F79A1E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e9291f8191ee118f35063013e467244cad36f3b","datavalue":{"value":{"text":"From Nondeterministic B\\\"uchi and Streett Automata to Deterministic Parity Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5426071$E095109A-8599-4B74-A895-076A49675107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82196a34c4dc9d7848a9a7dfa7bbabd7d2be6e99","datavalue":{"value":"1125.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$36596781-EA0E-4D85-8FC4-DA25FBA0B876","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5d7721d904bacfe1a178696c6a7c026f74a595","datavalue":{"value":"10.2168/LMCS-3(3:5)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$5DDFAB6A-4753-4104-96C4-2EB6EC813D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426071$B9F45E36-C0D2-45A5-8EB5-E902ADAA2A06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426071$E2C3CA47-8B57-47A6-AF96-3089405877E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10a5b1b71dc88e8e4df61ab7ef0a14b44bff6f5f","datavalue":{"value":{"time":"+2007-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426071$BF85B4E5-6975-4E64-908C-550AB60A5C18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$F5DC14BB-A172-409A-9738-DF92BD3FF044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$B738813C-443B-495C-90EA-0B1AEBEBB281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$918688F0-9D4C-40C1-A5DC-35B2EF619A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7307acf23f08e771249f5562c473e5f73e7708ab","datavalue":{"value":"5212254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426071$8ED5917B-064C-48D9-9748-43F8136BC386","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426071$F752C988-9389-43B0-BBE3-58FDF52CDAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c927d85990bc074284bdc99549eb379bc18f1eb","datavalue":{"value":"automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426071$522A046C-B2FE-4440-892C-68934A7CAE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426071$DAFEB080-9262-44DE-A1EF-8FF6C4A09D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143b2bdacd25e83a1d81bc0bfb103a342ec43d3c","datavalue":{"value":"parity acceptance conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426071$8185C79D-D6E9-4825-AA92-1109B75FB772","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":"Q5426071$F26B86CB-39B6-42CF-90CE-F62BFE7A844D","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":"de11bab1e5aa579392173d484b133d78e82e6379","datavalue":{"value":{"amount":"+0.8662459850311279","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":"Q5426071$9E1991E0-E2B6-4E13-A3FE-0402C127DEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238ca521a10ec78817a9af9df8950a27df5fb193","datavalue":{"value":{"entity-type":"item","numeric-id":2922042,"id":"Q2922042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baed4c3adc356eeb115a201602a11cf920759d3","datavalue":{"value":{"amount":"+0.8500233888626099","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":"Q5426071$3D6FE397-53C4-41F1-8A19-1788673B3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f28745b9dfa7186d51e7baed5bec1010d3f6a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4412828,"id":"Q4412828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6d5a1c27e7d721e817a708c1c08eda207a7d11","datavalue":{"value":{"amount":"+0.8327879309654236","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":"Q5426071$08E717E9-21E5-452E-837E-43F099F40BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c381afa7b827065ff879595611113ac99cd86","datavalue":{"value":{"entity-type":"item","numeric-id":989532,"id":"Q989532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2d8ab4d172a7fbf86eda0cce8e5b9e92835ed9","datavalue":{"value":{"amount":"+0.8218439221382141","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":"Q5426071$82A17084-5418-48EA-A7BE-739AE6529355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badd0577fed8ab785bf6cd89c9722e32dacdfe83","datavalue":{"value":{"entity-type":"item","numeric-id":2908872,"id":"Q2908872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5462b4e2dcc7b7697fd68b624cfdcb6a58cfcfa3","datavalue":{"value":{"amount":"+0.817664384841919","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":"Q5426071$6B763032-D87F-4769-975E-E0F984B84B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5426071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5426071"}}}}}