{"entities":{"Q5453483":{"pageid":7483042,"ns":120,"title":"Item:Q5453483","lastrevid":41672894,"modified":"2025-05-07T01:29:16Z","type":"item","id":"Q5453483","labels":{"en":{"language":"en","value":"Automatic Verification of Regular Constructions in Dynamic Geometry Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256454"}},"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":"Q5453483$99E40612-4B8F-4896-B2C0-1CFFAC1671D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332f03e49d08f08dc73c882e641dea503d225acf","datavalue":{"value":{"text":"Automatic Verification of Regular Constructions in Dynamic Geometry Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453483$D1A53D28-B3FB-4D04-BC36-F16CF15CA24C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0844df02c7a4f64985af38e28a6ec7e5a3858a9","datavalue":{"value":"1195.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$5C27E069-FC61-4AC8-B125-41DA88A8398E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ecb96dd2d675e0e995ffada80cd312f6b7347a","datavalue":{"value":"10.1007/978-3-540-77356-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$8F302920-443F-4293-BA93-7CA64CA1B63E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$A9E1F01E-5B77-42F9-8BF8-6FC7A1D62DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c11fd76b0b34e5498dd7476432446f6c357082","datavalue":{"value":{"entity-type":"item","numeric-id":437041,"id":"Q437041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$8B5AEFBB-BE97-4933-9D98-5C06A8D0DCB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$D8CEEFBF-0C72-4B9F-BD4C-6C2BCB4D45DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453483$2196BBB7-AAE7-4EAC-8E92-48F2132CE4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$4EAE65BD-36E7-46A3-96CC-7353BAB639A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$956EC6A3-8FD1-49C1-AC3A-C18B4A79992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$91E774A7-A7A7-4672-AAAE-922608A28A93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f63c4c660af53c2b16baaf9cf1124fb138d3bd9","datavalue":{"value":"5256454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$2AC8052A-5FE6-4E20-965A-B936EEFAF3CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d7950f01425e7e9f7da214e3be0764705999c0","datavalue":{"value":{"entity-type":"item","numeric-id":13087,"id":"Q13087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$F332542C-92B9-48CA-BDEA-3770B5CC6CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a770f3adfce3012795b71c807e2e41dbaae2536","datavalue":{"value":{"entity-type":"item","numeric-id":13769,"id":"Q13769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$018999FD-2E13-49B8-BC41-DF87561A7BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44711c0dfc3538a7fb734312a1553b4a39dda7da","datavalue":{"value":{"entity-type":"item","numeric-id":13339,"id":"Q13339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$33C86169-0858-43DD-956D-26519B1C4A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c52174d6a2c739dccdd83081669a4a937b002e","datavalue":{"value":{"entity-type":"item","numeric-id":15381,"id":"Q15381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$2DCED4CD-6EA3-4CF3-94E9-CFD527B39245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a69612fc806d816e598f13eebfec79f0480839d","datavalue":{"value":{"entity-type":"item","numeric-id":18349,"id":"Q18349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$84A72736-B9AB-43BC-A342-B637816A1218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d423aed709d24704c8ca138c3d33e02bafd7a799","datavalue":{"value":{"entity-type":"item","numeric-id":18350,"id":"Q18350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$EE610414-529A-42CB-8F6D-4D7D7A6E5FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6540d62c09c61919ac6ead0ff7f7594adb90246","datavalue":{"value":{"entity-type":"item","numeric-id":12896,"id":"Q12896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$3D34654E-3AB5-487D-8130-AA64EF3011B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d078c3271ba05e89f6bc8c30b9220f6b6fd89c8","datavalue":{"value":{"entity-type":"item","numeric-id":17546,"id":"Q17546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$2F336BA2-201B-4A33-9146-7E42B818FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa780412f940f093d7d726056acbe61d6ae1a84a","datavalue":{"value":{"entity-type":"item","numeric-id":24257,"id":"Q24257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$F87A8A85-AA25-49CB-843C-F4532922E700","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":"Q5453483$4CA66C0D-E14E-482C-AAAA-087CCB09020D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61b8ebe2400daf439e63d0ae7aa245c55e3c7060","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77356-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453483$12B0A1B1-B333-4AFF-BF3B-0D1DCA23D010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe41d436e364a99513caf49cf45bfef0cb6c7d51","datavalue":{"value":"W1559406907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453483$B1B1A03C-D458-4AF1-971D-B948018FC383","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e013849775846918727fac3e7e6455bd448813","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$2073D216-D897-4D7B-8ECC-CF57719B1E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3ce1ee58279755f58a5703c75b4ded8f273cae","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$FCB6B0C9-44DB-4259-B1C5-214E7EF32112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d8aaacffe81ff9879cd1359153e8aa379e24c6","datavalue":{"value":{"entity-type":"item","numeric-id":5902023,"id":"Q5902023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$B4527BBC-9ACF-40B9-9E46-33BE340E3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf26db92fe44f4617dcc2f7627ea50e8798a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747799,"id":"Q5747799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$D3E2DBB3-9FDD-4BE4-89F5-F2D00B577314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd3458184ccbfa876e6640cc64fb1691d6771a8","datavalue":{"value":{"entity-type":"item","numeric-id":5493324,"id":"Q5493324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$6DB810F6-E900-4468-A4CD-ABE874B7B860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540adcc9e46ea420a940154aee39f09e6ab0a966","datavalue":{"value":{"entity-type":"item","numeric-id":5464649,"id":"Q5464649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$799EF6EE-4653-449F-88BD-EB51DD8A4D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69644166919393c0acd38f7f5799ba1216d2309","datavalue":{"value":{"entity-type":"item","numeric-id":5756763,"id":"Q5756763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$E9539124-78BC-47AE-90A8-8B7039BBB3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7124a48de42616713a4a8849a99b429519389b","datavalue":{"value":{"entity-type":"item","numeric-id":4254919,"id":"Q4254919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$B3558347-CA84-45C4-AB95-9EECC567D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c180dcd373352949471c4d009f09ade7acad290f","datavalue":{"value":{"entity-type":"item","numeric-id":4647511,"id":"Q4647511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$C2E41ADB-3E3B-4880-93F8-2222BADD930D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb6073bb92238a3ac694f94e3d06e7338f0593","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453483$3E713A88-1E75-4D74-B489-277F87ECDE7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc4166e0c5dcc89d975614f3a05adebc50d3686","datavalue":{"value":{"entity-type":"item","numeric-id":3003231,"id":"Q3003231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8835565fff3c9267595b8c5403b209f9c7ccbf4b","datavalue":{"value":{"amount":"+0.88438547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$E2742B90-A295-4EED-A896-6535624C442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe1b7dc6086a433ab031b90f2bfce6e2387980d","datavalue":{"value":{"entity-type":"item","numeric-id":1595928,"id":"Q1595928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf2954e1a110ac0375db15704dea8f4e33105bc","datavalue":{"value":{"amount":"+0.8817507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$35BA19E2-AAF1-4F90-A426-C7E5FE59B7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833cdc559fe6836adfa612011a2acd24edb7dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":1286479,"id":"Q1286479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2da4697cf04f12aa642fc5791fe7f3c59fa8f2","datavalue":{"value":{"amount":"+0.8722111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$5AB6C50A-FC68-493E-89DD-8C4A34DF98A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe8b5501d108671703e4f4f70ce26184756f503","datavalue":{"value":{"entity-type":"item","numeric-id":3804232,"id":"Q3804232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb6f11826ea1cd245e3ec21dcf1c0deb0ec2c23","datavalue":{"value":{"amount":"+0.86386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$8882F8D9-C370-483D-AA70-D9E5480F4754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4215da750dd3664296238daceef7ae67c44d515b","datavalue":{"value":{"entity-type":"item","numeric-id":1798965,"id":"Q1798965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1c77b319dc0a88d0ab4337dab201cf106a3cec","datavalue":{"value":{"amount":"+0.86049134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$2211CD78-28EB-4862-B136-51092F9C0BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79065112560b80d954638832271ff884950c8489","datavalue":{"value":{"entity-type":"item","numeric-id":294375,"id":"Q294375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88a24099a28ec420a8331826fdb63cedd6368e0","datavalue":{"value":{"amount":"+0.85884655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$24B2E7D9-C943-4C4A-BBFE-DDE8A9CB147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb1378464140de200c0cb5e9a66b67706805c65","datavalue":{"value":{"amount":"+0.8581782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$CABF7BC7-6766-4DE0-B1FE-ED9A0CCEB784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce389c97bc71a3a7946c5fc2b2f8b0e758176209","datavalue":{"value":{"entity-type":"item","numeric-id":3452277,"id":"Q3452277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449bdc1a19b5f3c33580d5a9e94fcc1ed5b92be3","datavalue":{"value":{"amount":"+0.85692513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5453483$68AB04E1-C8B3-4B3A-97AD-CE51B8D45717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453483"}}}}}