{"entities":{"Q5958617":{"pageid":8135419,"ns":120,"title":"Item:Q5958617","lastrevid":47755306,"modified":"2026-01-02T14:53:26Z","type":"item","id":"Q5958617","labels":{"en":{"language":"en","value":"An axiomatic semantics for Esterel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715646"}},"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":"Q5958617$E8DC08F7-BC77-4E09-B049-A0E6E063ACCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1236337920a2a151747c13a4b59c8028bbb1a0b5","datavalue":{"value":{"text":"An axiomatic semantics for Esterel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958617$7453CC65-F53A-4493-858F-38D4400DA891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad45005fa9250ab179010117630e0b7e094d1e24","datavalue":{"value":"0983.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958617$D1D2CF19-6B22-46E5-821A-9D9CF680A266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58c428180a61ffe7f09b532f5ea35dcbad13b316","datavalue":{"value":"10.1016/S0304-3975(00)00420-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958617$0B5270E4-4425-417D-88EB-99E01D0E8A97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$40B14989-F349-49B6-A094-3C943DDB9D51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$CC39AC5B-87CF-43DD-8400-2A222A0D1DAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958617$0E437975-460B-42AF-B6C6-CE250BCA81E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958617$5B6D83B1-EA26-4E3E-A9D9-E4780F3603B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91245f8b7b810d64066b5e0fb075da8938369292","datavalue":{"value":"1715646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958617$7061630B-A190-4D24-867F-96B5FCAAECA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4ef6bb55219b1492603620068d8a307a5edee7","datavalue":{"value":"Esterel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958617$7570F48F-BB01-4268-9C6E-BD6B9DA9CC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2614c623151aabbc9a890ff297b9706ea0784ef","datavalue":{"value":"synchronous languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958617$3D178BB4-9C4C-4B4B-9794-CF9548E4C5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7caa6ef9b8cc7468d920ed6bdc69283bf15f101","datavalue":{"value":"equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958617$88C838DA-A941-4033-A7AC-CC4883D5146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958617$6DD3F120-CFEC-43BD-8907-46E97A71D051","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$65634B7C-0B55-4393-8CEB-15C6C578F61B","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":"Q5958617$7F1FFA5C-8DB9-4C16-A322-324E849F41CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$39C808D3-F79B-4CA7-8439-542C9779248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$7D459240-0BD1-475E-ACC3-C59AE8D7CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$701C3C9D-8ECE-43EA-9F45-F663F6F35AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$A5CCC262-6C92-48BB-B421-AACE918053B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$B5678C65-E0B4-49FD-8F13-7E0922BD37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$EB76AA48-858C-452A-99C9-28C41F801746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$E4F0BBA9-5C61-4162-9F50-8AACF72AC394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$37D7A0A6-EE89-4A94-9F0A-CEB6FD1675CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$A8E0B65B-159B-4443-8822-51E3EACB2E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$00458B36-FDAE-4926-ABF0-285DC7124FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$05120FF1-F8AE-4BEE-973D-EC14B3EA5AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$C65E7A50-4ECE-4C67-A910-37AB36DF3958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$CABE5266-2723-4268-A50C-EB674D2EC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$D1E914FC-3B03-4410-8C37-D3A0A7F6B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$70F290A7-EB57-4C47-94F2-301A343E20B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$AF4AE933-469A-4E92-AF8B-C1DE4F43322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$96FD388D-CD1D-44A4-9483-A7970D459B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$CE2BF8FB-D88E-40D6-9EA8-E00FEA9D3586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958617$4175BE26-77AC-4C2F-B3C3-B64691FB4082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac2cac58860568b64d29a94246bb5f3740bf378","datavalue":{"value":{"entity-type":"item","numeric-id":2848132,"id":"Q2848132"},"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":"Q5958617$FD3DC00B-8FCA-4443-97CA-1D5335492575","rank":"normal"},{"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":"33a84046e24af231f7c92197137b141c5ec044b3","datavalue":{"value":{"amount":"+0.8381096720695496","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":"Q5958617$7E2423DA-0371-41F6-97EC-44AEC5F74A2B","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":"cd4be601ee0adc091ba6c79b0eb0ea91ec91ed24","datavalue":{"value":{"amount":"+0.8234490156173706","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":"Q5958617$6981334B-62D7-40CF-ADAD-DCBC78E2B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3110c09cec6e141569b6e477e7dffd135f7fad66","datavalue":{"value":{"entity-type":"item","numeric-id":1400575,"id":"Q1400575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa730254a0e15f31ed0f65ef0844d24e60aa7ab","datavalue":{"value":{"amount":"+0.7902320027351379","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":"Q5958617$D5913A70-A6F6-44AE-A5F2-EFC1A5071D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f608da30beb93b01a521ae51a5b8729d9cbdf196","datavalue":{"value":{"entity-type":"item","numeric-id":2769444,"id":"Q2769444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee33d84301557ac5bbc74cc8f1834572c4d608ac","datavalue":{"value":{"amount":"+0.7897889018058777","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":"Q5958617$4311F53B-D4BA-41AE-9CED-5B97BA1F9A28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958617"}}}}}