{"entities":{"Q6993485":{"pageid":21463902,"ns":120,"title":"Item:Q6993485","lastrevid":83965823,"modified":"2026-05-07T15:13:08Z","type":"item","id":"Q6993485","labels":{"en":{"language":"en","value":"Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030854"}},"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":"Q6993485$6C40F392-91CA-48A8-AF8F-2B9E00CD78DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30930722d2c5e513d4f5bcfbca8564ac19acd781","datavalue":{"value":{"text":"Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993485$75DC7FAF-F7AC-46FC-B6B7-66B3C28A3922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f061ef5f47b3c99d0f14fb9b295fe3fe0e6f0d44","datavalue":{"value":"10.1145/3641513.3651398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993485$2033CC46-F8B6-4BAE-9E27-1BD31C7EAEE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88e655cbade399e298a227eb6277a7bad778ebb","datavalue":{"value":{"entity-type":"item","numeric-id":6120667,"id":"Q6120667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$A566B2A1-F764-4831-95A9-3449D9D61B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e990209190c010ba94e70fa6230c929296caecb","datavalue":{"value":{"entity-type":"item","numeric-id":832045,"id":"Q832045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$8CF31C31-6310-490F-9B82-13BBE9B97925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$C01AA3CD-4C30-4F96-A8D6-D1C620E6FEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993485$F774FD38-50A4-4976-A6F5-16FDFE06FD61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4221690da427d63d1e688e32a1fd58144796c72f","datavalue":{"value":"http://resolver.tudelft.nl/uuid:92a65336-6964-4345-a86c-edb1c1e84175","type":"string"},"datatype":"url"},"type":"statement","id":"Q6993485$075C33A6-24BE-4622-A0F6-8BAB987ED80C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993485$CD7FA600-ED3C-4EC7-B9B1-4802528EE091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993485$52508036-DB30-47E0-A917-8696FA763BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993485$6505DE8F-B184-4683-A758-94FEB092D0F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc37feedc3b78772096e137b55f550e58c2a3b27","datavalue":{"value":"8030854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993485$BC13BB90-F88C-4592-935B-3F4DA836D27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a613ce2db29d671b98d38923817faac993619cb6","datavalue":{"value":"CEGIS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993485$56EE1CFD-17A9-4DD4-9648-16B69B6C55BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa10610dbe2e2da9fa2c86be76827e0c3a4e656","datavalue":{"value":"computer-aided control design","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993485$5470B0D8-2E4B-4EAD-8C55-17E2C9828C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f000661491c5eafb3ed9f51df3c97adf36da2fb8","datavalue":{"value":"Lyapunov-like functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993485$D0E8F84A-C52A-4C7B-97AE-3FECA486C997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993485$FEC5ACBE-8C26-4DB5-B8E7-FB3466447BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a784ae84a5cde77c950d3db7a7a8b31e5aab5be","datavalue":{"value":"SAT-modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993485$41A5ED0B-ABD7-4714-B4C2-9F81120B9D6C","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":"Q6993485$5A68D3DD-0966-46FF-99C5-38F13B94418D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa7cf1301348853b1d7dfbe9a4c7978c20eee6","datavalue":{"value":{"entity-type":"item","numeric-id":6120668,"id":"Q6120668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$DA0F018A-FA32-45FD-8D6A-DDD0F4A9539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad3b5d4827a7ef5d1b84d56a25d44c614aaad1a3","datavalue":{"value":{"entity-type":"item","numeric-id":5165484,"id":"Q5165484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$0F89AAA7-860D-4584-9F45-869B0EECB148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$757EEAC0-5FD4-4AF4-85C1-A65E19718FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fda3556f058c4746b3acb340da9850349def075","datavalue":{"value":{"entity-type":"item","numeric-id":6535337,"id":"Q6535337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$08DE3437-24FD-4A2E-B022-F8B8D3CFB449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5679e3c89a703b7438847a99097c17d4ea1c0a06","datavalue":{"value":{"entity-type":"item","numeric-id":6154877,"id":"Q6154877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$363B71D9-4BA9-4049-B59D-BE5E775ACB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11506d17fc98e715e2f29772c391f6ee42a2e904","datavalue":{"value":{"entity-type":"item","numeric-id":2044214,"id":"Q2044214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$7F268828-BB43-46FD-B5C7-DDD79E1EBD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2293bbf6eaf9fe16afd2937fb8e2cf2629f0d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2641737,"id":"Q2641737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$4F80BD20-05F2-408A-A4E4-1DB78A617A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$85E86F47-A6A9-4E40-9B40-0C9E35EA830D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b59d4563935573e243f9725bd2c6fb06e56e1e6","datavalue":{"value":{"entity-type":"item","numeric-id":1683459,"id":"Q1683459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$7820C40A-122E-4124-9BE3-36F7DE1E281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c1d9efa32c1dc8f1417b00aba7f7ee322b04e8","datavalue":{"value":{"entity-type":"item","numeric-id":1294955,"id":"Q1294955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$05454811-9C4F-40DB-BCAE-BCDA62E9177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a130ea685d320adcecddba88d16a64ba3b7d677","datavalue":{"value":{"entity-type":"item","numeric-id":5146391,"id":"Q5146391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993485$4C344EF9-174C-4C72-B8AF-0F0B57B6258B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fossil_2.0:_formal_certificate_synthesis_for_the_verification_and_control_of_dynamical_models"}}}}}