{"entities":{"Q3087991":{"pageid":3098706,"ns":120,"title":"Item:Q3087991","lastrevid":45420958,"modified":"2025-12-07T17:47:01Z","type":"item","id":"Q3087991","labels":{"en":{"language":"en","value":"Advances in the Formalization of the Odd Order Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940055"}},"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":"Q3087991$8649B6BE-9E6B-4931-A252-B1BAC32C59C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c66257309d489c80ad8b1452354f673a5daa514c","datavalue":{"value":{"text":"Advances in the Formalization of the Odd Order Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087991$AFF00ED8-3627-4954-8061-B4178B2D1774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba9e8ba0676a7dbe421e7c42f9f76074dd4fb8f9","datavalue":{"value":"1317.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$C7FF7C84-B5A0-4E4C-A0D7-5F4425900634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9005d4e8efa0d895359d0da9af0d6bc88bf3b5c0","datavalue":{"value":"10.1007/978-3-642-22863-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$ED959F2E-FF27-46F3-976F-AF4F6C2E1465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe183d93c029e0aa92279cd45c5ae8bafa3a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1084851,"id":"Q1084851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087991$48172633-4486-471B-8B57-690FBA306CD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087991$B8334BDC-D890-462C-97C3-BC10DD2706E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087991$BBCF90AD-9446-49CC-BDF9-BACAF79527A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$E112E7F2-0859-488F-8C20-CCC6A5EA0811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$64953386-6B49-4E52-8471-0FEB7A7BEF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$536623B7-3F0E-478C-AE94-D97DD69E8B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$A026374C-A174-4532-A799-2BC3C1C347EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"767942675c792776c072d78cea1948b585a54944","datavalue":{"value":"5940055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$E0F9C689-C8BD-4205-8584-8B980B1E0060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$6BD73DA7-4CE9-4E26-95B9-CDCB9D5FC10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0da8957c07ac379951ae65565347b907ce3617","datavalue":{"value":"group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$A0045475-1EF7-4929-8884-016CD0F9939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1deaa2af656418d5001ab266f9cd01883cac84c4","datavalue":{"value":"proof library","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$73DDF164-39AA-4E72-828E-6AE7C1CA5CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$BEEE5B7F-4F7D-4CFA-8352-3B524E0A955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$03D9A0A0-2DA4-41DB-9129-09BD072E64B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e91017cbd32bd7360660d09917f077d4f232b9","datavalue":{"value":"odd order theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087991$ED0E780B-54C5-4060-8C9D-046E719A4678","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":"Q3087991$FC76017F-A50E-4EC2-9F34-C591F6AD81E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087991$CB24183D-5F7D-405B-90B2-6ECBDDD4353C","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":"Q3087991$22A14A19-2EF5-4839-891A-C3F431F53A56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8485c6a7c47e59b3c7549faba22c06530dff5a0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087991$2BBBFBA7-B3F9-4BAD-9E93-62101986897A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55a7d4fd40baa7f909de9ecf7b16481b34e4befc","datavalue":{"value":"W115725109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087991$B96A5CBC-15D6-4AB0-996C-2C7525B60FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087991"}}}}}