{"entities":{"Q520338":{"pageid":522105,"ns":120,"title":"Item:Q520338","lastrevid":62458254,"modified":"2026-04-11T06:13:42Z","type":"item","id":"Q520338","labels":{"en":{"language":"en","value":"Reactive synthesis without regret"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699603"}},"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":"Q520338$D808B42A-386A-47C4-821F-1F7D9F0841C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f8102697de0f59a57bec08d7d06b1104b7422d0","datavalue":{"value":{"text":"Reactive synthesis without regret","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q520338$E1B40B3E-4A2E-404D-AB75-000EAF744D31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33c8f429ab214d0111d07623c4e01a712ad4aad","datavalue":{"value":"1364.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$D1128AD8-2022-4D9D-AF80-D265E745F53D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e02e2a844383019034a4fa137108ece6484413","datavalue":{"value":{"entity-type":"item","numeric-id":444379,"id":"Q444379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$24015199-C296-4149-BF5F-32C5FCFE504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ddb7731189a0bd2a79fd0deca3c370c746820b4","datavalue":{"value":{"entity-type":"item","numeric-id":344559,"id":"Q344559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$8C7791E2-4EAF-46B8-83C5-0EF37B17396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$559C363C-8DC5-4567-998E-7C3F3CB0ECD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$694B65F2-EAA8-487B-AAAD-4E82AC2E651C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-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":"Q520338$A736902C-3B28-4FBD-8271-8342A1723A75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0057dd7af4277814bd9909d9458f4cb1ff752ea3","datavalue":{"value":"https://arxiv.org/abs/1504.01708","type":"string"},"datatype":"url"},"type":"statement","id":"Q520338$CCC124AE-C183-4C6E-AC46-CBC3CB39BF99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$67ED67F8-E540-476B-9A2E-DAB084EF20F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$1FBFE598-E29A-48B1-958E-2900C9C22623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$A4299185-0C1D-4489-BA8E-03D5186DD64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$476FDEF5-937C-4B50-9ED6-B4363C3F4B79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c4b16474ed2f7d5c7ec6afb409a4f18f0331e4a","datavalue":{"value":"6699603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$9C6950D3-B9D1-4DC7-AE87-B58DB3ADB100","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":"Q520338$92EAAC00-7B26-4837-AF94-31671A4466FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aae205c932de0d04de97874bc0e9b64433f4b86","datavalue":{"value":"W2964263597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$871CF121-FEB5-4B57-809F-76218A7044FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c87faa0f11c1fce91517e316cf88fdffd660447","datavalue":{"value":{"entity-type":"item","numeric-id":2930304,"id":"Q2930304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$C18D5BE2-2DB7-436A-A65A-FAD0BF605CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fc9cec6c740e2d54d0e9591d120eaa62f2a4f2","datavalue":{"value":{"entity-type":"item","numeric-id":528186,"id":"Q528186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$7E9540F7-0541-4764-ABDE-45B8AD6C604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9bb13b2aa7fe6568a52fee76dd0a27d22c2fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3953500,"id":"Q3953500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$D45458B2-9790-4254-B127-7BE40100DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc9a8ada014558ec231dcbb17e14ca4952ee40","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$ACFC7ADA-40C0-408E-8C82-EF4332B45D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35d09845461d95fc964547aa94b0e6fb4fe2708","datavalue":{"value":{"entity-type":"item","numeric-id":5404475,"id":"Q5404475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$06081A0D-03CE-4462-8583-9816E25EB889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3db1dd52dc332c8fc81203ad454033a2151c49","datavalue":{"value":{"entity-type":"item","numeric-id":537946,"id":"Q537946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$564E4BEF-297C-4B37-A920-9B0AB637AE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$32B25A47-815E-47B1-93EC-28C2966D8352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5052f8437f78c03e88e16df815042bb5cfcf9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$493F9F8B-8B90-4800-AA15-3948D95D53FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18715592097720d455fe6110c702a3564ce9a433","datavalue":{"value":{"entity-type":"item","numeric-id":665088,"id":"Q665088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$0571ECCB-25A6-4191-931B-DD28D5B880F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429d179b539ed0307ccd5c975509e8d5826851fd","datavalue":{"value":{"entity-type":"item","numeric-id":3586046,"id":"Q3586046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$7375854D-EA1E-4F53-9028-AB98ECCFEF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$BC3D2384-C838-48C5-B096-22A4E02935C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$3D5BE2FF-E7E9-4072-BC2B-94AB27D9B0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e18d7b514ee5965c01c92bee257a1c3cf5d322","datavalue":{"value":{"entity-type":"item","numeric-id":1392552,"id":"Q1392552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$A6F16498-9DEC-42F6-BC97-479AA9868418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b896654ace506b32995d090bbec18adbbb7bf912","datavalue":{"value":{"entity-type":"item","numeric-id":3586096,"id":"Q3586096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$C55DC587-FB99-47D4-940F-B4CE92F40E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$247DD0F8-9CD0-4CAB-9E2F-23A158B28A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$E7E977F4-239E-4345-A85F-130767895C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350784c2fe4a517f74f1d6ba107a5234fa69e0f9","datavalue":{"value":{"entity-type":"item","numeric-id":3447703,"id":"Q3447703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$3A63ED72-ADB3-49B8-A7ED-ED19D629001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$4DDF125D-4EFC-4440-8E45-97D1F73E08DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$10DBC4F8-30EC-405A-910A-E725D5792B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d247c85f3e144b72fa4a4699ea55c0c61d5e42","datavalue":{"value":{"entity-type":"item","numeric-id":809612,"id":"Q809612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$59C4E4C4-00D0-4326-B1AD-D761DBD359C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520338$3095A1D2-2F92-4A16-9312-7BF001FBAB9A","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":"Q520338$AF110BC7-526A-415C-AC47-A5A6AC6C81E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4170cd9b5d96bbe906ed41e9340c043f739b0c42","datavalue":{"value":"10.1007/S00236-016-0268-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520338$6C21C89B-1742-4069-9ADF-01656DC8835E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c33149d47016259b0f1986b4e07622fe2f3710c","datavalue":{"value":{"entity-type":"item","numeric-id":5357698,"id":"Q5357698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ec8264fb6b93ccf7a22172e54d763aca3bbf9b","datavalue":{"value":{"amount":"+0.9946498870849608","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":"Q520338$DB942704-9E94-4817-9775-8129D1E8E61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6dbf26ee4a82236783af0d372599dca72a412e","datavalue":{"value":{"entity-type":"item","numeric-id":5278417,"id":"Q5278417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe84054987f92a680f70de504333fefefbbcd963","datavalue":{"value":{"amount":"+0.8379285335540771","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":"Q520338$6D7F7FF4-0A74-4260-8462-A31214A7C17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e519c6a96dec474af6dba8b23d2550c09071bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3586096,"id":"Q3586096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a467d3f8e1a6f5d0f919a89c35b3478b4644f416","datavalue":{"value":{"amount":"+0.7645680904388428","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":"Q520338$D08CD9F7-B8FA-465D-B395-DAC8A0A48683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a107e4d920d5e71a64e9e71f04650c211228d97","datavalue":{"value":{"entity-type":"item","numeric-id":4410094,"id":"Q4410094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7698a5f6a33c7d45e9dc5f399b71c0310558c182","datavalue":{"value":{"amount":"+0.7388450503349304","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":"Q520338$E062CC2D-A7A9-4CB8-96B1-4DA2B5185616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab71b17e56cd6bac5d2220ed9b6c0ec5bec6a547","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf4f260df3448d9d5ad4125376bc7067dd6b6c9","datavalue":{"value":{"amount":"+0.730548083782196","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":"Q520338$F83C61AE-D50F-4BDF-A58C-4D6855062535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reactive synthesis without regret","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reactive_synthesis_without_regret"}}}}}