{"entities":{"Q1784965":{"pageid":1795707,"ns":120,"title":"Item:Q1784965","lastrevid":74243352,"modified":"2026-04-14T19:08:36Z","type":"item","id":"Q1784965","labels":{"en":{"language":"en","value":"Distributed synthesis for parameterized temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944945"}},"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":"Q1784965$725497D9-559B-479F-B256-BF6876E46BCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b87a099c352ad024fe04c169f649beab5d4c94a5","datavalue":{"value":{"text":"Distributed synthesis for parameterized temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784965$8321393E-C589-477A-A419-41384E874FF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ab551b86ab2dabc40a9a3420450bc540491b676","datavalue":{"value":"1400.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$5FF50D2C-28BD-4E22-8B53-FC9411597151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$8CACD281-4B53-457B-8334-44FD7A34B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$6EB152B1-5483-4AB8-ADBE-7B3823BE1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$2737272C-7A02-40F6-8893-DD22C2FBFDCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$ECCA93CC-1346-4B55-8163-51A6FA32F744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784965$F1DD21DA-24F4-4B77-BE7B-9A068A15DAAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cb54157b63eb2e90efacff7b92f34c1a5eb2d94","datavalue":{"value":"https://arxiv.org/abs/1705.08112","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784965$9FECC78D-037E-46BE-8D82-F9E88AAA1D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$D43BF437-013C-4AE0-848E-A1B09AFBB175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$E3042272-1717-4744-A5D4-0A0A4F17029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$0FE2DB38-5560-4D98-BBBC-47DFE6027685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f7648e7ef673ff15da83e98900dc429f11b8d1a","datavalue":{"value":"6944945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$37C4E919-AF41-412E-8E93-72BB2B3F9635","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784965$F1CCCCA7-C574-43FC-BA23-FC9980ED0DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e46f9a722bdd650c7071e371a3a9951051bbaa7e","datavalue":{"value":"distributed realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784965$D3A516FF-6667-46EA-8378-D85A0A87C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6f966e4d6ca933ec639419988ab70ff720dec4","datavalue":{"value":"incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784965$F1F97160-DEA9-48CB-891F-A12CEE50A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2754e552ffa760728e96ecf50df351a0ea8834f","datavalue":{"value":"parametric linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784965$63AF2689-F78A-4509-9064-420B9782E962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d2fdfc87c4f387f68c4c7b3d2f8bebe3c7409c","datavalue":{"value":"parametric linear dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784965$10CAD401-FC43-4DE1-A63A-3C55E12ADFBD","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":"Q1784965$22A72D85-F052-4748-B3E9-8E984EE688A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ecb8631d05ee6940748a25d46c557403c77233c","datavalue":{"value":"W2963025247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$7A51CD76-A583-40FC-ABFF-0CA98DE8D6AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$3623A21C-260A-40AB-B427-EC7AFCC0CCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$2B801923-930E-44E3-BC39-37C832BF398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$FFFF4100-7835-439E-A45C-1CE57BAE8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$F38304F5-EF4C-4245-A753-3F4AD71BD2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$8B560CF9-4508-4273-86B1-4D3B41C0CEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$E6360903-A6C7-4FFA-8E97-971B5B5B4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251400266117686745d3f882c4375a2a71694b36","datavalue":{"value":{"entity-type":"item","numeric-id":2413483,"id":"Q2413483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$613F4F8E-4D18-4363-913F-AA760B231229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$9E0EEAE5-A52F-4EE3-98DB-D841B2099F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf804769cde4eacb437edf170de07127ea8b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$A156B834-4F83-488F-A42B-99AF3B49882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0c83e64e513f25aabc7d21347ff8744d0ab8d7","datavalue":{"value":{"entity-type":"item","numeric-id":5015281,"id":"Q5015281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$9902725D-29CD-49D1-AD09-DF9E9DFB87FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21284a79c95e856011b20fd4d177660f735d5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2445907,"id":"Q2445907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$400F7C5E-B72C-43B0-8FD7-563159AC4EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc69fcb735ff5c234178efdba7bdcac7edb1841","datavalue":{"value":{"entity-type":"item","numeric-id":3196343,"id":"Q3196343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$87569C6C-7199-47CE-A463-FEE5D28C950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$C12C691B-1890-4ED5-8C9F-BDA9583FFDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf5e63488760a8c84ce2e2b8b9c29447fa25169","datavalue":{"value":{"entity-type":"item","numeric-id":2249664,"id":"Q2249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$E269302F-98BA-420F-B1FA-C089FF670E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff0d4dd97452ea265c9589bbf1435eac1807dcb","datavalue":{"value":{"entity-type":"item","numeric-id":842581,"id":"Q842581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$141C2745-7202-48D3-9358-F2DB42516D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b3dfdaf569a80f3c28c51a3c70ee8ae46a953","datavalue":{"value":{"entity-type":"item","numeric-id":2946693,"id":"Q2946693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$A5CC4D46-1550-45EC-8563-3439F0A1D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$8F7DFBD4-16B1-4DE3-8855-75DB4BEF62F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$5792B1C9-B6EC-45B0-8D88-18110EDE2359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$C0B2B314-6B0F-461D-A3EA-5D6FF27CE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$4CF50D64-C980-4285-8639-AD23F2ACC056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857472ab7a7fc0e2b77e238d9cbcb3d364d796f","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$DAA22BD4-03D8-466E-B712-D7B897CFEF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1587524a79c4b9ac078dd6cbdf5a36392a53ef","datavalue":{"value":{"entity-type":"item","numeric-id":5194960,"id":"Q5194960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$3F68301E-C040-4E2E-9A6A-848638D9C895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0740bce08778ef602abcc1d70be710e455d901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$B9D620C6-1725-41C6-B673-3E2F8D79B903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784965$B7AC29FC-480A-4879-82AD-5D87649905FD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f85b9c777e90b2d84dcc403f2f489ad05b6e7f13","datavalue":{"value":"Q129189195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$35516090-ECA4-4322-AA7E-02BBF4753B74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7eb5232b8a41cdfd692633a111e971829688c8","datavalue":{"value":"10.1016/J.IC.2018.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784965$E697B6FC-415B-440D-86AB-559A797E5698","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b3ab8547b59ee00af50e30c67c587f6fba1bf4","datavalue":{"value":{"entity-type":"item","numeric-id":5015281,"id":"Q5015281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cb9d05745a994dca4ba8fbfb6726d16aeae0cd","datavalue":{"value":{"amount":"+0.9614113569259644","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":"Q1784965$823A8ABD-11D3-4B21-BD91-1EFB78A0B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a09a1b31826d2f9d266311a8a46d2cd3695e4f","datavalue":{"value":{"amount":"+0.8449984192848206","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":"Q1784965$B4BD2FE1-D89B-40D7-BFD1-1A3CE680F0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deafc2c712f7a0987b5378bb41eadefc977083e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c296ab60cefeda7fccda28c560e3225a452159b9","datavalue":{"value":{"amount":"+0.8316149115562439","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":"Q1784965$E2521335-D7AF-43BC-92E2-1D34262964A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4511dae62880ce774c6440dfcfd6d290c92cf35","datavalue":{"value":{"amount":"+0.8190162181854248","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":"Q1784965$EA1D6804-7455-4F56-B230-BF2BB134FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3343eedbd4a09073ee0b27b6d8bef26f3ae938fa","datavalue":{"value":{"entity-type":"item","numeric-id":3510801,"id":"Q3510801"},"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":"Q1784965$23B52949-A6E9-4215-836A-7489D7684B02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed synthesis for parameterized temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_synthesis_for_parameterized_temporal_logics"}}}}}