{"entities":{"Q2848132":{"pageid":2858852,"ns":120,"title":"Item:Q2848132","lastrevid":83861276,"modified":"2026-05-07T13:03:36Z","type":"item","id":"Q2848132","labels":{"en":{"language":"en","value":"A deterministic logical semantics for Esterel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211521"}},"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":"Q2848132$6D8DDDCB-EDC4-46F5-90B0-7B0EB0CF37B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8344dc2e8e46eac44a85a0722fa7509289d4a590","datavalue":{"value":"1272.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848132$CB00EB16-8CE4-4ECE-A675-DFA6EC2D2F95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7082e765718c479150efe603688a402ae5d03d","datavalue":{"value":{"entity-type":"item","numeric-id":2848131,"id":"Q2848131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848132$464511A5-1781-4399-8AC4-FC976904F1E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848132$D6BFE193-4E62-4301-AA26-33B3412D06A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94f17ffd98ba35c590ecab6b95e6acce329cdc43","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002100","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848132$0414AAB6-3037-4648-BC43-372AE03591CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848132$AD848695-EFF4-415F-AB0A-CBF1430295C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848132$150ED24C-8C6C-4499-8D36-36503838977F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c4af40560088f5592909148dd47150db37aefb","datavalue":{"value":"6211521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848132$F7A9513B-7502-46C2-AC32-95034A933D09","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":"Q2848132$B68D29C5-2078-4346-9840-663438EE814B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e25b43cda0e567712b704d196dfe240b47f9d1","datavalue":{"value":{"text":"A deterministic logical semantics for Esterel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848132$FB37DA66-F23C-4AD0-976F-2E701ECC06A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598e82cd5b0e7a093906f6f263b062a88fff87bd","datavalue":{"value":{"amount":"+0.8632461428642273","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":"Q2848132$33D64C00-2025-4C45-8588-E5A8BAAFF817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76530f8d8e6ca5784896fdbdd213f7c4e083b70","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0ca664c7e72df1ac0ec0206ec88b9e2c35ca44","datavalue":{"value":{"amount":"+0.8396037220954895","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":"Q2848132$1F71655F-BAD3-4530-A2F0-70FF2B64A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b396a5827f3e56653b466b8cd63c3684e0174d2","datavalue":{"value":{"entity-type":"item","numeric-id":3735065,"id":"Q3735065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debc46499080d71a655cf0ff9bd6a76f228de18f","datavalue":{"value":{"amount":"+0.8282290697097778","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":"Q2848132$47E5216C-A8BF-40AC-B9EB-7407127E2D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ffb83bad24872ceebf19a184fd1d47400f117e","datavalue":{"value":{"entity-type":"item","numeric-id":3813288,"id":"Q3813288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2290c1d6dd8f8f8196b26f8ed48dea981caca8df","datavalue":{"value":{"amount":"+0.8126001358032227","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":"Q2848132$59F8952A-EEB2-451C-877F-82C45C3614DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee62c38a2f1476d33e0c4c85c1db90a08915b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":2234089,"id":"Q2234089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecc5accc86f15d330fbb144c75e359800af0361","datavalue":{"value":{"amount":"+0.792795717716217","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":"Q2848132$B932335C-8476-4C13-BA7D-A1C2BBB45ABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A deterministic logical semantics for Esterel","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_deterministic_logical_semantics_for_Esterel"}}}}}