{"entities":{"Q457250":{"pageid":459017,"ns":120,"title":"Item:Q457250","lastrevid":62013099,"modified":"2026-04-11T03:11:45Z","type":"item","id":"Q457250","labels":{"en":{"language":"en","value":"Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348502"}},"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":"Q457250$958235EC-F8C7-46FC-BB36-5387B1994A67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"753db8f653a002d744ebae596ee8f0f0a199a99a","datavalue":{"value":{"text":"Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q457250$B2509CF9-0B85-446C-BDB8-7EF3F3E2B94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f04bc40f4270549efeda25543288416463df7ce","datavalue":{"value":"1298.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$BAB17416-7F6C-4F28-AABD-AF8B844D68FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$58F6AEA8-469B-45D3-9707-E8F28360ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$18CE6678-3597-4727-845D-D58A9CD5A077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6f417f09c985107129e25aec6563cc542c4012","datavalue":{"value":{"entity-type":"item","numeric-id":457248,"id":"Q457248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$8B1D2882-3F54-40D9-B4C4-8A8A23A7A439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b89fb887f3c895b948e7208b50c1450b27eaeb","datavalue":{"value":{"entity-type":"item","numeric-id":457249,"id":"Q457249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$B704AEDE-0DBC-4CCE-A38A-4EE43C68C0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$4B6EBA50-AE41-4918-8C41-7852D114051B","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":"Q457250$78496ADF-C42A-410F-98FD-6B3F40696565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q457250$678E82E9-8F1B-4908-981F-9BDE7EA94EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$10E57F41-59CA-4040-822D-F3A1B91CBA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17c53d34ae19d8cd6b42df9baccd7f068f76ab7c","datavalue":{"value":"76-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$287A6C18-E19C-4B98-997D-CDC34B10A776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bee998297e58c8c8d9a42f56590172c35b2148d1","datavalue":{"value":"6348502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$8EA3F6B1-3C63-4F90-8C83-9ED74196BFC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e720cb2d15b89f1fd5730906233db5039b6ccf4","datavalue":{"value":"file systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$8C1D46E7-DB1D-441E-A778-1CC4824FD4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$3F222040-261C-4879-891B-3DE78DAF097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$1F42F2BC-4C5C-4C71-83EE-328F7137FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$BFE69C1C-CA29-45E0-9CBC-9000EC998BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc13454ad5fa76fad6b73f8360f913295ae997c7","datavalue":{"value":"flight software","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$FD1A4BEB-B906-455F-9439-DB7F8CD23154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q457250$96A0980D-9E9A-4E9E-8952-2A3F7E001C24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$212AD9E7-DB84-44D8-B050-560CAEC80689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$4A40262D-7E02-4729-8129-E2F86AC39289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$053441B6-5A16-467D-A76F-2D97DF5A100B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$AC52C12C-B9A5-4794-8404-E7A65F579344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be424fdce1037763ea82494eec6d785aa5cd2b6","datavalue":{"value":{"entity-type":"item","numeric-id":22895,"id":"Q22895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$8ED411C3-6A2A-486A-B8E2-D8FEB59814CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e05716d11354c9d38e76a1ec25809265e02d101d","datavalue":{"value":{"entity-type":"item","numeric-id":24961,"id":"Q24961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$CC67A55E-9F6C-4C5F-88AC-245CD24C74F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$5503A103-EB1B-4594-B45C-E44EB516D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$CD9003BA-258E-4FEA-8880-C3D69BECD997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$D94CF665-2ED6-4271-B534-4AC44B43611C","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":"Q457250$0720BE9A-43C1-477B-8820-EB71316CE7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$80F5E6C2-5B6C-4F9D-A81A-0829729A3C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$39078F23-2CAF-4B38-8B2F-BE06ECBEAD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f746181d867351d09668116ee8252aee76943077","datavalue":{"value":{"entity-type":"item","numeric-id":18994,"id":"Q18994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$C5C72537-EC5B-43FF-8E96-DB5BF94B6545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4b1f92574c8d5a5c01193172313aa9edb8e24a8","datavalue":{"value":{"entity-type":"item","numeric-id":24720,"id":"Q24720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$011C27EB-CBEF-43CA-8D45-88D2BE9CDB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33700f3c132856185d8602e722469202b7b4cc71","datavalue":{"value":{"entity-type":"item","numeric-id":29306,"id":"Q29306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$F8A953EF-1DDA-41A5-9F5C-3BAFA263ABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"20bee834f61b93eeff967343621a0e9a550be51d","datavalue":{"value":{"entity-type":"item","numeric-id":22796,"id":"Q22796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$1C262E5C-0897-4E19-85CF-DFE3F0E1B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$30097ABB-D33E-4E61-A704-3D6AB329604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$0E434114-F767-46D8-AE37-2F35C462F95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$BD9C32FF-BD2F-4571-B208-19D6777B696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$4E9F7821-59DD-4873-91EE-A28E44F148C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$D5602F5F-E629-46C6-82F2-F008EA32B2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c04dd4534e60b6f988fecaccc4541da4b015b473","datavalue":{"value":{"entity-type":"item","numeric-id":28350,"id":"Q28350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$72B5BBBF-8BC9-46C0-8F5E-F8408155AC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8aa4fbb109250bcf95c81072ca49092350304c2","datavalue":{"value":{"entity-type":"item","numeric-id":28351,"id":"Q28351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$6739462B-A335-4522-82F3-18B40FFB90EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$8708D0CB-8B23-4016-8E87-D5FEEEEA7BC3","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":"Q457250$EB1818B7-6193-4908-BCC1-3925B66FFB92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ba817a9a8149e5ff3507270138a085490c668ff","datavalue":{"value":"https://doi.org/10.1007/s10472-014-9408-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q457250$66C16D03-ACCE-46B0-8506-6A643F15A2A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d30626c48712843eefa1637c741745439dabd1d6","datavalue":{"value":"W2095473904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$26EEECF3-639A-482D-8E71-6479BFF93D59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$57BE1C90-501A-4A5D-A889-18D25C12622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57152626eccdef04f7485d19a54e1d3df61b2f69","datavalue":{"value":{"entity-type":"item","numeric-id":3569196,"id":"Q3569196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$F712A118-5E83-40A1-B67A-EF007D61E5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$94377F17-14AF-4D29-BBAA-8743CD3B543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89590127f5397bc8ed4b7ff89515c95d81a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3506694,"id":"Q3506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$19CD9668-A4E1-49B7-A266-28EA2EC2AED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2f4eda96055e862b502671e4efbfeac491c818","datavalue":{"value":{"entity-type":"item","numeric-id":5655299,"id":"Q5655299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$AA3C8F2A-05CC-45B5-9D56-906911478C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$78328A35-28D8-4C23-A716-7F20A112A6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$1F3B2C33-8B1A-4197-BD24-168C18DBF28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae1c12a2d2eb87fc1d773d1232338850716187f","datavalue":{"value":{"entity-type":"item","numeric-id":1859545,"id":"Q1859545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$2332CB81-0E4B-4B37-A124-1FDC50D04404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$D4E6E601-F019-41AB-BD47-851EC4732DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$A59F01DF-B790-4E36-9279-9EEDAB812A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc524ae253bcda0cfd0ae0260f84e0048189b9","datavalue":{"value":{"entity-type":"item","numeric-id":3345517,"id":"Q3345517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$A3E84C3D-1713-484F-AECF-DD19658E54ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$A78828F5-87FF-486C-B6FA-AB7B1E214147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fead3e3dedd868b33c30987972b6a93a814a10b","datavalue":{"value":{"entity-type":"item","numeric-id":5452713,"id":"Q5452713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$B75DAE68-CA76-4D0E-A607-A70A889C98F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296125ddd7b1691787467ebb50bcda1e93e6e3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4131608,"id":"Q4131608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$18453485-D81C-40EF-8E69-3FBD25E2DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$E5F2CA3B-3927-4F0B-ACB8-838DD87ECF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b2fc69b2335e73cfb2d4c1b2a6adb5b7566173","datavalue":{"value":{"entity-type":"item","numeric-id":5308367,"id":"Q5308367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$161B26E1-FD1F-4EB8-A6FE-0D1D1F6100B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc8eac40142f19f8a0519a932eaf2be5e0ba0e6","datavalue":{"value":{"entity-type":"item","numeric-id":2643130,"id":"Q2643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$E58CB5A4-C96C-4D77-9043-29356FB4271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$CEBC6044-DECA-4BD7-A714-E8FF5A0F9DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$FA8BE50C-3746-4F52-970E-C3FCF1430738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$33FB4BA5-1311-4486-AAE2-7240AEEDABD2","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":"Q457250$CF794073-C8E5-4969-BE6A-164F45CA169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$9BAFA850-925C-49C6-9763-39F2F60F51E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457250$2B69AE9C-2D6E-4AA2-88D5-BE7F1AEB7104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d044ec87ec99bf32853240c8076b586290e89f7c","datavalue":{"value":"10.1007/S10472-014-9408-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457250$30ED9C4B-CCFA-49F4-8759-2B8A5B2D9858","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c068fdbb760fd5e559bdd3646b534ed86abe3343","datavalue":{"value":{"entity-type":"item","numeric-id":5312929,"id":"Q5312929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d323b35d6a178d4b40202ca0cb64c074e2ac7e","datavalue":{"value":{"amount":"+0.7045366168022156","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":"Q457250$736083A7-5714-4B9B-B010-D6F214CC237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93498c63fb1863b872e6256f03483d7a55c1fc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484327,"id":"Q4484327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427d48adea2861c5e67dffb28bb741048d80ec0f","datavalue":{"value":{"amount":"+0.7042223811149597","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":"Q457250$43C15163-9ACF-43DE-9B18-752CE88367F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5833252cb44bf547b05711ad6d2ed51de789a07","datavalue":{"value":{"entity-type":"item","numeric-id":5452713,"id":"Q5452713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c233c1e5c446b26e13d51590a558af613adcae1","datavalue":{"value":{"amount":"+0.6917206645011902","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":"Q457250$3FFAF9E6-770D-41B4-A13E-9C059E5AA5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a58ae0aff4054dfc37018f22dd1b0959e45c1f2","datavalue":{"value":{"entity-type":"item","numeric-id":883136,"id":"Q883136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af7fe548acd806c2ad12e48eb31934efe12b5c5","datavalue":{"value":{"amount":"+0.6898300647735596","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":"Q457250$E1FD16C5-B95E-4674-824E-BAA445346049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c23af43f12a0d5cf0161593c3bb60859f349683","datavalue":{"value":{"entity-type":"item","numeric-id":1888201,"id":"Q1888201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b24e3472b50ec8c97ca582f06add569c7b1cc35","datavalue":{"value":{"amount":"+0.6833165287971497","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":"Q457250$DCC32E80-3FFA-4F17-BFB3-88B918F6B009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Establishing_flight_software_reliability:_testing,_model_checking,_constraint-solving,_monitoring_and_learning"}}}}}