{"entities":{"Q5239249":{"pageid":7268817,"ns":120,"title":"Item:Q5239249","lastrevid":38761836,"modified":"2024-12-16T09:13:34Z","type":"item","id":"Q5239249","labels":{"en":{"language":"en","value":"Sherlock - A tool for verification of neural network feedback systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120164"}},"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":"Q5239249$68D67342-8CA9-4BBE-84A0-9CCEDD662AA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99a52800dc7bd70f0a39dcaf59af96f0cbfa9471","datavalue":{"value":{"text":"Sherlock - A tool for verification of neural network feedback systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239249$694D9B17-07A9-4C75-A07F-50C3D81923D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ced9d1af3b6b26ab468bfda8525b545313d15c4c","datavalue":{"value":"10.1145/3302504.3313351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$86706581-9A32-4DF0-A639-D1DB0886BE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed576ca02759c4a4ea3100d044bf6f7edf2da1","datavalue":{"value":{"entity-type":"item","numeric-id":1796496,"id":"Q1796496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$AC11661A-60D4-4674-BCBC-C0DEDE6D18D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$BA440914-474F-4145-8B26-A7D9844D7A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a296810d98592f06eddf0cf2517e61afc7ea79d8","datavalue":{"value":{"entity-type":"item","numeric-id":682354,"id":"Q682354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$46090A49-B064-46B0-B4D1-149E410AE75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$6289EB20-DEB6-43A8-9FAB-279E215480EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$0E781577-E913-40E2-A129-7AE9330973DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$C41BE911-35B3-4E6C-B9CA-52750FA7EA04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239249$C89A7425-22C9-4733-934D-7EF9800E7E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$F9252BE2-0AD5-4E7B-B81D-B5FD1F01FFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$15B5D100-DC53-4D9A-A181-44C01C3D43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$E352C06C-CEF0-4698-A8DB-DC6E3829C364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13157335616b48bcbe3e6eaee21bbeb118ca7cd","datavalue":{"value":"7120164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$63B3EA34-7905-4894-BE41-68506C12856C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daeacf82ed7fca673b876db370b95fb42d4ad388","datavalue":{"value":"flowpipe construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239249$C951C0F4-67AF-4DF7-B240-4E019AD4434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239249$71529916-4276-456F-80C8-2B68278262B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694eecdc2f71e4a898283c6db5c2b7894fc662da","datavalue":{"value":"neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239249$D5A5F46D-F24C-4EFB-987E-A5A30B4A4AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d40d231a779a24c40c445b53e357ab37256e79","datavalue":{"value":"polynomial regression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239249$FFF68FA2-ADC4-400D-9900-709DD3417EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239249$342030C6-916F-4E83-A534-056181D62CDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$BAAD979E-3C75-479F-B30E-C9A758D87440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239249$1FA0357E-3BC5-4236-9592-0EBF9B34150C","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":"Q5239249$07D09313-C25A-46C1-BCE1-242225C6D3F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e261ca2bd21dba06347410065e4f310c2eecd28","datavalue":{"value":"https://doi.org/10.1145/3302504.3313351","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239249$D090B043-8D31-4153-A9F6-FD14D9703657","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20011be042b5444cff0b9efdde6c8f8f2b5ea13c","datavalue":{"value":"W2937290319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$D4EAB6C6-4482-486D-8C23-BF83C80996C8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98917c38a687d056bc37e2cb3b6c201626e2405e","datavalue":{"value":"Q130993055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239249$C8A6CC81-5ECF-48BC-8419-2B1CA64A1EBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239249"}}}}}