{"entities":{"Q1580762":{"pageid":1591502,"ns":120,"title":"Item:Q1580762","lastrevid":72244716,"modified":"2026-04-14T03:36:07Z","type":"item","id":"Q1580762","labels":{"en":{"language":"en","value":"Three theorems, with computer-aided proofs, on three-dimensional faces and quotients of polytopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507685"}},"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":"Q1580762$5B565CFC-A4DE-47F8-B615-2AE1196C49D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cd37d364d91f9a76984f582c3481a923cbc5363","datavalue":{"value":{"text":"Three theorems, with computer-aided proofs, on three-dimensional faces and quotients of polytopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580762$24644C64-91EE-4C44-B084-54103CA6D291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91fdc2faa2984ec78b8dd77880c40b95f51afe45","datavalue":{"value":"0961.52003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$07DC0AD3-E7AE-4BD6-A045-8C31EBDBD23C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bba72c8eb9eaf10ea81bf44a151e7bd722fbcaa","datavalue":{"value":{"entity-type":"item","numeric-id":1580761,"id":"Q1580761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$1B62CB29-0E64-4120-9192-F5C76EB8ABE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41c091f68b685e1e5a253b03dd163d0e751c7e8","datavalue":{"value":{"entity-type":"item","numeric-id":789007,"id":"Q789007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$0EE5FF28-8023-4BFC-828E-C70B1EF52270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f85f18c63cbc91d82706e47b2a3a665a27a11982","datavalue":{"value":{"entity-type":"item","numeric-id":177917,"id":"Q177917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$B41FB2A6-0D01-49A0-853F-9A1E68D3D5FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$C51629A0-D4BC-4ADC-8B08-FA1DB118DC83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-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":"Q1580762$5A58D3B6-6A8E-4D48-A051-C4E6F7520EAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e79ff29e6866070aa6bcc60d371fefa241e0e90f","datavalue":{"value":"The authors prove three theorems:   1. There is a finite list of three-dimensional polytopes such that every rational 9-polytope contains a three-dimensional face in the list.   2. Every nine-dimensional polytope has the three-dimensional simplex as a quotient.   3. Every 5-polytope contains a three-dimensional quotient with at most eight vertices.   The proof relies on the computer program FLAGTOOL which computes all (known) relations between the flag numbers of general \\(d\\)-polytopes for small dimensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580762$32D00F88-5624-427F-BC79-37E501D0D784","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72372ceb6313c90090f41fe6535414417dc8e280","datavalue":{"value":{"entity-type":"item","numeric-id":587908,"id":"Q587908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$AD14ADA1-1EE2-4BAD-9E3A-A7B84DEB1C0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e0d182f9209de8bdd0e1e38d29199d5601bf84","datavalue":{"value":"52B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$BC7FC236-D17D-468C-930C-9BEA584BAA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$2D9EBC4F-E57D-4922-9DBA-67EA6A026B59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe526aabb6abc009f44a519dc25e1fefa47edb69","datavalue":{"value":"1507685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$C7FBA06C-8633-4B30-81F0-82F00308ABAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35364be6a07e59c6bb5e145f8ff4399ef225b38a","datavalue":{"value":"rational polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580762$92F49D98-A5B4-4457-9E1B-70A680E99FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3234ab38eb2ee9bd5bcdc037b2276eaf73f4b7d7","datavalue":{"value":"Eulerian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580762$E9D695D1-F5F5-4AE4-A665-19806E3E8B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9509daeb1013d5961fd32386fd213be3a2a6a2c3","datavalue":{"value":"quotient of a polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580762$3D079B05-2A4A-4C2A-BFEA-F8AFBD0A8AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97ec2870d987d4812a5852fc71b2aee551277f3","datavalue":{"value":"flag numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580762$B6DEC7FE-F87C-4343-8383-289AECE6A342","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3451eab977e657c484ee4b7ea487750d638ad7e3","datavalue":{"value":{"entity-type":"item","numeric-id":29483,"id":"Q29483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580762$A831C6D3-51C1-46AD-A48A-362DA2C02674","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":"Q1580762$196DBAB6-5221-411D-8C31-0F1B4C35FBBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8636bb00a2afcc63370bfea3909a857cda75d9b2","datavalue":{"value":"https://doi.org/10.1007/s004540010045","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580762$8AE9BB25-CD0E-4756-AEEC-80FE6EBCE894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"199bddfa29ecd642b0f3c7b9989c22ff6b8b9e9b","datavalue":{"value":"W1970217096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$E59AFE77-1DC6-44DC-A03F-250F8698916E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d846009e381a21b04f13521923619ff2cb6855f9","datavalue":{"value":"10.1007/S004540010045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580762$B5C26660-5204-4C07-BE1C-52277872FA34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58366f917a2b848a77d90ef9e058a3bdad43f963","datavalue":{"value":{"entity-type":"item","numeric-id":4851806,"id":"Q4851806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b969551e0ae6ab58189979d2b6834a9837b52cbc","datavalue":{"value":{"amount":"+0.8335965275764465","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":"Q1580762$B36BF38B-0D60-431C-9621-74B01910F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05b00ae032105691de50d526cd27cc211cc25a7","datavalue":{"value":{"entity-type":"item","numeric-id":2422227,"id":"Q2422227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b211474d710c4985bd57f2c6d4d72285eaac5","datavalue":{"value":{"amount":"+0.831967294216156","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":"Q1580762$523584A8-CC94-4A08-8F96-B832E460BD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f8fa9f7e93a541e089b7492377a690444fb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":2640884,"id":"Q2640884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e095e136871b583d97ac2ffcfca418507675a1b","datavalue":{"value":{"amount":"+0.7434532642364502","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":"Q1580762$7DFC1B78-A02C-44D4-86EC-C6839297F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb82d1846b338a21c4b36ad41be9e6975e40d73","datavalue":{"value":{"entity-type":"item","numeric-id":4518981,"id":"Q4518981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a16220192956a37ff50c7d48de446b396b6e42","datavalue":{"value":{"amount":"+0.7349339127540588","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":"Q1580762$B3AAF02F-6D81-4310-BF82-3E40A051B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf62f8333dcdbbc3f3e230effd7bf0972ff745bb","datavalue":{"value":{"entity-type":"item","numeric-id":161299,"id":"Q161299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c03c60e353a9cd46ff5ffd9a465988fee67c729","datavalue":{"value":{"amount":"+0.7222378849983215","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":"Q1580762$4F401564-50A4-4687-852B-ECC6556B574B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three theorems, with computer-aided proofs, on three-dimensional faces and quotients of polytopes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_theorems,_with_computer-aided_proofs,_on_three-dimensional_faces_and_quotients_of_polytopes"}}}}}