{"entities":{"Q3102734":{"pageid":3113449,"ns":120,"title":"Item:Q3102734","lastrevid":85777799,"modified":"2026-06-03T11:28:58Z","type":"item","id":"Q3102734","labels":{"en":{"language":"en","value":"A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979323"}},"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":"Q3102734$870A08EC-4190-4671-9823-DC71DF7FD47D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13878ccffeff21382df276b80eba51cc4bd25bc0","datavalue":{"value":{"text":"A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102734$873B8E42-A006-4CF3-BC92-2BF4896AB81C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db93189c603f018e18910e59f5819569a98c88d5","datavalue":{"value":"1350.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$CCE6BA55-67AD-4BE5-9379-E08FBC0C4428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8adc4a1c10d14185bf437f6e8363224aec58b002","datavalue":{"value":"10.1007/978-3-642-25070-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$9F359265-D171-4178-A46A-6396D6DDEC14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c93a6fc03845bdef95cfa48c77ad003a9cb0f14","datavalue":{"value":{"entity-type":"item","numeric-id":742359,"id":"Q742359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$26608BBB-B400-4B66-B4BC-C63545D8429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$16607297-3475-4B57-9A36-E3DA6AA50091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$0A33B727-2F4B-4495-8563-CF87F56916E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102734$C5D9D92A-9C6D-40B7-8897-4AFBBE9B20A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$C953B636-804B-4644-A0FF-8B4D4A09A9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$CCE5EEA4-66D5-4B2D-9EA4-C1401B1FBEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08240126a81e33f43f6f0d84216dc8557b00da58","datavalue":{"value":"51A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$0790C10F-DD30-437E-9BA3-B8ECF01238C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f260c914efaa87c026b452505031c2814eb2837f","datavalue":{"value":"5979323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$244D4692-887F-43C4-9849-E25A417352C2","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":"Q3102734$2592691D-5166-449E-BC23-39EADFAD1121","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":"Q3102734$2D7247C2-7324-41C0-98DB-ADBEBD270C19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f21cb786237dc5173ad5e987f976fefcd9435616","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102734$3CCE7E4B-690D-44EF-9EF0-BF2E689EAB0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"347cf4eafdb8233afdf5dba3a693de87c700205d","datavalue":{"value":"W1523528291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102734$193E8B11-5D7F-4AED-BC72-76E5AAEA2562","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0de06cb5986097ea663294554bb6e86d6ba10b","datavalue":{"value":{"entity-type":"item","numeric-id":1071093,"id":"Q1071093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$A48B6C37-CA0F-458A-A912-A6277CFA35B7","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":"Q3102734$3E80A485-E71B-41D3-94FB-A069C41BDD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0206b73160e7d5b902d28e5116f8987fc9332d6","datavalue":{"value":{"entity-type":"item","numeric-id":5690444,"id":"Q5690444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$852F431C-4285-4ED1-AECE-C95A55765EFE","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":"Q3102734$D51EE0D9-7680-4F06-9A09-5BEA2C9AFB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcd8cc58e789784ce1ab59c94752ad99ce847ad","datavalue":{"value":{"entity-type":"item","numeric-id":4292176,"id":"Q4292176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$392E5443-CBF4-4864-84BA-BECA41533759","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":"Q3102734$12B42B69-0BDF-49E8-9215-4654767C7CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c151551be04caf342fdb87453ac7871e1ee9b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5902026,"id":"Q5902026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$D17B032C-B204-480A-9B33-936422DF52A5","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":"Q3102734$195ACD86-491A-4A3C-B0B3-1C8947A8731B","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":"Q3102734$1A329C19-2A3C-4FD6-A765-AC7532EAF255","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":"Q3102734$9C15B262-A6DE-474E-A684-542FA5E5315F","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":"Q3102734$6E2F633D-576C-492E-A7A3-DB38A84C1887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff860f4779333f7fa1c8fc17b5d8c90ae893535","datavalue":{"value":{"entity-type":"item","numeric-id":5906433,"id":"Q5906433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$66BA6479-EE30-4F4A-9B75-B8369A405CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0709714b70fc049a80213b75594f442cbf6f070","datavalue":{"value":{"entity-type":"item","numeric-id":5690441,"id":"Q5690441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$ACCF22D6-B6CE-4627-8C90-7B9D7B557BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a97701b9f2605face92ec38f347ff4f26951f4","datavalue":{"value":{"entity-type":"item","numeric-id":3837774,"id":"Q3837774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102734$4D6F52AD-E672-4B9D-925A-738827473775","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0583856e3bdd33669ff6caa08619c21612f139c9","datavalue":{"value":{"entity-type":"item","numeric-id":2995120,"id":"Q2995120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b31c22cf0a981bb9a0ffb3bb8f69d9c9144c7f","datavalue":{"value":{"amount":"+0.8503865003585815","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":"Q3102734$E7559F5F-A99F-4EA7-A745-790AFCB9DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bf28bfe52028ed618bbaa8952574102140b299","datavalue":{"value":{"entity-type":"item","numeric-id":2631964,"id":"Q2631964"},"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":"Q3102734$15B6E045-B943-44F7-B2D8-FCDA40940421","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":"22ea6646cd3c73747e0411babdbf1e2bd080c238","datavalue":{"value":{"amount":"+0.8073019981384277","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":"Q3102734$23F7D4A8-60E7-4AC6-92A0-22B6139FA2D2","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":"a00ca162a53d6bff9251fe166899f919971459fd","datavalue":{"value":{"amount":"+0.8064647912979126","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":"Q3102734$5C277ED1-3F1D-4C3C-8166-4BE7AB98159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfc612fa3980070fdd53a2cb4ca179e44861c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2128117,"id":"Q2128117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04877997fd09c5cfa9d3a169949f0ee0bfad2fc","datavalue":{"value":{"amount":"+0.7772716879844666","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":"Q3102734$4BD4A74F-576B-4C61-92A1-0F3B7C3767DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry","badges":[]}}}}}