{"entities":{"Q434438":{"pageid":436205,"ns":120,"title":"Item:Q434438","lastrevid":61891722,"modified":"2026-04-11T02:21:43Z","type":"item","id":"Q434438","labels":{"en":{"language":"en","value":"Using formal methods with SysML in aerospace design and engineering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054179"}},"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":"Q434438$6A841D25-58BD-441B-B342-BE7A068EF3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea13a930ca6c5c8a58acc4cccd6082dd0b4ab0d5","datavalue":{"value":{"text":"Using formal methods with SysML in aerospace design and engineering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q434438$8F4F435D-4EC1-4F69-910F-EB771904DDD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eabb26263d21a857cf73ec1f19a821fd7879bc0b","datavalue":{"value":"1261.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$8ACA10C7-AE32-43F0-BF5D-B0B97B7A5175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbfe2c853caa21b4bbe64aa32acbfea2ba4c501","datavalue":{"value":{"entity-type":"item","numeric-id":434436,"id":"Q434436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$AB4158DE-3878-4474-9EDD-EF9525B93C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6895b472b9245a369a9ba8b4403add4ad3537f2e","datavalue":{"value":{"entity-type":"item","numeric-id":434437,"id":"Q434437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$EB5BB262-D6F6-42AC-A896-5D2510B9A466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$B0CFBBC9-5C42-4D6D-8887-917D74495453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-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":"Q434438$25589C4C-A210-43AC-94DC-BE2D6D53EE96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$95041639-349F-49F8-8A59-13C73B36B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$7F94FF46-479D-43EA-98EF-2286A00FDC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$D5C53D35-B2CD-4BB6-AD55-3A84E8433812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ecbe3b0e6d9af84eb2019cb91bfc09d9d00d5f","datavalue":{"value":"6054179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$9F1D65C8-0E43-4B7F-905C-409E92F5F803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e43cd41874bdf0203621b248a0ff86665b96404","datavalue":{"value":"SysML","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$18E0A477-2E8B-4311-BA86-A777FC82E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ae45d2e733865474ad8fb534339c6b1df7f7ab","datavalue":{"value":"OWL","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$30E7EB91-E05F-4C67-A7BF-6A01D36D0AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ef5aded5d4a2dbdf729061dc9b3a399f62b422","datavalue":{"value":"MBSE","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$674620F6-838D-4DFA-BF69-0F97EAC60E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$879063D2-A878-4E60-A993-BE26EF0228D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7a65b153430757c10d16c6e4312bcb47683442b","datavalue":{"value":"design by refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$FAC3C6ED-E8B1-4224-91F8-D9AE43458208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q434438$752049BA-F711-4539-A8C4-81E3E09661E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2cb52676dce9ca530dc139b0507517687f75798","datavalue":{"value":{"entity-type":"item","numeric-id":21148,"id":"Q21148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$469B0BD6-C66A-47AB-9F60-D25830FE5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$B7B21D97-8C87-4A6B-8FDB-F11CC16DED69","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":"Q434438$B73D682F-15A7-4001-A720-9D2938C3E43F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ec7f490b3ab067639c15ae35af412c311a5d98","datavalue":{"value":"https://doi.org/10.1007/s10472-011-9267-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q434438$B87184F2-5F06-4736-BA0F-EE1362DEAE84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c96dd542262ea77f72c878103a51b4377430976f","datavalue":{"value":"W2066532994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$F2F8225F-5A6B-4AAC-ADC2-7C265D36923A","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":"Q434438$2AEF8A4A-0886-4EC3-AD53-E5B8935C04D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5de36e8cf18a89740427db16d4791e8b5daf4","datavalue":{"value":{"entity-type":"item","numeric-id":3569996,"id":"Q3569996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$F7464F91-1B4D-4265-9E06-1A117869822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$2DEB02C7-F173-447C-8B54-67CB9B7B7A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39544782c70bb100130ebde0d8e93122e07ec980","datavalue":{"value":{"entity-type":"item","numeric-id":2457652,"id":"Q2457652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$D7ABB644-E6A6-408C-845E-2DEF874BF132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$ABE39F8B-1F26-4878-827D-F9462EA926A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$02183A0D-539B-4C89-81E7-252CD87C3F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$46D40D83-FA5C-440D-AF65-9FD7922F628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$54F4FAE1-4E0B-471B-ADF3-6515837A9BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$F574F212-6CFB-4A7D-BC1C-D375F1C455A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$5C9CEBB5-2DAD-4B95-A26A-231C79F54316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$1C939355-CD10-4DCE-9322-70A60ABF7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$87E1F20D-0FCA-4BA9-821E-62ED25BB6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434438$3FF9AAB8-C2C6-4C3D-9F77-6A8017FFD889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e6bd5e1b1c8dcff70a8801e12467aec6b1461ea","datavalue":{"value":"10.1007/S10472-011-9267-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434438$93C303BB-CD58-4100-8CBB-7FD3B14D0660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d87b80ce8d5950a98f07729c2de0632ea0a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":2249297,"id":"Q2249297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc6cede10b99922bf16f858685f66029921dabd","datavalue":{"value":{"amount":"+0.6605775952339172","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":"Q434438$05D80AD5-00B2-4454-8BA9-87E52C6A6581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729657e6af112d511b0f2d1ad76473c790cabe92","datavalue":{"value":{"entity-type":"item","numeric-id":4821318,"id":"Q4821318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c1dd1c27fa7e61ad1304380c66842910d1f491","datavalue":{"value":{"amount":"+0.6490527391433716","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":"Q434438$07398236-2C00-4E7F-96D7-5862E51E3972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee020106ad084fbc01efce29d74a7a96ae22b759","datavalue":{"value":{"entity-type":"item","numeric-id":1762176,"id":"Q1762176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d198a9d50c67efe045091c5794648d700039d31","datavalue":{"value":{"amount":"+0.6453885436058044","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":"Q434438$F8C4F4E4-496C-4654-BE39-AF8FBB733012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4c9f06f1aad66f7e7b78aa12d83eb848862e24","datavalue":{"value":{"entity-type":"item","numeric-id":3525076,"id":"Q3525076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102ee6de526118347a7ad59374adf5f26044324f","datavalue":{"value":{"amount":"+0.6397024393081665","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":"Q434438$39EA8138-507C-4801-A758-3CE05AC8BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cc2a3a3c6998340a1976cd694e7a7a21e703d8","datavalue":{"value":{"entity-type":"item","numeric-id":701039,"id":"Q701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d236413eea0349960aa448e810cc661bb4face","datavalue":{"value":{"amount":"+0.6373143792152405","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":"Q434438$64C907CF-53C5-4511-8740-797AF1756F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using formal methods with SysML in aerospace design and engineering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_formal_methods_with_SysML_in_aerospace_design_and_engineering"}}}}}