{"entities":{"Q2995120":{"pageid":3005844,"ns":120,"title":"Item:Q2995120","lastrevid":51230858,"modified":"2026-01-17T08:51:43Z","type":"item","id":"Q2995120","labels":{"en":{"language":"en","value":"Projective geometric theorem proving with Grassmann-Cayley algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5880420"}},"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":"Q2995120$F3A85342-F5BE-425F-A068-72690293ABF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8142357a0fed43ac7b67901decccd6527d013b49","datavalue":{"value":{"text":"Projective geometric theorem proving with Grassmann\u2013Cayley algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2995120$14499984-117F-45ED-ADA1-DF58EBE4B964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65ec944c483cb9b26599c8cc40a8afdedb7dd4b6","datavalue":{"value":"1226.15015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$02595948-31E9-427E-8824-FEC6D61605E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43a2150825876afa4064c5cada46a90b1afc87dc","datavalue":{"value":"10.1007/978-3-0346-0405-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$7974220A-B8EF-45AE-9D46-8AD45D09E4CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06ad7843969af1383c2fa09b97f2122395c672d9","datavalue":{"value":{"entity-type":"item","numeric-id":2995091,"id":"Q2995091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995120$C9A244DD-C81C-4095-93FC-8CE36D65D519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42a18fa7d0271c0247d4adfeaa502628e4f8c0e6","datavalue":{"value":{"time":"+2011-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2995120$E01AE936-78CC-44BA-8DA7-238D6DF1824A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e33166bf91b6ec5e4024288e5977ea76572ed6b","datavalue":{"value":"15A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$971FEBF6-8D44-4D7F-B0CA-F385AA952A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$6B6F7BD6-508F-4ADB-AF01-2887CDDA58B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1812e44d4a32fab66c9df026a619f2ada6274222","datavalue":{"value":"51A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$1B98C505-DE1E-41E5-85BE-C7E16F5F259E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$82A0822D-3AC8-4CFF-AA59-262F8DC002A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2271c01136a417bebbfd13247fc58a79328add","datavalue":{"value":"5880420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$B6A8F10A-EFD5-4380-A4DF-C087224703DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$D1791D65-FD17-41A9-92E4-3C4A2048DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c31b5e0d27c2f45211d4d568f9bd3999799f6","datavalue":{"value":"bracket notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$3D416120-E8FA-479A-B874-12D8330D22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf894966eb8a205f11b4c315d93017808f6adbf","datavalue":{"value":"Cayley expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$CC3BFCA1-7C43-49C8-9B21-B6050C4C2632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d78a7813b9f96215d012bde9a970f12a4a189b","datavalue":{"value":"Cayley factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$5ED52602-2F1A-4693-8B95-9730CF5D44F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe3aa1dd792f63a90fcbca98749251b7199c487","datavalue":{"value":"determinants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$0F4E8EE3-F781-4C68-BF45-A09F3D866E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"144a1280952c736769dc56ee87976e55679a7c36","datavalue":{"value":"meet product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$CF616BBD-69F7-4A02-B1A5-86AB6720A236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df467acc23a5bd0b42d9d1b06cee27453ef041b","datavalue":{"value":"outer product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$40A1C719-541A-478E-B9D0-75444B6EA8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012c324395dfc31fc7170f12fdb406ec3f05e0a3","datavalue":{"value":"Grassmann-Cayley algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$93C12BA2-A0A3-4A07-854C-69B06B2BE297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b993f33e8e59d58e29f898591c3938ad9e6e8cd","datavalue":{"value":"projective incidence geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$FE7AE4AE-99AA-4960-A1DF-9F08CB6444BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e42afb8c577875703b2389dba39f5eb2e74561c","datavalue":{"value":"Grassmann-Pl\u00fccker syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$7D49030F-D218-4298-A9E2-1341A2784500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dafb3b9f941084e8047d5ddd471fc5a1d7d8b36f","datavalue":{"value":"Desargues' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995120$151BBDC5-F7FC-4DCD-B7D4-DCB228A1B1EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995120$CD1EF84C-CF3A-4D0D-9D2F-3D55C414AC05","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":"Q2995120$1FDF4D3B-A3BB-4F00-8F7D-ACD3B8882B5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a2a6272dad9db010ef7999db030cfa59d774538","datavalue":{"value":"https://doi.org/10.1007/978-3-0346-0405-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2995120$684A6FDB-9022-4DB4-B6A0-419567ADAE6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b951a2b012b5636f7e0edf689594ccad8970054","datavalue":{"value":"W24170142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995120$9C4F5340-12B5-4CE9-9B9C-C9B973C92EF9","rank":"normal"}],"P1643":[{"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":"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":"Q2995120$FBF4C605-49D4-453C-AC57-0FECF858A898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b461a7b1e3567d271b2c033650f5b2fc95634533","datavalue":{"value":{"entity-type":"item","numeric-id":1426143,"id":"Q1426143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3fbc6a726f2a36727f028d4b8f57505aa2c668","datavalue":{"value":{"amount":"+0.8457815051078796","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":"Q2995120$8EA4FF1A-35D8-4283-AAF7-DA285483C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50815e7d96b445346fc2b2ff758ec87f0fb8f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4556040,"id":"Q4556040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d850f14c984a1927598758df4f48cbf8edf87b06","datavalue":{"value":{"amount":"+0.840262234210968","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":"Q2995120$BA798EC1-69FC-49D3-B9CD-3D3F0F53AE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f3d25d8549c0f96f66ab6a8d2a73cd7a7d29f4","datavalue":{"value":{"entity-type":"item","numeric-id":3837774,"id":"Q3837774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0f1053ffb571436d5722415b917aa461963f8d","datavalue":{"value":{"amount":"+0.8388530611991882","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":"Q2995120$95EB1B2D-600F-4DD0-BECD-8B436D99EF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a39fcd5ef7522ead3da88859a39ec062c6df251","datavalue":{"value":{"entity-type":"item","numeric-id":1426144,"id":"Q1426144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b90e45cbcbf3c5728c3bc23aae6cb7c0848e92","datavalue":{"value":{"amount":"+0.8053611516952515","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":"Q2995120$E1003378-AB42-4F31-B6BD-76D6D77B954F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2995120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2995120"}}}}}