{"entities":{"Q2346409":{"pageid":2357152,"ns":120,"title":"Item:Q2346409","lastrevid":57870297,"modified":"2026-04-02T21:27:31Z","type":"item","id":"Q2346409","labels":{"en":{"language":"en","value":"Synthesizing structured reactive programs via deterministic tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6441773"}},"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":"Q2346409$F264E9E2-84CF-4260-BA25-F2AE641A1081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d91b6294d03cc4f11752d8214234788715f09ca","datavalue":{"value":{"text":"Synthesizing structured reactive programs via deterministic tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2346409$4ED7F719-B4C9-4850-971D-ED68BE28E267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bafc9f835396e41d1002064148846f78f7c7563","datavalue":{"value":"1317.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$A74726A4-0B04-48E0-A548-882DB76A11C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c956b0f2a130229d52a562a0735c9537a978c438","datavalue":{"value":{"entity-type":"item","numeric-id":2346408,"id":"Q2346408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$37E89DCD-E436-4B59-B0EA-929CE0BE3BAC","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":"Q2346409$84DD5673-E37A-4FE7-A09F-33B09B025888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f13d0ce1283aa3e6e77c4425b4907fa92cc6071d","datavalue":{"value":{"time":"+2015-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2346409$648E860A-7148-41CB-AFB6-896E191E9DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a64057f7997d67aff797488ea901aa7117ba9482","datavalue":{"value":"https://arxiv.org/abs/1303.0797","type":"string"},"datatype":"url"},"type":"statement","id":"Q2346409$66F157E8-DB48-4100-A68E-68DBBE2F4EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$8C049509-FF13-429F-A514-39FC282BEC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$E5EB39A5-672B-446E-A053-B3C7D355C241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$D9CEE293-5DC4-4026-AFD2-4E96985E2AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc5d5a8c2ef0f2500f07ed8585c56b356a38ffa","datavalue":{"value":"6441773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$4BBE7970-4396-4ED0-80DD-054593E69CC9","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":"Q2346409$B848452E-816A-4722-ACDD-AE03D2678FD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19e1b063e33f6b6e81e221ef7b6b2125ad8e3543","datavalue":{"value":"W2001101279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$C992B9E8-2506-4CEE-BD2F-DD128EE4A3CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$C6E28240-7DBC-442D-9212-2E013A1797BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$CCE14F54-74EB-457D-A14C-14B44E40C271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$797C28CA-7986-478D-8188-49A969054CC3","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":"Q2346409$A798096D-0D98-497E-8A79-EA016BD64761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8730aad758a09054f76517b3df96a535e2df3c98","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$47F5B03A-D0F8-448B-BF80-712AF6C8A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1268092828526e888d6fc386d45d2be4499600c","datavalue":{"value":{"entity-type":"item","numeric-id":3617743,"id":"Q3617743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$5B315C6C-4E18-4A1D-873E-36CCCC08AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039be9caf7cf2c795b4682d81c47027f1ce70d73","datavalue":{"value":{"entity-type":"item","numeric-id":3557856,"id":"Q3557856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$4E9504A9-0CFA-49F2-8234-671F29BF6D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3f4f41ce09fe457d366cd34419d00c74226068","datavalue":{"value":{"entity-type":"item","numeric-id":2912742,"id":"Q2912742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$00426FB4-BE2B-48AC-83BA-7BF7CA9453E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$5F244CFD-D38D-43A4-B19A-111425063E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd17ba516d84a901dd0cd8022e66275bb00c8b32","datavalue":{"value":{"entity-type":"item","numeric-id":1325271,"id":"Q1325271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$D59593BA-08F1-434C-AF8B-585832684A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e115af69c1d72ad51c792390a5a1864f01b239fd","datavalue":{"value":{"entity-type":"item","numeric-id":819827,"id":"Q819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$867ED65B-12B2-4034-B9E7-35A75740B3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$8125BD58-370A-44F7-811B-B089E3988AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757a1244aaf967765fd641860c5c2582a1e2c2a4","datavalue":{"value":{"entity-type":"item","numeric-id":1271620,"id":"Q1271620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346409$CDDA823E-70AE-4406-BBBE-787D8EE4C3CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cd2f6ef7397f04d52e60d966110493f266261e9","datavalue":{"value":"10.1016/J.IC.2015.03.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346409$CB452819-136E-4652-A5EC-356BB096C1AA","rank":"normal"}],"P1643":[{"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":"b2955c38bd2c5afe3a98f9f7b164bd9d3703c925","datavalue":{"value":{"amount":"+0.9288527369499208","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":"Q2346409$2A043427-F0A2-4FB9-B701-8AC1CEE7EACA","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":"c6ac1e644a53c4898820fcb84a8589f90270c0b0","datavalue":{"value":{"amount":"+0.8391627669334412","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":"Q2346409$ABF1FE1F-A55C-4E65-8B51-7D285B920162","rank":"normal"},{"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":"2f5bc961c012caa89df04e57dc43063d97298958","datavalue":{"value":{"amount":"+0.8034796714782715","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":"Q2346409$DA33F619-1423-4564-B3AB-D0DC0AFA96CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"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":"Q2346409$741DBE02-7E65-4BB9-BD29-97000623D84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d10b9d83011d8e25549c6874210a583cb619ca","datavalue":{"value":{"entity-type":"item","numeric-id":3814796,"id":"Q3814796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfc986830847fe0cc936013b1293734a624d07d","datavalue":{"value":{"amount":"+0.7711147665977478","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":"Q2346409$7C3FC5CD-E03A-44BF-9993-F43E639DBC19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2346409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2346409"}}}}}