{"entities":{"Q161303":{"pageid":163052,"ns":120,"title":"Item:Q161303","lastrevid":54809324,"modified":"2026-01-29T21:00:57Z","type":"item","id":"Q161303","labels":{"en":{"language":"en","value":"Polytopes.Combinatorial.SmallSpheresDim4"}},"descriptions":{"en":{"language":"en","value":"Item from PolyDB: All combinatorial 3-spheres with up to 9 vertices together with information about their realizability."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"1e97e185ec9ea95caf94ff2fa02f01affd9aa6d4","datavalue":{"value":{"entity-type":"item","numeric-id":161010,"id":"Q161010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$7ACD2635-5260-49DA-A328-685F7AD9C894","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43884da194fc9233a55c322c909d80832a43a040","datavalue":{"value":{"entity-type":"item","numeric-id":161299,"id":"Q161299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$9FE6C55B-A178-48E9-917E-4FBF0DFCBEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581ba0826b500954d6313dbb57f34743e545be9e","datavalue":{"value":{"entity-type":"item","numeric-id":161300,"id":"Q161300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$152F7D31-ABDE-4F98-BE4D-17CC250E170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6404555bc8b26f77fd88e8e293578130b96408f2","datavalue":{"value":{"entity-type":"item","numeric-id":161302,"id":"Q161302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$50302201-174F-49AA-981B-0AAE61AA06BB","rank":"normal"}],"P1275":[{"mainsnak":{"snaktype":"value","property":"P1275","hash":"60bb605aeda27310b73fdc9f655fa052481f26a0","datavalue":{"value":"http://page.mi.fu-berlin.de/moritz/polys/inscribe/","type":"string"},"datatype":"url"},"type":"statement","id":"Q161303$F1E3C669-D865-45FB-B28D-EA688C6B94DC","rank":"normal"}],"P1437":[{"mainsnak":{"snaktype":"value","property":"P1437","hash":"1a04c5cdc979dc7c7ba823419ad991a8534ea45f","datavalue":{"value":"Polytopes.Combinatorial.SmallSpheresDim4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q161303$0b0fa632-440c-ee99-9db7-bfd29aacb406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fb7488bae66802105343543b623fbb55d2108e","datavalue":{"value":{"entity-type":"item","numeric-id":161096,"id":"Q161096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$5B030122-8436-4F0A-9039-16CA64336806","rank":"normal"}],"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"3190449eccf7700b7e8b826fff85c259d6d69fae","datavalue":{"value":{"entity-type":"item","numeric-id":161094,"id":"Q161094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$47ED8DBF-BE56-4789-A400-232478C330A4","rank":"normal"}],"P1383":[{"mainsnak":{"snaktype":"value","property":"P1383","hash":"f972ea106565884719ece132a67554e08fcda8f1","datavalue":{"value":{"entity-type":"item","numeric-id":161094,"id":"Q161094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$F277D1E1-102C-4262-A4A3-6084E0C35F11","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"d1e8073b72a070520efd3d14d4b3d2d3d03859e2","datavalue":{"value":{"entity-type":"item","numeric-id":5984635,"id":"Q5984635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q161303$cc21ecb2-4773-0dbc-1c9e-fa0fcb06a7d1","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"da6a3e11c72a979de0630b6e14441112de0d6f4b","datavalue":{"value":"All combinatorial 3-spheres with up to 9 vertices together with information about their realizability. For up to seven vertices this was obtained by Perles (see [Gr?nbaum 1967]), for eight vertices by Altshuler and Steinberg, and for nine vertices by Firsching. For all entries the database contains the incidence matrix (VERTICES_IN_FACETS) information about realizability (REALIZABLE), the f-vector (F_VECTOR), the number of vertices and facets (N_VERTICES, N_FACETS), and the information whether the sphere is simple of simplicial (SIMPLE, SIMPLICIAL). For realizable spheres with nine vertices (i.e. 4-polytopes with nine vertices) there is also a list of vertices (VERTICES), while for the non-realizable spheres with nine vertices there is also a proof of non-realizability that depends on a possibly incomplete computation of the chirotope (PARTIAL_CHIROTOPE). This proof can be of one of three types. The first two depend on the Grassmann-Pl?cker relations. In the first type the chirotope contains enough information to find a violated relation, and the three involved terms are given. In the second type two relations are given that would allow to deduce a not yet known entry of the chirotope, but do not infer the same value. In the last type there is a complete chirotope, but the linear program to the biquadratic final polynomial is infeasible, and the linear program is given. For a detailed explanation of the proofs see the paper of Firsching.","type":"string"},"datatype":"string"},"type":"statement","id":"Q161303$ee966f7a-4771-a1d2-a270-76f87ccb8662","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polytopes.Combinatorial.SmallSpheresDim4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polytopes.Combinatorial.SmallSpheresDim4"}}}}}