{"entities":{"Q1693827":{"pageid":1704568,"ns":120,"title":"Item:Q1693827","lastrevid":53008187,"modified":"2026-01-24T00:41:35Z","type":"item","id":"Q1693827","labels":{"en":{"language":"en","value":"Automated generation of dynamics-based runtime certificates for high-level control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833064"}},"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":"Q1693827$639232EA-D136-4CAB-A4F6-9A2FF62BF376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c168650ec83c4c9045dd36cdc4a349de0aa9a2d","datavalue":{"value":{"text":"Automated generation of dynamics-based runtime certificates for high-level control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1693827$A08D67D4-7403-472C-8B2A-5ABB4E88755C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78169123e4977e798f1f83f527d08651e8e37bca","datavalue":{"value":"1379.93049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$9805EFEA-57B5-41C7-B327-EA2E0A94ED78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b89718f36399e13d4f4e265477bb397439ab55b","datavalue":{"value":{"entity-type":"item","numeric-id":1693825,"id":"Q1693825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$8E456454-49E5-4D44-B9F3-1C784943AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$A7784063-DED4-4413-B5D0-3D0E5F5858BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e020e9683272d21472ae41c16f136d3ec8918f6","datavalue":{"value":{"entity-type":"item","numeric-id":547905,"id":"Q547905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$69726A31-230F-4A90-86C7-8C6A83FDD980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4366a3402be7ceba8e44edd2d2c05f9fc2a518","datavalue":{"value":{"entity-type":"item","numeric-id":1693826,"id":"Q1693826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$831140F2-988C-49D4-8285-42B9C7722C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16adb638c1491a2a9d8aaaee2402a5f8da42c660","datavalue":{"value":{"entity-type":"item","numeric-id":1012728,"id":"Q1012728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$BFECA933-6891-4E88-98BF-57F51E67B6B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$5FBB67CC-DE25-485D-ABBF-E64188217A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da8c0aa6df967c6639d7fba7f3234dcc05081616","datavalue":{"value":{"time":"+2018-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1693827$99719CE8-0BB8-4ED8-B2F6-96FDE465CE4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$F5222699-E3C7-4E3E-A0AA-0A01279AFE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$FBFF70B2-7BC0-48D3-A1B3-0E589C2FC235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$5138CB67-3E20-425E-B03B-ABAA5846196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$6A7DF73E-0CAF-47EE-A713-61151493D702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0b2d2fac219c8036cfc9e031b5c0b0a652bb14","datavalue":{"value":"6833064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$8D9724F6-49F4-4DA7-94A6-58AA90F58907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693827$5C7C3ED2-989A-47BE-9552-D7A37F99C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d033e382642bb077c960b259618a403b1edf31","datavalue":{"value":"discrete abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693827$82144044-148D-446E-8684-26C9BBC7AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0d28836e0b76bc2ef06cde42772dc42005d139","datavalue":{"value":"counterstrategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693827$D81C3F80-A41A-4EC6-802A-2F5DA4C4052C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6a0b149cb77fe87ea21e828ffe577229372758","datavalue":{"value":"reactive mission planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693827$19ED6DCF-5752-474E-9728-1F390160888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693827$24EECB57-2B6F-4EB9-8CA6-93982318E482","rank":"normal"}],"P1463":[{"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":"Q1693827$0C2ADB4C-AC6B-45AC-A079-29CB97979808","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":"Q1693827$7BE853E7-1CDC-49D6-9BDB-B0E9041B6108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c370b06c1ecf9386d3e162bb7c10ef804547643b","datavalue":{"value":"https://doi.org/10.1007/s10626-016-0232-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1693827$466F65F9-3BEA-49A4-BDAD-9EC85DCAB7D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"979a1fc0136952c10db6cf2ef0c200d8fd684d67","datavalue":{"value":"W2557072247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$502DAC05-915F-4D9C-810D-AE6B5ADF8A39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$AA9891AE-D931-425A-8A00-42D7F831C417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75892faacdd97c36520212d868b89ce76553026","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$6D178F40-B600-4C30-B8CE-2A5A190CF618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$A481027A-2696-4FFF-99A6-82148B7A4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$0D13E812-9640-4957-94EF-C18EF8C0DCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac237b4092cce95f4634dbf586228a40dab740c8","datavalue":{"value":{"entity-type":"item","numeric-id":2988987,"id":"Q2988987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$311A7BF9-99F8-4967-ABF9-B3C72B41B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$8CCB27C4-EF79-4B01-8840-6C2094963090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$6D125C83-774A-4ADE-A908-6D525AFE17CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a6a461b2ccd538643a884f98ffc0a3baa8e60","datavalue":{"value":{"entity-type":"item","numeric-id":3523108,"id":"Q3523108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$60025336-4769-4E26-A638-7349D49C7C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3599051772dd05fe3142041f15d079d629c74842","datavalue":{"value":{"entity-type":"item","numeric-id":3523114,"id":"Q3523114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$4558A0A8-D0E2-4647-8702-8998F00C646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$9A140731-40B9-41E1-A25B-A52C8AF455CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce7ab7a71cd4deb590628635434656b6d2bd4c2","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$B9C91849-18D3-4E71-A067-6596FB0C8411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48cb98ab1c252605ef9493e5322ab84aa3228dc","datavalue":{"value":{"entity-type":"item","numeric-id":2986941,"id":"Q2986941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$1BDF391C-1617-4211-9ED2-C23C47A0BCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$82BFDFBB-6181-4861-BCC4-767048400B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b49aad203437b4ab2f72a4c84f5d15ab65d01a0","datavalue":{"value":{"entity-type":"item","numeric-id":5347889,"id":"Q5347889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$40A179E5-BECC-4BBF-B870-DD749F2168B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$BECFCEFF-D153-4370-ABC7-3E2991CB8479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae01cfa0ab64c4de4fde1296e11ac8f3d23e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":1939637,"id":"Q1939637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$C69E162A-49D5-48C2-AA95-01D365185BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693827$3B683BEE-CA84-4725-8D6A-8F0E63DA0126","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c67c3fc00101ea27fefda956e617e5446efe736","datavalue":{"value":"10.1007/S10626-016-0232-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693827$B67AE96C-112A-416A-8A6E-42AD8E79B6DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4475930453394bbacb937dbc2e7ecb243b41c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2988987,"id":"Q2988987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93254898b2c2eb2e266287627e0f1d96fcb8ac5f","datavalue":{"value":{"amount":"+0.7542358040809631","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":"Q1693827$948430E2-DC49-4D7F-9B2B-49CA7F6EB80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da40b12d24363a4aba0ce4a331b228ade6bc75a","datavalue":{"value":{"entity-type":"item","numeric-id":4561444,"id":"Q4561444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4271d5dd98b68a18df2fa32a1fe8bfa3301946","datavalue":{"value":{"amount":"+0.7321954965591431","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":"Q1693827$57D406B1-73D7-4DCE-A6DB-2F5490F97C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab664d235853c5697e7311e456322ee3aaadc06","datavalue":{"value":{"amount":"+0.7288968563079834","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":"Q1693827$086F7586-78D8-42B1-88A3-5783928AF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b0466f67d41ef5a7cbba3ced20473eb3e0b92f","datavalue":{"value":{"amount":"+0.7201153635978699","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":"Q1693827$ABEB7376-4873-4DE0-97FB-75CCAEB59EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929c50a7dbb0add8c99e9e2e2992d1548609923","datavalue":{"value":{"entity-type":"item","numeric-id":2303883,"id":"Q2303883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a3d9aafa9892b22159de5fd194cb3d641fd6bb","datavalue":{"value":{"amount":"+0.7182598114013672","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":"Q1693827$9425F6A3-C866-480C-BB67-BCCA9BBB412A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1693827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1693827"}}}}}