{"entities":{"Q1857286":{"pageid":1868028,"ns":120,"title":"Item:Q1857286","lastrevid":73572150,"modified":"2026-04-14T16:30:18Z","type":"item","id":"Q1857286","labels":{"en":{"language":"en","value":"Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870090"}},"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":"Q1857286$83C5AC73-1DFE-4FA2-9317-A641D02C3FAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b278954a730cbc5bfbd4907830b556d07ccdf405","datavalue":{"value":{"text":"Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857286$0F030F61-0DD3-4847-87A9-AAEDB9C8B0CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16ec256aaf335fd845f90a0060c83a649cf00abb","datavalue":{"value":"1034.68612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$8C3E3903-1252-476E-A1D4-F98F84BA744B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0f2372cb81117b549215c12817224d9cd030cac","datavalue":{"value":"10.1023/A:1016372507161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$96AD6D9D-E75A-48A1-9BCB-2113B7681F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc62f6d0079f70d9134d1119fa9eac9fb326cf4c","datavalue":{"value":{"entity-type":"item","numeric-id":1388781,"id":"Q1388781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857286$A177620E-3370-40C2-AC26-2159D8B1F750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857286$D7987E09-59B6-443B-A1F2-4E1215F2CA18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857286$6623F576-9658-4122-8388-ADFC9F233124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$16953454-0090-44AC-9E8C-14C45FDE9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$9D20E6DE-6486-4AD6-83A9-57A5E2FDFE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$A604F325-EAA5-4E8D-AC13-A00D9A54571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$29F4FB46-0778-4BC6-B0AE-DC29C986E8D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"285b4ab4a8d35d2ab44eaa9b84b2864edaca245b","datavalue":{"value":"1870090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857286$BBC17176-6C69-478A-8A3E-455CE1589CC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857286$261F1F54-F619-405F-9A50-ECCC215C109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857286$7324B981-A1D0-4357-ACFF-453AAED14490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0573b03953075eca0d81606ac16c622450f17cf","datavalue":{"value":"electronic mail","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857286$1DB6F2F1-5B53-4D89-AA69-169D065F6317","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857286$2B3E647B-0F87-442C-B822-A3BD8E6D214B","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":"Q1857286$927BD2E7-7728-4232-B8EF-2B123C85EDD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77942fbc90341abf2210d5743ecb60a159bea0a","datavalue":{"value":{"entity-type":"item","numeric-id":2772436,"id":"Q2772436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f848347e207c2a00ff5c9402e0225066f14238a1","datavalue":{"value":{"amount":"+0.736283004283905","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":"Q1857286$59B73626-5725-4329-BDA4-20D7DACD2724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2414c422533bbfc51d914cdde83f7891adb99a96","datavalue":{"value":{"amount":"+0.6991729736328125","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":"Q1857286$CA66E246-A227-4E62-858B-EE0257B63F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ce9819e63ce8a0090c669607897a34c894ca30","datavalue":{"value":{"amount":"+0.6867077350616455","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":"Q1857286$4A2E683B-24EF-4435-9430-C044EC0014CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30d3b820dbcd673d057516c152118b0ae0398ee","datavalue":{"value":{"entity-type":"item","numeric-id":4433972,"id":"Q4433972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374e2deabb98e1cc253200549c44a836a6f2e8b4","datavalue":{"value":{"amount":"+0.6855111122131348","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":"Q1857286$02BE8C19-F850-4008-BC3E-0A778A7F9028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cfe6fb38d1f0431c1fafd98e51b59eb283b75b","datavalue":{"value":{"entity-type":"item","numeric-id":1176111,"id":"Q1176111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58522a4a042d1b042c70504a00642f993210523e","datavalue":{"value":{"amount":"+0.6846253871917725","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":"Q1857286$C2A16FDC-09EC-4D38-A442-84B6155DD728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification,_validation,_and_synthesis_of_email_agent_controllers:_A_case_study_in_function_rich_reactive_system_design"}}}}}