{"entities":{"Q3510801":{"pageid":5540705,"ns":120,"title":"Item:Q3510801","lastrevid":88438253,"modified":"2026-06-04T14:31:27Z","type":"item","id":"Q3510801","labels":{"en":{"language":"en","value":"Distributed Synthesis for Alternating-Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297043"}},"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":"Q3510801$804A10DD-2D40-4485-BB86-1BD7AEAC0288","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39c5c7a020e31744c2e6e25f4e90cc17139f5979","datavalue":{"value":{"text":"Distributed Synthesis for Alternating-Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510801$D6E01E39-08A8-468E-A448-6A4B2AF557F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b742229e4423028be8e6dae45be2b0f5b5f4b48","datavalue":{"value":"1141.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$1BB78B28-CA28-4E15-B143-66F78761A7FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893bbb5bde2624a7a5368b87cb0515e7eaf77cb3","datavalue":{"value":"10.1007/978-3-540-75596-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$A3E8A695-5A4A-4279-A718-B2D5C95EFD99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$E201DC99-62D2-433B-AABB-47711210595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$A8F7DE13-2A15-4DB3-B234-54DE8A3CD205","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$9765172D-DE19-4A7F-8345-4DE1D5386094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510801$90090B35-80C5-4405-B5B7-55899C91F268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$75F37A1C-C018-40B4-95E9-54801FA533D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$350A99B2-6628-4362-B540-B977B0C70B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$E4ADEA39-E9F1-42D3-89C6-F3FBF8D20F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7d7d85465c81fca5f02a4d80c62406236cd5c1","datavalue":{"value":"5297043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$8E537FF1-9973-4EE7-8AE6-7DEA90C57460","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":"Q3510801$7EC7A981-0A7B-4882-93DA-900D43C6A2F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c233f355225ed736860ac1a27b1ace7d9fe0f3c9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510801$45EBF819-5505-43B0-AA52-67B322FD7794","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04a608ad3d947a4bea2e2c2217a133ce9f7f9c97","datavalue":{"value":"W1492378530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510801$0CD81EDB-D562-4EFD-A63F-610A1C2EE259","rank":"normal"}],"P223":[{"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":"Q3510801$23FF8972-5DE7-4D41-B505-6D86D8E77770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$306B2DFF-62C8-4FC4-949F-D1E64DF07EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$1064F7F7-2682-4EAC-A6C3-178E6DBA2C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5643f66c7c082be8bd56dbaf0654be51518f85a9","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$3BDFC05D-B193-485F-9FDC-FCACA59CD266","rank":"normal"},{"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":"Q3510801$C16FB1FA-5503-4710-BB2C-92DDA0C0A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$202F536E-8FDB-408D-8E3A-31F213827735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$3F2EA8C9-1E10-4278-BEF0-F41B93474CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$34A7B57E-3E6C-4BA0-B642-AA9F546ACDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510801$C11A9E34-D2C7-4167-AD60-B6E133D3DBD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b59f38e5cf9a15b25bd3a88eeeba0742dc70af9","datavalue":{"value":{"amount":"+0.8144931197166443","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":"Q3510801$3711790D-399E-40A4-91AC-29BB9838D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b4feba24d88cd9a44e91bc0a1b6ffd5e629117","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43dae22423e7a7d8e7de63655f937d549792d249","datavalue":{"value":{"amount":"+0.8126789927482605","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":"Q3510801$128E6A99-15A6-4C68-B4DF-1A19D108DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2751d9a71623fdddfad00ffe4cf9328cf63d946","datavalue":{"value":{"entity-type":"item","numeric-id":3426790,"id":"Q3426790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d904eca5eaffe85c6c5fe0bdc26725cd8cda3ec0","datavalue":{"value":{"amount":"+0.8123041987419128","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":"Q3510801$C7C453A1-E5FC-417C-8793-125D3DE0D16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9fb8ebac4ad5d031bf9945a7998c194d46a6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9868f867e83255d7f1f3c15e3108d0213563d393","datavalue":{"value":{"amount":"+0.8072606325149536","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":"Q3510801$D902FCBB-7EB6-4543-A684-380AE44827B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe26b08379d103fcf1f3fde0ef880390778b35c","datavalue":{"value":{"entity-type":"item","numeric-id":1784965,"id":"Q1784965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c7c61a54121baf65c3c117cf9c3dbc986f163e","datavalue":{"value":{"amount":"+0.8033724427223206","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":"Q3510801$A453D9B6-6611-4828-895F-CC1BD6C53834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed Synthesis for Alternating-Time Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_Synthesis_for_Alternating-Time_Logics"}}}}}