{"entities":{"Q1730305":{"pageid":1741046,"ns":120,"title":"Item:Q1730305","lastrevid":53375288,"modified":"2026-01-24T20:27:25Z","type":"item","id":"Q1730305","labels":{"en":{"language":"en","value":"Automated theorem proving practice with null geometric algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7032430"}},"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":"Q1730305$EA03D599-9049-48B6-AAA5-B774D4E2AFEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81035b9a1aeb655fe16adde5547cca02b54ddf96","datavalue":{"value":{"text":"Automated theorem proving practice with null geometric algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1730305$050C78E7-D4A9-49AB-A9D9-6828E421E061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97e6660170a3106bdc71a551e46738db77ff4e51","datavalue":{"value":"1468.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$64A2FC66-C717-48F9-BF5E-E24FA18F5C18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$1EA71683-123F-4F58-945B-B9A890AA9629","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d06c5f76fb66348577023713dc543c2934e806","datavalue":{"value":{"time":"+2019-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1730305$35FC0074-F6D8-4F20-91FD-2D70F3CB68DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$098742F2-2604-40A5-ADD9-ADFD1981C58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$1D4DA825-1F8F-4A76-BDEF-D17C4DE4C192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$B86D9482-5C3D-433F-B4DD-FE69B1875E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40bc7a19146c6389fd1d558a0ca183cd10cebf02","datavalue":{"value":"51N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$8FC6D853-2062-4B54-8E40-7408F7DF5B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db6a152f056ca6c2126f780a349c8fa8f93bdcf1","datavalue":{"value":"7032430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$E9F0905D-2BC6-4BB9-A948-ABF63D2C1C7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7131a0a818ed33da10f9a626a661923ed2f6b53f","datavalue":{"value":"automated theorem discovering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730305$21C55331-A31E-4C6B-B4E6-4FDE4AF1E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fffb89c97a37fcae9a06a55ecfe99eff8214cba","datavalue":{"value":"automated theorem extending","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730305$1A342214-0887-4AF5-9DD9-B5B550980D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730305$6F09FDFA-9B1D-4E44-915A-656024ACD518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80937d396ca55ee7b1758877054983e3fe6a32e7","datavalue":{"value":"Clifford bracket algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730305$506B5342-7942-4483-A3D7-61E6CE21C034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ad644d45db76acf9290e488de57dd0f1a65efb","datavalue":{"value":"null geometric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730305$E0C2A060-F4CD-491E-99FC-84CE1C64C8E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$F9E6EFB2-7572-4B51-86E8-D467F39382FC","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":"Q1730305$466F247C-8165-4888-A1EC-07538BF2DF14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe80924f66a14976243f5f57730618072b9ed1e3","datavalue":{"value":"https://doi.org/10.1007/s11424-019-8354-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1730305$6985E2BC-48ED-4482-8E2B-CB1412A5CAC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4500980976d9edf495a19b15a53aade0c640e02","datavalue":{"value":"W2914887001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$FDFEBE24-C03D-4A75-B7F1-E8ED78B93994","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$A171F0FA-B3A2-428B-8C8B-720E17671B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d80d10655647513f1efec0d8560effd4b94c30","datavalue":{"value":{"entity-type":"item","numeric-id":1125620,"id":"Q1125620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$1277C38F-075A-416F-A251-DD432D726EB0","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":"Q1730305$0047565F-024B-4D90-8AAA-D9C951B93B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900806f5904b0bba77da6beee1ce958e1365bca","datavalue":{"value":{"entity-type":"item","numeric-id":2807816,"id":"Q2807816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$B5E437F9-05EE-4942-B061-A5F4598175ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace2a1d8ac5c804328640d5b792ec5a72c2512fd","datavalue":{"value":{"entity-type":"item","numeric-id":4556040,"id":"Q4556040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$7F772451-5E8B-47D9-8D75-3CD948CE6B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c70446c74ab1a13dbbd555e5b0ab5dffaf37cd","datavalue":{"value":{"entity-type":"item","numeric-id":5301680,"id":"Q5301680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$CF4445D8-E84B-4122-9432-8EDE3AB6E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1541784f01219cf6e6565e0150d44e6446935e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4979425,"id":"Q4979425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$6AEBC575-B944-43F6-9EAF-58E3F0CA98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6fc65716ca53b4df443be754d1a7c89f6f684","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$8F193A30-4D3A-47C5-938B-DDB2C40B7170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ead3dcb82767f5365b1a825be8e613c6c20e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4657329,"id":"Q4657329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$655C5574-F7F9-42BA-B261-80890DDD0888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69548dadf6d440dadb8a97dc3cd646bf705442d","datavalue":{"value":{"entity-type":"item","numeric-id":3571256,"id":"Q3571256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$4B997E03-535E-4F43-80DB-63D94D7E401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1b733f7a0d258f59de47ce31e339c96bb4c956","datavalue":{"value":{"entity-type":"item","numeric-id":794307,"id":"Q794307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$14AD6A4E-9A52-4A13-AFDC-C86981B2387F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6592339069977c3f22d47df90da07c1fbd2337b0","datavalue":{"value":{"entity-type":"item","numeric-id":5445713,"id":"Q5445713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$205E7542-0048-4802-B14E-F75928D38A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b43d7c4f9114cac3e8f85ee900ea0dc7930b318","datavalue":{"value":{"entity-type":"item","numeric-id":2704220,"id":"Q2704220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$3E369F26-51DF-449D-A2BA-AD41DC96D51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfdb55890b168c035840893b3e0531cbea69b32","datavalue":{"value":{"entity-type":"item","numeric-id":4429034,"id":"Q4429034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$D1353017-5638-4951-B997-7B0764CB0DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf6e2557c4ca75e61e34e14a32ee8c16bbf6f25","datavalue":{"value":{"entity-type":"item","numeric-id":3155101,"id":"Q3155101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$5914563B-3DEA-499B-9203-1F4DAE2EB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea37fc842fbc8f60a8f5d3e2efb94b22c2559d8","datavalue":{"value":{"entity-type":"item","numeric-id":5690447,"id":"Q5690447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$B474DA2E-6611-476A-B80F-558387CEBF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7188a7e06ab53cba8c44b82e475f9510cd13f52","datavalue":{"value":{"entity-type":"item","numeric-id":2726334,"id":"Q2726334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$C0DB7503-ADA6-4C74-BF64-8ACDA3939B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa4578654b676d9183e6177d13529cae33a3a18","datavalue":{"value":{"entity-type":"item","numeric-id":5905498,"id":"Q5905498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$FAA10C14-2DEA-4A8F-BECA-DAD9DAEC637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c181066653ea2a7f554edd8557f0989ce8162075","datavalue":{"value":{"entity-type":"item","numeric-id":4979429,"id":"Q4979429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$4FAACDB3-CA25-450D-8499-1B6F043C8FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc5aa869f1bfefa4e95f3cbaeae1a5c4d216497","datavalue":{"value":{"entity-type":"item","numeric-id":5301621,"id":"Q5301621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$EC174169-302D-4811-8666-9825DCDE65A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc93a892b21b2a4898c5e22de88a29b8406e26f5","datavalue":{"value":{"entity-type":"item","numeric-id":3640383,"id":"Q3640383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$6EF64BD7-BFF2-4C52-A4B2-7180000161DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6211d9f8e4ddbf5c6e5977663f1113f02725bc72","datavalue":{"value":{"entity-type":"item","numeric-id":2753968,"id":"Q2753968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730305$B6356461-0344-4FF6-B741-5AE7EB12BED7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18d7a86ee25d0dbad678ee4832b456fed13bc8d2","datavalue":{"value":"Q128391737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$24A803E8-D016-4FFF-81A8-1FFA03CC64F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"079546a4bc2d3bf8639ff5149ad6c59c4efd9a0d","datavalue":{"value":"10.1007/S11424-019-8354-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730305$B30C9A42-9B97-4BF5-8DE0-38FAB20ED337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12ae3e83392588eea305820d2cbc4f36df92be0","datavalue":{"value":{"entity-type":"item","numeric-id":4979425,"id":"Q4979425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d430239d178eecb1ac37d672633337104059502","datavalue":{"value":{"amount":"+0.8085044622421265","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":"Q1730305$FC7D4655-8C63-4324-8DE3-282174EA3C47","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":"6643fc5cf84e669e4efc71b7c291ce396113d617","datavalue":{"value":{"amount":"+0.8022433519363403","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":"Q1730305$EF5549A0-5916-4630-80CC-DEDC37B344B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff9991137bf3d627ca9a41d2cb54cc272b82a41","datavalue":{"value":{"entity-type":"item","numeric-id":4934142,"id":"Q4934142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6784e5872e98df5fc93dc06107b4102df14351","datavalue":{"value":{"amount":"+0.7972419857978821","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":"Q1730305$601E7A42-C5C2-49FA-A360-3DA0E204AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b5553698cf44865bda3d6c75d05aa2117ed8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c752bf34076ad650320d0fee738d62bc7a0f3642","datavalue":{"value":{"amount":"+0.7968026995658875","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":"Q1730305$6E14B2BD-DD5A-4D68-95E2-19747CCBC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b534dceb2412786a14cd5f382c12eede37dfaf5e","datavalue":{"value":{"amount":"+0.7953201532363892","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":"Q1730305$C43D85E7-9D98-437A-AD2C-24CC994FF912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1730305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1730305"}}}}}