{"entities":{"Q673181":{"pageid":675030,"ns":120,"title":"Item:Q673181","lastrevid":46473840,"modified":"2025-12-24T21:02:33Z","type":"item","id":"Q673181","labels":{"en":{"language":"en","value":"The meaning of specifications I: Domains and initial models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985429"}},"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":"Q673181$AD279B90-5EDF-423B-9C55-66B4E0D4AF2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15eeb47fbcdea93bbd3824a0d9c08a6042477bb8","datavalue":{"value":{"text":"The meaning of specifications I: Domains and initial models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673181$F49551E0-171D-409A-911A-FB7BA62A84B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91c79d86f6a9c0cee82e17b553bcc20d41d3142e","datavalue":{"value":"0872.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$E521BEE1-8B53-4411-9C72-C70A455321BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66f62f8f6beb3c3dfa862c38d1adef4c8e93fcf8","datavalue":{"value":"10.1016/0304-3975(95)00245-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$54E67FDB-30E3-4E93-86DC-8E8086553755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$DD31E819-A62C-42C7-BCBD-8589A60902D4","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":"Q673181$112F224A-8221-4DBC-85F3-AB4F99B2764B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673181$A3C3C014-4422-4667-8A48-727B448BBF6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$B0601F60-7FD0-4140-A8B9-70715E2409C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$98C96FAA-A45D-4608-8964-080521956F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$789A9DF9-D815-4438-B77F-56558FB5766F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"043d04ef0259f8b439161b060b5d6bcdf7763859","datavalue":{"value":"985429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$945C8889-E5EE-4703-84BD-7C9C8CCEBEA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q673181$782B2834-0750-4906-B2BB-515A085FBA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba76fa7bb00948a3cd2d3bacf496f939f3cbc65","datavalue":{"value":"domain-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q673181$934E412E-F9F4-4778-9B6D-716EB826FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q673181$BB119AA2-6CB1-4E2A-AB2A-F06A317F37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1b2b27d9e07cfa01ad69eec609fddeabc4b431","datavalue":{"value":"behaviour of a system","type":"string"},"datatype":"string"},"type":"statement","id":"Q673181$DC12FA93-E024-4E44-8D29-541017B09D09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$EF0B9B9B-4A4B-4892-8A04-53523E89DFE2","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":"Q673181$BB8F1BCC-E42E-4FFF-91E6-A0EDCEE86ABD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a6557b1ddfb60ca136eb1d295082ae7a1accca5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00245-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q673181$06E088DF-BB76-4FF7-AB4E-A44C3C75BCA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe6e518448cf553542e6eae0de554ff2aef64ce1","datavalue":{"value":"W1967811553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673181$F4B180B0-F578-4CA9-85A6-1278BD87F56C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$A9EB589E-D202-4A0E-82B8-BFBABE125DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$86F3B1C0-1F5D-4DAC-A3FA-CC50F7DBB097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e182eb40d684fddf2159734e8fbee75a0fe49dc","datavalue":{"value":{"entity-type":"item","numeric-id":3906461,"id":"Q3906461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$3747DEE1-8753-4A0D-8249-F613396E45D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$9AC1023C-B60A-48E4-BD59-31D23833CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$D1E9298E-BA4B-445C-A0F6-E21E8259E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$5CFFB465-50D9-417F-827D-4BDC45C7BC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79459d71572dbc7b133fc45419af3b41861adf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4115145,"id":"Q4115145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$3B80998B-6F3F-44F7-8855-6BF3E1808775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$49A23ACF-1253-4728-8D00-335D682237FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a1884aef9293bbd3d777170aa18cea27be7e57","datavalue":{"value":{"entity-type":"item","numeric-id":4288283,"id":"Q4288283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$B0497D07-5A02-4721-8F31-DC239C152542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$E1715653-FE4E-4E82-9EAE-9FCB4D96912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$4B1290C7-666A-450D-8EC0-3F9CB856FA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da324ec417879f77fdb3ff84297693ec18d78f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1089797,"id":"Q1089797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$D2DDA986-9005-49A2-AEC0-D4E4E86F3A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$08FF0A73-CDE2-491D-871F-7C06751A70AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$36E47D2A-6E82-44A0-88C1-3F22B627D586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$CB0041B3-F3E2-43AE-9B22-EEA4B3751E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726ad54e2155221f4aecf305e14ca849d6a3136b","datavalue":{"value":{"entity-type":"item","numeric-id":1161277,"id":"Q1161277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673181$3D7847F6-83CE-4854-A10C-10E3EAD7672A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6755d6edc47ad41765a04021d2cf863d0733fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":4288283,"id":"Q4288283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fc1dc8f6bb999a393291cd1705af78db8b27f1","datavalue":{"value":{"amount":"+0.862296462059021","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":"Q673181$82DA5322-7BA1-4B45-A1AC-7880D5B22DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba273455e7bd090fafcd55ff85e13a8d870075d7","datavalue":{"value":{"entity-type":"item","numeric-id":4702595,"id":"Q4702595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493289944bc795a0ffcfe29e4e31ddb9c972d5e6","datavalue":{"value":{"amount":"+0.7823609709739685","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":"Q673181$E192F3B4-E2CA-410C-8CB8-B90213AAAD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14df886057f222fd53046cab95c406feb1c7b63","datavalue":{"value":{"entity-type":"item","numeric-id":4847312,"id":"Q4847312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73263ceba222a7f9112b9b6debce721adcc07a56","datavalue":{"value":{"amount":"+0.7698483467102051","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":"Q673181$E86AE6D3-9333-495B-A921-82F164E2D70D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673181"}}}}}