{"entities":{"Q832268":{"pageid":834116,"ns":120,"title":"Item:Q832268","lastrevid":64675059,"modified":"2026-04-11T21:28:30Z","type":"item","id":"Q832268","labels":{"en":{"language":"en","value":"Interpolation and model checking for nonlinear arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498184"}},"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":"Q832268$3F504414-9900-4F74-9FD6-85A3B3D84327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60bcba1294e6fcc3a1bcdb5f76172d8c596b90ae","datavalue":{"value":{"text":"Interpolation and model checking for nonlinear arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832268$B9065C98-33E1-42CE-A705-AA72495EEAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da3d1aaf6d783c88b80b5e375e6560c227fed826","datavalue":{"value":"1493.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$808AC603-A1C4-4FA3-B158-C73E0C9056D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af7d0499db6ece2ce6c189c57e1d7e06d5e6252a","datavalue":{"value":"10.1007/978-3-030-81688-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$540CE533-8E02-4BDE-A29A-4CD82933ABA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$9A27D829-77D1-4BA7-A0D3-0FF9182AEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$0B0735DE-BE0D-4F4D-B9C5-8C9F1624D866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832268$D7F3D9A7-006F-48EF-8B09-9CD1FEBD537E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58e3079d9e8f73c76f02c28177f9a93553ec47ba","datavalue":{"value":"https://arxiv.org/abs/2106.04340","type":"string"},"datatype":"url"},"type":"statement","id":"Q832268$FD8E77DF-E332-4A3C-8253-9E5435C0930B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$0A406A5C-55E6-4579-9820-3F098677AE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$39EF43D8-9CA4-47B0-943B-B22D85D592F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8544a21bfacb0a69cb7187d581ff7dec95acafd","datavalue":{"value":"7498184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$3CCB4AE1-2652-4E96-8C82-D20A8A1B0973","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q832268$1530A5CA-21A4-4FA1-9936-2881AE8EAD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q832268$2DE11747-10F7-47F7-919F-54E80FF23FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q832268$B8731A17-D66B-485B-830D-D12F67F7BFE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$FD9CCADC-C880-45FC-A1F3-D5DC67E77C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$B05344BF-D1B3-4E17-8708-71A040D23DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$CAD7B76A-23BE-4E76-82BC-09BAD15CA90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$2AC402F9-9D9E-430D-901A-A9D961551D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$8E00537C-995D-4AC0-A70B-6F54298F867F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$B81D58CA-807E-4A73-98E8-204C4E9664EB","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":"Q832268$690A44FF-9DDF-4B8E-AAA1-28281BBFF0F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"517d5894c1392868d238eee3cc0db655dc4057c4","datavalue":{"value":"W3184821935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832268$F8CC4111-ECF1-42FD-A97A-9A97926FBDFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$265676F3-F6CE-4FEE-80A0-55FCD36387A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$406F9A76-8EC7-454E-BF2D-14C132D4597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e39f55763a7bd4074bcf4677c61231c9740466c","datavalue":{"value":{"entity-type":"item","numeric-id":2343239,"id":"Q2343239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$6F1356B8-30B0-4A81-8AE2-0162D7AE922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d6ad92cf5e3ae855a591ca8a5ab97abda3202","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$4A93E979-6257-47C3-BC42-8A55A983BB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febb591a2d41639a55e536a35995b644a3efc992","datavalue":{"value":{"entity-type":"item","numeric-id":5739497,"id":"Q5739497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$C710AAFA-59D8-4820-B62F-FBA308320738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72e4eeaeafe2ce2ba00901af2c02ed2222fec53","datavalue":{"value":{"entity-type":"item","numeric-id":3303890,"id":"Q3303890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$C8F460CB-83F1-4D7E-8C71-71E8356F23BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0010e327ddd368956022cbe52c271ac71c9d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$960278DA-70EC-4934-AE0D-24BA67AC2F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$D654B142-44EC-4DF8-93D9-2444B2B0B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$CD83341F-5A55-4971-A235-2DFFE98E7CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc49d75a01dd257362f299fa6539ca5f2adc523","datavalue":{"value":{"entity-type":"item","numeric-id":2864839,"id":"Q2864839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$CF292169-F0E6-4F86-ABE6-491020DBC015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$EB55C577-BFC9-4BF6-95E4-0A7CA2C399FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$5B000A3D-2CA2-4066-9480-2C2271DEED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$F358C2C6-0570-4E7F-946B-6ED9712F964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d56bd0ef1ee7d97c94633b211642a8139ec2ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2817919,"id":"Q2817919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$67348A70-993C-4B1F-B07B-73D93509BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58fd7a28acb870d40c0d850c1bcdedc51fcb19c","datavalue":{"value":{"entity-type":"item","numeric-id":2225119,"id":"Q2225119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$CB4E1F0B-B1D8-409A-9274-F294A472BF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adbf3882e4ad5c53db89712fde395f74e08d3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2272929,"id":"Q2272929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$7A697383-5C97-40EB-98BC-142C0E1ACA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c8e536002e52854816969c63a7c52b77e3c786","datavalue":{"value":{"entity-type":"item","numeric-id":5262757,"id":"Q5262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$FA0CD2FC-8717-43F9-B4F8-476BD76B50E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef8a8532db5854f5d22fa31dcae929508b22146","datavalue":{"value":{"entity-type":"item","numeric-id":2096440,"id":"Q2096440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$65E06329-EF28-45CE-B55A-FBE108E53E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$2E077CFF-94C7-4B6A-AFDD-A4810A238A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$0724A609-C247-4E9A-882A-A49030FD6F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52d3362031677d52b60ded8b4e79fc669ce0c58","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$8503688D-97DB-4320-AE32-B760291E76ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22d96f5a065b66ef5cb79cd3620ea1aed3b80d4","datavalue":{"value":{"entity-type":"item","numeric-id":6085706,"id":"Q6085706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$2D8BCA3A-60F8-4BD4-BB5E-A2141E5F2BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa4c2387ad30aeefcdaa752dcaca22072d33adf","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$8B31706E-9DC7-4225-B68B-31B5CA3D17CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$7AF8EA54-0D05-4364-AF60-D6EE47CCAC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$38362C62-760F-47E0-BF09-C6D1CE1C7C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$7EFE35C1-2E8C-4F54-A0C6-8EE577FC227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbbaadd9aaf645e157fc7dbc1fa1fe0840f52a4","datavalue":{"value":{"entity-type":"item","numeric-id":3172854,"id":"Q3172854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$80C439F7-2A7A-46DF-9E58-92022C6E9BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$EB4F79D9-757B-496D-958E-69E43DF66897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$3BBD3377-5DCC-4925-884A-74BE0D9E2D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$EBF77F9B-D8EF-4804-8966-F08B26FDF2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$E10DB45B-572A-4DFB-821D-9DA3ED7C828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc8e219c2aff1198435cd2334b59193c9a24b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3296348,"id":"Q3296348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$37EF0EE9-EFD8-4EA7-84CD-75E5C7D94090","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49990f37c04b48abcd6917e02a08ac498ef18891","datavalue":{"value":{"entity-type":"item","numeric-id":3296348,"id":"Q3296348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833021f26a1d755c8987d4a0372de31a99172c9e","datavalue":{"value":{"amount":"+0.828816294670105","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":"Q832268$723CDBE1-5CD1-4C9C-B510-37351FD6F78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dd440df75f6c635ba254138a56ee3d488dded","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c31375cc079bcb4e9773ffb18526b6c219fa55e","datavalue":{"value":{"amount":"+0.807852029800415","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":"Q832268$8B6D487B-AFD7-4CDF-A758-8B09A6160353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029ed7c858d1a3a53bb07b15c77e478faddd0fea","datavalue":{"value":{"amount":"+0.8051636219024658","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":"Q832268$E79A674E-14EB-41CD-84CB-06E5D9D8B630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a86ae13d9a3ed6b31c53e49184d3c8630293367","datavalue":{"value":{"amount":"+0.8050875663757324","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":"Q832268$4DB18985-2D33-4895-8327-F4AF590736C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07f27f56e66863ca61d23c00a6dc0720dc24fa2","datavalue":{"value":{"amount":"+0.8029532432556152","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":"Q832268$6C47E1E4-3913-4CB3-9322-F637BAFF249E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832268$CE19B560-D5FF-4C03-9424-EF97B15CD0E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation and model checking for nonlinear arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_and_model_checking_for_nonlinear_arithmetic"}}}}}