{"entities":{"Q6170823":{"pageid":13305711,"ns":120,"title":"Item:Q6170823","lastrevid":39741190,"modified":"2024-12-30T18:06:51Z","type":"item","id":"Q6170823","labels":{"en":{"language":"en","value":"Computing with Tarski formulas and semi-algebraic sets in a web browser"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7725360"}},"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":"Q6170823$BDAB6928-F64B-47FE-BB4F-3D74B6A2FDA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba01491a8d61416af2fb815c479d410b91bcdddd","datavalue":{"value":{"text":"Computing with Tarski formulas and semi-algebraic sets in a web browser","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6170823$ED6F8153-14BD-4244-A6C3-AFD7390ADF36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6c65643f35a2e2da08306f945b322cc9b173cbd","datavalue":{"value":{"entity-type":"item","numeric-id":286776,"id":"Q286776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$B204B166-CADB-49AB-9571-D7A99776C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$EA0B5314-2623-42E8-8717-7E5D7C75E30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$9949A55A-AC71-4E84-9373-3C8498E50C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c178c1a93ba04286b0193471fd844708d0df1213","datavalue":{"value":{"entity-type":"item","numeric-id":1025312,"id":"Q1025312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$A0088045-BBDB-4F02-A6DE-7518A14D97C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$54CE5E05-7EB6-45EA-AC7C-2FD950F6CEEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6170823$AE339D1E-3E12-415A-AA35-460565A68B46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170823$AC9BEC10-3334-47F2-B169-2943B6AF15BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170823$2F000568-E367-4516-8982-BADD693BD421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170823$46F5C3BB-10B9-4E18-973D-D1FF6D43B3CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ba32265b049508ec92638b6fedc0e71ca76a2e4","datavalue":{"value":"7725360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170823$995E35EE-7766-4257-91B9-C4DCA2DEC85F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe28ac3ee8bdccc4fac489d023a004fd75012b02","datavalue":{"value":"real geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$F743EABB-DE4D-4403-954C-766AF31530D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$43BA71E7-2CEA-4324-B41D-E43B20E2968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb446f4a34723c0131a3313fcafb067a7582366","datavalue":{"value":"WebAssembly","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$70C76822-669D-4708-80C6-390D65824F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e30449516d5a4b75ecee0c521198af1949e76b","datavalue":{"value":"porting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$B5561704-4FF1-431A-BD3D-A4536F1A47D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3bc00c26ad538af7b8a276d95d871159c674025","datavalue":{"value":"web browser","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$ADBC7812-3F2A-455D-AA2B-18F40A7BDCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170823$35DA0041-F818-4456-B4D3-EF15F4487835","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":"Q6170823$BC4FAB69-BA83-4536-B516-0D5AE109247D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e770ab55f3db1dc816e1628743e37862fe609745","datavalue":{"value":{"entity-type":"item","numeric-id":2817292,"id":"Q2817292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$C5FD400B-0B24-4596-A30E-8CD45A11CC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$C570BBCF-4CED-4AFD-8C48-A10417EF9C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86446ac865ac1b241baa080daafc3563c4ee291b","datavalue":{"value":{"entity-type":"item","numeric-id":4434828,"id":"Q4434828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$71039CE3-37C7-47CB-8D6E-96D3B44913F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$38D6FAEC-928E-4966-A2E2-FB79D2325BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$BE69361D-3A81-48A9-B2E7-61CA25A09D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02029e753dd63d45429f844a9bded93fc239dcb","datavalue":{"value":{"entity-type":"item","numeric-id":420752,"id":"Q420752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$F4D5275A-4A0D-489F-AC74-BB744FD2B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541f39c913e068ab327c8904c7a59cd72e5d86ca","datavalue":{"value":{"entity-type":"item","numeric-id":2946522,"id":"Q2946522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$B9B87C7F-239F-4F2F-8136-775037D00873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733d1f54b92945e52fc2c3a11ed36df7f7df4120","datavalue":{"value":{"entity-type":"item","numeric-id":6157640,"id":"Q6157640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$68D93EEA-1F29-486B-8844-59A9DB7E4B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeced255ac02b681c5f8327daccc0f699256f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$AB0A2828-50EB-417D-BB1E-C6789F3EEF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d089fbe1bb0cc6645ee2468cbb9158b4e30658","datavalue":{"value":{"entity-type":"item","numeric-id":5925208,"id":"Q5925208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$2FFDAADA-487D-4B35-94AE-7543DF66E25D","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":"Q6170823$35D99077-F2CD-43AF-94D0-7477567468B6","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":"Q6170823$3EF9398C-444F-4C0E-AE7C-904B5F2A7B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$83056C6A-51E5-4A40-8758-2B04DB5BC6C4","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":"Q6170823$F34920B0-C9BC-450E-91FA-86FC1208F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcf672ba756e2fbda138475d985676db9dd4797","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$119C22A9-E203-469D-83B7-E58E051DE53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca01d67639543c8ae4075473068c432e89a1429","datavalue":{"value":{"entity-type":"item","numeric-id":5495916,"id":"Q5495916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$2886FA42-5529-4CF6-8924-16CC7987D976","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":"Q6170823$5E44346C-6DFB-409B-A617-8F31E5D95E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736e22c5009c6cb7f2d6bf5c9b975823af8ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2808009,"id":"Q2808009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$F635B507-7F1F-4543-BA6A-FB48D092377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b34254e57a7f4e22339fde2091055b87ce4db5","datavalue":{"value":{"entity-type":"item","numeric-id":5102014,"id":"Q5102014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$EE25D59B-8537-4F81-BFDE-98F422FE9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4601690cea165d2110ffa426b5aca0661edcf19f","datavalue":{"value":{"entity-type":"item","numeric-id":4729897,"id":"Q4729897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$0763B7A3-5F51-43D4-A95C-2CBA2E9BCE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$2D080457-28D8-4211-BDE2-79FD9BA820C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$A8C0051D-10F4-46A5-AF64-AB9BCF3A5F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7636e0b233fdf458f5705fb1add01bf707db9d","datavalue":{"value":{"entity-type":"item","numeric-id":5244554,"id":"Q5244554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$2BA15440-ED01-4F23-8DF3-959542E70BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d3898e6b0b434e3b6525259c01548d9088a03e","datavalue":{"value":{"entity-type":"item","numeric-id":5119969,"id":"Q5119969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$ECC0AD7C-5291-4059-B7BC-042D60CFD682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6193bf6648356903305a8cf647b33d7fe889d78a","datavalue":{"value":{"entity-type":"item","numeric-id":5120219,"id":"Q5120219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$74346D78-03D9-4529-BA89-ADC0168B429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64797966d0bed6682a8a82e6f07d143c195878d3","datavalue":{"value":{"entity-type":"item","numeric-id":5120170,"id":"Q5120170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$C8F6FA48-D535-4D1B-A84F-C89E75C76F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$0F27B1CD-0ACC-4F63-AEAA-ADBFB052A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79c7af070e6920bcd227150a8519acee8ff77d6","datavalue":{"value":{"entity-type":"item","numeric-id":1662298,"id":"Q1662298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170823$BB79D267-CB26-4B5A-B9C5-C3C59DFE2CD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25b76cc5fc46379012705ba1c4637a706666ffbb","datavalue":{"value":"10.1016/J.JSC.2023.102235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170823$1F60EE15-1BD0-4E0A-AF7E-F2021AF47525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6170823","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6170823"}}}}}