{"entities":{"Q378902":{"pageid":380669,"ns":120,"title":"Item:Q378902","lastrevid":61432926,"modified":"2026-04-10T23:20:13Z","type":"item","id":"Q378902","labels":{"en":{"language":"en","value":"Integrating discrete controller synthesis into a reactive programming language compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6226082"}},"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":"Q378902$DC53C21C-A9BD-4ABC-8DC5-EF5309E5C3C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f46df8d22791faae64b808e093d6abf700974012","datavalue":{"value":{"text":"Integrating discrete controller synthesis into a reactive programming language compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q378902$F518FB2A-3A7C-4A79-86F0-2DEFF1F85CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f2f7214c7144c3e93a0f73e5dd55462348c9db1","datavalue":{"value":"1273.93111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$8AD2A9EE-8EFD-46E5-A51F-D5981F5DE146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c1cb60b9e6cb83292565cd035baae181bc3859","datavalue":{"value":{"entity-type":"item","numeric-id":378900,"id":"Q378900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$A92844E6-AF75-4E47-B356-6526AF50A774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$9FEC04AA-D42F-4B95-8246-767729AFFFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa2db029d3cf0f64610920c9dffd83b4038034e","datavalue":{"value":{"entity-type":"item","numeric-id":1041295,"id":"Q1041295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$CA9E9A26-C272-443E-932E-64A07F104FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$BFD919C3-10D3-4616-B175-50BC888C941E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be29d4f4e235d8cfcaabe5d8b66cc0b39df71c93","datavalue":{"value":{"time":"+2013-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q378902$98EE8A7D-FD08-43D1-B810-5650FC04C427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b471c4f46f8122f0f76bd6dd265077872c35752","datavalue":{"value":"https://hal.inria.fr/hal-00863286/file/jdeds.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q378902$B3B7896D-D6C7-4D8F-B6A2-EC8B5011ACD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$23045B33-6A40-461A-AF78-5D9E2FFFE550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$4893DEE0-2485-4C4F-A56C-5A96F7C3F4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$65D21345-540E-449C-A18D-FE9387905E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66790c0e4453e97cd2e83a879be2b115acbc46e1","datavalue":{"value":"6226082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$7162FEA6-1EF1-41C6-BE63-AF4A00D6BFC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$F0F0B503-3153-4E25-B2DF-A86DF93CFD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc2fb6009e792a6ba5e7250b92a32bd00b207fa","datavalue":{"value":"synchronous programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$F3BE300E-0C31-42E1-816D-338694A724D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfcab144e2d88d2dcc3239617e4abedb1903bc02","datavalue":{"value":"discrete control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$717F2BC2-6ED9-4BB8-A216-A9E39F5D09F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$3B63D826-1BC9-4AAE-A1B1-DA3FFF820F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b04b61297136ebb77e73a4d547b3a8fa366888","datavalue":{"value":"behavioral contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$BF85C8E2-E6F0-48C2-9EED-DA8B7AECF94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6973d4e10b8c0d61682b6b4702a317ebfc1bcd64","datavalue":{"value":"adaptive/reconfigurable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q378902$87AA1C0C-EB04-4FEC-A178-21C49A7F4D03","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$D6230AA2-5294-4D8A-AEA5-26C0BC183C18","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":"Q378902$C9C59D26-55C2-4F70-AE8F-641CE8769611","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35a746c922d07cb5133ed6f5c864d1b047dc259b","datavalue":{"value":"W2033590510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$DBC2E2AF-3AAF-4013-9051-EE4054662520","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9180c5fb933baae97fa2b98696373c4c40314fe7","datavalue":{"value":"Q122717238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$4762C228-7156-4F82-BB69-76C99628D579","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a9378daf68166e67fe1a55e410ce2e9105a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4417893,"id":"Q4417893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$DA4A871E-3796-47D5-B2C0-2C55ED2A3014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b488ee3bfccbcfb498ca3e4b39888f105d8f60","datavalue":{"value":{"entity-type":"item","numeric-id":5255092,"id":"Q5255092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$2A1EC104-431B-46FB-863A-8C888E6AEF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$9A040B13-F8BB-47A1-ABFA-3DB586E10F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$BE9BECB4-1EAB-45B2-BCE0-37177B5D1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bef9def7316cbb8ca15e18946bff6bd1a4bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804913,"id":"Q4804913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$EF281AB7-1C2C-4656-9F7A-DD1775FE19C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7aa291819039199c8428d1f12f39d12153767","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$03BC2E2A-5FAD-4B5C-8738-DFB048C1FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a599bac5b6721bdd3a643e494e48c5e8572500","datavalue":{"value":{"entity-type":"item","numeric-id":2512246,"id":"Q2512246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$70A4DE9F-1B40-4107-9878-AEF4BB07C9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f64e4c1533c7be585e54d291d6b7b7cf7304d","datavalue":{"value":{"entity-type":"item","numeric-id":5506396,"id":"Q5506396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$254F5FE4-5157-47F2-98EF-27A6AEA3AEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$51C67D54-D462-4332-ACA6-5269033EB4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef31a34651ac5825f6161d057d225e2472fad742","datavalue":{"value":{"entity-type":"item","numeric-id":1592441,"id":"Q1592441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$4FD9D516-0F72-44E3-B49A-EDAB27A8B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba51ea605b728a458048a8f98c89a0f9e554ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5311775,"id":"Q5311775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$FD0223FA-3A23-4572-B78A-D25A395A39DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bdeaf6b9cdfc933e31bac73bdbdcd7abe88f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5261522,"id":"Q5261522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378902$0C632C56-AF73-4F09-83CE-5A27EF44037E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eb5ee5c0177c6b9451bf6475fb6f1995a852e5f","datavalue":{"value":"10.1007/S10626-013-0163-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378902$CDAD805F-2843-418A-9168-F8731BBCF822","rank":"normal"}],"P1643":[{"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":"4f10a0fcd048b799890566a66cb16ee8be8af593","datavalue":{"value":{"amount":"+0.8637881","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":"Q378902$F9E5B9C5-C066-40AB-ADCE-EF49BBBF071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a4018e821bdb901a10180fff8846671494feb6","datavalue":{"value":{"entity-type":"item","numeric-id":3090853,"id":"Q3090853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f22d1101faf6830341251033adc878ac94633e","datavalue":{"value":{"amount":"+0.85803246","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":"Q378902$98CDD747-AE78-448B-ABD0-39EB8D98756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2005c18e26e95e7d084c958ad5ae06c5ac3c7795","datavalue":{"value":{"entity-type":"item","numeric-id":4561462,"id":"Q4561462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853942e3231523ee8b179ebf90404596eeab70f4","datavalue":{"value":{"amount":"+0.85459447","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":"Q378902$888675C0-744A-4A02-B406-3442D9909EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e6c14312e120afd21142a531f1ed099d49ac10","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1380aff01da196fde1f7d2850101807208d80d74","datavalue":{"value":{"amount":"+0.85388637","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":"Q378902$39142882-09B7-4D61-B140-F7771DDD891B","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":"3a3e95894df66c8c7fc0904f5aa0e1ff8dec23bd","datavalue":{"value":{"amount":"+0.85289115","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":"Q378902$3C932E83-6966-4ABF-AC8A-F975C536A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3b8425799c76ad71d1ea9092362173b3675194","datavalue":{"value":{"entity-type":"item","numeric-id":4780233,"id":"Q4780233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52b0718ad2cdbecf022be17e15114a88bde0227","datavalue":{"value":{"amount":"+0.8420019","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":"Q378902$797BAD9E-2A1B-4DD4-B20F-78DEFA22CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a0e416b0e4e47373b7475a45c1413435cf8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1778317,"id":"Q1778317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a094725ed7532a181c100b2b893a48c18358d9","datavalue":{"value":{"amount":"+0.8384807","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":"Q378902$1ED15C00-D087-4EAE-8215-EC6922601C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7078c85db9701aa1fc0957c10556a8605ac55c","datavalue":{"value":{"entity-type":"item","numeric-id":684963,"id":"Q684963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3b172abe1bb4f86fd41d5ee6c50397d47b9f2e","datavalue":{"value":{"amount":"+0.8363146","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":"Q378902$F2ED1008-1A3A-41A8-A888-A4A1C28C642F","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":"e424d905d2a048f84b35bd717e1fc21a82a8614c","datavalue":{"value":{"amount":"+0.83531857","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":"Q378902$22CFD5F8-EB28-47DF-B9CE-1563DDD6B39D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrating discrete controller synthesis into a reactive programming language compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrating_discrete_controller_synthesis_into_a_reactive_programming_language_compiler"}}}}}