{"entities":{"Q3454537":{"pageid":5233937,"ns":120,"title":"Item:Q3454537","lastrevid":46488648,"modified":"2025-12-24T21:50:58Z","type":"item","id":"Q3454537","labels":{"en":{"language":"en","value":"Simplification of Cylindrical Algebraic Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6513545"}},"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":"Q3454537$01030074-7B78-417F-92FC-1D33FAD449B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9d36771803dcae30bf73f026f89fcf7c81bf143","datavalue":{"value":{"text":"Simplification of Cylindrical Algebraic Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454537$89E343D3-EB60-4D41-AAF3-51DC891F1556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abaaebfd2c1155fa46aa9c4f32dcdb8cb1f1a991","datavalue":{"value":"1439.14170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$ED3463A4-534A-454C-B02B-2E2A7CFE90EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d16d19f2d31b3ba0a5d4eefaec15b76fa27f2b83","datavalue":{"value":"10.1007/978-3-319-24021-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$8CB8BA71-0B6F-4F54-888F-9F403CF7E710","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454537$B1B0253B-F99C-4F69-B57D-81CA4B29B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454537$84F4ABF9-ABDF-4409-A5B4-8F4573862CF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454537$16AF9228-E757-4941-A7FA-C1161AE55D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fb3656d1d5424f05bf402bce04ea94941dd2ff3","datavalue":{"value":{"time":"+2015-11-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":"Q3454537$3BAB4E07-155A-4CBA-ACEC-CC0513222F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b94ccc65faebb9e970001fc23c4942a4e436a150","datavalue":{"value":"14P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$E6478797-2A75-4AF0-9CA7-3FEBBCA8F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$34A160C3-6B9C-4DAA-ADEF-0EFE52655FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$3433219A-00D7-46D3-B656-606C3D5DFE8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a3fb72163ed7e87b2d5b6b15831152197eb93a","datavalue":{"value":"6513545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$16C2220A-7277-4405-986A-435B808E3F6C","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":"Q3454537$D992CF5E-E6BE-4146-8B66-42530EBD3D5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ddc1ea0ee4ea863be7ae9459a164691b0d93788","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24021-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454537$7C56ADAA-0948-4C07-B23C-DC70C35E8893","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a171c0d205a6766ea60a741edfcb59d60791867","datavalue":{"value":"W2198515109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454537$DFC62362-5F9F-413D-A5F9-5F332053A9EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708313fc0d0b3a4c1a8000841171c69f50a84bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2843003,"id":"Q2843003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2316fc18a2b64e920602b4fcd71a66a3d6642980","datavalue":{"value":{"amount":"+0.8745729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$970CD006-D163-4574-95F6-F0D429B655EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87628f58f21bea977cfbf7cbafb95a9d1543f76a","datavalue":{"value":{"entity-type":"item","numeric-id":2307622,"id":"Q2307622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e04093acc32859e0851e6f60cde9d91259cfdf1","datavalue":{"value":{"amount":"+0.86611056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$63F66D62-6CF8-42B2-9BF6-3E6960271F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11c85a4e06de2c02af7796d7ab2932b2eb5a57","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4da2d03f2a819f5e76325b6a84d41b596bad01","datavalue":{"value":{"amount":"+0.8642721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$52A70C3B-296B-4C51-BBAE-A216CBA4034D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32bdf241e35409bbfcb61d4432db86b2e67bea2","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffb8f7828cdb763e23cae0a2f3eb64f1e017061","datavalue":{"value":{"amount":"+0.8629432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$C7351939-F6C8-452C-8C1A-246539402E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08af2968e5bb29d0188a91c4c40ad50a2f11aea4","datavalue":{"value":{"entity-type":"item","numeric-id":4391221,"id":"Q4391221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffb8f7828cdb763e23cae0a2f3eb64f1e017061","datavalue":{"value":{"amount":"+0.8629432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$429695A0-EB03-499C-9379-C0A73029D0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566d2bbe734e0acda28c0b0024c7051d0c099de","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bd4796c4142501e254107666babdf1f69c4c50","datavalue":{"value":{"amount":"+0.8618591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$0AFB41B2-14FB-4DD2-BCF6-990FA05D18D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a254ebb949d3f119c5db110cc2d8fd3db18dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5108140,"id":"Q5108140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8d397d51cb1742291eb23ea8c36b72dc57b0b3","datavalue":{"value":{"amount":"+0.8550994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$3C14EF47-B7A1-44C3-BAD1-6E71C668CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc2d48bfa87da24ac4a67ad6b1e80e7ceb657ac","datavalue":{"value":{"entity-type":"item","numeric-id":2702011,"id":"Q2702011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71607421078ca18c4bce5e9d1a6e49f659f6a093","datavalue":{"value":{"amount":"+0.8524055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$E03D5119-CE18-4FDA-98DB-C0B723B581AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadebbfbd868153a3aabfa4c377b7bc61297427","datavalue":{"value":{"entity-type":"item","numeric-id":4391217,"id":"Q4391217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4569724f15ba280bb0a40e05e4fe6e728b92184","datavalue":{"value":{"amount":"+0.8512552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$10D245A4-EEAA-42A1-832D-36B0DDE4336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e245975b0c6a828c2082d138200c234985593e2","datavalue":{"value":{"entity-type":"item","numeric-id":2883805,"id":"Q2883805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac342d49944e31cb53c9100af066869a22587be7","datavalue":{"value":{"amount":"+0.84975475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454537$E96EA939-E239-45ED-9C02-BABDA6F95B74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454537"}}}}}