{"entities":{"Q264193":{"pageid":265960,"ns":120,"title":"Item:Q264193","lastrevid":60577248,"modified":"2026-04-10T17:50:04Z","type":"item","id":"Q264193","labels":{"en":{"language":"en","value":"Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6563701"}},"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":"Q264193$FD4BD55A-5850-4105-B9B9-1B4626C4AE43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14721f1d72854aa7fa89e49f0878b6c3e24be9a","datavalue":{"value":{"text":"Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264193$A1C87FBA-DCAC-4359-85E3-FAE6A5565ABF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85ea285f2b88c24fc54f802d3bc0e18947b6d531","datavalue":{"value":"1356.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$EA4ADD6A-04F2-4AA6-AF18-3C2EC76B59B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f75269af665afc93078d91c7ee74ece22948867","datavalue":{"value":{"entity-type":"item","numeric-id":264191,"id":"Q264191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$22D9E7F0-DA6A-4E9D-8641-965C4591729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"caf748ae0574ec8cbefe7c6e6307e3d7f5af0a0b","datavalue":{"value":{"entity-type":"item","numeric-id":264192,"id":"Q264192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$2CBA8A6C-F869-4261-9FF8-CC8A717ED6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$1F836C65-2A3D-4276-BD27-FCB0E3DDDBD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2710326c5454bd92a60df0935d31488c6019050","datavalue":{"value":{"time":"+2016-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q264193$60C97952-C8E1-4F2C-9D02-EAEF63083307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9207792d3fdcd73242be8caef732ac8dd8356bc2","datavalue":{"value":"http://hdl.handle.net/11568/776232","type":"string"},"datatype":"url"},"type":"statement","id":"Q264193$B9726D6C-61F4-45F6-916E-F5DDEF3A81B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$5D9265BC-8D28-4DC0-8ED7-860966051982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$15A31CE6-7511-4C0E-AB99-84C2484EDCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$07775F92-9748-42BB-9DDA-7892980DDDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$AB5CA0D0-0594-412D-9035-57D7D0D7EAA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c79617fe6fdc3312bdef7866e53461167d725e3","datavalue":{"value":"6563701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$55ED7686-9B1D-40EA-BF30-907F76A8182E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q264193$8670FF68-5D9C-44C7-A77F-D9BE07659AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q264193$695400AC-34B3-417E-9993-7FC49E338293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q264193$BC840F09-80B6-4853-BC2E-DD87DBD48DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1099d3774835e99f71b0be7ad3c7400fded8078a","datavalue":{"value":"nonlinear control","type":"string"},"datatype":"string"},"type":"statement","id":"Q264193$9CD420E6-AB0C-4499-96B4-23CF29F81B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q264193$C7CE3C87-E6F9-48A2-8204-1F3F9D7D4185","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$FB67530C-3CB1-48CA-8807-AEF5E1FAA31C","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":"Q264193$BCC04361-312F-43C3-96DD-6F780672066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e6182f78f38343c137b2df6cac4cca431394408","datavalue":{"value":{"entity-type":"item","numeric-id":14490,"id":"Q14490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$03537F5E-152D-48C0-A032-F571D612481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$C6D78DE4-1120-405E-8450-DF7BE1F677CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$F1F9608A-DE50-41FD-9348-1536B6E72772","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":"Q264193$34911EB2-6D2C-4562-BDA3-AB02DCEA389B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$F2EBACD3-795B-4205-9C0E-5B19B8C2B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb893082e176dab92021f1e17dd7363b037871d1","datavalue":{"value":{"entity-type":"item","numeric-id":23720,"id":"Q23720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$BA544629-F366-4239-96A5-9F4C61DC9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f21351e14fd7794822b1ba83112617cada93fdcc","datavalue":{"value":{"entity-type":"item","numeric-id":24353,"id":"Q24353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$BE9F0C17-BD96-4ED8-A2D9-96F724F8432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$44733B12-0ADA-46AD-94DC-AD8D7DF75847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$718A70E7-6D25-42CC-94B1-7E26565AED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"16d5c57b3993fe5239d18cc97d50a579453b99e6","datavalue":{"value":{"entity-type":"item","numeric-id":17082,"id":"Q17082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$B3C44848-CBFC-4CBB-9CFD-2A21F5632AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$CBD1C181-28CB-4BCE-A177-34EC33560E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cb661c4352d6e0ab88d7103cd480cfce992ae76","datavalue":{"value":{"entity-type":"item","numeric-id":23884,"id":"Q23884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$1C382190-CFEA-465E-8693-91603FBD13F4","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":"Q264193$3E7F5595-BCB5-495C-A2DF-2AEAC8240334","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc1fcb9109e6b976b5f4869c188598a8cffe22b0","datavalue":{"value":"W2258230469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$70D60089-7C5E-41B4-8C2E-A03F892C9ABF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d1d73d81da2b657f0c75f31e3171fd082866d6","datavalue":{"value":{"entity-type":"item","numeric-id":5169797,"id":"Q5169797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$3BF8D8F8-30D5-460E-A877-EC160A8C7B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac4d401bcb1c453f5752f0a41cda21092f06b5","datavalue":{"value":{"entity-type":"item","numeric-id":3406502,"id":"Q3406502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$6C68ABC9-B147-450E-B948-AF0041AE754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$CDEAB38B-7681-42C8-BBDC-8C429999BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$F600BFDD-334F-41B7-8BBA-1B7199D8D207","rank":"normal"},{"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":"Q264193$CF8286AC-680A-436F-9CD4-3870F7BDFF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0eb2d92e10c24dc1e8b70a007cfdb556d6a574","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$A095B6E6-EC36-43F6-9AAA-0C61F8CA817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$36442831-1DB7-4910-A09D-80B621F92062","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":"Q264193$0C4EBADF-B566-4F55-B73F-22C44DE5116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efc89b00747c2007ed9ade9adc81ef9eff5327","datavalue":{"value":{"entity-type":"item","numeric-id":2754035,"id":"Q2754035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$596BFBCF-5FBB-4B0F-9A29-E5A31F761412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$DF909F2A-E60B-4F5C-A9B1-44D4B804B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc8138ff9cf4f086020f1c6e3c073e71bcc9542","datavalue":{"value":{"entity-type":"item","numeric-id":2754044,"id":"Q2754044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$0A5592F4-C79C-4377-B607-842900A3496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d7b910b1d9efcd4fb2a0f84b2939cd940b2643","datavalue":{"value":{"entity-type":"item","numeric-id":3634000,"id":"Q3634000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$9916EF03-7868-43C1-AE4E-67442B0E76F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264193$E6344A56-57C0-447B-BCD0-D2ED4EFD4EBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e28831c9215ab52d5ec01d28897e264bf64995a","datavalue":{"value":"10.1016/J.IPL.2016.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264193$777B3DA4-58DE-4158-B02E-C12685C08175","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27834f8881d79d504650b55693f4830b894523f6","datavalue":{"value":{"entity-type":"item","numeric-id":4530805,"id":"Q4530805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254379ba10aa440ca7d3f17cc1982b78ce3ed8d9","datavalue":{"value":{"amount":"+0.7456456422805786","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":"Q264193$FEE4B824-01D8-49F0-99B0-44E23DE8EAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22f2f528629b828577d9f109bdefe9f9e3855f8","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dcfc021b171d97422437215486bfda140e1905","datavalue":{"value":{"amount":"+0.7425804734230042","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":"Q264193$12009609-26D6-41BB-951E-EF71A588B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbca7a24b90f065f1d373a5ca32fd668e0203f3","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5eb2c116770517ff8eb8136e1256461fdd32c9","datavalue":{"value":{"amount":"+0.7388622760772705","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":"Q264193$CB41FE40-ED3E-4DB2-AEC8-ABBE0CDE5C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36d4ffaea81afbba1040e30b03bf77b623831dc","datavalue":{"value":{"entity-type":"item","numeric-id":2520674,"id":"Q2520674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f5323527cb8c260b73776860e3491da8840504","datavalue":{"value":{"amount":"+0.7312614917755127","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":"Q264193$CEC6BC93-CB52-4C90-A87E-7549229649A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d722d51ad31a1340efb210c24060f4117bc3573","datavalue":{"value":{"entity-type":"item","numeric-id":1355780,"id":"Q1355780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664921617f3423b2a4558f2f90d1fbf3a6bcc6d4","datavalue":{"value":{"amount":"+0.7266920804977417","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":"Q264193$ED85EB8B-3493-45B2-AC75-DA2285C9360C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_safety_properties_of_a_nonlinear_control_by_interactive_theorem_proving_with_the_prototype_verification_system"}}}}}