{"entities":{"Q453535":{"pageid":455302,"ns":120,"title":"Item:Q453535","lastrevid":77680457,"modified":"2026-05-06T09:49:26Z","type":"item","id":"Q453535","labels":{"en":{"language":"en","value":"Symbolic bounded synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087632"}},"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":"Q453535$C9FDB866-9385-4C20-9B95-EFD3023E0285","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb417a964db57ccee44353917297f8cbae90ea57","datavalue":{"value":{"text":"Symbolic bounded synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453535$F8F154CC-51A0-4DD0-B62B-55AE0A911BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55a12e2541e87e088aeded4d09d50db23c95b6a1","datavalue":{"value":"1247.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$FA8E2A16-F425-4158-9CB3-4CCCA6296263","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$34F2C287-5BF8-4A19-8479-61AD5F961CED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$48EFF498-1C23-4F39-A33A-0FB88CB5C438","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-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":"Q453535$E183F5AA-4A44-415B-B04E-981BC390688C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$01CA08E7-484F-4D19-8F96-A8EB10BA2A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$D6BE96A6-4653-4BF2-BFC2-B7B1E51EB084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d015b17651501dfee3724129505d889452aa4c50","datavalue":{"value":"6087632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$2C74B997-42AD-41EB-9E13-2CE90375D949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e8336c08af25a3a6312b7b4edf2de1308ff75a","datavalue":{"value":"synthesis from LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q453535$C7320DB6-C41C-4AC4-95FA-2E5914983CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f82c6e4c9bf0885b152822d508f735af476caa4","datavalue":{"value":"bounded synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453535$4D8A9C7C-9741-4C78-8BF1-C5675E071A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a45ac732b734b4f209eb841cf7e5dc4eb04adf","datavalue":{"value":"Safraless synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453535$232C5EAE-8358-40D2-9961-F53798563467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f1baf772c120022d33fca51f1bc6d89b6da42","datavalue":{"value":"safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q453535$FCAB9746-6384-4F7B-877A-5AB4C15402C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q453535$C2E39173-7513-49AF-A8D7-91D1EFF7898E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$5E209C95-B5E6-485A-9C50-86B4D8DC8707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$30B55C9B-55FD-4E64-845C-8902C5714AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$384E1E30-1185-4ED9-B4AD-F52E856A39C2","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":"Q453535$1F621487-BE03-4EB3-9D36-B0C20D8FBA94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727c2a10b3d3871c25fff45194245639a9c68244","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0137-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q453535$5BA61A58-752F-4B01-A7AE-92AC9DD3322E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da0b9929dd9a1c142bf49717162426c96aa958e8","datavalue":{"value":"W2023329406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$1A795E4F-9DC0-44FC-90D3-5808DF99E987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cda68d3409962e54a952702d8ea2323954d7c70","datavalue":{"value":{"entity-type":"item","numeric-id":2845509,"id":"Q2845509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$BF4F7DC5-2C90-400B-8867-DF03EE56A0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$D71FAFBA-B099-4C01-BAB0-B44C86541D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d42f4d2c69a1ffd6c223218bc89c6c05692293","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$CF9E508E-E5A6-48A5-9C06-F4B385C563D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$2F0A57A5-B8B8-45EC-9356-06BD0B24F491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$A06806A2-7BD7-4DDC-8B98-3F1D56D79C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$CA58A781-FA96-4167-810C-83C00F61A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$FBD9BD08-BAEA-43B6-B4FF-4E24179500B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce5db414499eab50b8dddd546758fd4f9270762","datavalue":{"value":{"entity-type":"item","numeric-id":1606800,"id":"Q1606800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$93474A21-1160-426F-800D-2E441A99E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$5934C2D6-2F02-459F-82B6-1269F6F70BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ec31e7506b6383541d48bad1c43867486757dc","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$12A72149-8C88-4439-B635-D61F4C59D661","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":"Q453535$7EABEF3B-12BF-46DF-ADF3-FB6784795BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$A6A0A105-5B88-4047-B950-980789A99D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6738d13cdb5fd1fc214f200419f4eea2d7d35f9","datavalue":{"value":{"entity-type":"item","numeric-id":3522910,"id":"Q3522910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$C2366D61-C36A-42FB-8652-FDA54D750037","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":"Q453535$9A2EBF9E-47A3-4CCD-8C78-48DED6C7E7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4ac5180ffd3ab2cb448e78e27a8e2af9b1626","datavalue":{"value":{"entity-type":"item","numeric-id":5391527,"id":"Q5391527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$BBB55B52-61A3-4096-884C-086D0875DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9710a22603c07299f252d6ff60a776152e3fc44b","datavalue":{"value":{"entity-type":"item","numeric-id":2754078,"id":"Q2754078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$D0BA2C8B-3847-4F29-8947-8BFFA77092A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$46F74A30-BAD3-4662-9633-6CD8D076B49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a714e8b20d2b19fb5d20795b7c4b990fe2a6828","datavalue":{"value":{"entity-type":"item","numeric-id":5387900,"id":"Q5387900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$C56F28D7-29B6-4D03-85BB-79F90D2FB30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$A6493DBE-C629-4974-91A8-262B20CA9D8A","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":"Q453535$FE9C1C67-6D6B-462F-AAB8-F588607183FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$3EEDD463-0935-42C2-8A9C-E1E10BC94318","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":"Q453535$85F22541-5A2B-425C-A5A9-E0DF5811E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$D656C79E-AC1E-40B8-B48A-DD4D3ED3A46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9af58b48cbf1ad6d15122750d6ef0c82837ad89","datavalue":{"value":{"entity-type":"item","numeric-id":4804886,"id":"Q4804886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$84032283-A023-4FB5-8460-4496BA2A77DA","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":"Q453535$C4F4517C-5151-4F7E-B3F3-7F7414FACDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453535$B2BC6100-B50B-47B0-8ADD-5504195874DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fdd7ee41b109bff455f672081c63ddf4e26471f","datavalue":{"value":"10.1007/S10703-011-0137-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453535$A98236AB-D974-4C66-86BE-5B64BF2501D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527e91b2f359f4277708bb2eee4e87345f390177","datavalue":{"value":{"amount":"+0.92485404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$6F8605C4-624C-404E-8D83-494EB311E32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51272348d9127345e2de4f450c4329ade9a2f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f303186e3f5fec9ab2088762b589b5d04d28eb77","datavalue":{"value":{"amount":"+0.9060391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$D55B79D1-7C26-40FE-BEF1-44608AF99E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d37e73c744ef5d5a1d6434189ddba91c2592c8","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56060e2c13237d941a24e12e80c7da11d1c4f9a6","datavalue":{"value":{"amount":"+0.9044565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$11AC8C45-79F6-4A68-B3FC-61A388D47517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4c1cccd32c5b720af59bf52471b5f85d1aeb7b","datavalue":{"value":{"entity-type":"item","numeric-id":3510859,"id":"Q3510859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f5e483308c0007400712d04a40b08b32526180","datavalue":{"value":{"amount":"+0.8808346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$C8992AB3-2D36-4A1A-93E2-DC2CE2364186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883f0cc797940f492d9417beb0766bb05ddfd41f","datavalue":{"value":{"amount":"+0.87836313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$DDAF00F3-7086-4B68-8767-59447833241B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2359b60e58d31576d78a4b60f6627662a731341","datavalue":{"value":{"entity-type":"item","numeric-id":5897062,"id":"Q5897062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f19bf6a54d7e3d0d68cda13d22660b70f2ff7f1","datavalue":{"value":{"amount":"+0.8699619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$C3EDAAC3-DFEB-457E-884F-FBD3315678B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d622b80534f065a082223717f0ad3cd8ed4a5424","datavalue":{"value":{"amount":"+0.8666674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453535$EE9BDFCF-35A6-49D6-9648-5C3DE0C50199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic bounded synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_bounded_synthesis"}}}}}