{"entities":{"Q6535558":{"pageid":14146701,"ns":120,"title":"Item:Q6535558","lastrevid":57576036,"modified":"2026-03-31T11:26:18Z","type":"item","id":"Q6535558","labels":{"en":{"language":"en","value":"The complexity of LTL rational synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793087"}},"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":"Q6535558$FDFA3B04-D9C5-4ECD-88E2-24316604D8DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba46ffa69d354d9807995930017e525f919a1563","datavalue":{"value":{"text":"The complexity of LTL rational synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535558$08574F11-D0B9-47F3-9FCD-7E467420DAD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aa1f4cf6369fd4b179f7425011d2018653c7f18","datavalue":{"value":"1547.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$52DB48E2-C395-44DC-BEC5-0800BC74D143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52491eb51acbe664217ed956dc27df588426214a","datavalue":{"value":"10.1007/978-3-030-99524-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$FF9303BE-B560-4EFE-910F-E2A4785A0E4D","rank":"normal"}],"P16":[{"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":"Q6535558$E0FB39C8-F42E-4F1A-9EC9-19A3DD74BBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfee6ea998864c819a3e9e275ec26e6f9aa485ab","datavalue":{"value":{"entity-type":"item","numeric-id":6492404,"id":"Q6492404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$052F0CBE-759B-45E5-92B6-41EA59620D1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535558$A9D5B6F5-8639-46B1-8062-995A9D588349","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$542D930A-8D84-4D56-9142-1A6F8414A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$D76173B1-3248-48EE-B562-F2B8519EC5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$69975334-D327-47E9-9947-533940F3DD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$930CADEF-ACAB-45C6-AA55-1CC96F13CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$3F8C993C-AD2C-4544-AB13-C71F9D5603CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa2718be0bea0862ba4415b13cc213dc7805f21a","datavalue":{"value":"7793087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535558$2A2C4E22-E736-4E62-B9A7-ECDCEE260626","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":"Q6535558$A90A3A46-7FA8-41CE-9EFA-4C7E21C4B5FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$125D25BF-8DEF-4412-AFD5-6A8D4ED58D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6164dac3f08fce7e68c215f5c8fa1388866af8f","datavalue":{"value":{"entity-type":"item","numeric-id":3395046,"id":"Q3395046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$0D8A5E74-EE7B-4C2A-9DB9-D2607A330903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75afd648a2cc92efaf3ef33c9c1a55d813ee37d","datavalue":{"value":{"entity-type":"item","numeric-id":6116358,"id":"Q6116358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$64B463E2-D8E3-4B19-802D-EF5A1E05FB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafbe109f120b38c7a904eaf59f442fb7da79b66","datavalue":{"value":{"entity-type":"item","numeric-id":3541016,"id":"Q3541016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$064101DC-12DA-4D18-9E7D-A9C385173E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b334a746d32fa1c49868f7a73a90a118e7e47040","datavalue":{"value":{"entity-type":"item","numeric-id":3525629,"id":"Q3525629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$BFE26963-AA47-4E2A-80D0-70A1E5AD2021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b89c8bca36d366cdd3a48846cc88da3347e98a","datavalue":{"value":{"entity-type":"item","numeric-id":5311283,"id":"Q5311283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$ABFB2BCF-0C16-4927-A81B-3D202489C468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$72E32808-77E1-424A-8A6D-1E86BA72D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12cb598d98d97d37467fdfec8f830a34dd499ed","datavalue":{"value":{"entity-type":"item","numeric-id":4598263,"id":"Q4598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$D49B3689-4011-462A-A39C-A4313F836D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f53750f6f97bf611de436c1c9e3df97c92a7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$59B9474F-EC90-430F-8EEC-6F380934712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45a61829def6af3d075f3696e2f3e52a1841b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1641035,"id":"Q1641035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$53736355-1FF0-47B9-84D4-EC37B5600F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45eb1b44e38fc6dae101b6039e684cf59dd727c1","datavalue":{"value":{"entity-type":"item","numeric-id":3113724,"id":"Q3113724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$F58D31B1-133C-44F7-87BA-2A4094530B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$BFE06808-DDBF-4E43-A8A7-B37D76E62FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26581a8fcf88465ea01fd92e77e1b1ad4130af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3617729,"id":"Q3617729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$D9E2EEE6-0510-4A79-9515-F00499432618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$02B43B6C-5759-4AC9-AA12-5E94864C9C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c70480d1e1800573a0a08c506cef7987427635","datavalue":{"value":{"entity-type":"item","numeric-id":5432685,"id":"Q5432685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$D79B4F6F-5C77-4339-9574-CBC87C25ABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8fe8aa93a4db3cd779b63f20f6c07ebb96a29e","datavalue":{"value":{"entity-type":"item","numeric-id":5176034,"id":"Q5176034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$7AB1A1E2-D4AC-4EC1-9F7C-D209A438F87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$90F13A25-198B-4F25-8791-F25F75D34F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$0D91B6A1-B419-413A-B841-6063D1A22DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$3D4A16F6-7DE3-4479-8561-5274BB2E8C11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e84cd85afc2585ffde2f85b34b300dc5a5e5615","datavalue":{"value":{"entity-type":"item","numeric-id":4598263,"id":"Q4598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be9d79f5d1b4fa6ba821108e2180cf154baa345","datavalue":{"value":{"amount":"+0.8578988313674927","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":"Q6535558$91DF9A3E-BBD9-4406-B2F7-732158BB769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fa38d20d2cb88a0aeaf352c8f48165b0fddfbf","datavalue":{"value":{"entity-type":"item","numeric-id":5009456,"id":"Q5009456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c277a34cfdd8f4afc23f3216fd6fb92b36bad0","datavalue":{"value":{"amount":"+0.8378187417984009","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":"Q6535558$D999FAF3-3F33-411F-BD11-7DD469BB5117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39b6e4e6d9739ccc31978cac8480e6eddae9fbd","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6447ffaa934cb25cd27c6f288f86d265bf8abafb","datavalue":{"value":{"amount":"+0.8303936719894409","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":"Q6535558$4C117E33-C732-45F2-8DB4-84510541720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7035debba599a3625695af5c0b6af3adba031711","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8af7f7a48d5b6219d53f4bd615b9a41e4ba14b2","datavalue":{"value":{"amount":"+0.8292840123176575","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":"Q6535558$6BE40C69-305D-4DD2-A298-3EE2E0AD9F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d071241dbdb4ebaa2e4ea6fc2f87fac88cc30d40","datavalue":{"value":{"amount":"+0.7774509191513062","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":"Q6535558$F0ABA129-9298-4EEA-9B94-B0E3929FC394","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535558$443D7D0D-6321-40C1-8760-AF8F44816B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535558"}}}}}