{"entities":{"Q2867934":{"pageid":2878654,"ns":120,"title":"Item:Q2867934","lastrevid":51894941,"modified":"2026-01-20T12:05:22Z","type":"item","id":"Q2867934","labels":{"en":{"language":"en","value":"GeoThms -- a web system for Euclidean constructive geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241757"}},"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":"Q2867934$6720C5BA-0679-4864-82EB-63ABAC616D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5d912539f1dd87ab73ee09221ef509e96af764","datavalue":{"value":"1278.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$CE928C2E-C6AB-4FD5-A4E1-5A349DCCF34A","rank":"normal"}],"P16":[{"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":"Q2867934$2961CCDC-E055-4B11-B5EA-AB8C3428D3EC","rank":"normal"},{"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":"Q2867934$3764FBDE-45D2-4CDB-94AB-66F05AD75031","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$D8A620C7-37D9-402F-8207-B0AB4440C9DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867934$4B094CFA-DA01-4C2A-8BD0-9E8E940CF5BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$829F24DA-2394-4F71-9C3F-360E196381E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$2AB93FBE-ADDF-4302-9247-8C3BA5F76447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"017e857ecbda5dccb7bde02f68673517b0f46b8c","datavalue":{"value":"6241757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$6886F70C-97AA-48D9-AD96-90576A2786F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8d485101fd88491d33c61da336b50eb3004d49","datavalue":{"value":"web interfaces for proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867934$B56C881D-14A6-40BD-8EFF-34914F132A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867934$45768507-B91D-4CCB-AECB-9A2EA3A720EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1648434005540dd7a53421c4703f302aa64b3f","datavalue":{"value":"dynamic geometry software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867934$366FE266-69EC-4802-99DE-B227C8EF2539","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":"Q2867934$6E6075E5-E650-4AEB-8AB8-25703FA05E7D","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":"Q2867934$69FCD770-6467-4D7B-8865-AEE21A29A296","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":"Q2867934$4192851D-2D5B-4A21-A816-7B660690990C","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":"Q2867934$C9968B8A-8C54-42BD-99CF-CE934B0BA58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$EBBFC394-C8C2-4FF3-A744-BFDD5938CEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5a467e2b8559126e673a21cece3f03b6086929d","datavalue":{"value":{"entity-type":"item","numeric-id":21940,"id":"Q21940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$83E275DD-8693-4304-A08C-A118729912F2","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":"Q2867934$EDE4F0AF-ACB9-41D6-9253-445593A96A59","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":"Q2867934$76DA0A81-8D08-4625-96CC-105ADFB4D350","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":"Q2867934$3FC5D1BE-A7ED-4D75-B7E1-542D0C4C2AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$B1784597-C37F-4A2D-9BDA-F5F2F56164EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$94E3629A-0EA2-4067-AAA5-10C770967634","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":"Q2867934$0EE3250F-BA36-4039-BE85-1C5FB8370DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad64fa5b1d333e7d2677cdd2df7377d3a7e6b063","datavalue":{"value":{"entity-type":"item","numeric-id":20583,"id":"Q20583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$7A45A83D-58A3-4B83-928D-53FBF826395E","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":"Q2867934$0FEA31F8-5129-4500-BDA8-A86FBA1D6877","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":"Q2867934$AAF449AC-1686-427F-8889-0E34D9671ADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2321332d727f44c854582a7ac522208dd2bc74c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867934$61219C0C-4556-4208-894E-FEB93CD4F824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dc6365a065c8e40df9f78eba5d7d014d5091c0c","datavalue":{"value":"W2157101175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$F59413E4-862C-4156-B272-87E83042C086","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"02dc32aeed59d511e5ee411323c224c3adde58a4","datavalue":{"value":"Q57552312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$3E5E5E57-447F-4A90-95A8-F356507C789F","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":"Q2867934$B23D3C1F-6F04-474D-99B1-7950374D34A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06eb3b89f86c018dd2a44eec2a5f81b020c5ed9f","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$D5668F1D-887E-43E3-8B0E-0E97D40F74E5","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":"Q2867934$C7CE586E-FC2B-4787-9B39-B3BE24165BDD","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":"Q2867934$017A63D8-798D-4E2D-B95C-A588764182C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de4d5770e387e034f1fede994fe89441564690","datavalue":{"value":{"entity-type":"item","numeric-id":2867934,"id":"Q2867934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867934$C974D9C7-4297-4083-825D-E4232398D340","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":"Q2867934$CED97D52-C2CB-4CFC-84BB-783C4723167E","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":"Q2867934$B5C857F5-E1E1-4BA5-BA1B-65920BA3DD9B","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":"Q2867934$577232DC-4E6C-4ECD-B784-2872F9D0EEE5","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":"Q2867934$2AE366BE-F0CE-4328-B4F4-03EE6BA7B58B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6808627e4a1ff48b1a3cca4b53ec0460e22ac300","datavalue":{"value":"journals/entcs/QuaresmaJ07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$7626A48E-33AA-467E-8513-8328FBAD3F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d80cd8db5b59e6148a6634123298eeecfc2a80eb","datavalue":{"value":"10.1016/J.ENTCS.2006.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867934$96BCEDA2-78FE-4B39-A950-72388CAAC318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ff4ba347d30654ff0d0a59d718d5e1afaeb605c","datavalue":{"value":{"text":"GeoThms -- a web system for Euclidean constructive geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867934$38C474A8-10F1-492B-BEA5-1B29D188A469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0342272d1cc5c62525a1a5a4ee90f090bd9813a7","datavalue":{"value":{"entity-type":"item","numeric-id":5756763,"id":"Q5756763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8607d2e391b12990863cdeac20a0f00c441152","datavalue":{"value":{"amount":"+0.8319711089134216","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":"Q2867934$9190F079-3413-4CAB-8CCA-9B0C5555E818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5685ddb0c25737244b9670670ec037c53623c91","datavalue":{"value":{"amount":"+0.7933539748191833","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":"Q2867934$69551276-FA54-42FB-966A-2F49D1E747BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8609792085398f9d39d1654f653296bb78b47446","datavalue":{"value":{"entity-type":"item","numeric-id":4434825,"id":"Q4434825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e13dd59a09a7b662e7ed61848d824abdf6c9001","datavalue":{"value":{"amount":"+0.7930217385292053","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":"Q2867934$22A22BD8-8FC2-461C-9EAA-637EFEA72D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c50e2564848464b8614962364115eedad1a306","datavalue":{"value":{"entity-type":"item","numeric-id":5407115,"id":"Q5407115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10146e1e0e89e90f98019cfdf359b40ea2986142","datavalue":{"value":{"amount":"+0.786366879940033","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":"Q2867934$62D8798F-6D2A-427E-8366-D136719D82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de3ae489bb30e74cff9e56466fca1d0e57e097","datavalue":{"value":{"entity-type":"item","numeric-id":6108828,"id":"Q6108828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2b27227bb22c1ef48bcc16928446cf10e451f1","datavalue":{"value":{"amount":"+0.7839934825897217","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":"Q2867934$102B5B00-4F51-46BF-9CB7-F2652E32DA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867934"}}}}}