{"entities":{"Q2365398":{"pageid":2376141,"ns":120,"title":"Item:Q2365398","lastrevid":46473276,"modified":"2025-12-24T21:01:15Z","type":"item","id":"Q2365398","labels":{"en":{"language":"en","value":"Impact of performance considerations on formal specification design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 975778"}},"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":"Q2365398$7CD4F412-E389-4CB7-8421-D4E3ED8BAAEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"523b17e3689d977032e4e75debbb9d29405d75a6","datavalue":{"value":{"text":"Impact of performance considerations on formal specification design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365398$06C3401B-537B-4530-9A8B-5F9BE72BD4D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d5dd305c2704362331def9496557bd436e1407","datavalue":{"value":"0862.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365398$49384A63-F2B8-4EA2-95C6-7242B1461F40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31828b5ecae1b651845f4a7ccc811e38ffa42017","datavalue":{"value":"10.1007/BF01213496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365398$1995F9A8-B15B-424E-A3D8-7E8E329CF485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6f1780ca750f6297009aafca84590ee18ab02f","datavalue":{"value":{"entity-type":"item","numeric-id":2365397,"id":"Q2365397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365398$4E3EE78F-71C7-4639-9C07-E9C48B346CB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365398$44D6C4B2-AF66-4819-9F12-AEE24701AD2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae9aaa534980015221c1d39c9156b650100119fc","datavalue":{"value":{"time":"+1997-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2365398$2D6F270E-9193-42E6-ACE2-A6402CF4CB18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365398$E4CB7235-2A2A-4B99-A5C2-23D18D2481CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5308dd639451d0dec03880c4f89d361770ca99","datavalue":{"value":"975778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365398$04C5DA8C-0C55-433D-B409-65EBFC3D67EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dfb4ddcb0fd0d83b75bb7aea00eff560b8ca59","datavalue":{"value":"observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365398$F4289C77-C852-429F-9E5F-0D922384C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365398$B7EDBE56-1A59-4F3A-A417-F05182B49ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e77eb97de0197731686407e35bbbf900d6c885","datavalue":{"value":"reusable software components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365398$2527849F-626E-4DA8-877F-85FB4331BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e130fc2081a3120d1b234d946e5c0081d171240f","datavalue":{"value":"formal interface specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365398$A673934F-FA94-413E-96FF-2B07B085B559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3c8616e12a1cf891a2a6b4f3de4100bae7a000f","datavalue":{"value":"object-based software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365398$788DC163-BE5A-4C95-9B72-3F722AF2EE11","rank":"normal"}],"P1463":[{"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":"Q2365398$BD548CEB-6100-486B-AEE1-E31F75751839","rank":"normal"},{"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":"Q2365398$277924EB-38D5-4965-8B46-94CF15B011A4","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":"Q2365398$11547E6F-3AEB-4A21-BEAD-13C66E9F38C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ce3fa05888d5dcc0646fe3b2193d8d169f44bf","datavalue":{"value":{"entity-type":"item","numeric-id":3793689,"id":"Q3793689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365398$AC7988E1-990F-4FB3-BACA-89D39C6648AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365398$318963C9-9977-40B5-94DD-C4B98F0701CD","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":"Q2365398$D7D8DEE5-04DB-455D-BBA5-0F231F28EA27","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":"Q2365398$7511E4A4-A813-4814-8CD2-E38924560E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326acb68a6334a1c116e21985f2d11f27d8217d8","datavalue":{"value":{"entity-type":"item","numeric-id":4725724,"id":"Q4725724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365398$7783FF7D-BBE0-4B4B-9534-2A6040072407","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":"Q2365398$3BE0AB99-90FB-4097-AF07-178BD49422B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bf93acae65950c061cebb207577ebee6919d077","datavalue":{"value":"https://doi.org/10.1007/bf01213496","type":"string"},"datatype":"url"},"type":"statement","id":"Q2365398$9BEEDE50-5AD0-422D-A9D7-59C6DEB3AFBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ff999cca8516d224656b7f1354ac3701ae1ee1","datavalue":{"value":"W2040872101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365398$65B58CF3-DC71-4712-8961-0D1A832758C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51835e64ce8ff3e13985b7d1e58918ffde60be98","datavalue":{"value":{"entity-type":"item","numeric-id":4450958,"id":"Q4450958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6d8631d147fdf5e3ab974b01af3926678a0671","datavalue":{"value":{"amount":"+0.6840542554855347","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":"Q2365398$11ADF841-99EE-42D3-B7C4-1417E74B0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a276fc4e067154d8baab3387c77890222f07a9","datavalue":{"value":{"entity-type":"item","numeric-id":1607085,"id":"Q1607085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc635f1407991bcf1db6723d39723dae29d887a0","datavalue":{"value":{"amount":"+0.6787451505661011","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":"Q2365398$FA1F0D7D-5C78-4BDD-8747-B55A2089F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5714aa3099e00a84964c6d106c071a19572e40","datavalue":{"value":{"entity-type":"item","numeric-id":4471914,"id":"Q4471914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34846f819faf370e6512fa7033e3a02f9304364c","datavalue":{"value":{"amount":"+0.6627300977706909","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":"Q2365398$234FF25A-FDFB-407F-9EB5-8D402D32C886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de68a7eca1ccc5c178973b4db58983e3d9d1d13","datavalue":{"value":{"entity-type":"item","numeric-id":1177943,"id":"Q1177943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf7435d0fecb336deb8d296449d2b220909fc44","datavalue":{"value":{"amount":"+0.6446542739868164","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":"Q2365398$4C6539FE-842C-44F1-A188-C358DF958E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4e12234da370855f87a19b2113346000a72b20","datavalue":{"value":{"entity-type":"item","numeric-id":1903078,"id":"Q1903078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f158883ae518a9eb8625a9ff8bf71eef2baa6ee","datavalue":{"value":{"amount":"+0.6443076729774475","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":"Q2365398$7721F01E-7480-4FA2-806B-173C64C2D151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365398"}}}}}