{"entities":{"Q2631964":{"pageid":2642707,"ns":120,"title":"Item:Q2631964","lastrevid":53426147,"modified":"2026-01-24T22:51:19Z","type":"item","id":"Q2631964","labels":{"en":{"language":"en","value":"Two cryptomorphic formalizations of projective incidence geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055782"}},"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":"Q2631964$5F64676E-8082-4876-942E-096E412A1EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b73ae25ad40bc88579ca847eadc6b39d55d0b928","datavalue":{"value":{"text":"Two cryptomorphic formalizations of projective incidence geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631964$E161B640-498B-42E8-97ED-433357A0ADFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c43224e5d6c5dab63fb2bc55b8e640bac2c15fa","datavalue":{"value":"1415.51007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$8FE15A67-D971-4533-9D13-F2BDFA18541C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$352B8308-038F-488E-A02A-46047C91818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f67aad00a911cdfd4a5f73b3962a1f5be1f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":294371,"id":"Q294371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$6B131D17-BD83-4A80-B1F2-9EAFA502C046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"296b44c0c7487db7cf7567934fe97965dd3e319a","datavalue":{"value":{"entity-type":"item","numeric-id":620244,"id":"Q620244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$CE90F3FE-F0AC-4954-B0FB-92CAC0AC914F","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":"Q2631964$D6C39D4D-5D68-42E0-A6F5-03B54CD5AC34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892d61c8fad68bfab9f26cb162b50f4ea172c31","datavalue":{"value":{"time":"+2019-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631964$1DD31D03-EEB8-4688-9142-F49FDEC8AD31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00783b9116a1ad6dc25f836a36f083a8fbc29566","datavalue":{"value":"The authors formalize two different projective geometry axiomatic systems in Coq, describing the first in classical terms and the second in terms of rank from matroid theory. They prove the equivalence of these two systems in two and three dimensions. The significance of this result is that it allows for further automation for the proofs of projective geometry theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$ACDB9EA9-C6A7-4659-BD9A-FFF64CD8B964","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4d4f5c569840156a56e65235e07ebc0bd6172d15","datavalue":{"value":{"entity-type":"item","numeric-id":199027,"id":"Q199027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$C2CA64AA-098E-4DC7-BEE5-5026B78EC635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"97436ffec0c1cb82ffc805c68f1388491dec22eb","datavalue":{"value":"51E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$21951B5D-D4A9-441F-B9E6-0EE8423ADE05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"003c7ad5b834657892984f026041cf58db8738b4","datavalue":{"value":"7055782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$D3B90305-78D9-4D14-81FE-F65399D9578D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$2229EB08-19F9-4CE6-A7E8-878C83B6FB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$7CDFA7F8-CCA0-46DF-A481-33490836F131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$E78703B8-1124-4CBA-B6EA-B8E83445DDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e172629663780e971698d7d841046893adba3be5","datavalue":{"value":"matroid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$685F3AC6-2423-4F54-A360-243EA5C72153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b993f33e8e59d58e29f898591c3938ad9e6e8cd","datavalue":{"value":"projective incidence geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$FAF65677-0C87-4603-BBFF-964DFA5C8E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8a676b8b5780a74124ccd72534ca3a0f39014d","datavalue":{"value":"ranks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631964$08A54989-D105-4496-AC22-AE2599ECC947","rank":"normal"}],"P1463":[{"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":"Q2631964$C3EFD7B5-C667-4BD8-A944-84E18BD78C57","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":"Q2631964$E1FF49BB-42B8-4557-B88F-2897188F3754","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"765d3b92148711fe2daadefa90a7a59198a6a57f","datavalue":{"value":"https://doi.org/10.1007/s10472-018-9604-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631964$8BF15F26-5820-4626-BBA7-D99EEA63EDF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f69f02b104c20acad1b40be4e8e7211fbd196c","datavalue":{"value":"W2898203788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$E03F6528-5FA4-4FAC-89EC-3779F8D0327D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd2735cf5d37928883c90399f145ab6504bfcce","datavalue":{"value":{"entity-type":"item","numeric-id":5255539,"id":"Q5255539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$4EB36A6C-F7FE-4B4C-BB1E-A1C036E88F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd21664f7486d9fb3ffe2d0d2bed84c1a486b3e","datavalue":{"value":{"entity-type":"item","numeric-id":4354373,"id":"Q4354373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$C9764E80-2DFA-4499-A191-13A811A18301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$36F8FD77-F414-46C3-91BE-2BB5ACEC9844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56561891c6904c5a2dfd08a9117937b91fb7bf32","datavalue":{"value":{"entity-type":"item","numeric-id":4763522,"id":"Q4763522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$B15BAE52-013F-467F-8FAC-ECB10FC303D1","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":"Q2631964$42B095FD-20CB-49CD-92D8-A33C658BC3D2","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":"Q2631964$8A8C0CAD-FE57-4D19-AAA4-A65026ABE13B","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":"Q2631964$2B23ED63-2B12-4F74-8855-F8D5292C02E5","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":"Q2631964$8ABFB463-1BD1-4C54-A880-3D7AD5D0C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99214f1b282e093c70d8ccb0221583a7592cb99","datavalue":{"value":{"entity-type":"item","numeric-id":1426143,"id":"Q1426143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$661033C6-C918-4FEE-8D52-1F26FB9D4687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5296a1d08321e3fc28ff882325d64dbe74172a0a","datavalue":{"value":{"entity-type":"item","numeric-id":3003232,"id":"Q3003232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$4E1540DE-C887-4FA3-9580-F5550B4741D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc813c3420ba0b42fe4bea1f4208b1eb74e62860","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$1B7A8E15-76FF-47B6-98B5-258EF938D745","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":"Q2631964$E1E44D87-3729-4322-96BA-6C44A21AFD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc41f2b2a8aa0d1d1987dc920f043ef4c6d51ab","datavalue":{"value":{"entity-type":"item","numeric-id":3422215,"id":"Q3422215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$70743991-0AFB-416F-9D3F-222247E5164E","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":"Q2631964$ABEAC694-8A00-4B04-9DC3-74010C124814","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":"Q2631964$7EA42D80-643E-47F9-985C-1260C525A7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d683fb2836ef8e0f33b304608f2624c55a5cf0b0","datavalue":{"value":{"entity-type":"item","numeric-id":5484515,"id":"Q5484515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$4BEB3D0E-D1F1-409F-9916-C8F211BFA0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802a6377dd008552b124c6d19a6021910a2f5bca","datavalue":{"value":{"entity-type":"item","numeric-id":1924746,"id":"Q1924746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$8D9D5632-9281-49FC-9889-37CD09480E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$7538D2FC-7024-47A0-A180-A49B9CEC87D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$CBAB5C9D-C57D-40B1-ACA7-0DF9858B6B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631964$BEC5F33D-DE07-424A-BF66-DB6B32591D63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e77c04e1b1e50dc19945c9bb2a31e201eaf3d08","datavalue":{"value":"Q129049182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$C29DB6C4-0149-412A-88EB-566A96FEDFAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4624dbaa84864eb2231dc8f26c0cb1963cb63d66","datavalue":{"value":"10.1007/S10472-018-9604-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631964$26B53707-3220-4714-9C23-ACFAEBBBC5CD","rank":"normal"}],"P1643":[{"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":"acbe3b0a75dedd927e19e056553f8659a32d1cab","datavalue":{"value":{"amount":"+0.886109471321106","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":"Q2631964$C0DD11C5-0410-4F93-8E5C-8EEBA1937E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbf9b5719c13218db616f95f2a4a5f325af358f","datavalue":{"value":{"entity-type":"item","numeric-id":6108812,"id":"Q6108812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae89ea28ad173800b9376ee3bc50776c3bb3d62","datavalue":{"value":{"amount":"+0.8546350598335266","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":"Q2631964$74604F21-F5A1-44A4-B876-A5A1FAC4A246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3648fbe773481fa8147015af9b6ede0a3db1ed7","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fa3d1073eb905e56df5ac73d448d3ca804b14f","datavalue":{"value":{"amount":"+0.8467321991920471","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":"Q2631964$F67F29CA-A80D-4629-8063-D02E33CEDB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef53f70cbd81d284a07ee397ebb0af124af9fd5","datavalue":{"value":{"entity-type":"item","numeric-id":3102734,"id":"Q3102734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58e1963de5d3201264b8ad59342cdec506b84ac","datavalue":{"value":{"amount":"+0.8360019326210022","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":"Q2631964$93C45B89-45FA-435F-869A-BD59CE16DD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac2b964c4fb8308af8ebc827cd48f5ed10e00c8","datavalue":{"value":{"entity-type":"item","numeric-id":2333313,"id":"Q2333313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c198c9d84f235c65e1801108f4b2ef24f32212c4","datavalue":{"value":{"amount":"+0.8137697577476501","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":"Q2631964$9C33394F-81AE-4B1C-A4B1-C026DF33C663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631964"}}}}}