{"entities":{"Q5403080":{"pageid":7432654,"ns":120,"title":"Item:Q5403080","lastrevid":75491167,"modified":"2026-04-19T06:22:16Z","type":"item","id":"Q5403080","labels":{"en":{"language":"en","value":"An Institution for Imperative RSL Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273809"}},"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":"Q5403080$76EA1A77-D036-40DB-B0E5-C429F62379FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25a14a6252f14b1fa79d96ae4e8c86537e5e4ec9","datavalue":{"value":{"text":"An Institution for Imperative RSL Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403080$6D0114C0-C926-4B69-89A3-A2C188F52541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f288ce7321414165882f71575029580827cd444b","datavalue":{"value":"1407.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$FC9B1F26-C9BA-4FEF-A931-8ACDCCAFB9A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97f1bdf09d02a8dd289f343c3c125ceb874e7e2f","datavalue":{"value":"10.1007/978-3-642-54624-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$D0655E1A-0680-4574-B2C0-0A34161C3113","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$A51F8F0D-C93A-432B-8CDE-8DF5398C9D3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-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":"Q5403080$90532149-8604-45A1-A272-6D50CF01E0CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$88279FB7-E8C8-4F17-A6A2-AD3789566081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$AFF0296D-6429-4F0E-97BF-8201840E4221","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1503e408c514a201bd874fd4dd89c857cd781501","datavalue":{"value":"6273809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$316D6211-F72C-4E66-91F9-931EEF3BF6A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403080$B79028A0-B7F5-40EF-84B4-6877D36738B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96adb54f75ae4fbb16567a1203c82f3ce51f5a54","datavalue":{"value":"formal specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403080$38DC409B-30E9-4046-9A15-38BF3B833DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be9175e0043b97a2843fab90df5854dc50c6d55","datavalue":{"value":"RSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403080$4125E67F-3488-4F48-8F70-5F2E8F09716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403080$B6B77B2B-1884-49F0-B580-FDC3E1C24768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a32187ba9436d3ff02ae6671af2cf9e24d36466","datavalue":{"value":"state-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403080$E475DA17-A407-4266-99E7-40070FF79DC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"275b282993626dfc3244a57858b27ad0b295bda3","datavalue":{"value":{"entity-type":"item","numeric-id":1391096,"id":"Q1391096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$C2FD1B4A-F961-41D1-A999-24D7536A8BAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$695DA743-41E1-466A-AB56-92B9F95FD424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$A64182C3-DA3E-4B03-ADE0-2750568F9BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$BA060AA6-CA03-4C9D-A04F-620830660439","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":"Q5403080$939AFE99-99EA-4F2E-B01B-67AA0F9876EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c304f44d2fa3978501b3973e0ccac236b8f686","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54624-2_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403080$5B69D3AD-4542-4E68-A919-197A90992B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0646c7e23e46d2460e90518ff76c2259b7751964","datavalue":{"value":"W172607183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403080$4D9B966E-EFA8-4835-9998-67BFA8275ECD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ac6dad2663c770b97a8ff68a9b367f14aecb54","datavalue":{"value":{"entity-type":"item","numeric-id":4471907,"id":"Q4471907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$56BD02F7-7352-4B1A-9B3F-156C22BCB63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$F074036A-6FC3-4DCD-89D4-4BE26AF3A70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$7CFE99A5-F90E-410A-9DC0-3A7059B93684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4448df51bcf4eeec8f16cba5c0eb3b0f5d8787f7","datavalue":{"value":{"entity-type":"item","numeric-id":4680190,"id":"Q4680190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$99005903-01FD-48E1-9292-E8A474A4D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681b4811d7999b6d5a15a1918a79026f83e8e276","datavalue":{"value":{"entity-type":"item","numeric-id":5322613,"id":"Q5322613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$8D16AB06-4B30-402C-ACFF-16EEDB7847E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$A775A4E7-9F90-4356-9E78-3BB3D1DD3608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$7CF704C7-3FF3-4DD5-B419-CAF04A4BFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5f2b140894e13e84a01bc13a110d654f16e12e","datavalue":{"value":{"entity-type":"item","numeric-id":5312990,"id":"Q5312990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$D6EA1193-0F15-4B15-8F07-D4CB5AE0F9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bd5dfde33c204425a9e9ed207d100bf52856ff","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$502BD157-238D-4EF8-8520-424D3762A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$DBA407DA-1263-4677-A0B3-357FD863B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a979ba4e458cdbb8a1a27a189cd19f7088892ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4845494,"id":"Q4845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403080$9AAFA6EC-0BC4-41FE-A008-72EB64A8E30C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780e0003d89987bc138abea3f69d0b52710f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9101ea9d550f089be16d78e3c41d0b63c4b49940","datavalue":{"value":{"amount":"+0.8332219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$0C281472-19FF-4291-9FF6-6BC571CB8CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976eb75544809e59b6294b7bdfff56df6f78ff8e","datavalue":{"value":{"entity-type":"item","numeric-id":2729904,"id":"Q2729904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09deb57cb772e9d75db125552089e2e9f0ece38c","datavalue":{"value":{"amount":"+0.80857307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$91282621-BF57-4B95-9130-A6EFC6DD13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc48f58d9e12c7bd4391708c6de4f7e4836ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a99477b0c3beb6e6c325a05c7fa47e807e46e","datavalue":{"value":{"amount":"+0.8063726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$D72F19F1-DF65-4391-BCD2-5DD93DA4611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00db27bcaee52a68ce12f1770f4c0b50042d8c44","datavalue":{"value":{"entity-type":"item","numeric-id":2864516,"id":"Q2864516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d21499549fe3d424b96e038811dbfff710c03a","datavalue":{"value":{"amount":"+0.7988315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$8F0FA9B6-FCA4-4134-8A19-825A52885400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266255cccb63e3900172b7285d23def4626e542","datavalue":{"value":{"entity-type":"item","numeric-id":685409,"id":"Q685409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814bdc4735da74f2eea9eacb9ceff62fcf996ca9","datavalue":{"value":{"amount":"+0.7980984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$D6D4B4AB-18F0-4B3F-B280-3EBF26F46B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc83022bacc504fd26933a76b507ac01e8ea8e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4036564,"id":"Q4036564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814bdc4735da74f2eea9eacb9ceff62fcf996ca9","datavalue":{"value":{"amount":"+0.7980984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$7FE5A9DE-DCED-4E85-8487-E4675E908BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4846ec2a89e0a28a5cea420794037c50740455e6","datavalue":{"value":{"entity-type":"item","numeric-id":428861,"id":"Q428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c056fcef423c034ca6f5ea92c7a07fe5af1cab15","datavalue":{"value":{"amount":"+0.79638153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$F8F5688E-F7B6-49B2-A633-4538095D5CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc8552ac5733bfa4c2eff9b59d308fe4148026c","datavalue":{"value":{"entity-type":"item","numeric-id":2736338,"id":"Q2736338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73b0753bfceaa92abba0f69af1f27334a89b8a1","datavalue":{"value":{"amount":"+0.793442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$E252910A-7B9C-4F37-A0AC-104A29C81E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8c242a3c1db9c8d61e261e861adb331c203279","datavalue":{"value":{"entity-type":"item","numeric-id":2873796,"id":"Q2873796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389c6f15157dbca63bb5eb2d139352d0732594b9","datavalue":{"value":{"amount":"+0.7902475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403080$C9A54B33-04C5-4DE0-8384-809D1FBC0427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Institution for Imperative RSL Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Institution_for_Imperative_RSL_Specifications"}}}}}