{"entities":{"Q1640646":{"pageid":1651387,"ns":120,"title":"Item:Q1640646","lastrevid":71038872,"modified":"2026-04-13T19:05:01Z","type":"item","id":"Q1640646","labels":{"en":{"language":"en","value":"Formalization of the arithmetization of Euclidean plane geometry and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889329"}},"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":"Q1640646$6DF34BD1-A97A-4BE5-A0E6-2EB4733112BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7a5378c1255f1ebe02c9a06484e631cd35a0bd0","datavalue":{"value":{"text":"Formalization of the arithmetization of Euclidean plane geometry and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640646$83EAE44D-20C4-4607-BFF6-82B17050696D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8976e85c04d6c4add45ce9880fcf819b91d04f93","datavalue":{"value":"1394.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$322E878C-B4A8-4FB5-8E95-600031DAE5A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddf02221cc31b2f9ffa4aa27567f8090654d011","datavalue":{"value":{"entity-type":"item","numeric-id":1640644,"id":"Q1640644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$79378B4A-9D62-4EEC-9C75-71A3BE4EA4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f950482e0158b3733a9ccba3c0591e5b8c32d87e","datavalue":{"value":{"entity-type":"item","numeric-id":1640645,"id":"Q1640645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$02C2BC44-1229-47C5-95A3-25F2FDF3602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$1C90912C-AA62-4249-8D4A-26B6F84B788D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$F3C20585-FBEA-4136-9DC6-5A44333DB17C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1640646$4AD3CB7D-9518-486F-9104-8C444CE51EE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"befd6f5ed302c64db11e28d1383d1b7175c93be1","datavalue":{"value":"https://hal.inria.fr/hal-01483457/file/extended-arithmetization.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640646$04BDC42D-0B36-4294-8379-8207F218FC01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$0A8DEE14-6B6D-451F-9DAD-40455CD4523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$7CAD7C05-B9B2-4F38-81C6-23A04F5200DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$CE83DE97-5C9C-4309-B5BF-7F09D1CAE0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$E4231E47-B81E-4AF2-A1AC-56F761A6721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$F8BD3326-CAB3-4812-8298-411A4AC82008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d415a987ff82dbd6f434a8ca747728cf9d77637c","datavalue":{"value":"6889329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$8DD9D8A9-00C7-43AA-84A5-B9F5A005179C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$999A3DA0-187B-4666-9357-6B9105548987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$B9C60A98-4456-4736-AF1A-0D183C0CAF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$80773618-114C-4E2C-8E26-A4902622066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$C89D9989-A695-48EE-8269-E97B5168D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c2ba9a48ee3ab494bd2d3ec7dac4fd44e82be70","datavalue":{"value":"intercept theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$462D8396-E18C-41C4-9B2D-E80D1332DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1289b0dc106caaaace8cfb28ba4bf5745a42d8d2","datavalue":{"value":"Pythagoras' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$2D714897-9498-418E-A662-25E6E042E0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a0135936f0ae7132e716d8e48f819be6ff6773","datavalue":{"value":"area method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640646$9DD730AF-A2E0-404B-9CFD-4CA8CFB27D4A","rank":"normal"}],"P1463":[{"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":"Q1640646$13C10015-F7DD-4BF3-AEA5-959E8698C09B","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":"Q1640646$873DF077-DE1F-4BCF-9FEE-EEA1FB6CD48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97d7cc0b4df8bbc3ba9ede16de8204f49c9583ef","datavalue":{"value":{"entity-type":"item","numeric-id":25527,"id":"Q25527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$28A9396D-25E9-4848-AF82-278A2F9F9893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef50cc423c44138be22110bde4b56f83e61f992","datavalue":{"value":{"entity-type":"item","numeric-id":43953,"id":"Q43953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$71A1CF2B-E04E-4B03-AA24-E4C8B06886EF","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":"Q1640646$BFC94D5C-6A78-46B9-89E3-5A850FF2B0B8","rank":"normal"},{"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":"Q1640646$6B24BDD0-DC5B-4095-BCB7-3FF65370F2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9f198e68d76fbe465111bca4c53f6e9fff596ed","datavalue":{"value":{"entity-type":"item","numeric-id":19232,"id":"Q19232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$D8A2C627-81A3-4ABD-93DF-4590D2CB89E6","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":"Q1640646$53041E86-11E5-490F-A664-E56D7454E5C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5576bbe4958ed78ed89dd47dbc6f3a1c2dfb9e8f","datavalue":{"value":"W2739437798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$5339C596-2A76-4412-BAFB-B106C578B0E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4547b732f1e57d8765f117a731b478dde748e45","datavalue":{"value":{"entity-type":"item","numeric-id":2849504,"id":"Q2849504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$14FBAF8A-3FDE-4391-BFA0-859F36C50618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f5e90efe0f3d145d88f7814757a9d71dc1d0a3","datavalue":{"value":{"entity-type":"item","numeric-id":490871,"id":"Q490871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$6ABC01AB-CDC2-492F-B781-677684C764D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38383be6544c4bbb966b4913b30ffc7a974185f7","datavalue":{"value":{"entity-type":"item","numeric-id":2362499,"id":"Q2362499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$BDEEC3E0-4D41-45AD-A0EC-06433209115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d2f78994ed4b1c9ec1c2757da978ae2feec8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4304116,"id":"Q4304116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$AF51D998-72F2-4FC8-9412-6552797173AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324afc14ad4bec5335ee65b1d9f2e9ffdac350c8","datavalue":{"value":{"entity-type":"item","numeric-id":1353164,"id":"Q1353164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$52FA537F-7D38-47FE-8E7A-AF48AF1DB88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff90865c14a195cc1114ae57dc84bca8bcb30b","datavalue":{"value":{"entity-type":"item","numeric-id":3270252,"id":"Q3270252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$416FA942-CA65-4589-93E5-C148AFEDCCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ce3fd590f4e1e8b190609d9ae1cb8518e9d37","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$574D3CB4-7AEE-48F0-968E-B7D56049B528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b621ae7a796500fab9bf1938f7368cca8e38c2","datavalue":{"value":{"entity-type":"item","numeric-id":294370,"id":"Q294370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$09717070-D13D-4C2F-9212-515148BC9DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45ba0f08d8b9ad108013eb53fd86281684a152c","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$806AFD29-C6ED-4F49-83AE-20EECCAB9E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745f15a9e7ffc93972376fcd1631e67ff6011165","datavalue":{"value":{"entity-type":"item","numeric-id":2254093,"id":"Q2254093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$A8E36469-9CA4-4374-BD3D-39678543B116","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":"Q1640646$6C0EB1B0-4A71-464F-A466-6840CAAE453F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$CB42FB19-7E0B-4A87-AAA8-9D085C734035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bac5997d9caf8368bd9ff9b5cd7ba88aa6b14b","datavalue":{"value":{"entity-type":"item","numeric-id":4531863,"id":"Q4531863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$87CB3558-498F-4F37-8AFD-9EC6AAF4A81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f75fcb0495c3f7c17b1eca02195ed4a09e6bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2354917,"id":"Q2354917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$766E9D05-2EC0-4EDD-BCCC-95F8103F470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76513b57fb9e3d95c401433bccd07eede2b5e50b","datavalue":{"value":{"entity-type":"item","numeric-id":4789443,"id":"Q4789443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$8DD111C1-07F6-4E93-843F-0B74C67BF37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6392d71399b59cd96cef76735f66148c25250","datavalue":{"value":{"entity-type":"item","numeric-id":3102734,"id":"Q3102734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$12E1029E-A2ED-4AEA-AB18-62FE3B7303AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a892de2e56dd171345acde0bdcc7984183005d","datavalue":{"value":{"entity-type":"item","numeric-id":3100204,"id":"Q3100204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$BDF43845-0525-4459-ADE9-6CB9AF84DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50194ca3b7c353b09bf7a69176aa9a9155660faf","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$8E408B58-8EB0-4E70-9354-E35111843735","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":"Q1640646$7B2F01F4-DD88-4951-A895-B71AF450E04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2ae61992a0e5eba0a5e337babaa28b7d7cf92","datavalue":{"value":{"entity-type":"item","numeric-id":437042,"id":"Q437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$0315C880-7FA2-4E83-B213-9173750E415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c053e3d9e6beae6c3dbd6ebcc10a85ef46ed5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2354913,"id":"Q2354913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$767E2C7C-CB67-42A2-BB4E-677FF8BFBE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$B2A99809-8F12-42A8-BAF2-798CE9A302A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3905fa60af37c518e408579544cd1f73ac656105","datavalue":{"value":{"entity-type":"item","numeric-id":3997819,"id":"Q3997819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$F67F6646-34A7-46CF-86E7-ACFA41FFB007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11a7f4aa602843aa104a53c8a4082bb95da9cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3995527,"id":"Q3995527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$F9F3E81B-AED1-4DEB-8C69-093219C697A6","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":"Q1640646$34094E1C-CD99-4072-8C15-D4394ED15EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc182df8b38eb530d99faf472b90c793492a26d2","datavalue":{"value":{"entity-type":"item","numeric-id":5453489,"id":"Q5453489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$323B0F0F-CA90-4142-9B9E-733CDA2066A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b617c2dd5e5295ad651363f64aac5eb86414546","datavalue":{"value":{"entity-type":"item","numeric-id":294378,"id":"Q294378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$67A9AFA3-01D2-4D10-9E03-BC91510D6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae2d35c459fbc0411ed51bd0e4e7ee69185630b","datavalue":{"value":{"entity-type":"item","numeric-id":1281742,"id":"Q1281742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$5834D982-18B3-4C4F-A3BE-C70084F3D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60e716af9e1c6ecbfba5bd6a80ccaa502bc661e","datavalue":{"value":{"entity-type":"item","numeric-id":502700,"id":"Q502700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$0525AC02-8A6A-47CA-9E3F-40ABF40CB13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a656f6e0877176b7d6f33060f668dc6e5889397a","datavalue":{"value":{"entity-type":"item","numeric-id":3115114,"id":"Q3115114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$C28DE52A-3311-4854-8B2C-EADB2EBEEAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$7FEB2493-A521-49B5-81A4-C3E13D51E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$D51B252D-0D0E-45F8-968C-6B9EB2B16106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$EAE94F2C-E3C0-46DD-BC55-E763B84E2033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad41095da7320267c1e9f25ef88c7327526f4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3003235,"id":"Q3003235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640646$FB8E6FF1-3CAD-41C8-8B18-9A618C18598A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d934891a6965d1517b8f4121794c2895eaff709c","datavalue":{"value":"10.1016/J.JSC.2018.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$2811E652-76B3-4383-ADC7-EAF3EAB0C368","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1c5af0d582d22606beb9057274e3f4a26054fcf","datavalue":{"value":"Q130021948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640646$8F0DB1AF-482F-463F-B495-512D153B7918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937ede94f6e647c0375842053f6e0b5b222fa6bb","datavalue":{"value":{"entity-type":"item","numeric-id":2362204,"id":"Q2362204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac8814a206442a96ef8d3c4e896010d0e8e0b8d","datavalue":{"value":{"amount":"+0.8064300417900085","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":"Q1640646$94DB04EF-2567-4B2A-B8DB-69D35BC56110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311de376cb7ff80a749fd94f0f7c89068deac6d","datavalue":{"value":{"entity-type":"item","numeric-id":5453489,"id":"Q5453489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e41c75334d8f2ab5de0da4df58ea176e0ac8e40","datavalue":{"value":{"amount":"+0.8006687164306641","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":"Q1640646$61616C01-948A-4F35-B2C5-0DF32208FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54bed5461dfeb3ada4aeb652d634bd759c55c96","datavalue":{"value":{"entity-type":"item","numeric-id":3003232,"id":"Q3003232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17af5ea99964c3f058186362812a739bbd16302a","datavalue":{"value":{"amount":"+0.7711018323898315","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":"Q1640646$13097820-96DA-4DD9-B00C-ABC5B7585F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8b674cedb8bc741aac89084d00225dcbc609dc","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5c9e1153ecb1de82b44a2d115cde4248d68100","datavalue":{"value":{"amount":"+0.7668494582176208","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":"Q1640646$FD9F423B-9F17-4588-AB9F-3733C7F13968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff1887f6352aa81e4dd32e5a64ee0a7e16494b4","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff51e24fea77f6078705fb8b35671b376441623","datavalue":{"value":{"amount":"+0.7650395631790161","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":"Q1640646$94BAD312-5043-478A-AFBA-ED2CAD11FDDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of the arithmetization of Euclidean plane geometry and applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_the_arithmetization_of_Euclidean_plane_geometry_and_applications"}}}}}