{"entities":{"Q2390933":{"pageid":2401676,"ns":120,"title":"Item:Q2390933","lastrevid":50740364,"modified":"2026-01-15T00:10:49Z","type":"item","id":"Q2390933","labels":{"en":{"language":"en","value":"Semantics, calculi, and analysis for object-oriented specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5592779"}},"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":"Q2390933$623E6867-8A2A-4C92-A915-9BDB9A4F08B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc0c4693646689d7afa0c1cc05fd73497999da55","datavalue":{"value":{"text":"Semantics, calculi, and analysis for object-oriented specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390933$F6C19E51-42C4-4C29-BA92-7EA68117FEF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e089790c8d2bc4f6a5788cae8fbcb27f10f9237f","datavalue":{"value":"1179.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$A6CB0346-2243-477B-8578-5D3C5B529FDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$4A0E31B6-6781-4E48-BDBE-E665ADA81219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$FAA2182A-89F5-4C54-A7E1-823B9235CF5F","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":"Q2390933$964A4801-E38E-4793-B4F6-1157FB4B6436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-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":"Q2390933$5E8088E3-EBF2-4E28-A864-975EAC73E462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$11D3EBF7-FEFD-495A-B1AD-51F4E10B60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$1C3348E5-E6B8-409E-A8DD-7CA3CC3CC5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e98c5f09992309b43f0e2a75df3a130798be17","datavalue":{"value":"5592779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$AF8DDD9B-6AAA-4DD3-954B-76AA8F4DE739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c04d46c073d321f4bd841c72bbfbb8fda7e18d8","datavalue":{"value":"object-oriented specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390933$E910DFA6-3194-4039-9EE0-9643D90843C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"841425e8003dc7b5b03b1a0ed80dec2b47c17348","datavalue":{"value":{"entity-type":"item","numeric-id":14375,"id":"Q14375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$26FE51CC-0C6E-4831-A3BB-E39C7CB3F5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$E39D360A-0CEF-4F83-AA39-592D8EC85AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8d8e1f04ba18c350ecde52b815c4dd1bcc26291","datavalue":{"value":{"entity-type":"item","numeric-id":17873,"id":"Q17873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$F52C1FA8-0F25-49B8-B2E7-2DC0AEC4B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$FFC6FECD-203A-4150-81B2-531518A4B51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$6CB6CE59-BB51-4C7B-83FB-767EEF3E9378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09667f39c796b66d178c69cc5bd175d01d1030f0","datavalue":{"value":{"entity-type":"item","numeric-id":14178,"id":"Q14178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$1A2A12EB-0E6A-46D6-B711-E5B5D3C8E22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$C289D0A4-AE23-4FF5-A137-B1A2D39999BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$D6812FD9-E434-4C5C-B97F-F3F347C50488","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":"Q2390933$F2E17912-4E6B-4EE9-9A7C-472DB5F78578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd113c3cd3454807c73bd709c3db305c5e69713","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0093-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390933$AA491F47-CBC9-460D-91BB-F4EB3FE1577B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7640dbe59fbfac3edd4968f5694701ce29eca0c","datavalue":{"value":"W2062768986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$5B39EE5E-454F-441B-89D3-918C5BEE2142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$EB2381C6-65C6-42EF-AFB7-5B68C44C7A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$7135296D-18A0-4CC0-BB91-699A88F4D884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20867ae2393592f363419ab166a84996532d2c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1040775,"id":"Q1040775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$9D44C81D-A6E0-4A8C-81EC-E02525D32778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$0158E301-70D0-4901-AA15-E6BE962FF419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9c253b57a9633581697b43854c26fac7276c09","datavalue":{"value":{"entity-type":"item","numeric-id":4762205,"id":"Q4762205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$B2A4B922-86C5-442F-9777-2839688D6D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2c0dad9258901148c0aaa16f3808e052f3371a","datavalue":{"value":{"entity-type":"item","numeric-id":4736407,"id":"Q4736407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$0264DD62-9D04-4BF1-AEFB-31BA7913968D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$E821C6E4-9626-4300-8BA4-759EA635091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0a876b1fddcec059b8d77d711865fbabbb7fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4885908,"id":"Q4885908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$6C5D8172-38EE-4944-BBE4-CFB9CDF1F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5746912aaeddd743883752807cc60e94e0090b","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$0506FB2F-283B-4E02-8880-ADE3D53B13D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79be7140dcbe0aa88396f1cd226352626f0471e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477655,"id":"Q5477655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$DD82D68F-3F12-4600-95FA-97A6808D483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$65FB294C-92D4-4A87-BAD7-8AB92248069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9c08117d750f39c434d215070541a3c044ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":4736405,"id":"Q4736405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$47E138A2-331C-49B0-9EB0-4AEA8E24BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$189F93DF-18E0-4775-B708-FF0BA0881EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$E6732A2A-AA3A-4809-893D-F0FB643CE1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$EF6051C2-B5EF-4B6C-944E-3763D21182A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$5D10FF8F-978B-45DC-893F-6D78CEF76DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f0c070d63cc8ade73e849526c8ff12c4b898b","datavalue":{"value":{"entity-type":"item","numeric-id":3523187,"id":"Q3523187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$BEFBC76D-D1E7-4FC1-A643-095F7A375FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$79EAA122-0AEA-443C-B61A-06918B498B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390933$355447AA-1511-41AD-B47C-287AC780F8ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6791dfe559f98bf5a6318922b4f6c8f7d742869d","datavalue":{"value":"10.1007/S00236-009-0093-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390933$C0910006-10E1-4598-9DE0-39BF388CF1A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a86d85508bbc33261ed45c95b81ff11dd6f69f","datavalue":{"value":{"entity-type":"item","numeric-id":4484335,"id":"Q4484335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb184d7c7e764c06860c3e5b66533629748dd2f","datavalue":{"value":{"amount":"+0.8000097274780273","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":"Q2390933$8D0F9A18-C679-437F-B516-AC736029F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcd81ecb807be6bc95a741f18334ded334875f2","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd0518ad699935afbc586e7ee3a1dd34c0d7f24","datavalue":{"value":{"amount":"+0.7940263152122498","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":"Q2390933$2BD219EC-4628-46C1-AE49-58B78428DE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d8abc9830180e9f98bdccc10033b3141909948","datavalue":{"value":{"entity-type":"item","numeric-id":1434358,"id":"Q1434358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17bacff6f5949676d4d4c69b5c3baa79934215e","datavalue":{"value":{"amount":"+0.7794912457466125","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":"Q2390933$7B748AD4-2DE8-48DE-A49A-B9E3D859E6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0177c87208286f047e31c01698fdbd7e64c5232d","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789530b26ef8cbeb24077eae0d88dff5af2cd25e","datavalue":{"value":{"amount":"+0.7687614560127258","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":"Q2390933$74B6FD25-48F4-46B1-8E69-B52360A9EBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69a3b8205af1a6e69c73ab65c0f933e5dd70a98","datavalue":{"value":{"entity-type":"item","numeric-id":4493905,"id":"Q4493905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a7f1be45a990bd8af1afe2174efc946be5f303","datavalue":{"value":{"amount":"+0.7582839131355286","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":"Q2390933$E4C33110-A245-46A6-8D53-BA7CD650F26E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390933"}}}}}