{"entities":{"Q2908872":{"pageid":2919597,"ns":120,"title":"Item:Q2908872","lastrevid":51537866,"modified":"2026-01-18T17:00:47Z","type":"item","id":"Q2908872","labels":{"en":{"language":"en","value":"Parityizing Rabin and Streett"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073550"}},"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":"Q2908872$894FD257-C017-4B45-B75F-CD713D8896D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f413227e4aaef5a9ad44da80b5c1db086e8a7ef9","datavalue":{"value":"1245.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908872$116BBA93-FEBE-4C54-A33B-3F7270DFC37E","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":"Q2908872$2F082A25-19D3-4B3D-923B-5FD71A631533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908872$80DAB98D-574B-4D30-99D3-34F16A7913CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af05e2916b0f0f5f2103e1beccbc3e306a44e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2908871,"id":"Q2908871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908872$03F92A99-7221-4590-A900-15CD61CD530D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908872$D2D4F591-EEE2-4BFF-8394-72F58F48D1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca823c8e3963ab90e6f80d7b123a908bde9d648d","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_3e5d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908872$2789C143-89AC-4DFD-AC3B-E55C7720AC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908872$7C7DCE36-D8DB-4FBE-9CD2-0D206B81CED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908872$BBD636C3-59B5-4CDF-83CA-3D8923101203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d42752997122b948cf17001d40e9a913a2b9f335","datavalue":{"value":"6073550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908872$A36B858E-6E4C-4005-B64B-4A5712DD0C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e866cbfa5519817f1d5df6b2f4b4a59a5be64a1a","datavalue":{"value":"omega-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908872$681148D1-D6D3-4B33-B2C3-4F2EF9CEE1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0edefa6c6dc22403eabc648d922c28d6425c4e37","datavalue":{"value":"Rabin condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908872$D4B500C1-58FF-43B9-876A-C7D26173CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332f8c735949a69876bf91f3370f90bd01879fd4","datavalue":{"value":"Streett condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908872$51A4A4F1-E8D1-435A-9379-21545C4D5592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d3a95891dae2ebc45dd66360ae6b6aa0e186fc","datavalue":{"value":"parity condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908872$1E027FF5-F6B4-435B-9EA8-64579512FCF1","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":"Q2908872$CCB5606B-8177-47B5-A8D9-1D8D3262D224","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c432b02983d4601f5faa8b9964aeed640f12f28","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908872$C601D16C-855B-4129-B6D5-8D7F8A003751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a561927b3b25a9f2991ab9c8a3827b002c59d736","datavalue":{"value":{"text":"Parityizing Rabin and Streett","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908872$F2C5065C-0065-46D0-905C-543B0B91D01C","rank":"normal"}],"P1643":[{"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":"25db0bf06d5cda2d3e5b1901e86b97f3b1c621cd","datavalue":{"value":{"amount":"+0.8280691504478455","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":"Q2908872$3587378D-1B8B-4C2A-8125-0CD9B0011A05","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":"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":"Q2908872$47959138-AC4C-4E94-A51D-961EF22F81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec246ef6b0b7a428e2bb9dcb8a42981b3f9b702","datavalue":{"value":{"entity-type":"item","numeric-id":5136307,"id":"Q5136307"},"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":"Q2908872$068905E1-5AA6-4706-8A30-42C5C2947014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92834ae528e86b32d89be7b62e587ae497ff8711","datavalue":{"value":{"entity-type":"item","numeric-id":2769435,"id":"Q2769435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43434dcb987a8148b1ac077687bea6f5546e6ab7","datavalue":{"value":{"amount":"+0.7904296517372131","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":"Q2908872$8A8579EB-4926-499F-A71C-638AA007D7AA","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":"41bf027ec0f428a7812d5d426dbf984592d49f7e","datavalue":{"value":{"amount":"+0.7755293250083923","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":"Q2908872$29D84C97-741C-4990-9574-965605BAD7B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908872"}}}}}