{"entities":{"Q6560918":{"pageid":14172073,"ns":120,"title":"Item:Q6560918","lastrevid":55691992,"modified":"2026-02-17T21:06:47Z","type":"item","id":"Q6560918","labels":{"en":{"language":"en","value":"On the size of good-for-games Rabin automata and its link with the memory in Muller games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870327"}},"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":"Q6560918$BB1FA265-6A29-4A7A-AFAA-99C55DF46A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09df7cd0cb6c0e19a272ae6bba3016f5b31b8f17","datavalue":{"value":{"text":"On the size of good-for-games Rabin automata and its link with the memory in Muller games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560918$97B501C6-A57E-47D9-B701-98619F994A8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3db9b127006b34e9f9ec1e35b5768410e7bf58aa","datavalue":{"value":{"entity-type":"item","numeric-id":6124942,"id":"Q6124942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560918$32E2A891-3D8F-43CC-8584-25E3CDFF19DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560918$385B24B1-D8EE-42B5-A06F-82C6F0CF841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560918$C5684C78-0B67-48C0-BE54-60FD8F2B5207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560918$491A33D1-2D22-46A0-91AF-CFE9A9954DC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560918$D0D033BD-032B-43B9-A8A5-FBB3D923BCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560918$07AD82D1-A4D9-40E3-A707-21A925365F14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c629037fb8a20baeda7ba4aba5736ce8b63f5b66","datavalue":{"value":"7870327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560918$010E7AD5-5DBE-4B13-BC13-B578116B4D53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14876452a8f9633101aa0630701e4249eacae9d4","datavalue":{"value":"infinite-duration games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$FB4111A2-01F4-48F8-B4FE-BC0623B00ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85eb403317c8d593c084aeef732ebea15e974d7e","datavalue":{"value":"Muller games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$5336B7D0-C385-4DA1-B1CB-BDAD0576E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541b03b47addf693312bc6224a1b3676271296f9","datavalue":{"value":"Rabin conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$AD8CADE4-D74F-49D7-B710-4A849A599159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbfcfc14216ce1d5a81d470a946e7dce343b4f4","datavalue":{"value":"omega-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$974492E8-3227-4670-9682-21E14B7BD4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a607b56300ce262667520d77bcd89e45216d3c6","datavalue":{"value":"memory in games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$F0092EBE-C35C-429A-95DB-817C0B4AAD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd34f04db95bbaa790e23b59a9e85354f214747e","datavalue":{"value":"good-for-games automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560918$86E3E8F9-C895-484B-A281-FB2461028A65","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":"Q6560918$A9E4EFF1-AF8B-4CA2-A29A-3FAEDD22A63D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dff09193fb5c06c0cd7fb58385d5eb22d3fd084","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560918$2D3BB4FC-CFD4-476A-A7EB-FEBE4A088F49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8456e52e2063bfcaadf7b81dca276cbf4711939","datavalue":{"value":{"entity-type":"item","numeric-id":3574467,"id":"Q3574467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797dd2c327b9cc972c0f7444bf4e1148700c097d","datavalue":{"value":{"amount":"+0.7832707762718201","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":"Q6560918$CB226CFE-034A-47B2-A054-8AA22D28498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d938abc5577351b3fca0a3b33e9fd43cfd743609","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a83239b049eb2210e3df5ef418a09d95a1482e","datavalue":{"value":{"amount":"+0.7789309620857239","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":"Q6560918$8518678E-3179-4BDE-941E-6143FD2CB4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771760150652959d5ae0ede78e5a9e6926c508fd","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83f5699f40a9ec2e0a7383c706dcab74842b671","datavalue":{"value":{"amount":"+0.7547837495803833","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":"Q6560918$9EE0C63A-030E-4523-8275-88B584A46B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942a00b32d00d6ed84ebd7f000aca00f86386c81","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cff94a9995db3e421a3b77e763e09bc4cc498ae","datavalue":{"value":{"amount":"+0.7524285316467285","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":"Q6560918$72280115-5BC1-49E4-89FA-7DB274E72FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4d66d7905b0a2c51b95296b19ca4a4eadc7cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5090951,"id":"Q5090951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2432717cda3c898cca4144b7043c1752f3caba7a","datavalue":{"value":{"amount":"+0.7510490417480469","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":"Q6560918$048171D6-392C-489A-BAA3-B058CB6EAEAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560918"}}}}}