{"entities":{"Q6394289":{"pageid":13527643,"ns":120,"title":"Item:Q6394289","lastrevid":99278120,"modified":"2026-06-05T19:36:37Z","type":"item","id":"Q6394289","labels":{"en":{"language":"en","value":"Efficient Neural Network Analysis with Sum-of-Infeasibilities"}},"descriptions":{"en":{"language":"en","value":"preprint article from arXiv"}},"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":"Q6394289$F89FEEC2-43B1-40C6-884C-4862851E6686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b184cdd418d1e7f3ed03befca3439f27521e768b","datavalue":{"value":{"time":"+2022-03-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":"Q6394289$1913657B-8148-4C54-8830-F5D45AA9BFD4","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"c74907b6fef6b0620cec175a7a79af1201650e29","datavalue":{"value":"2203.11201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6394289$97EC70D6-3384-4636-A040-7C23F753B900","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a9a9eaa7fd7e010f3960691b4ec6b49e1992fea","datavalue":{"value":"cs.LG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$DC2E4403-9157-4938-AC18-4549D733ECF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"614924768b75c995c88a0e54bf3be36427e60707","datavalue":{"value":"cs.AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$4798295B-6839-453F-97AE-5EF513C36031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$0E477BFF-40A7-4108-BD48-F705A2946DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a067f3cc35200b51bab0398d603e2eb9779a610","datavalue":{"value":"math.OC","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$9AB006C9-7816-46FC-A9A2-E03410814CE1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c27ed115fdfad28d030f6d458a20c18d29b862ee","datavalue":{"value":"Haoze Wu","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$63492E21-2217-4EA9-8968-63B4350C120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"0db9a4cffa5fd8e498ed2d1a8d250a24fad99fe0","datavalue":{"value":"Aleksandar Zelji\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$F1BF305A-2E59-485E-82DC-549CEE4F5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"082e70d6d91828c91f5b574f55b5dc430fbe5a4a","datavalue":{"value":"Guy Katz","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$5C3292C6-AAD7-4A29-AD60-5EC3A84C84BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"1f9b9641d534d9eb6c7502402116e5d67a65c65e","datavalue":{"value":"Clark Barrett","type":"string"},"datatype":"string"},"type":"statement","id":"Q6394289$6169ABBA-34BC-4855-856F-86EAE5E60F1B","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":"Q6394289$D35A7FC1-6D29-4E3A-9DF0-1703C2D35CB7","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"8887c88d84203e27a6429da0a2aab41436ba6112","datavalue":{"value":"https://github.com/anwu1219/Marabou","type":"string"},"datatype":"url"},"type":"statement","id":"Q6394289$683ACD6A-A0C9-4AA0-B3BE-74C7E3586C26","rank":"normal","references":[{"hash":"420358eda0244c38c838b4a2447d0c989d750f68","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"e425adc200df9a8f82aeb46925c0d660dc15bd1f","datavalue":{"value":"https://paperswithcode.com/paper/efficient-neural-network-analysis-with-sum-of","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Neural_Network_Analysis_with_Sum-of-Infeasibilities"}}}}}