{"entities":{"Q5096089":{"pageid":7125665,"ns":120,"title":"Item:Q5096089","lastrevid":58433694,"modified":"2026-04-05T05:06:53Z","type":"item","id":"Q5096089","labels":{"en":{"language":"en","value":"Formal verification of piece-wise linear feed-forward neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571430"}},"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":"Q5096089$E67C109D-5F76-44AE-8C83-EDAFADCE47A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"597d0fbb5dd53f9e5a2e7645bdc9d00bacce4834","datavalue":{"value":{"text":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096089$911C3E9E-8D83-4998-B0F7-993F3B6DF03A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9988dce2467db9bd350ff63a93dd8fbb86b058d","datavalue":{"value":"1495.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$4E20F96C-FC63-47DC-AE3D-749D5924812B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef2603b0e453b62a2e6200803413a83440336c15","datavalue":{"value":"10.1007/978-3-319-68167-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$51508DA8-E853-47D8-87A2-B31D36E586AD","rank":"normal"}],"P16":[{"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":"Q5096089$CB828AD6-92CC-4718-86BD-E7016B70AA05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096089$DA691A4D-D206-48BE-A0BD-B4499F3A85A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096089$6F37BBB3-609F-4342-A367-3EA83C1AFFD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86df48b882e75d452d4e362c358cd4397e7453fc","datavalue":{"value":"https://arxiv.org/abs/1705.01320","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096089$E5F6AC03-BEE6-4747-B0FB-B30C8F1DFCE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$52F4EA67-8B45-436C-8335-6E2692B49C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$94F6A506-9761-4A27-9E36-343FE080CB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$287133F7-29F3-454B-BA67-CBD3B4E4A7E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d14d2e338b58971a9641e6e3c0148c7a88c4e95","datavalue":{"value":"7571430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$100998E2-DE40-441C-A4C4-54BB466D7EA2","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":"Q5096089$C27B75E9-EA47-42D8-9D18-312597FCC2B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"606ee9abed148986d5d4b904dbe7c80ccf4d4c4c","datavalue":{"value":"W2963054787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096089$FB5B809B-87A0-45A2-829B-14325B613727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d76b8e4de3a7441fcc68a29e8b3ae5d635e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148c2eb7ad877db85e8ad0399d74deb8f340f697","datavalue":{"value":{"amount":"+0.8117377161979675","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":"Q5096089$7ED779B1-9321-4056-B920-1B3F3FCDC5B9","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":"d67c3b2b811ceba0dc022c4ac54f2248bd479edf","datavalue":{"value":{"amount":"+0.8077998161315918","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":"Q5096089$A097282C-C72D-4D5B-A228-7058A4FBD7B5","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":"e7f43dace5f2c7489a810d547092a1e46c6700ed","datavalue":{"value":{"amount":"+0.8037005662918091","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":"Q5096089$376C098E-6CD6-460E-8BAD-EEA2A42895CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7594e0bd8e19d030028ffeb913e279a8573504","datavalue":{"value":{"entity-type":"item","numeric-id":2046329,"id":"Q2046329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4461929a2cdf569c9103fb3487890e28994177cf","datavalue":{"value":{"amount":"+0.7893878221511841","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":"Q5096089$DE7FC4A2-5ED8-4A14-AB36-49F4F9823992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a98bd47a3fb60d20cfd8d5e364b26525d4f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":1982635,"id":"Q1982635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d50f3e2b112a908632316ea765c42a0e3a5cb8c","datavalue":{"value":{"amount":"+0.7788800597190857","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":"Q5096089$2932BC44-DD2C-4C52-819E-6A0C4722AD69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096089"}}}}}