{"entities":{"Q6157640":{"pageid":13292296,"ns":120,"title":"Item:Q6157640","lastrevid":39733805,"modified":"2024-12-30T17:59:30Z","type":"item","id":"Q6157640","labels":{"en":{"language":"en","value":"Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700011"}},"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":"Q6157640$743E0D2D-03C8-432E-8137-442EBB6CDCC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1d410555816142ba9f2c375c1909c077203fc7","datavalue":{"value":{"text":"Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6157640$401FEC2A-0C5F-486E-A218-B711E8669FF9","rank":"normal"}],"P16":[{"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":"Q6157640$B5482F41-B8C0-4BA3-8D80-5A42D8B54CC1","rank":"normal"},{"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":"Q6157640$1015EC0C-8C6E-47AC-9810-3E481087BC84","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":"Q6157640$52E74D2D-B96D-4625-ABC7-3D43F3EBE19B","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":"Q6157640$881BE520-9981-45D6-AE77-5ACD88A249A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d39b33a75faebc0365cd78792a6f37d114d1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1295713,"id":"Q1295713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$F3459D89-A2B2-4D4E-B165-EEDE4EA50E4C","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":"Q6157640$44165AFB-F812-4D8E-A545-2035C83B0E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47407569f9d272bf19c83caf630fbeb3d221caf6","datavalue":{"value":{"time":"+2023-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6157640$95DE184A-2E9F-4485-9886-6E7866CD93A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c98e27578846291b15fb1d7173ab77e2d826bf53","datavalue":{"value":"97G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$D7F27E25-D947-47FF-982E-3F56FF877C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86f8d35c1565f252670810ace8ec15198b00a13b","datavalue":{"value":"14H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$BFFE10BA-84D0-4697-844B-6D0481736878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$ADCE2A5D-25E4-41BE-930C-9723481921B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$31DC2996-6C90-4E2D-91A1-83E56677A6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$D838A631-565F-4265-B526-35A80ACFD713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efb809c7138464a470e21fc4cb0dbe615f42f348","datavalue":{"value":"14Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$AFDD5B23-6D60-4E33-B6CA-DB47DF986E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$40713A35-328E-42BB-9C64-2A419805C080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$BBDAF7C2-B197-45CA-9486-13A9EF3C3349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c63103ce8df0d554169bc6e327330dc10cd6724e","datavalue":{"value":"51-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$9C26D34E-C6CA-4161-8B53-64ED72CE43CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6376c7636695b768435a89da3c202649edf3cb5f","datavalue":{"value":"7700011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$28386CF4-A3DE-4B21-9284-35C228F0910F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e80597159aa4300afd51c237340620818697197","datavalue":{"value":"automated discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$8634B56F-4155-4AF8-8B12-13E4F3AB1F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$DB4ABAFF-9A2D-49A4-BD85-082E30ED8E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$34575FA9-509E-4367-8381-4487F6724966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0fda4e0fd551c0ca47b00175cca0a52cb00039","datavalue":{"value":"GeoGebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$F5045608-08C9-4D30-B780-E744CEA32CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$15F21E19-A1B4-4A26-8560-58959F1914C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd01777885b303fef608f8874bfe854372e2a33","datavalue":{"value":"QEPCAD B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$58E5F8E0-8FE2-4788-BA05-E2AD4250A2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157640$B8FD5C7E-FE13-4DAB-8327-006F9973E749","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":"Q6157640$148B64DB-FF98-4C92-8E54-5B3AEB83A7FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eead9d147b9be9205b33fab04c3593921c841d5","datavalue":{"value":{"entity-type":"item","numeric-id":5614398,"id":"Q5614398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$06BE0A05-FEAD-4C63-A756-234B1D14E06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b98068c1cca3583ab8c1310f9614c4363bbeec","datavalue":{"value":{"entity-type":"item","numeric-id":5563234,"id":"Q5563234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$1A9AE68B-2C6E-4DC5-BF20-D7F1FD58DD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$498DFAA8-197F-494A-AA8C-BC290315177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d54bf8ddfdaf7897247407c4a608e68416f1f","datavalue":{"value":{"entity-type":"item","numeric-id":4531857,"id":"Q4531857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$200C753A-90B3-4238-BE8F-88655B990409","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":"Q6157640$AFFEF9D1-5232-4314-AE42-D72EEB84E11A","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":"Q6157640$D8FD1370-F4E9-43C4-A907-5A8EE253422B","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":"Q6157640$24852DC1-CD1D-4126-98D3-163B1B53A2AD","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":"Q6157640$7899FA81-27B6-4883-8934-A79D66E1DB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7ee0df0fd64f77dd9c8e7946d95214895937da","datavalue":{"value":{"entity-type":"item","numeric-id":4531855,"id":"Q4531855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$3A397C6A-DC58-4DB8-A56B-73E7FBEFB13C","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":"Q6157640$5D3F01A1-D7DB-438E-9284-2AB7281C11D8","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":"Q6157640$3684135F-120F-49AC-A489-4AC7F5783A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070837c39300e73e245a9d839af36f75042e9322","datavalue":{"value":{"entity-type":"item","numeric-id":4234276,"id":"Q4234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$9969CFB1-F9DE-42F9-A79E-0FCFE22C9A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f416f2ffc3cf40c94ff25a69170463055d60c5","datavalue":{"value":{"entity-type":"item","numeric-id":2879171,"id":"Q2879171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$E5FABE5D-D735-42E9-8EDA-48ECA416AC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21c2c72eaf2faca19cd617f64ed0cb328859f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2425054,"id":"Q2425054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$C74A6696-BD45-496B-B119-995D0FAEE1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343ee11e82683d2ce67f380d03265181f309738d","datavalue":{"value":{"entity-type":"item","numeric-id":783254,"id":"Q783254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$6D9121C8-24BA-4910-845B-87AC1A0ED03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc489a7e9dbeffe6310e403adc98026c3354141","datavalue":{"value":{"entity-type":"item","numeric-id":5307230,"id":"Q5307230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$54A84CC1-6212-4758-8657-B83868222B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$95222E01-1DEA-43D2-8184-8D5ECC7828E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56811ed8c685c8ebf8c4e7281b0be710de1dcf47","datavalue":{"value":{"entity-type":"item","numeric-id":1701667,"id":"Q1701667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$488A2933-4CB1-429A-A959-8CE58FC9F11E","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":"Q6157640$E6D5E5C2-A08C-4643-8934-6EF583C2AE7B","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":"Q6157640$A760095F-4E31-4673-949B-DC6DF349C89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05ee0509c0563ca8030a2a3d28fe480f23443d8","datavalue":{"value":{"entity-type":"item","numeric-id":5718720,"id":"Q5718720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157640$0A09AACA-2266-4DD0-A86F-154727527736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b46f0c5769a1f38f5cdd0c0f5e26d29408e381","datavalue":{"value":"10.1007/S11786-022-00532-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157640$7A4D4E21-4C6A-4DAD-8E85-364DC1BECA37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6157640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6157640"}}}}}