{"entities":{"Q1127818":{"pageid":1138567,"ns":120,"title":"Item:Q1127818","lastrevid":66190584,"modified":"2026-04-12T08:09:45Z","type":"item","id":"Q1127818","labels":{"en":{"language":"en","value":"Denotational semantics of object specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1186250"}},"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":"Q1127818$056AD5B0-F518-4D72-900F-8261B1C76E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d15ce36fc622d52fbe28f8989e7e0f93f3233d6","datavalue":{"value":{"text":"Denotational semantics of object specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127818$2F6ED6D7-0702-40DC-8F7B-155304A5D9B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"964a984c2d89c58b343e34d05e2dd27da75f6d76","datavalue":{"value":"0910.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$2AA0A469-6A8B-4697-AE0A-6643B58D8188","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127818$52D69650-B20A-431A-81F4-600F9E5C292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127818$E92BE7B3-4513-458E-A269-558A1D6FDFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127818$29FC61FF-02BB-4F48-9A92-E09D38E4BCC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127818$F9DB1559-DCA9-4854-8129-540D9FABE76E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0d45ee9df76ca8b87880e2aeb203d027e791992","datavalue":{"value":{"time":"+1998-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127818$272D5F56-A219-4E45-B4B9-115F3328DD89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fc0aa95e4f07d674315d4ebec231795f410ba32","datavalue":{"value":"From an arbitrary temporal logic institution we show how to set up the corresponding institution of objects. The main properties of the resulting institution are studied and used in establishing a categorial, denotational semantics of several basic constructs of object specification, namely aggregation (parallel composition), interconneetion , abstraction (interfacing) and monotonic specialization. A duality is established between the category of theories and the category of objects, as a corollary of the Galois correspondence between these concrete categories. The special case of linear temporal logic is analysed in detail in order to show that categorial products do reflect interleaving and reducts may lead to internal non-determinism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$D2F026F8-C91E-48C9-89BD-C175F3A71783","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$6C75B89F-F818-4579-83F6-4A20DA90C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$21F553A1-A41F-4490-A72A-8D125230DEF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1165dcc8eba4f23beebd31f76a12fa715de20997","datavalue":{"value":"1186250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$1E7F1E53-9296-4650-9FBC-48CEB12C52B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$CC7B7688-A00F-43A9-B373-0E0743EA9931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c0884b7f06a552d28f5545fe2c3267a2392e28","datavalue":{"value":"interfacing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$45084AD6-B59F-47A5-96A4-3166135E8332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274b04695a291b596bf72e45f785cfe3ec6e5ee4","datavalue":{"value":"temporal logic institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$FD654BB2-DBCE-45B6-9BD1-67A4E7D2B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fce9e6553f1c7c88327d0d90c10aa2506b7dadb","datavalue":{"value":"institution of objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$B5B39C57-A442-438F-913A-9F9411C2F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$35E6E1CD-CF7B-493A-A6D1-1FB349E62CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f06251be23ce9cf6a7e9c3553ffe5749322b1f4","datavalue":{"value":"interconneetion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$7D622DF9-2FAB-4C35-B65D-F9F1D128C0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$2AAF1A6A-75AF-4B47-8807-8D6AAEEA3F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b2de899c7cbe614f7158821f1132597913ff7d","datavalue":{"value":"monotonic specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$319CB52E-D292-4736-B74D-973F364D5D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3decdda79258a34a033f612494b9ec2a80bd23c6","datavalue":{"value":"Galois correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$63583401-51AB-411C-80C5-80C9A78E33C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127818$259B66D8-3634-4830-8EE4-7416CCF65E8D","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":"Q1127818$5C39A5FE-3639-4262-ACC3-21C695D9DC68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71090f45ba2b34956ad325a32154f569431fefdb","datavalue":{"value":"https://doi.org/10.1007/s002360050141","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127818$53FD6B0A-0136-429F-AC6F-EE6D0C055930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"517b165b439f54cc58eea397f6acdb6c3fb09a72","datavalue":{"value":"W1997732603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$BE6367A8-E120-4BB0-B2C2-E3078539FCCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86c6b93099b26e23eb2d17c1c9bf29a19066a48e","datavalue":{"value":"10.1007/S002360050141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127818$728E2D04-F0F5-42F1-8387-56F226CBD2AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed69deb6b33d43a9fe033c2121cef167cfbb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5481596,"id":"Q5481596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02167ffd058bdc3758b7ccbe60ab063844c77833","datavalue":{"value":{"amount":"+0.939061","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":"Q1127818$667F454A-970C-4C94-A3BF-A00A17B77682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d23565fed5ea11606e5006cae89d73d2b1c162","datavalue":{"value":{"entity-type":"item","numeric-id":1261310,"id":"Q1261310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc000c25643995d3b840f1cbede0e4586b2ee59b","datavalue":{"value":{"amount":"+0.9207015","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":"Q1127818$AD35443A-E20F-46C3-8BD5-54328C0448A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaf455a96d5c605eb37fd44919b5f262b2c81f8","datavalue":{"value":{"entity-type":"item","numeric-id":2390933,"id":"Q2390933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804247a8eaa059399c46e7789a92b3d8c178f4b6","datavalue":{"value":{"amount":"+0.9109124","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":"Q1127818$30D74912-C64D-49EF-8552-A14EAD1F2282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49348d4d19df3c31a72ae42decbba878b3f9ccbe","datavalue":{"value":{"entity-type":"item","numeric-id":2848697,"id":"Q2848697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6991de9c14263f9d8f8ae69bc8f59a438631282","datavalue":{"value":{"amount":"+0.90043956","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":"Q1127818$4A8CB7D4-ACED-45E3-9306-A52760A6AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0368b0702b971e0604191018c0c2b53d0d24751","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410fb7dff7ab2ee5d6dde85e119c8d11e4e71f7b","datavalue":{"value":{"amount":"+0.8965477","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":"Q1127818$905B857C-C542-4426-A4B3-B22292DB9BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843388e57421ecc1497eefc12eb5e3d369883aad","datavalue":{"value":{"entity-type":"item","numeric-id":4702602,"id":"Q4702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d2e1d056c59659b7772ff016d12b77e42b0ed7","datavalue":{"value":{"amount":"+0.895267","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":"Q1127818$8376669E-3BFC-4FD6-8B0F-7B75B4FA7773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1780b3ae624ca214df4b6da8ece5eb84057407ff","datavalue":{"value":{"entity-type":"item","numeric-id":3725526,"id":"Q3725526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43982b472d1144a263aab580f6e915d0bfc81d5","datavalue":{"value":{"amount":"+0.8936467","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":"Q1127818$8850D318-CB72-413C-8FFE-9A1BF2067DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf67ba5505345f4c71433a073016cc95d8bde15a","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941df2b0ea1e6493a4656772adf3ec901b152358","datavalue":{"value":{"amount":"+0.8895326","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":"Q1127818$8774EC29-767A-4BB3-9DB4-D98CB4BD073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c170b1d92457678f4e37509b3526b3f96c482d51","datavalue":{"value":{"entity-type":"item","numeric-id":5941157,"id":"Q5941157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84f18be0842a0e0fa569a4341c7fdde3b87fc8a","datavalue":{"value":{"amount":"+0.88912547","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":"Q1127818$4316D558-AB96-4D68-84AD-EC45733C77A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438e05b0c579f26dacd5d63f556358ae8e984c05","datavalue":{"value":{"entity-type":"item","numeric-id":2744183,"id":"Q2744183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a1edfe8409ba40fa96898c2e105d8b280ae9da","datavalue":{"value":{"amount":"+0.8887912","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":"Q1127818$E7BB541F-9A03-4499-B455-3C1F8A2CB5E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics of object specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denotational_semantics_of_object_specification"}}}}}