甲诉乙合同纠纷一案，法院判决甲胜诉。在执行过程中，甲和乙自愿达成和解协议：将判决中确定的乙向甲偿还100万元人民币减少为80万，协议生效之日起1个月内还清。乙按照和解协议的约定履行了相关义务。后甲以发现新证据为由向法院申请再审，法院对再审申请进行审查时，发现和解协议已履行完毕。法院的正确做法是：

邓某有一副名画, 张某欲出价 100 万购买, 邓某与张某素有恩怨, 拒绝出售。张某找到吴某,让吴某向邓某购买。吴某和邓某签订买卖合同, 约定吴某出价 100 万, 邓某将画卖给吴某。后邓某得知真相, 拒绝履行合同。 吴某向法院起诉邓 某, 法院判决邓某向吴某交付这幅画。邓某拒不履行, 吴某申请法院强制执行,邓某遂将这幅画撕毁,表示愿意退还吴某100万, 吴某表示根据合同约定, 邓某应当退还 100 万并赔偿违约金 50 万, 双方无法达成协议。本案应当如何处理?

甲市 A 区的张某与乙市 B 区的王某签订了 房屋租赁合同, 约定将丙市 C 区的房屋租赁给张 某, 同时约定因为本合同发生纠纷由甲市的某仲 裁委员会仲裁, 现在张某拒不支付租金, 王某向 仲裁委申请仲裁, 仲裁委裁决张某向王某支付租 金 10 万元。 后张某向甲市中院申请撤销仲裁裁 决, 法院认为理由成立, 裁定撤销仲裁裁决。 此时王某可以何种方式救济?

上海的谭某和浙江的温某在上海结婚，婚后谭某定居美国旧金山，温某定居中国上海。温某向上海某法院起诉离婚，谭某以美国旧金山法院已在3个月前受理其离婚诉讼，且自己已定居美国，主张中国法院无管辖权。根据我国《民事诉讼法》及其司法解释的相关规定，下列哪一选项是正确的？

在甲乙两公司的涉外诉讼中，我国法院根据冲突规范认为应适用A国法律，但对于具体规则不了解。甲公司申请法学专家某教授向法院提供A国法律相关内容，乙公司对某教授的中立性保持质疑。根据我国相关法律，下列说法中正确的有哪些？