{"entities":{"Q1701667":{"pageid":1712408,"ns":120,"title":"Item:Q1701667","lastrevid":68170854,"modified":"2026-04-12T21:54:40Z","type":"item","id":"Q1701667","labels":{"en":{"language":"en","value":"A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6843901"}},"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":"Q1701667$C11B9F96-695B-4BD6-A150-AC72DE6356A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"093d840d8199806f313d9dd473d1ee260c1cca1a","datavalue":{"value":{"text":"A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701667$64782DA5-D8FE-44DA-8734-D85D6DB321E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb2e4befc0da8f7c3251da8c2902356b591953e","datavalue":{"value":"1425.68380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$54501E61-D16A-4566-99D2-59CE6348B56B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$8DEB66CF-06DA-4459-9C7A-3B555F9EADFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$893EB3FA-B2B5-409A-B551-CE9CCCDF54FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701667$185723F8-BA9F-4D83-B639-73235BA7A8FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$73DEFDF7-692D-4F95-92AC-DC9B05A88B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$CE97767D-5AC0-4AF1-B60A-BD00A3409449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$903C2371-506D-47AA-90A5-E196E9EDB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db482a841c11f0ca4464248aaa92efa1a30883e5","datavalue":{"value":"14P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$DC6A2DD1-962F-458E-A08C-F43440D9A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$F64EF0C0-97AB-45EF-B460-E937CA0DE720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb6ff57da5c76ad659aeb94b3df9cd98b4ae6e1","datavalue":{"value":"92C37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$AFAD0768-7E7A-492D-A431-EEA8DF1579CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0401b536e7fb40315b94c06d6e995ad118c1cfc","datavalue":{"value":"92E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$F8D5E855-D3A1-4E0A-BD19-874EFF9C043A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23c894a89f4f3dc3ce478deed62615f048c5dc14","datavalue":{"value":"6843901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$0825C817-90FF-45C8-B991-EECAFAE9FED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce4c8314d952708b49a31a5371b33168ce3d0e3","datavalue":{"value":"real quantifier elimination and decision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$A41521F5-2416-4F18-9275-F5428FEF8CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$2145CFD4-6F77-4C85-9FD2-043EA8599885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0fdfad23b05e35870737583d90241f6389dd5d","datavalue":{"value":"virtual substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$7838EC74-46C0-4EA0-B58D-062179D0523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b636c8c9c6325094e844a96a833d0aa1a52b20","datavalue":{"value":"subtropical methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$D549DF97-D493-442F-8F74-A223D96BD027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe28ac3ee8bdccc4fac489d023a004fd75012b02","datavalue":{"value":"real geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$0B7C9C11-B26C-40ED-9C6D-A19202D0DB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$E39B06C8-B0D9-4F87-827F-9AB2D6FCB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c94ce08f907b715f55fa107594119a9c392405","datavalue":{"value":"reaction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$5A1E81F4-2CE7-42CB-9F17-18E931618D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a02c7186c3e2e4a58ec75cb1fb3fc7d294e88c","datavalue":{"value":"stability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701667$C43C0235-A268-46F2-B78F-46D0AEB09D43","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":"Q1701667$BEFF7130-B3D3-4ADA-860F-D43B1547C73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$A419BE87-B0E8-4B90-8FA7-CF27EB801155","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":"Q1701667$8932F217-BF92-49DB-8557-04C69A22CBF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afa0b420a6358e9b0e25e610365248566995f722","datavalue":{"value":"https://doi.org/10.1007/s11786-017-0319-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701667$0CD73AF8-A8B5-4CB5-9272-25FD72E710F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"479c6f5b1d09853798b54bd379a9161af53cce51","datavalue":{"value":"W2608023254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$43814083-8E0C-4CD8-8BDD-E37CC540584B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b7421700d6bcb4c4586eda9c6a16323300551f0","datavalue":{"value":"Q59529055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$90851C3C-2C6D-4039-A739-AC2F9B65B57E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$91F1EB65-BABB-4380-B2D0-C73B8CA667F0","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":"Q1701667$C174A660-2C67-4F06-BA05-D6AD99B9B666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb8560826b70ce5dca62374d337ddd33ff4f1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5429354,"id":"Q5429354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$B0A0025A-EDC1-4921-B9B3-0B155F8C5A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fb4123cf2f2642d0a77c213b7456879e6e2494","datavalue":{"value":{"entity-type":"item","numeric-id":3599193,"id":"Q3599193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$D988A856-51EA-4B2A-831C-1677F8A19B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fe40e0035ec97624804c080912502121e092a4","datavalue":{"value":{"entity-type":"item","numeric-id":3511099,"id":"Q3511099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$F2C7DCF1-592F-46DC-A493-AC30B8363C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$36F9BEB2-DE8F-464F-899B-01E83EC029C4","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":"Q1701667$77A72274-0199-42CB-9AA6-118E99997AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$A75D5F23-56B1-4748-8B11-2DEB28C859CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$6FC1D5A3-4052-4283-A66C-D33BBC12B1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905b62217980b612e399463ec183ad75755a3e5d","datavalue":{"value":{"entity-type":"item","numeric-id":2728827,"id":"Q2728827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$640F5AC9-FBDB-46D4-B6E6-BDD4FBD555D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$78230B87-C1E6-42B7-8ECD-9E9C04AD7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1366e58f04b97235453a05cbb0c38ac0015edae8","datavalue":{"value":{"entity-type":"item","numeric-id":4391213,"id":"Q4391213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$1E92EDE5-9ECB-424D-BF4F-E564F9893AAC","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":"Q1701667$5044EA0F-BBE8-4D76-8269-D2388401FF6D","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":"Q1701667$9DB5255E-620A-4F79-B92D-4533B6C1447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf31643603adde842abc14bb0b9693cebd2393b9","datavalue":{"value":{"entity-type":"item","numeric-id":1368692,"id":"Q1368692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$858F0C2F-4B47-4D09-99D9-06194E07ACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$F5AB850A-33E5-4AC8-86E5-01D56A5425D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e63bab69bf3dbb3d827a603c12c64f6ff4700f","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$8D40D5F4-DA37-4F4C-B7A0-C50024E4B8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$4DA0EC9E-C98F-4428-92C4-72BFF2C7E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6965707e238bcf834e1061fba64b23ad08cca98f","datavalue":{"value":{"entity-type":"item","numeric-id":5168462,"id":"Q5168462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$45BC659F-208E-47BE-B9BA-A48CAFE2E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0b34442a36360cb4485742b948d4973e83fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":2914990,"id":"Q2914990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$2315C0C0-66ED-4C29-AA61-1A9C27B2A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d53b714062f21c50adb3431ae8554e36e08e71","datavalue":{"value":{"entity-type":"item","numeric-id":349840,"id":"Q349840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$E1B73D46-EF0E-4675-AE31-04DE126742CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530bf03fad882ff3a31a98689302671505046c12","datavalue":{"value":{"entity-type":"item","numeric-id":2456612,"id":"Q2456612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$83B4A4DB-5D42-4DBB-90C8-0BC70F63B0BB","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":"Q1701667$D86F220C-E832-456D-81D4-D7F9DA7E48B5","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":"Q1701667$15AED75E-75C5-4732-9721-152180A17BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69131b2b542d603471f704919274f44ce419fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3796289,"id":"Q3796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$0461766E-A1C1-4387-9A6C-8045CE7D45F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df948e4bb6ef04b815bf8ced8a2c78f6b42f20d1","datavalue":{"value":{"entity-type":"item","numeric-id":768207,"id":"Q768207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$8FD26C5C-C5C4-4E14-941E-43EDE2BBAFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d955400a5e495366dd54150954cbe6dae1f84d","datavalue":{"value":{"entity-type":"item","numeric-id":1582300,"id":"Q1582300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$3EBCBB56-6390-4204-A5EE-43E81DFBDE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$D49A8F35-7D32-471A-99D1-BD3256C0088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec978b897612c4e92ea4748789ea7a63a10e3a9","datavalue":{"value":{"entity-type":"item","numeric-id":898260,"id":"Q898260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$0ADA731D-98FA-41D2-A242-7DCBC981D4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed106a80a22ccca2c4026c174a852b24d18b86a9","datavalue":{"value":{"entity-type":"item","numeric-id":1323210,"id":"Q1323210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$96D4861E-A7C2-401D-AD48-4A20CF696F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6461ba3b0590821555f4c1a0fb7ac69702b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1105370,"id":"Q1105370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$081861A6-29BC-4F2C-A24C-1ED72A3C56B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6056dbb1dd62c18098a2d840ebc28a3db0ae19","datavalue":{"value":{"entity-type":"item","numeric-id":5210787,"id":"Q5210787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$6988D0B3-BDE7-4A46-B2A7-394C4CFC9593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751754086b522ee72e0c09e09dcac1b11b1646bc","datavalue":{"value":{"entity-type":"item","numeric-id":938072,"id":"Q938072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$8502E992-76E7-4986-BCE2-318BD2CD45DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43375e79d1a423642bbf046a4811265b63c0d687","datavalue":{"value":{"entity-type":"item","numeric-id":926326,"id":"Q926326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$D6CD1085-23AC-4C1E-BB14-6B383BFB0B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$7F2B7373-800E-4298-9010-CC5D3B0C2AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7c0c39385c53fed90551bea7d43ffa08fc8e3","datavalue":{"value":{"entity-type":"item","numeric-id":799734,"id":"Q799734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$DEEBC29A-5703-4078-894A-B1953226CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19dff2c4019038a537dbca7200a9dc3c42f75370","datavalue":{"value":{"entity-type":"item","numeric-id":1185457,"id":"Q1185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$FFD9503B-9298-4E8C-BBA0-4F7D6123D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe815a59d404718a7fdeb6cb942e592590754ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4334610,"id":"Q4334610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$D618F035-C0B3-40EA-8543-D6A23937FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$BEFF2427-EF35-437C-B12D-058AA998795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226e467fb137de7f062f0a070c31cc9736d6acd2","datavalue":{"value":{"entity-type":"item","numeric-id":3255438,"id":"Q3255438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$72A45B60-1062-4A87-A184-281079577E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69c1bf2dc4f1e2db8b4594013404bef9702ad52","datavalue":{"value":{"entity-type":"item","numeric-id":5580134,"id":"Q5580134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$802F40E3-3E45-4A4E-B4F3-58834B5A95BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c66047ad58e30f93fc875fdf28f22156488a731","datavalue":{"value":{"entity-type":"item","numeric-id":4660673,"id":"Q4660673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$818FE2B1-CB0F-4C2D-8CB3-206F1B308211","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":"Q1701667$72983999-1F3E-4602-876E-6F782366207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2873e6ea76d480da6a2d8325f78963be2fd7ecfd","datavalue":{"value":{"entity-type":"item","numeric-id":3599203,"id":"Q3599203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$BA71C266-7948-41F3-A85E-A1AD30B9C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfef0c35bf28e5f5596d8895ca0582c5b27dadf6","datavalue":{"value":{"entity-type":"item","numeric-id":3838772,"id":"Q3838772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$A8EDB8D3-61FE-4915-A473-BD39FCCA7531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df95444ae4ac421f6a2046cb8f3292d616b50783","datavalue":{"value":{"entity-type":"item","numeric-id":2702025,"id":"Q2702025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$CB878E79-5FFA-4EF1-9253-B33BA342CD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e08be71928f9f590556454d6ec5507aecc6251","datavalue":{"value":{"entity-type":"item","numeric-id":3511123,"id":"Q3511123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$0B69D01E-69FF-48D7-A111-9C6B624D2220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb02e738bfd9dfbabd79a0c3dad1876c5e4d3ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2819779,"id":"Q2819779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$C7138938-A55A-4F49-9A2A-DF787061F651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109743b1c3a67ab5578f5e6800ed821d5157ccd2","datavalue":{"value":{"entity-type":"item","numeric-id":626879,"id":"Q626879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$AFB58402-9C29-4B36-B64C-478B93BAAC47","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":"Q1701667$536DCC7C-95CE-4D7D-BA4F-34DC23D6D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$FDB6DD08-A634-4B7D-8945-6026A499AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d5c3b940d7efe6453a5d881f254315dbc47708","datavalue":{"value":{"entity-type":"item","numeric-id":5948939,"id":"Q5948939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$B9CF466A-F8D3-4A82-8818-A040B9302158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af44e71b3ea3d3019567448efc6cf35e90f8f765","datavalue":{"value":{"entity-type":"item","numeric-id":4840652,"id":"Q4840652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$CA15782F-A626-483B-B06F-6EB61D96A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0c63d216bbfa7efe8dcbacffeffd7bfcb3cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1332646,"id":"Q1332646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$5F26DBCF-7597-41FB-812B-B977D0596CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5223edc7946274d16036f888e69480192c795d5d","datavalue":{"value":{"entity-type":"item","numeric-id":542032,"id":"Q542032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$391B0A75-5EC8-49D0-A2BD-02ABA889CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$2EEF8C19-234A-4697-BABF-F9B8F98A686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701667$26945620-D4A6-49A9-B895-69B50D225E13","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1926a4b27f513d30808f54e12f999f39643ffcfa","datavalue":{"value":"journals/mics/Sturm17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$ECE87DE8-F71E-4FD9-8B84-7B8BB6034467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f90d81590de2d7cbada4a20a60e29d1275820d6","datavalue":{"value":"10.1007/S11786-017-0319-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701667$D1065DC9-755A-4D72-9B34-D8AE59322DF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2818a516ce5f56dad7ebe030b961d10ff7bb15e6","datavalue":{"value":{"amount":"+0.8368734121322632","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":"Q1701667$E1D127FB-7F5B-43F4-80DE-D13431FB5C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed55aa69c1542e26183b39d20550e6f620970d0d","datavalue":{"value":{"entity-type":"item","numeric-id":480651,"id":"Q480651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e717bb191d8df029cae531703e4006d8c724aa","datavalue":{"value":{"amount":"+0.836674690246582","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":"Q1701667$B47DD039-6F5E-4D71-93F9-1BE633EE93EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607627d8c78df3e97bd78d8758936d3d3523eed0","datavalue":{"value":{"amount":"+0.7966626286506653","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":"Q1701667$F90A4DD1-A727-46D6-9935-6871D52409A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb64cbf6bc911b7fc5605e6d9910503df9e96118","datavalue":{"value":{"amount":"+0.7905701398849487","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":"Q1701667$9F1831F2-F561-4C3C-A11E-95D0935A48D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425218d525e92d3ec255b0558803acf4a108ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":898260,"id":"Q898260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb64cbf6bc911b7fc5605e6d9910503df9e96118","datavalue":{"value":{"amount":"+0.7905701398849487","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":"Q1701667$6CF685BC-3844-4558-B418-041D4471A3AA","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":"Q1701667$71426E9E-2646-480F-8940-2993A4530B57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_some_methods_for_real_quantifier_elimination,_decision,_and_satisfiability_and_their_applications"}}}}}