{"entities":{"Q5747873":{"pageid":7777424,"ns":120,"title":"Item:Q5747873","lastrevid":92879546,"modified":"2026-06-05T02:59:39Z","type":"item","id":"Q5747873","labels":{"en":{"language":"en","value":"Euler's polyhedron formula in mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785560"}},"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":"Q5747873$6EBBB131-26A7-4D21-A863-04AE5DCD92D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"423243bfceb4a28c0f2d630d39d115a1b4497dbb","datavalue":{"value":{"text":"Euler\u2019s Polyhedron Formula in mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747873$2E0EDE5A-9D97-49E9-AA6B-D40FD11E99B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fda4cf7b01de77f25b8f815f13e62accc2ae9b4","datavalue":{"value":"1294.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$2883BF50-DE10-463A-8BF4-7BD5A4E78461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd70f02768ec5cd5a4673a0502f94d7c9bb264be","datavalue":{"value":"10.1007/978-3-642-15582-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$2EE21118-AD79-45FB-A096-FB72D706CBE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747873$2166BA7E-AA66-4D58-8061-25AF14A96C89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5945d2a448b067a1cf2f5ac3296fac055bb088","datavalue":{"value":{"entity-type":"item","numeric-id":5747846,"id":"Q5747846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747873$432EF0B1-3D53-4258-9496-F3A873809A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-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":"Q5747873$4095712A-3E0C-4AF4-8BA0-7AB1E6AA8A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$2CE56D87-0998-42BA-B351-4CA366A42BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$0CCC0A62-9C5E-4FC9-AA57-E7DC0223A4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$9A7180F8-75A7-4716-AF18-6868DFC24233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e51569ad4c1dda6bd7f5e889b7491734278ff2","datavalue":{"value":"5785560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$FE3B62B5-EF33-4F55-B763-80A7EB1A0964","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747873$04680BBE-D4D7-4966-9AC8-08C5FF449BC6","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":"Q5747873$A5E6F9B9-7715-4882-8208-55FC9C107616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dcbe11ea8771e54a0816af5927ad396d6c57d29","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15582-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747873$02089045-3521-423A-A81D-1A6BBD3FAF8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca61b70241f954d4c0f79302a5c0ca6f61524a34","datavalue":{"value":"W1533855432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747873$D2904E86-0204-4E54-9115-EF5AD3A6E257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676f2225e42b526792269058a9cd8966e3598815","datavalue":{"value":{"entity-type":"item","numeric-id":3738162,"id":"Q3738162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660cb1eb7840666c195fff74e1a301cfacc72afa","datavalue":{"value":{"amount":"+0.8316464424133301","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":"Q5747873$E7FF0453-B9DB-4342-9563-208D75472FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e2683b24bb6ea349792c60c4de42758ef3e00d","datavalue":{"value":{"entity-type":"item","numeric-id":4936645,"id":"Q4936645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d15556452125e38f0039c684bb5ffb67fe1a115","datavalue":{"value":{"amount":"+0.8039531707763672","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":"Q5747873$AB6F9014-6606-4820-8390-84E501636B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f33c4a92c5514798f9320ff5a5474f7819dd17","datavalue":{"value":{"entity-type":"item","numeric-id":4882655,"id":"Q4882655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d15556452125e38f0039c684bb5ffb67fe1a115","datavalue":{"value":{"amount":"+0.8039531707763672","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":"Q5747873$671D2AE5-5177-444B-82B4-AE20DA930E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13ca3daff69b39d36d5014743dba638100fcf58","datavalue":{"value":{"entity-type":"item","numeric-id":3606599,"id":"Q3606599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30971f7445c5abf158dfabcec14ffebdbd616e7","datavalue":{"value":{"amount":"+0.7876153588294983","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":"Q5747873$A83E75CA-F54F-4FF5-B742-E73036B4D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62cb5749966a40186a5b2816a893c3fed6b14ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3533988,"id":"Q3533988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626e4332ee475068d4eecbf7c9b39e11bc5eefa6","datavalue":{"value":{"amount":"+0.7808209657669067","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":"Q5747873$F417F2EE-49CD-403F-B46D-424EBE926F54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euler's polyhedron formula in mizar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Euler%27s_polyhedron_formula_in_mizar"}}}}}