{"entities":{"Q944364":{"pageid":946212,"ns":120,"title":"Item:Q944364","lastrevid":65567256,"modified":"2026-04-12T03:29:34Z","type":"item","id":"Q944364","labels":{"en":{"language":"en","value":"Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344343"}},"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":"Q944364$FCFDD7EA-A458-47C5-A7AE-CDE4A575C0E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fee5d5ebde8a9f7196480577f87acb8f757a0fb4","datavalue":{"value":{"text":"Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944364$A6E8D3EC-B70A-404C-9EFC-801F6384D6B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be9fde8b3f9ffb40282951c1183d1b459a157a6b","datavalue":{"value":"1154.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944364$E1EDACE3-E391-4124-A317-270767ECC8DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9642534f304d9a98032df7352635c1aa31c0f2","datavalue":{"value":{"entity-type":"item","numeric-id":396465,"id":"Q396465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$631F140B-B72B-4A66-B0A3-B2376AABF728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$9AD4C942-7D89-426A-B46A-BE5453200642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944364$FF577963-3766-47DE-AA4B-33A09625DDDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944364$45033AD8-2390-4202-BD63-21457B2967DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0217748c072f4f5a27dc9739e3471e9f4773c3af","datavalue":{"value":"5344343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944364$6ACE4501-D406-46F8-ABEE-F6036C28C84C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75a283ce553f13dfa7f5870825606d9e54fd21f","datavalue":{"value":"polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$E3267508-62D6-4AC7-8C76-0AD72388EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc5992e44b20c9bb28dceede04bd8419143b6d5","datavalue":{"value":"hypermaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$EE9B5570-C826-40B9-9B48-5DC593697E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26336764c0872a3f0bba227a11d2943584171c6","datavalue":{"value":"genus","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$3DEE1D79-500F-4565-8263-D3CEB0A7F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d85cb84fed63d8694552ae4e67b11642644715","datavalue":{"value":"Euler formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$C627F8C2-CC3E-49D5-B115-2E9ADF8BC544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$E86ACE46-F1A1-4837-AE30-02AA01EF9F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a4003069926cc612c694964e3cbdf707c8f2c7","datavalue":{"value":"computer-aided proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$E944A742-35CC-42EA-8E1A-B5559776AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6e62c84697a17d98f1da6fedd7e40013028a1b","datavalue":{"value":"Coq system","type":"string"},"datatype":"string"},"type":"statement","id":"Q944364$D9129D99-7257-47F6-B4A1-12E57695D61A","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":"Q944364$DE3A5C33-5182-473C-9074-E2BF880BA8DC","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":"Q944364$09346452-3CD7-4554-9B69-B2974B551D0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0faa04a2bf1db71db4ab34f36d2621905e94813","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.02.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q944364$4AB70112-3209-4ECD-BC56-791EC5E73699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86a80e6065c1ed4b7f6aa0e3e290ab652026b7ba","datavalue":{"value":"W2012142654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944364$4925CB12-B8EB-4710-8CC3-AEEE412EAAFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d9d9459772b7bbf2481b6ef81183bf0058367d","datavalue":{"value":{"entity-type":"item","numeric-id":4484332,"id":"Q4484332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$A46D66BB-6A29-4468-B8DB-E194F1D932E8","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":"Q944364$568E791E-EA79-40E7-9F9E-9B7C0BF3CC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$BFC88481-6476-4D75-ADDF-FCBA3CFF696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf540dac72bcd5ec964f271bd4451af06502cd55","datavalue":{"value":{"entity-type":"item","numeric-id":4071773,"id":"Q4071773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$4540F141-ADDC-4414-A1E5-E2FC952A9563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70843f31d3c4a39a2a787f69da4d2afd75478f28","datavalue":{"value":{"entity-type":"item","numeric-id":5672665,"id":"Q5672665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$06742DF9-B936-42F1-A0E3-8E39205931B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe01e37fd630df413ac35afce49ade2404cb1452","datavalue":{"value":{"entity-type":"item","numeric-id":1882905,"id":"Q1882905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$8E1CE0DC-6138-4A42-BAF3-9473B13D6E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645269bb49ece47d4d27274155824652c91f2724","datavalue":{"value":{"entity-type":"item","numeric-id":1882906,"id":"Q1882906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$45EC06C0-20B4-49E9-B089-79D49035E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd8c5960521a38a9e1ab2e66d6b54358c4a298e","datavalue":{"value":{"entity-type":"item","numeric-id":805200,"id":"Q805200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$64352AE3-F8A9-4042-9C7B-866337292CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9837c82162230b750df4bd139ccd9b568caa4a","datavalue":{"value":{"entity-type":"item","numeric-id":1577493,"id":"Q1577493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$DC1EC212-A846-486C-802C-2CD041CE9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b779ecca4f2c81aa34d372723ce74f8abed7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2643883,"id":"Q2643883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$3A5ADAFC-AA19-43C1-AB52-E16869CE2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f79fd0266ec5b69ef543e119fd81f9b8359546a","datavalue":{"value":{"entity-type":"item","numeric-id":3906789,"id":"Q3906789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$F4770BD1-31F0-4DE3-ABAB-0418209433D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328183ed09ca84d1bc41c9760a3ffb36c86b6dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5578800,"id":"Q5578800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$928924BA-C671-47FE-B97D-768E39ED6593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a8687c0d1c36ee83f5185757ea9d3953bc19bb","datavalue":{"value":{"entity-type":"item","numeric-id":5615284,"id":"Q5615284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$2E73C65A-DA87-448A-86E9-2F9DFBE01D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$C2E84F8E-B81C-409F-8673-C6BF69CB29CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$AA401C37-678A-416F-A68C-6484683B6DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$1928C5E3-6EDD-4E2D-92C0-5D5168D04AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7692118b11252b3f0cec4dada3c7d7555230b7","datavalue":{"value":{"entity-type":"item","numeric-id":1174819,"id":"Q1174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$B3001919-CD82-47AB-95D0-82D3DD677191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcdbff2e71873c36f34db06767ed86326f8dc85","datavalue":{"value":{"entity-type":"item","numeric-id":4946187,"id":"Q4946187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$0226D3C6-FF44-40D3-BE12-C88BE2F2D9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$28BEC897-25FD-40F5-B153-0B5F2E030FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1e35e1d6126eec41b1ea07713b5304f3ba86b9","datavalue":{"value":{"entity-type":"item","numeric-id":4790670,"id":"Q4790670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$1288698B-2C45-4AE8-9A66-EBBC1FCF536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$FBB10B1C-38A9-4E1D-8092-2BE915AEB431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92cfede9475f6422363576d31635aa91c8e673b2","datavalue":{"value":{"entity-type":"item","numeric-id":1575663,"id":"Q1575663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$AEDE7A8B-6542-435D-A6F1-6599A4EB0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffa249cf2c8634c89c47a1951a82cbcdaccc1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1332653,"id":"Q1332653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$09099ACE-7F2A-44C1-B1EF-702A6899EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113f2f4551da89cc2d77dac278cde8b8bef8fc7f","datavalue":{"value":{"entity-type":"item","numeric-id":1835918,"id":"Q1835918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$EC66F50B-5D1C-4165-824E-098761217B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b075ec1308248860fcfdc195b05217fd7b238e7","datavalue":{"value":{"entity-type":"item","numeric-id":3855206,"id":"Q3855206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$0ADC7583-D96E-4185-866A-E514288396C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf36a050d50f8db25374dc0ec8386b9cf9af506","datavalue":{"value":{"entity-type":"item","numeric-id":5607111,"id":"Q5607111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$01F62402-6666-4F1C-99A7-DD911F2036A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"714679b8a24809d61c64e5dbeade70c7b2f72abf","datavalue":{"value":{"entity-type":"item","numeric-id":3024892,"id":"Q3024892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944364$B93D3328-A9DD-4813-A638-7D83AD91E219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c32cc7f8b70e7c3e8f5149e4e7bd7b2f1a696fef","datavalue":{"value":"10.1016/J.TCS.2008.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944364$07E5E821-AFBB-47EC-93D6-8B3CF0EA1E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bc3665e59da0019331d4191b94e7c16de425a3","datavalue":{"value":{"entity-type":"item","numeric-id":839032,"id":"Q839032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce2b17428770d0f0f473214eb4f25a20cf35993","datavalue":{"value":{"amount":"+0.7937354445457458","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":"Q944364$37AD63C0-7B48-49C4-A330-333AE0108500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73cb4b4c92472db6e11348e95c8e5e242fa159a","datavalue":{"value":{"entity-type":"item","numeric-id":5747873,"id":"Q5747873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17db67af2ef5e176dce50614bf1061eff336e1af","datavalue":{"value":{"amount":"+0.7722629904747009","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":"Q944364$A2B8F9F1-4147-4DA8-848C-4DA8E7EC4DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f45eb44c051a43ed17bf428283ac729a5b368a9","datavalue":{"value":{"entity-type":"item","numeric-id":4910724,"id":"Q4910724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b610b672cec99ac6c4234704405cb524b7133c","datavalue":{"value":{"amount":"+0.7633581757545471","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":"Q944364$A7BF16A8-3BE7-4143-A89F-829789D3376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7775c9516984de3980ea4fc41904d7b81dfe9728","datavalue":{"value":{"entity-type":"item","numeric-id":1882905,"id":"Q1882905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd4000390ba2b7acacaa751f8ab6c62b4588a77","datavalue":{"value":{"amount":"+0.7203816771507263","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":"Q944364$208FA31E-6A95-4FC9-9390-B3508DCC2718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64f0e14491257216c068f333e1a889b08782235","datavalue":{"value":{"entity-type":"item","numeric-id":396466,"id":"Q396466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ebd338416b3f86aa37b59bc8e66405483c7698","datavalue":{"value":{"amount":"+0.7103444933891296","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":"Q944364$6E343248-393B-40F0-8640-03B356CF3045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof","badges":[]}}}}}