{"entities":{"Q2915700":{"pageid":2926420,"ns":120,"title":"Item:Q2915700","lastrevid":85104410,"modified":"2026-06-03T05:53:53Z","type":"item","id":"Q2915700","labels":{"en":{"language":"en","value":"Synthesizing reactive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083555"}},"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":"Q2915700$24ABB774-2A4D-4025-85CD-9255D98543D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55251c724a4b06d299b4f02a8d7272403d6c35f9","datavalue":{"value":"1247.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915700$FDB062A3-F957-44B0-9603-C7E19A1AFF77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915700$C77B2291-1C8A-4257-AF29-A14FB4B16B67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915700$352B13DB-414A-4C42-B4F7-E3B14F03D154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48510aba833fb951d7a8cb255212e57c99ae16b6","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_f3c0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915700$51516DFE-0033-4372-8070-751E36C8EB4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915700$7D3C9EB3-E530-4B9E-A215-C310219CEE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915700$39D53BB7-3995-491A-B36F-F648002E4356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6692178375b29857a889dd7444b9f5a921f5ee20","datavalue":{"value":"6083555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915700$967F0516-F8C9-43C7-A15B-BD43EE706F83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915700$54DED373-E94A-4DF2-B192-A442294CA81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbc9329823a1115cade0bc6a8693a7b26bc014","datavalue":{"value":"Boolean programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915700$835D3D88-6EE8-4DA9-AC99-D757C2099496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915700$2360630C-257C-4FCB-8CCE-00F131D359C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915700$94F9604A-D643-4448-ABDE-1B55D745A0F2","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":"Q2915700$D62EBB50-C87A-4D9F-845C-F72E70765686","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d17856d67005ae27d278666bf0456d938626e0d","datavalue":{"value":"10.4230/LIPICS.CSL.2011.428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915700$A57B51B3-E5A3-4E19-BB80-9377620ACA1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de8fb2aa3667b0c339d8a4fdfcb23849aca3a03","datavalue":{"value":{"text":"Synthesizing reactive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915700$F1E14988-9561-42AC-BD49-126ADCD79F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925b57818f33c794e294a4fdb080d00ee0cd79cf","datavalue":{"value":{"amount":"+0.8564775586128235","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":"Q2915700$CAF01BA4-90D6-4578-876A-0EF3CCA60676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec9a7628dff741c53a26d45d0381a4acca52ebf","datavalue":{"value":{"amount":"+0.8367474675178528","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":"Q2915700$F39EFE36-6463-439E-AC0E-C84D2807D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4fc75fa627120eda29e8b8cc7e75f993486b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4931279,"id":"Q4931279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de5184c77e8671d0fa53ffa39307d373d6dd425","datavalue":{"value":{"amount":"+0.8017763495445251","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":"Q2915700$CB79D06F-1349-46FB-BCF5-7DB6CBE668FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a7f91c48bb9f111972c94f8571e6df27c0c06e","datavalue":{"value":{"entity-type":"item","numeric-id":2346409,"id":"Q2346409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713500c0524fc6238524bc1f527d351a8514b7fe","datavalue":{"value":{"amount":"+0.7951192259788513","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":"Q2915700$9C725D57-8A0E-4505-BCA1-4FCDD384B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39e7b650d64f8c55212306f67d37a7a3aae06e1","datavalue":{"value":{"entity-type":"item","numeric-id":3388750,"id":"Q3388750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a982403f8ffbd4cf46c6786ee4290724e88c40","datavalue":{"value":{"amount":"+0.7927588820457458","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":"Q2915700$F51FF39C-C439-4C9B-B388-12DD53A27762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing reactive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesizing_reactive_programs"}}}}}