{"entities":{"Q5136307":{"pageid":7165879,"ns":120,"title":"Item:Q5136307","lastrevid":94335467,"modified":"2026-06-05T06:32:54Z","type":"item","id":"Q5136307","labels":{"en":{"language":"en","value":"Rabin vs. Streett automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278089"}},"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":"Q5136307$41CDE487-4A7F-482C-B885-0595DE43FA90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cea625d9057e44465557e0abfcbf77b8be902ae3","datavalue":{"value":"1491.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136307$DA65CA3F-C9FA-454C-A4B9-17A3F89C7BC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$2CA3CD94-47F3-4C83-88CA-666847A4AEC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136307$A93A6B58-5880-4950-A30E-E8C80829781A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136307$5AFB1C7C-C1F8-45A2-B8C9-4F3C53E18823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9306a3be3e9b5be750d7acc0bda90b8051f66ab8","datavalue":{"value":"7278089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136307$4FF025BC-8287-4D18-88F1-4F5EEE6DB6AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a52ffb1807b2b7dfd756424dea1f3212eaa1c6","datavalue":{"value":"finite automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136307$DB92B9F6-1C28-4F94-8043-FB054F394C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136307$383542B8-8D27-4A03-ABBB-0D860C4892FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e2d435e4dd0efedb8e0a157b3fcbfa7bc54815","datavalue":{"value":"automata size","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136307$A85AFD21-5CDC-4D2B-943E-763513961589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e37aa0f4f08e208e1a86c646ff1c22e2ad4c4fa3","datavalue":{"value":"state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136307$AA2D08B4-900E-4AE3-B689-65BF2E2676C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf4a8bc6e90e82b0636cd166c73cd7d9a75cea9","datavalue":{"value":"nondeterminsim","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136307$402745A5-E065-4994-98EB-07972380C33F","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":"Q5136307$AB57F9F9-CA4D-47A5-B723-067242E7DA4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2320a2fcf10331f64c2de138ef6a465264bd5355","datavalue":{"value":{"entity-type":"item","numeric-id":5111179,"id":"Q5111179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$A20AC202-ED38-4AC3-A432-E93C3001D632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de3fdf56cb4e5e81c0f0b62ce4a709b2319709","datavalue":{"value":{"entity-type":"item","numeric-id":2946678,"id":"Q2946678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$2AB7CE5D-F1C8-4BC6-B18E-A2F594455B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f5f02ca6d89f8b0d2961b021683395f493460","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$64E65900-9DB0-4536-8F05-B870496DAD41","rank":"normal"},{"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":"Q5136307$1F262818-F22B-402D-8872-E6F814E0DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9442f2ee2c12d448facfe495d7d56c8c26c09170","datavalue":{"value":{"entity-type":"item","numeric-id":2911636,"id":"Q2911636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$FBAF40BC-F415-4DBE-B441-8E9D8F129D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$9F13CD90-9AAB-4324-AB6E-D8CC8E572C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630a96a1189cb34dae7dc816668aa4fc02e8878d","datavalue":{"value":{"entity-type":"item","numeric-id":3638092,"id":"Q3638092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$A4436A21-E516-4E61-846C-A0E47B620995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7794cb73f948d45ad66d583310a53a0a4dbb6541","datavalue":{"value":{"entity-type":"item","numeric-id":4525725,"id":"Q4525725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$51CA3D60-AD88-4DF5-B340-C74524C997CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd2edc4f8430fe75926f2e5042e936c318e8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5394199,"id":"Q5394199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$F009DF62-2A8E-470C-B047-FCE037D9BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162c3b69b67cd9223f8e7b8527ad7574d868f35d","datavalue":{"value":{"entity-type":"item","numeric-id":989532,"id":"Q989532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$63AA5735-AC21-43F4-8B60-2CD746295471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f5e32092beda518f93689f71b709ce71d34c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4501665,"id":"Q4501665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$E2F28A65-54C2-442F-BE20-4A1D460CFD3E","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":"Q5136307$C9261445-324A-42F9-9A01-3919E3BD36FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$125786B1-9F20-4059-870F-3229C70BAFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$4D47E951-C7C5-4EC7-A677-92DC58737517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$4A4F042E-C90C-486A-934D-E7A242D0B332","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":"Q5136307$65B2156C-0B59-4685-9055-E14691D516DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3da6e8e22eb9ce673b708daba3d803e9c1df4","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$5457917E-8532-43CB-A054-829B2C4E9F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e514071c007ff2e5c95dfa454cea6895bddf3ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2922042,"id":"Q2922042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$4313961C-F701-43A4-85B2-A74AB5B5080F","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":"Q5136307$4F30B8F8-6AEA-4BA9-A8C6-3A43C0EAAC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4653c4bce41e453d944c01560a098b2b498c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3518271,"id":"Q3518271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136307$F4BA8F8E-3F51-4A9A-B6BB-725390D71284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74eaafb0856c77d6e0e56fafc3f7a93591eb8567","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2017.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136307$A7F9D181-02BE-4662-A521-F35A3A7AF7F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54756a819c41ee0ce1ff6041eac018be27c779af","datavalue":{"value":"W2788732000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136307$61CF32D3-9315-44E9-9B66-97732A6855C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0db08de06cc7a308fea05bea610123cf18584d9","datavalue":{"value":{"text":"Rabin vs. Streett Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136307$C4834786-28F5-4C4C-A92F-D7DA40088B13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7382e53cca77e959d95d9973df5d0b6e70f181d4","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136307$D9512B65-CE81-4992-9FF0-119534FC1A98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a490c317fb5f5704c21c9d0003cea30a07e98135","datavalue":{"value":{"entity-type":"item","numeric-id":2946678,"id":"Q2946678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c6e6da5d619a7cbfe7daa0a5c63dd68afc91a8","datavalue":{"value":{"amount":"+0.8182684779167175","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":"Q5136307$DF46C485-23AC-4650-A3C2-64B8EF79AB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5da9478e5c48a2543d45f892fb028f84fa60c","datavalue":{"value":{"entity-type":"item","numeric-id":5111179,"id":"Q5111179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ddfce2188f2da324af469829b6bc3382b0fc61a","datavalue":{"value":{"amount":"+0.8069300055503845","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":"Q5136307$618F64C2-9001-42B7-A6DE-3D8D90EA2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631dc899a8d27bb7b71797a7d9e82999f39275a","datavalue":{"value":{"entity-type":"item","numeric-id":3000608,"id":"Q3000608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dd224ba9d8e425df644b707bc45383efbdc208","datavalue":{"value":{"amount":"+0.8042171001434326","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":"Q5136307$0B5012AA-E898-4C39-91DB-2A646D0DE904","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":"9d336a2088723d2112dff7e4821d2c2cded19ed8","datavalue":{"value":{"amount":"+0.8030133247375488","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":"Q5136307$BA768375-11A7-42E3-BADF-DCCFA96B56D3","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":"040017f4da98f9a8043d1c8f4da183fe62c279c7","datavalue":{"value":{"amount":"+0.790008544921875","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":"Q5136307$77CF4E08-D238-4770-96F6-37B62EF0163F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rabin vs. Streett automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rabin_vs._Streett_automata"}}}}}