{"entities":{"Q3637273":{"pageid":5667179,"ns":120,"title":"Item:Q3637273","lastrevid":50705198,"modified":"2026-01-14T21:05:21Z","type":"item","id":"Q3637273","labels":{"en":{"language":"en","value":"Combined Decision Techniques for the Existential Theory of the Reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576973"}},"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":"Q3637273$C6527655-0C50-45E9-A128-3A88BC02B3DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0495315434454ccfd0b3759047b74d6e02fd593c","datavalue":{"value":{"text":"Combined Decision Techniques for the Existential Theory of the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637273$4F051D4E-0AF7-47F9-9EC9-82C5F6AE95CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69393c3ea8b866da8ff9a361b67af64d77475dcd","datavalue":{"value":"1247.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$E37B1884-9E69-4F12-812F-CB7E167E1388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a322fd9e9334b93e588699c1242a95ad304eb0","datavalue":{"value":"10.1007/978-3-642-02614-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$DCF8DAE6-B3D4-45A8-830B-16E3A8071310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"849271e65f86db683897e2dc0e43d66cba64f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2331076,"id":"Q2331076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$7AA1B896-D8BB-4EFA-B7DB-EED721997C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"981d6b7ed8e1264cf10e16ebb66b8ed86de91604","datavalue":{"value":{"entity-type":"item","numeric-id":1725843,"id":"Q1725843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$C2090DB9-A25F-4960-AF0D-401CCE05629E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$0B5B5ACA-13D6-4559-9561-972B2A1B9D67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637273$B04ECED3-FBFE-4E09-8EE6-2048F54C2096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$0215A0E4-956F-4F90-94B5-17B563230A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$9DF637D3-DD9D-4984-976B-AC2749686B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$41947D52-B80C-4403-80BE-9D215F9A4450","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"558d6404dace744780e5e1d334254935a44a2211","datavalue":{"value":"5576973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$A4D50783-2DB5-4377-8D81-9EB8E12024AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb893082e176dab92021f1e17dd7363b037871d1","datavalue":{"value":{"entity-type":"item","numeric-id":23720,"id":"Q23720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$010F44A8-9100-4D79-8875-F86B54A65F91","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":"Q3637273$3F51BA64-745A-4EAC-AA9B-A6560E364699","rank":"normal"},{"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":"Q3637273$8EE05019-D711-4CC7-8593-3833CE9B9796","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":"Q3637273$707C828D-4911-4398-8376-82DAB9D43DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$D44A483B-9EC3-4F41-949F-903673FC8879","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":"Q3637273$5A119E3D-00D8-4DB5-8BA0-2FF379C77712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f7f5e01c9c921f69cd65c27eeb4305d95b30073","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02614-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637273$3B3F4D97-B0E8-434F-A94D-0AC3DC5F7E7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fb4479b1409cf2533cd89dc8eb9f026289e5d27","datavalue":{"value":"W1490012302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637273$AFB96254-E0D0-40F6-AB63-AEEAE9FCE844","rank":"normal"}],"P223":[{"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":"Q3637273$FA827475-C719-4E7D-A010-A2B8E6D97C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$1A8CDD69-78A3-4CC0-99DD-48F848779DBE","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":"Q3637273$F7E6612C-8316-4AED-843D-DC6A589BF119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$C96AE449-D862-4658-9815-852BE8503F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c7057f3aa99ee0823100d4357f006e3333fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4657310,"id":"Q4657310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$943E229F-1EB4-42F7-961D-51842912D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21ba7c9e01a1e4d50952aba9cb27df7aae8db","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$629868BD-AF3C-47CD-BB71-36060A57A8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92b53b3df0b08b42cafb30b43c517bb158d9176","datavalue":{"value":{"entity-type":"item","numeric-id":5464666,"id":"Q5464666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$9A53C146-3B77-47D5-99F0-4B804DA1C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$F9B7636F-7ACD-4DF6-922F-605033B5303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4804e72c06499df6d39fb7678c171d7a4f0b8432","datavalue":{"value":{"entity-type":"item","numeric-id":2958987,"id":"Q2958987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$B8CFC855-D731-4F73-AFFD-DF6D1B16E45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6b76d55903ab886ab0f97b1acd3a1583f68b27","datavalue":{"value":{"entity-type":"item","numeric-id":3140554,"id":"Q3140554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$ECDA5DA9-8B3C-4AC8-A3FB-70FCA3B61006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$C4E8C5A6-9736-487D-A867-529A6A518E8A","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":"Q3637273$D5FD31EC-76CF-40EB-9A4F-17FCA9B2FB3C","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":"Q3637273$F2DB105D-E24D-47E3-B216-047A6361B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637273$4FB182BF-6023-4B9D-AC43-9292516D0D3B","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":"Q3637273$5E5E4AB3-9AE0-418D-834A-E830609C5B06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9199a48242fca0a3119ee9adf82bdac10461ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3140553,"id":"Q3140553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7807cc9b504213c6b7804f05e3cebc0959a02d","datavalue":{"value":{"amount":"+0.7613929510116577","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":"Q3637273$AAE8CD79-95F5-49AC-A755-5117DBB8AB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8afb6c601951f5e2e5ac36f4427c8dbaed992d","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d8adc3d92b0eccfaf07e2039a1ff8b1bc55063","datavalue":{"value":{"amount":"+0.7611645460128784","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":"Q3637273$FF990B9E-BF3D-4F4A-AC15-97D88B590EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddc6c6df98bba5399f0ec858c89058e7116068a","datavalue":{"value":{"entity-type":"item","numeric-id":5310669,"id":"Q5310669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06055aeda1177d2156f57be9c62de18e6b1c33b","datavalue":{"value":{"amount":"+0.7549867630004883","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":"Q3637273$B832CFD2-D6AF-45F6-8090-A43CDF45BA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bd02fcb17b0ee1b2ca630438d08182be995a35","datavalue":{"value":{"entity-type":"item","numeric-id":2904452,"id":"Q2904452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421481ebc01ea2778a6013535a6ac19da6729b1d","datavalue":{"value":{"amount":"+0.7475211024284363","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":"Q3637273$3CB25A7C-AEA4-4A66-979B-3D589A2A395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686048698e7a23256351e6ae423362551c0251ba","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfed65e90a739af380f2c481bc027711cfacbeae","datavalue":{"value":{"amount":"+0.735073447227478","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":"Q3637273$CDB69EF0-B9FA-4D84-A1AA-20A7CA613EC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637273"}}}}}