{"entities":{"Q1924746":{"pageid":1935488,"ns":120,"title":"Item:Q1924746","lastrevid":46404399,"modified":"2025-12-24T17:30:33Z","type":"item","id":"Q1924746","labels":{"en":{"language":"en","value":"Mechanical theorem proving in projective geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937249"}},"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":"Q1924746$DF1FDB3C-46BC-4093-B8D3-DA8B915B3B8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e8ec3a4bbe670ece3ef80949b9a0dd35d5e0aae","datavalue":{"value":{"text":"Mechanical theorem proving in projective geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924746$FFCD38B3-E58A-422F-B62F-839D6E0C37EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6141663304ba2629aa1f020ced632c2d2b34a71c","datavalue":{"value":"0855.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$326AF121-8B2F-40A9-827E-22D81A0C9079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8765fffa79e6d0d8713e73074bc3ffc4bb4488c9","datavalue":{"value":"10.1007/BF01531327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$009822A0-0BB1-4E8D-99EC-C1E4338E586A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c09acb7bd5e8f20a6e5345ac36fdd9fa211f2ded","datavalue":{"value":{"entity-type":"item","numeric-id":688010,"id":"Q688010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$73EB5AE6-F5E7-42F5-9341-266506D4DB00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$4F594D03-004C-4567-988C-CB143283F9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3c5b33befbe2f43a6f5872dffca9bfd563ef1e0","datavalue":{"value":{"time":"+1997-01-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":"Q1924746$11180688-6B63-4AB9-9FCE-C15FAC46058D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$CEF6066D-0D4C-493E-B4EC-6332A7769005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e0e8c7d6615f164a0f34e5ca0ec887e89f48671","datavalue":{"value":"51N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$1501C7E4-3331-4609-89CA-9E068C444745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b48569c7e07482fc400c68abf9e11bffdf108f56","datavalue":{"value":"937249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$77DEB155-1687-4BD7-9FE7-A32D15CE47CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924746$2C2D41B0-045D-4194-89F6-B9AA4AE0AE4D","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":"Q1924746$067C2AD5-3BD1-4F0A-8A72-1A4A4D482AA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"529c02be161cd7c24197c67d6e7b62bdc1e3f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4003411,"id":"Q4003411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$99140ACF-B059-4BFE-9122-BEB4295E4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd00aa591946abf19d2e4ea9d8f4453f1c7ecc","datavalue":{"value":{"entity-type":"item","numeric-id":584273,"id":"Q584273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$7BC62175-BCD3-449E-9207-ECE539D772A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65f64c6047672b2018fc18117854dce4aa59484","datavalue":{"value":{"entity-type":"item","numeric-id":912857,"id":"Q912857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$3FEC288E-10A0-4CEF-BC19-9BE2A6FED9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e85d77d0e56749bfd40b73167fd1737febe3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1187653,"id":"Q1187653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$8D7D4E3D-44B0-401F-A845-D3B16CB46496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb2d810165ba1aa28b136943a687bb182ab1891","datavalue":{"value":{"entity-type":"item","numeric-id":1102974,"id":"Q1102974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$49BFD655-04E7-4625-A93B-567BD4E07CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$2F3E73D3-8C57-41A1-A3E7-CD7E1D81A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be044367029598c27d0840fa7de39ad3281546a","datavalue":{"value":{"entity-type":"item","numeric-id":3798768,"id":"Q3798768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$8E711331-7615-4C8F-924E-663DF5A9059D","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":"Q1924746$870333F2-53AA-4A6F-A380-B0578EE30DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$4CACFA75-DF11-427D-8DB0-93B0CD328F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7132da9ef475a166b0584ad54f54bdb6badc6c25","datavalue":{"value":{"entity-type":"item","numeric-id":1176390,"id":"Q1176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$B4D1C195-7875-4D02-8E5A-4ECAE22BACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4932f6bbc47293d25c2cebdf53a7704f5916200f","datavalue":{"value":{"entity-type":"item","numeric-id":3753015,"id":"Q3753015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$3DDEAE46-CC12-4953-A998-7A9B494921C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad81bfb6a80999a6e036ada21f80c00e94b2a1c6","datavalue":{"value":{"entity-type":"item","numeric-id":5461825,"id":"Q5461825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$EF27DCA6-0629-4285-871C-9F71DAA9237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5415180a967c2ab79b0dd9a9d7057bc79bcd590","datavalue":{"value":{"entity-type":"item","numeric-id":3861411,"id":"Q3861411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$E991B9D7-1AEE-4582-BC4F-7A203795B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864b223138308b646883ace202695484a3bcee2d","datavalue":{"value":{"entity-type":"item","numeric-id":3913392,"id":"Q3913392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$6072D2FF-0BC3-4754-9273-4E58A6E8E4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d837da3cf56f5e34c8fb6cdbb587f1f17f3e0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1146677,"id":"Q1146677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$5764D5A7-04F6-4F32-B39E-B720A70BDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8e64ab25b27f6aec86a253bac0f7feadae4f85","datavalue":{"value":{"entity-type":"item","numeric-id":3751649,"id":"Q3751649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$C68A9718-D77E-4684-A885-90AE17CD7288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3e9b1d13876734079f159e6e2f0262a628534d","datavalue":{"value":{"entity-type":"item","numeric-id":5721639,"id":"Q5721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$43842E06-269E-417B-9D2A-9161BE07F0FB","rank":"normal"},{"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":"Q1924746$05E2C5A2-DC36-4BB5-8F31-C92F03844704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85955347d8c66708000197a9d2c3d5bf0dcb3fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5826205,"id":"Q5826205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$EB0F9E43-8F53-46AB-8EC7-88ECBA746C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f283ea941f02cd4d2640a90a5464b6c0a8c2bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5768487,"id":"Q5768487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$5BECFCCA-54B1-4BEE-BF1D-3E647B2CA2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8d0d853ee4fe79d770a3d1c53c66a612d939ed","datavalue":{"value":{"entity-type":"item","numeric-id":1090932,"id":"Q1090932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$91A36A5A-26AF-41A7-886F-B27206A4F929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56157a7b8d92a13a1fe2f28d50e6ea88e436202e","datavalue":{"value":{"entity-type":"item","numeric-id":1108576,"id":"Q1108576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$FA9E4E36-6692-435D-BB84-DAE9C91C0E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa341c30f7a2d17a5f9edb3e85b5afa8294fe7c1","datavalue":{"value":{"entity-type":"item","numeric-id":1176393,"id":"Q1176393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$B26F6BE0-BFC8-4BA6-BBF4-39FBDF431D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8dbdc94a31d8b56f3c9146add68e7008b9b329","datavalue":{"value":{"entity-type":"item","numeric-id":2639107,"id":"Q2639107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$9CF84A9D-E197-42CF-BD36-03F9110B6112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea026168ee40722fbadcace1c780d00d21d93ee","datavalue":{"value":{"entity-type":"item","numeric-id":909717,"id":"Q909717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$8458F684-1D67-4BAA-B246-BAE51BB88D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4889311f5273c626b32a2047b381f0a1ea6039","datavalue":{"value":{"entity-type":"item","numeric-id":1176388,"id":"Q1176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$E0F6E5FF-FFC0-4109-AB94-357A6C111C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$D577D0EA-0C29-4926-848C-CFE04677F13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839835f7f2e97585c5e3f2eb336c139c70b60a34","datavalue":{"value":{"entity-type":"item","numeric-id":4058975,"id":"Q4058975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$BD6A2438-7C8C-4D5F-A5E4-8B5D628CD027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7453d4d38ca4402de21566867c884a85f493b57d","datavalue":{"value":{"entity-type":"item","numeric-id":1176387,"id":"Q1176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$D94254F9-4725-4B6D-A1D5-1995AFD4A818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8883c88fbb79a924ea74e64e1406a56f4f1747","datavalue":{"value":{"entity-type":"item","numeric-id":3330041,"id":"Q3330041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$786EC614-3EED-4A76-ACA1-47567F81E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490f8cc9bba78f72f7c3ffee7fdf68d548b63e57","datavalue":{"value":{"entity-type":"item","numeric-id":3700869,"id":"Q3700869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924746$86100303-BAE0-442E-8C90-2A2A58949B82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c343c4d6b03c227fd2da9aada3977cf2b615bfc3","datavalue":{"value":"https://doi.org/10.1007/bf01531327","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924746$224023B3-89D8-4120-8148-07C455C9A394","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c48923bce6146dc399b96e8de5d656b0eb0d1bc6","datavalue":{"value":"W2128980051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924746$E7E39662-D9B4-4792-95DF-B995B4F88CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112bff3de7fba1e4a6400d24d67646b1c361f62a","datavalue":{"value":{"entity-type":"item","numeric-id":2725960,"id":"Q2725960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f26e97ce0944b09ece8d5614371acad496f516","datavalue":{"value":{"amount":"+0.8649465441703796","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":"Q1924746$47BF1655-6D6B-429F-B3AB-644700EC0708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1d8b144f9aec17528811b7f21f0ef19ab21185","datavalue":{"value":{"entity-type":"item","numeric-id":1176391,"id":"Q1176391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db901a7f2a195e928cc22697ccf7822afd19528","datavalue":{"value":{"amount":"+0.8404661417007446","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":"Q1924746$4E6F5581-D434-4F51-A6D2-48E92BF8E662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dccfba54576c15bbed02ebe5d8ceaebff273a61e","datavalue":{"value":{"amount":"+0.8333370089530945","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":"Q1924746$9662D317-3252-462D-8414-FE854E240379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1803c273959454963c052e29019cffaa49ecd129","datavalue":{"value":{"entity-type":"item","numeric-id":4670511,"id":"Q4670511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e13c30673b74407a9d549142bbffb98b74bb55","datavalue":{"value":{"amount":"+0.8310158252716064","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":"Q1924746$6CBE0735-88D0-4B9C-810D-2EEB762D3A39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924746"}}}}}