{"entities":{"Q2038085":{"pageid":2048827,"ns":120,"title":"Item:Q2038085","lastrevid":57701301,"modified":"2026-03-31T23:42:02Z","type":"item","id":"Q2038085","labels":{"en":{"language":"en","value":"Parameterized synthesis with safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370100"}},"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":"Q2038085$110F2241-50BC-4300-B235-FB8E785CEA2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94c40279a296ce2d42d92916b2f5940c03f541ae","datavalue":{"value":{"text":"Parameterized synthesis with safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038085$D906BB1A-8616-49C9-B314-EB91F554A53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fc1321b1a55e9f9649f76eb866efb445be9d33b","datavalue":{"value":"1476.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$62F70438-CE5C-45EF-ABF3-875EE60D7712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3d9c2c6073ad3031d563ad6ddf012dd06f4220","datavalue":{"value":"10.1007/978-3-030-64437-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$AA20C254-6889-497C-9662-0DC07C37D33C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca58481c72ad87be76b60d7009c44bb4db0a4048","datavalue":{"value":{"entity-type":"item","numeric-id":832263,"id":"Q832263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038085$FE1BDF81-659B-4305-91CF-40858063306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c715c03e7b714d73de239e05cbc52210bd821daf","datavalue":{"value":{"entity-type":"item","numeric-id":1702934,"id":"Q1702934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038085$F932AE16-6926-4701-B49E-705B670D1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa35dbe9b979fa9ff9dcdfa8f8129bca0b671cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2038084,"id":"Q2038084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038085$4849A3FF-1D6E-4B63-9C26-C83FD2C59EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038085$54228E51-637C-4D9E-82CD-BEADDC1DC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038085$6BDC6A5E-BFE3-4FD0-9686-236BC487C630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038085$31F6570A-468F-40D4-B55C-E9EB9BB9968E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5920f74146089e3920b25f1574265b4b30bc1441","datavalue":{"value":"https://arxiv.org/abs/2009.13459","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038085$64BBF7DD-FDC7-4854-95C7-91EFBBCD8C37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$7E2C8313-17AF-4122-82AD-47145201146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$E05BA00B-B44A-4D09-B200-9A6DB58AC6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$3216150E-FFF4-4547-937B-6BF9E5C87FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$5509DD6A-52C5-4DB0-BA92-F596186ED653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$4AFCE95A-85B8-4E8D-866A-6750BA3F06D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$BF5A4791-140D-42FA-B8B1-02367F9D23DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"736eacab75cc5cb4d7de5830a0cefb37ec33fbb5","datavalue":{"value":"7370100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$D797DE87-4AB1-4F1C-B31A-3C8CE1F4F86B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038085$1D29D360-92F9-4E08-BBF1-F619D3E28139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038085$892C5835-29EB-49A8-9B1E-55C147A1CF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038085$0F35A4D6-AECB-43D8-B22F-FFFFDFCCE284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db77c4c8ca895bcca851c1d3cf776b1960a606","datavalue":{"value":"Angluin's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038085$70529E53-B5F8-4EF8-9EBA-A768BBD155EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994406a4ed4c531454c43ed9283f116acd6d07d","datavalue":{"value":"regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038085$DFCFF9E7-E95D-4F4D-A892-8110022E3EA9","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":"Q2038085$35476F2E-2E4D-48A3-8FCE-C181D62CBC2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceb2f64d1534aa4366fb6d7c8cebe5be6485f32f","datavalue":{"value":"W3110551292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038085$7DF6F309-71EB-4EE8-8F97-456494FFD069","rank":"normal"}],"P1643":[{"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":"e68c234d8dbd661c8a5b1152881d463da972a385","datavalue":{"value":{"amount":"+0.8197812438011169","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":"Q2038085$F2FA0DFD-D22A-4EB6-B7F5-2743DD45FF19","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":"982d21595cddacf6146e0e3e418bdd1ef3d7b2c5","datavalue":{"value":{"amount":"+0.8092604875564575","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":"Q2038085$9351D13F-F20C-4C41-BB25-940D846E3C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9900d0017dc2296069561770d084543574ae840","datavalue":{"value":{"amount":"+0.7999390959739685","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":"Q2038085$D7EAAB7D-02F0-4205-A50C-BE09A2A97F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736c8fdf68c4ce06cc4443cb26dd0619616fbe25","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5149abfa2475596c8b11f3cc5010ddfe8bec2bd7","datavalue":{"value":{"amount":"+0.780921995639801","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":"Q2038085$57F4D43E-3AB7-4E65-9C05-C4A10DF96EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda3c4b5f233bc71b2adb3f717e5fc909b23349","datavalue":{"value":{"entity-type":"item","numeric-id":5134273,"id":"Q5134273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bf86060eead2987bf73902926edf1957294775","datavalue":{"value":{"amount":"+0.7652983665466309","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":"Q2038085$E9DB24CE-61BE-425D-8E41-64BCBE8313DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038085"}}}}}