{"entities":{"Q6149590":{"pageid":13283897,"ns":120,"title":"Item:Q6149590","lastrevid":39729240,"modified":"2024-12-30T17:55:06Z","type":"item","id":"Q6149590","labels":{"en":{"language":"en","value":"Self-evident automated geometric theorem proving based on complex number identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800191"}},"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":"Q6149590$77439A45-D60A-4FEC-A3C0-C5AEA4C0D746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9acdc185f0c2dcd4fb9a55aeb32ebf4c1c4ffc86","datavalue":{"value":{"text":"Self-evident automated geometric theorem proving based on complex number identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149590$AF703215-D65B-43B0-8676-486285A8E22C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34be462a85a13344000bb32fa7ecda66c8049ef","datavalue":{"value":{"entity-type":"item","numeric-id":1730302,"id":"Q1730302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$3BA81FB5-8474-4B20-B15F-59D6A35208AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$297C8508-63C0-4DE4-BBE3-1D3B76DFAF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe44d5804464ec237c5e16a7711c19e5971817e","datavalue":{"value":{"entity-type":"item","numeric-id":1730303,"id":"Q1730303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$2F01B976-253C-47DD-92D4-1E6D8A43808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a5307bdf81aa48a085b05420cdaee5c30b1bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":6149589,"id":"Q6149589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$D768F0C4-97E2-4B82-82CD-6EC73E6FAB45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$9E0D9D85-06CF-44DF-A3A2-BAB02E0DCB4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-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":"Q6149590$6748EC40-C5D1-4D63-BC5D-F761CDE157A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149590$630C3144-2287-48A3-8F90-F94A9AD5C283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e1c24659a822313998fc991b0a23f846547ae2","datavalue":{"value":"7800191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149590$5AC250C1-9362-4E6C-985A-A19AEB7F48D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6d9018cd030dcaca0e081ca6eaf09e64a5d2dbc","datavalue":{"value":"complex number identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149590$C043EBF0-8846-42EA-B565-C29225E2B96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53621d6200f0bd952890f1a37da07d5df8506f88","datavalue":{"value":"self-evident automated proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149590$BAC18F3A-CE8B-46D4-BE80-F268B8319457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fe95d456b8dc8e6d03d4a1e7472c825d304c14","datavalue":{"value":"complex number geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149590$8031F33E-89BB-4E17-9F18-48B0D362BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d60aa1467e78634d3075181207ae2357c6a4a41","datavalue":{"value":"geometric theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149590$494FCD3E-DF78-4056-B472-2B8F98ED3887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872b0d399d975c89f8104764da44c03ea1770c54","datavalue":{"value":"elimination method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149590$8B534045-E3C0-4DB5-AE11-1CB11D813024","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":"Q6149590$171ED8B3-F5DA-40A0-AEEE-342571F0E94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c0c361a2e08f90d2e229cfafa2a530b48f5d684","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09688-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149590$CF08095C-588B-4569-B407-4ABE69C89A3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1539849137649caff85d7bc0341b63389660a439","datavalue":{"value":"W4388829070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149590$90F5C8BD-A894-460A-9B71-835608D4843F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42feb50c35f131c388fbc4b9470567d40e53acb","datavalue":{"value":{"entity-type":"item","numeric-id":5187229,"id":"Q5187229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$D6A3D417-BA8A-4971-8D52-313048E004FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b6a6494f4268d5cd8677780cb6f64cb541b2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3500457,"id":"Q3500457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$9E6FBFFE-3C3F-434A-A39F-6AFC1B6D4EA1","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":"Q6149590$E6B45E8C-BD72-4FC9-88A5-73F3D6140B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b30c90fa1d5067ebabf91e25521a8fbf37c836","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$0CE20565-EA8C-4E0D-ABC5-BB182CA895C5","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":"Q6149590$E0B684AE-D3EE-4AF9-9D49-0DF2F7D2E3D6","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":"Q6149590$D5314F7B-BB9C-4355-A000-D82BE517B17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd54c439cf61ddbcffdd270224937acc2274e55","datavalue":{"value":{"entity-type":"item","numeric-id":5961493,"id":"Q5961493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$A02213DA-3B25-475B-9D88-6F3D5EC74564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$D6AAC418-775D-4861-BD5C-4A5949E4A1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5107dc2805878ace8909c9d9b3a5ceeaec8135f6","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$0E891749-ECC2-49EA-A4E1-8DC8BE782002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ab6407e3e8d2aca35053b3948776c2e160fc3e","datavalue":{"value":{"entity-type":"item","numeric-id":5709343,"id":"Q5709343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$5159524D-3CAE-4BF0-B121-C260CC018FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43c6f3b028be9b9e872a740d5d0ad6e74c3cad1","datavalue":{"value":{"entity-type":"item","numeric-id":2666956,"id":"Q2666956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$36EF5110-E157-49FE-8C28-0A8B6E71E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a0ff737963a84613635907062d97dc9db6725c","datavalue":{"value":{"entity-type":"item","numeric-id":4681219,"id":"Q4681219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$9E780593-6440-489A-B3AA-14079DCEFB3F","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":"Q6149590$17AA6D95-5DA7-4D85-9847-D303B44091C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c395eb55cfb03ffd7251eaa8b73ba0ffa7ba2d","datavalue":{"value":{"entity-type":"item","numeric-id":2716051,"id":"Q2716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$52549513-3B1A-4B43-B787-B3908621BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee50e55e0ad8e6c5411dc0b85879d3e4f7e68dca","datavalue":{"value":{"entity-type":"item","numeric-id":616846,"id":"Q616846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$B48CBA3F-633D-42D0-BA66-45D51EA8D5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926cab7cb77d4d97379b0dafb641faa9cd4e8743","datavalue":{"value":{"entity-type":"item","numeric-id":1730304,"id":"Q1730304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$2F3C0D11-DB16-4C22-9DE3-C310B6754AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbcdfd10327f75105a31470fe1fdce7ec44e381a","datavalue":{"value":{"entity-type":"item","numeric-id":5064252,"id":"Q5064252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149590$CFED18B6-30E9-40BC-907B-BEDE4E84366D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bc17a322866c11f22499ea2cc57ee0f81fd61f6","datavalue":{"value":"10.1007/S10817-023-09688-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149590$3D309560-2920-4408-BEFF-C7746807D651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149590"}}}}}