{"entities":{"Q5367065":{"pageid":7396639,"ns":120,"title":"Item:Q5367065","lastrevid":96058196,"modified":"2026-06-05T10:19:09Z","type":"item","id":"Q5367065","labels":{"en":{"language":"en","value":"Improved algorithms for parity and Streett objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790163"}},"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":"Q5367065$307E1915-DB33-4604-B7D8-A6EC398BE457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394bff4847a9d1deef0fff7fa2c1437a5a03621c","datavalue":{"value":"1459.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$6D5CE7D9-F7B9-447C-B4F7-81A8757CE3FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88edec4bf4252c9b3a2ce1cbb8858428939c1893","datavalue":{"value":"10.23638/LMCS-13(3:26)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$1FC9010B-684D-498B-BBB4-E9EC506F6412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367065$5A008810-34A0-40BD-B766-91534CD9B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55d18dc480c4444d7b0e7b3753d4b379b7bcaa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2253202,"id":"Q2253202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367065$D2549D1E-3543-4D03-BF3F-79D051DE77B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5206d388e7179cac1a1f282e72074e651e25ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1370851,"id":"Q1370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367065$7738584D-7968-4BC9-ADC4-D7D62EFAF3B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367065$05593115-B805-41BD-958F-671218AABE0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"194eac7445303dc8d2425af7d715ebb16721c135","datavalue":{"value":"https://arxiv.org/abs/1410.0833","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367065$3A695133-1315-41DE-A5C0-D478909B936D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$9E16A769-FABC-48F8-896C-BAC87BF2CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$59F3C561-2419-4761-B9C8-17ECFA84235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$0CED7510-CD81-4013-B58E-BCEAEB2EB80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$D7C5FB24-D8AA-4AB0-BDA9-95E7E90D3890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c40678e163b0ef7784f19bc6bc91aeaeb03c9607","datavalue":{"value":"6790163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367065$4E836CF1-E19C-4F2D-9B04-D7FDE21963F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$EE7B9B75-0594-432F-8E2B-F23913BAA08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$2BCB9A71-EA6E-4D0C-A931-9CEB80E617F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$2BB22498-0F55-4E1E-89FA-78CFC4671E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$799127E2-B4B5-402C-85C9-0314A0152818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95aabcf2634c1e0b880b0c36d7d7248bb8548c19","datavalue":{"value":"Streett automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$2904CBD2-61B2-4119-8868-6748DD31A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367065$E2126F81-09F1-41A7-9E2D-F19196421F9B","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":"Q5367065$F983B1AC-F9E0-4D04-9EA7-65B5A4B42820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574a2a76f353870d1f24d07ec8c6f83caee9c4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4635810,"id":"Q4635810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9727749e6be0a7195bb1488da6f65b16347093","datavalue":{"value":{"amount":"+0.9406489729881288","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":"Q5367065$06359860-A989-427E-8AA4-1797A078F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6782f932a371f8a8cf33d819b6a416d79e05941a","datavalue":{"value":{"entity-type":"item","numeric-id":5111253,"id":"Q5111253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756cf099db63076beecb2d059ba866e7b1aeb2f5","datavalue":{"value":{"amount":"+0.8084204196929932","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":"Q5367065$20EA030B-3727-4A72-8DCC-1A40CEBA3BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59d9e63ed5873ad151053172dc8fd0dc8587d7d","datavalue":{"value":{"entity-type":"item","numeric-id":5111185,"id":"Q5111185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cc1abbc87b24d05ab8de68fe0a035ed918f9af","datavalue":{"value":{"amount":"+0.8028507828712463","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":"Q5367065$9165DB17-F750-47AD-B3A7-90F74557F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66b5ed37fc8237ca187eca3f0102cabefccfb65","datavalue":{"value":{"entity-type":"item","numeric-id":4412830,"id":"Q4412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b211de8746840f417a8a61f9a43461a44ceb3b84","datavalue":{"value":{"amount":"+0.7978687286376953","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":"Q5367065$6122AFCC-8E88-43F9-A0F7-507F9E0F9E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c536e036d61a089acf90a8004ab2d210f2dd98","datavalue":{"value":{"entity-type":"item","numeric-id":4608584,"id":"Q4608584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8d46ee64a06f47ffa276caa04dda1d84405881","datavalue":{"value":{"amount":"+0.7926918864250183","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":"Q5367065$502FF689-5A82-4B69-813A-51A317B96BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved algorithms for parity and Streett objectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_algorithms_for_parity_and_Streett_objectives"}}}}}