{"entities":{"Q282095":{"pageid":283862,"ns":120,"title":"Item:Q282095","lastrevid":60726525,"modified":"2026-04-10T18:46:08Z","type":"item","id":"Q282095","labels":{"en":{"language":"en","value":"Analysing sanity of requirements for avionics systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579509"}},"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":"Q282095$B627DDB1-D226-4487-919F-F48887F49F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ae4dfd481301b35320e449c96b277fbf6e5903","datavalue":{"value":{"text":"Analysing sanity of requirements for avionics systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q282095$D8725AF6-9712-4A68-A6BB-E5FE4458CF29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce5753b014c09557bccfdafa52c31a4a54790e54","datavalue":{"value":"1335.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$07655816-E6D9-475A-BC8B-173B009E01C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$556F0837-3561-46DD-A23D-A55421C20C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa60a349bdbb969b4b5eb64d19581ce18f4779c","datavalue":{"value":{"entity-type":"item","numeric-id":282091,"id":"Q282091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$A75A27DF-2C36-4752-AFFF-7D0B65818343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$ABDC0F61-BA5E-403F-84F7-E0A577DC2C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$D789BD2D-3B96-4B32-B6E1-6137CEE4134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3722e7dd464c143dccd336144ad586ec3c1196fa","datavalue":{"value":{"entity-type":"item","numeric-id":217352,"id":"Q217352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$0113E690-53F2-4D07-87B4-8AE66244199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a27147b2e1a317d3cba5270945c19e57b3e54f72","datavalue":{"value":{"entity-type":"item","numeric-id":282094,"id":"Q282094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$593BE12B-3B51-4B21-BFC3-E44AB69D2A65","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":"Q282095$6BF446F9-D997-4A8B-B4F9-C3B37641FBA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6561d1f3ea76d4fa605c32b6d5b2469c201aaa85","datavalue":{"value":{"time":"+2016-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q282095$6E37E1C3-0239-472B-9AC5-0C9386192653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c70ec9efda298726eb9f16d3d992652095eb7d","datavalue":{"value":"https://arxiv.org/abs/1510.02669","type":"string"},"datatype":"url"},"type":"statement","id":"Q282095$7545789D-F1E3-4D88-BF93-8BDAB963B832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$F6881710-AAD8-4186-897B-CD392595A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$429BC854-9500-48B1-8380-48F42EB06730","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"601c6ad233ac5202c194877b9aec7a8b5821425d","datavalue":{"value":"6579509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$4C49726A-B9D8-4A15-A4DF-3D6063F43027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ce164b0347a6c40387017d705ef7ded4648603","datavalue":{"value":"requirement engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q282095$C67DC2A0-F4DA-4C86-9FDF-9E6F70982C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q282095$A9EE5A8A-0C5B-444F-B330-D723A5B8393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0b8d0524470ddf11e242b4f4a513fa39626e25","datavalue":{"value":"sanity checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q282095$DDE5F62F-B65E-4434-AFDC-F926C0B6AC36","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$34022A4E-2F89-4C05-89AF-2BBDEC9A399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$9015AE13-E902-47A1-8F46-2B26B65D99DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2e903d271d60c904eafd44aecef9dcba9a0d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":19342,"id":"Q19342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$B53BB8CD-8A98-47FE-BE8A-730A2BD8576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$900830B7-BA00-4F61-A505-4977E4868DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"864718073ef39b92ab50b3bc0ac01c3a4e4bcfe0","datavalue":{"value":{"entity-type":"item","numeric-id":26936,"id":"Q26936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$2FDEB246-E689-4875-934D-844A6ED1AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$420F4BF4-3005-462D-847C-2A0A7DC63852","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":"Q282095$124CD432-C8EE-408F-8F7B-BF149246B747","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63e6796f3af68e2abdcd698bf176aba0360d6974","datavalue":{"value":"W2266282164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$3E6C30BE-2D5E-4895-827D-D28FB85D0A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$48285977-D53A-4A1A-9194-7CDC84EF9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$079EC656-ACB1-4ACA-AFB9-A106887B7448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$4811D55A-5E93-40A5-8199-979A4D47153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10b19b0cfbb475360005dda61657c7f491f550c","datavalue":{"value":{"entity-type":"item","numeric-id":4551135,"id":"Q4551135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$7C631542-3B53-47A2-B0CC-FF46B92BEA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49de51e187efb16c16599af19d75254290be2ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2769612,"id":"Q2769612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$CF48FE20-13AB-47DC-A067-AA8310D1E390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$6CDEEF89-237D-411A-952F-BFE5BB726942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$5536F727-5775-42B7-B7FF-F208A12BF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$67C7FC3E-510F-4736-BEC8-47CACE481E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c04c57090ed2e631a0296c9d28c260e6d9f566","datavalue":{"value":{"entity-type":"item","numeric-id":4494396,"id":"Q4494396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$4047FF0F-0C3F-4E8D-8FDF-53BC033937FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f13cbf57db59a7ee1ac7dbadb613173d3cb2ded","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$8107E55C-D155-4033-97F8-4BD2F1A7AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$9B58345E-4C8B-4306-BB6E-CC4AFC734065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b41054324accda6052718745be74c36c3bc0fd8","datavalue":{"value":{"entity-type":"item","numeric-id":433349,"id":"Q433349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282095$13316760-960D-4704-84F1-F164E027B05B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f4f36c07b602b1d7013de08e513d5a95c762e3","datavalue":{"value":"10.1007/S00165-015-0348-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282095$87FB1DD4-45CA-4644-BE79-F26A1E80C436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadc653ea280c6112ef77db1a31a0f4403929e29","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9fc22ee19b070a09da27d522d7082517cb39fc","datavalue":{"value":{"amount":"+0.7132236361503601","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":"Q282095$41F44477-8D9B-4241-AAB4-BB20AF37A20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c68f9f36e3ae701a106ab674155dca2a4532475","datavalue":{"value":{"entity-type":"item","numeric-id":2783314,"id":"Q2783314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e6f391e92cd8bee42c4ec57479876c2b097fee","datavalue":{"value":{"amount":"+0.6579985618591309","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":"Q282095$FBF69950-0FBC-4343-9E03-03378B2311F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784c712b5d35c438721866c0fb6d58570a5efd80","datavalue":{"value":{"entity-type":"item","numeric-id":1599643,"id":"Q1599643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b474f05baf635a83735f61e3699ee6346797a3","datavalue":{"value":{"amount":"+0.6562018990516663","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":"Q282095$B5B3DDA9-AE16-4CD9-9D7E-FE95D7A7CB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d985f2c00daa8b0e51639b68105c6d6cfe1c5439","datavalue":{"value":{"entity-type":"item","numeric-id":1856143,"id":"Q1856143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c20d84d6697550da21b4898e228acdb4e8323f","datavalue":{"value":{"amount":"+0.6539224982261658","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":"Q282095$3F8F5605-C90C-4E4F-A76F-03E9A5E9C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3b5209d070c74fb9e92735d00b65239e72fdba","datavalue":{"value":{"entity-type":"item","numeric-id":557426,"id":"Q557426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddef9a01d75ec2254a6df674d936b457924294d7","datavalue":{"value":{"amount":"+0.6533463597297668","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":"Q282095$457FF490-904E-4568-8FB2-0F395D0A3FA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysing sanity of requirements for avionics systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysing_sanity_of_requirements_for_avionics_systems"}}}}}