{"entities":{"Q6536294":{"pageid":14147437,"ns":120,"title":"Item:Q6536294","lastrevid":55636804,"modified":"2026-02-17T20:08:07Z","type":"item","id":"Q6536294","labels":{"en":{"language":"en","value":"Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834946"}},"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":"Q6536294$EFAE7D33-38AF-4F18-9EE4-8BB85ACE374E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc2dc9797b412735899426598ce5cae9cd7f52e3","datavalue":{"value":{"text":"Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536294$1D840717-47AF-4900-86D3-12483C38FD58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5cd0363967ce8b2e13863843546f1188c2e7e81","datavalue":{"value":"1539.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536294$81E21B2B-F33A-451D-80AE-1B3095150205","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fbd05f7f32e79f085986a8fa427a2c29083b01e","datavalue":{"value":"10.1007/978-3-030-32304-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536294$B7C19777-DA7A-4735-B3A2-335A25B68697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52df6df597e3ba1434f056048289b581c78f5404","datavalue":{"value":{"entity-type":"item","numeric-id":281877,"id":"Q281877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$0E8A4726-A513-4FC1-87C0-DE5B97488EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d22217eb3fd8dab80f2bcba244ab17e155bd1e1","datavalue":{"value":{"entity-type":"item","numeric-id":681350,"id":"Q681350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$03D80825-CB74-4A6F-9031-175DE6EE8329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d3f99e48b59b557bc3dd9cf62b57fa91f92dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1720447,"id":"Q1720447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$E7F5B0DB-3173-47F1-82B3-D440146B0C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15042877c5e33a19551e4b2dfc140da24b7c9013","datavalue":{"value":{"entity-type":"item","numeric-id":281289,"id":"Q281289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$04F23354-EB43-40DA-961F-EEF8C8CF12FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b50e608118d78a2cfddd1017bae7a6b8119bb1b","datavalue":{"value":{"entity-type":"item","numeric-id":6536293,"id":"Q6536293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$B8C5B203-34CC-4C4F-AF42-DE2059E1D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$B3BBBF34-7D68-4E28-A25C-FDD1D5BDA434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536294$F3880EEA-2B31-4A31-91AB-1025EE4D9720","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536294$97B60331-D7B5-40DA-A639-CFC5C1DBDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536294$290BEB6B-3F2E-4B65-B9F2-5EC4AF2694BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ba7d0bf94950b81d3990262532be5bf3af66458","datavalue":{"value":"7834946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536294$BFE081FD-3BCA-4128-B6DC-925DC4E6D862","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":"Q6536294$0F975BD2-2578-4C66-8399-6B488697D343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0530cff2ea3a00fdf0e71f199a08187bea8b91","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$4ADAA301-AC9C-4EB6-AB18-182F37DAE942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0560d1c327ad31efacda0335b3172566e741ab91","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$7E65F7D6-756D-4C0D-BE60-A352662E3847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$DB9F1EC6-8393-4C0F-9A8D-058E03663101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91a08968cbf34d793a372ad4134ba1188e31e68","datavalue":{"value":{"entity-type":"item","numeric-id":1434074,"id":"Q1434074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536294$9CD79759-1DE2-4A44-9184-84946D6FF177","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502c74c0a5a2bc4c7c610d5649e4e5c86673ea39","datavalue":{"value":{"entity-type":"item","numeric-id":2050096,"id":"Q2050096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c08eaa4dd78e6f4d69581094499f6addc4b189","datavalue":{"value":{"amount":"+0.8671626448631287","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":"Q6536294$76DAE455-A724-4C20-8839-CBCCC904DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c35f16574fc06d6eccd38fbf10b4591d2b7727","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06c61a92011b337dcce52c9645c4e0634a49838","datavalue":{"value":{"amount":"+0.7833117842674255","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":"Q6536294$513EC9C1-D35D-4717-9F81-44361834A246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af31fb59eda929cea216c67c45e6e252ec9e724","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39ce6f2b1b7acda30bd4fbc440398a849c0f07a","datavalue":{"value":{"amount":"+0.7766759395599365","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":"Q6536294$244F5366-B928-4B40-9B87-D722698E16B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca5d37a7870049cecfe718c1400ac47316e9738","datavalue":{"value":{"entity-type":"item","numeric-id":2233525,"id":"Q2233525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e228c72bc7ae7f973b734b36b68e2349c35982ec","datavalue":{"value":{"amount":"+0.7764997482299805","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":"Q6536294$E131E4B5-5532-4700-A3EC-85EA957B08B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e79bbe16207307dd07563d9231ad0755c63084","datavalue":{"value":{"entity-type":"item","numeric-id":6535978,"id":"Q6535978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d9ed54a51ad83ae7cf48fba4e49c42f11afc9d","datavalue":{"value":{"amount":"+0.770020604133606","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":"Q6536294$EE78B4C5-56D5-4341-9283-F44AE73FA068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536294"}}}}}