{"entities":{"Q518407":{"pageid":520174,"ns":120,"title":"Item:Q518407","lastrevid":62444493,"modified":"2026-04-11T06:08:07Z","type":"item","id":"Q518407","labels":{"en":{"language":"en","value":"A search-based procedure for nonlinear real arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697749"}},"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":"Q518407$4E5D83FF-ABFF-4143-910C-38FBDB0AFEFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"266cc8736b58dee12d40d63c7afa08420692f6c3","datavalue":{"value":{"text":"A search-based procedure for nonlinear real arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518407$384E086E-0B38-4DB2-8606-0BD7489FD8E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39f8b42e5a724b4c80e4cf3cfbb93bd2d0a54046","datavalue":{"value":"1358.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$15BB503D-603D-439D-8929-148BD222EEFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$6FA7C8A0-0BCF-4305-A9F0-349CD2EDEECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b1176cdd607c21645d7c2ae40c91c6f83a8c91f","datavalue":{"value":{"time":"+2017-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518407$EBFDE618-A7D8-47A1-8FE4-C80E54594A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$F47318C2-624A-4ED6-9E5F-4F27CD1AA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$07EE06E6-13E6-4CEC-BFB4-887FB7DA1785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$56302F8B-25E2-4491-A161-4037E678CA80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac649f41758fbc2cf44c1410e3e23434e9e1df7a","datavalue":{"value":"6697749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$818CBFA3-9E9D-4C4B-AB82-BC853F2D40FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q518407$727E09A8-DB91-407C-8A55-D80678B6C0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a38c33ee3ee599fdf80bc37096080e60cc27d13c","datavalue":{"value":"theory of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q518407$0DA2560A-EBAE-479C-A7B4-EAE72ACFF93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q518407$5CFD6B6C-4515-4310-9AE8-354BB3A36BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q518407$66F6594F-14CE-4361-9A59-0CBB5DB96956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q518407$C46F0B80-6A73-4AD7-8B75-59576B9329E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$B2595B3B-F91B-4589-B4BC-E14FDFB0DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$6B2DDAB9-85ED-4F3D-AE4B-296097F5FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$898C1900-6EDA-443D-91C7-00AFD70F73D5","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":"Q518407$D1105BAA-BC8D-4556-B184-5B2E9A106E7E","rank":"normal"},{"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":"Q518407$A14168F6-A5A5-4FBC-B5F4-267D7D4EE92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73335e7d44261673f9056a36c70eb05e63b3632e","datavalue":{"value":{"entity-type":"item","numeric-id":31313,"id":"Q31313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$0E17271B-84EE-4283-A168-9166FCC4FFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77669b6c72ca8af712e008e3713ad8a7b5d6fcbe","datavalue":{"value":{"entity-type":"item","numeric-id":31314,"id":"Q31314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$B592D77C-7D3D-4487-B433-131D7FD9D9DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$FEC427BF-9D29-478B-9995-2C8200F5F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$EAF6F485-E309-48A5-B021-3679A259912E","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":"Q518407$A3E30943-7B98-40B1-8F23-F0001A6A76E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50cb326cbcca6331836e191e54de08f89c125e62","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0245-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q518407$1D035044-57A2-423D-BAE0-7DAB240442CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54933f1d00f96f39e78a8ba7b618b4a1326641a2","datavalue":{"value":"W2340960908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$8784DD0B-E884-40E7-B0C6-B57040ADCF70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$2E84A6C2-C50E-4CBB-BAD9-97D136EDDE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b931e481939ec10ac7fbf8d89eb10c9cd4821b","datavalue":{"value":{"entity-type":"item","numeric-id":5096314,"id":"Q5096314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$DB098172-A335-48A6-99FE-A1F6B77AD1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661438afabfc55e25d2d4bf6b19e2486427094","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$7725F046-1C22-44B2-9B27-C173A60C44BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$17B720FC-581F-4181-AA3C-8DBB10B2A75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$66D2C35E-5951-4131-A5B5-5E787A574BF8","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":"Q518407$33BC7580-2EBE-47F8-AC37-D05B201C616D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$C7B58370-7219-4920-BA3B-2C46BC95F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$54C6012B-0AC6-4659-A8E7-F151780AD6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$3BF28B98-C5E3-46B1-BED7-F71CF0B62010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17baff40ed5b04381c45d51ddabeebcb83d654fd","datavalue":{"value":{"entity-type":"item","numeric-id":2461610,"id":"Q2461610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$4AE969AA-1C5E-43C1-AA31-D44CC887F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$FF8535DE-A519-4351-934E-AA71DE117849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$C3BA1D7A-0BA6-4959-B739-5E669F8C0922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$AC79B220-2064-4A6D-B0F8-A3C049EC1163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$071DF739-B510-48B7-BBBB-861EAAF442A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$A915E53F-626E-418F-9104-A3E57BB747E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$1B5A2125-84F9-4CFB-AB5C-EB14661DB6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700b781d9d56cbe43d80209f96e02b89b211513","datavalue":{"value":{"entity-type":"item","numeric-id":2883815,"id":"Q2883815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$0FB89577-C3C7-4F5E-9563-7A7B87BD4F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb343b726bd6c89aa33ed95c0ab414cad92dca0","datavalue":{"value":{"entity-type":"item","numeric-id":2819637,"id":"Q2819637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$EA48CF93-43D5-4579-A80C-06C78B5CA9CC","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":"Q518407$6157B4AC-4602-4425-8400-7D3B71751D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90146042a569bdc70349feb5bd89d0e722c7c4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2938082,"id":"Q2938082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$76591BC7-8745-40AB-9573-ACDE15034ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d264afad535ca761de02f7bef78c4c7deadd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4928438,"id":"Q4928438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$62BD5416-3F3F-449E-9D2F-D4F8837FCB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b246b64afaee2c41e55f38e2bd04fdfffe6b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$B3C33043-5485-4C37-A743-4B5056F60C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$1F944485-E9A7-4B0F-8789-D76D17DA3CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db00714683c8cc2db4536d951ca1806c4763df22","datavalue":{"value":{"entity-type":"item","numeric-id":2986749,"id":"Q2986749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$5D4A64B4-3432-40A8-81DA-06502A3418DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$FB9E01AB-FE45-4E75-8A86-DA40B455DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$22D8E414-8E2F-4386-BD9A-FC33DF4E6BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$3AF65C6F-0CD0-491E-8269-5FEEBD3106FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e91b777c2cab7fa4ae0ce2dd6016ae3ee552f10","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$F8277C48-605D-4E29-A497-A0EA4D9FF475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ca772cb1c416fe58dc62c71b93244eb18a9613","datavalue":{"value":{"entity-type":"item","numeric-id":3600482,"id":"Q3600482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$53EBC460-C00A-4230-B86F-603D537B6835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$F390BE9D-2EA9-41BA-9AF1-BAD777476DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e86e3f368ee6d35fd08f2ebbc23ffa549f4542","datavalue":{"value":{"entity-type":"item","numeric-id":5394581,"id":"Q5394581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$142CDDE5-0CDA-4166-B7E3-25B158C3A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518407$2DCDA507-3C7B-4082-BCB2-BC006191010E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ffe22a34d8e6d74fce4ba33b7b5e3d834a94a96","datavalue":{"value":"10.1007/S10703-016-0245-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518407$5976B5FD-958A-443B-AE5D-3098C7FD5966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fdc412309a9d596b068f9c20cee5bbb1ddc9ff","datavalue":{"value":{"amount":"+0.7964745759963989","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":"Q518407$0C2875B7-1EA3-4FBD-9BD4-56D3BAF38ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0fa0e9d7cfc1e1dccad29cb947f41f9489de3a","datavalue":{"value":{"entity-type":"item","numeric-id":5394581,"id":"Q5394581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb53e74787723231307dccb073559b7cd47aed5","datavalue":{"value":{"amount":"+0.7823192477226257","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":"Q518407$389DF87B-5CB0-4DFD-933E-2F9DCC532F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe6d7bb0674a6cdba5cf502ac70a32860d40de5","datavalue":{"value":{"entity-type":"item","numeric-id":832268,"id":"Q832268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6f9f5243f98549cdf6d7c4e3d549307736f3cf","datavalue":{"value":{"amount":"+0.7738487124443054","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":"Q518407$5D532710-3FA7-47FF-86A7-42F5DE66C4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0679dd9b0232c16c71a91909f6fd92440626fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce386c8c2cbf441a4e635e862d3a32e1afccce1f","datavalue":{"value":{"amount":"+0.7732731103897095","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":"Q518407$166D7C40-2A5C-4875-9E81-D48A323C68CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab64530cf0f0f36e1cd839bf735052695b6632f","datavalue":{"value":{"entity-type":"item","numeric-id":4928438,"id":"Q4928438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf293d773e5d11066d2fcb25edab97553f71b094","datavalue":{"value":{"amount":"+0.7629842758178711","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":"Q518407$40F5E983-4C0D-4B99-99B8-D243180E444B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A search-based procedure for nonlinear real arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_search-based_procedure_for_nonlinear_real_arithmetic"}}}}}