{"entities":{"Q3637300":{"pageid":5667206,"ns":120,"title":"Item:Q3637300","lastrevid":50705351,"modified":"2026-01-14T21:05:29Z","type":"item","id":"Q3637300","labels":{"en":{"language":"en","value":"Finite Groups Representation Theory with Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576993"}},"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":"Q3637300$D5BF395C-CF98-4778-AAC0-E9EF5CB8F481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a68edc05397cd0f3c0d9f654f8a28c27b0ef317","datavalue":{"value":{"text":"Finite Groups Representation Theory with Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637300$9FBCE57D-BD57-4CCB-A5B8-2F5F693C147A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39493a2bc9e4526ec0429bc7c1d3355c60315987","datavalue":{"value":"1247.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$F4E99AE2-1751-49A9-B1BE-1015F00E929E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f23ba7a58eef99ccfb642f51f69a24409e5886cb","datavalue":{"value":"10.1007/978-3-642-02614-0_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$747C3064-8455-4C87-BC7D-4387BAC4F2D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"811cf9bda2538bc4426981730459a33e78635032","datavalue":{"value":{"entity-type":"item","numeric-id":3543651,"id":"Q3543651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$6C3AE7A5-B78A-46F7-80E6-678941F047E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$3C227B2D-740E-46D8-B658-BA2183B52E9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637300$419C590F-431A-4C45-BE36-484D22220542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$FCAA152D-1FB3-4B52-8FCE-5046EBC8BA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e806a99a37ad92ac854a98fd320a92e387f8ea8a","datavalue":{"value":"20C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$2889B6D2-62DE-4241-AC42-ABA5CB64AC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3d0b2d20df3451f0782d61fc5eae7a73434fff9","datavalue":{"value":"5576993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$3ACA77CE-4BE9-4DBF-8B94-6176C97358EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d16b992e95459af77702a97b813de464d2469c","datavalue":{"value":"representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637300$76415D9F-CD6D-44A1-8356-2B6DFF2F0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1b2fd24eaef9e1deaff57cdd4f9954d1ac08e4","datavalue":{"value":"Maschke's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637300$97B9970F-C259-4912-B1B8-F1E701B11AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637300$36FEA225-C47A-45A1-AD87-2AAFD52A3050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637300$EFE21280-7F83-42F8-AF50-137430BFF946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637300$E245FC6D-66E9-4E51-BDE5-37D0BA1EDB57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$8373CE5D-827F-4233-89AF-B38F744D391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$8FF32E0E-D0F9-43DA-B9D9-21291399EB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$2F839EAB-DF71-4C46-801E-735AF814DF82","rank":"normal"},{"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":"Q3637300$37618619-D7E2-4217-B0A4-F605E32D3096","rank":"normal"},{"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":"Q3637300$BFCD840B-B3DA-4628-A7B7-510FCF6B7060","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":"Q3637300$BCFE044D-E91C-45F3-AE57-F633BF54428B","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":"Q3637300$38747823-9BBF-4827-A104-139A54F54ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e557d8bb02be0898055a1536b7a463b220a288b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02614-0_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637300$856D2375-6CC4-43CB-9046-BF0BB2296EB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a660fb56bf8af39b78a3524a72d3d09df6b6f1b","datavalue":{"value":"W1580439254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637300$743A3C72-AD38-4C2A-BA06-0422009C8232","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$1DBA3344-557F-40F9-AA65-41B5FC68D68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$D69C77BF-DC3B-42FE-B668-9ABC37733A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2299511bdd9257e24d50dbcbe6126abc656159","datavalue":{"value":{"entity-type":"item","numeric-id":2393741,"id":"Q2393741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$DA76FEF4-FDA7-4EF5-B801-B116F045F67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$CA912C22-68E2-4CC5-AA3B-E57F78269474","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":"Q3637300$51603CE6-00E0-46B6-8E1F-3471504F8251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cf13de9df2d60159e5b8df5d445b86959b6bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3325827,"id":"Q3325827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$43FE5E76-5843-4A5A-8839-D758CBA671AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838c1aaae7fcc3ecae3184a84ff311a16d20a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":4871631,"id":"Q4871631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$239EB771-B270-4865-BD1B-5033C5AA24AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d428d5e1441d9c0feecc7ffed4ff9d64c8f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2753063,"id":"Q2753063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$8158E6DC-4BA2-427C-B21A-88AE84992068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$2B3C1431-25DE-4237-BB2B-DB8DFCC53185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec912cb1b4e9b40c409f4f537c09cc77cf22d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3543652,"id":"Q3543652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$CBF7C74A-FF09-472E-8EED-0CEF957B7970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf264be42d88dcb3ce802780aca83dfc22bae994","datavalue":{"value":{"entity-type":"item","numeric-id":2754063,"id":"Q2754063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$3180DF13-2D1A-4441-8537-A6AF611161DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fcaa03a7e112faaaebcb4cc431e02a031d7272","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$C1607B7A-E9F2-4960-BB62-4E0BC892983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aa05cbdf7e9c30715a43e649084cfac28e9645","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$E0B73B14-C211-46C3-8114-A7C550B31A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f23db2dd4d34a2f60254ad57a8915830982b5","datavalue":{"value":{"entity-type":"item","numeric-id":5200114,"id":"Q5200114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637300$89433BF0-9086-4E36-A039-A4688FE76DC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f8e4fb92c5e9f8415dedf91c1faa12b8ea2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039791c507ef55050e9380190aaf3b8c1c56b79","datavalue":{"value":{"amount":"+0.8019411563873291","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":"Q3637300$26C7C599-C27B-40B5-B480-ACB5FC39E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7725344fd806c8bb0e8ce86201602686f3ebbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2879252,"id":"Q2879252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4c21a2f9735a3fcc3b324f33aa10a31df88c49","datavalue":{"value":{"amount":"+0.7656514048576355","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":"Q3637300$5ED1BB7F-7322-4B09-B780-03B6AD66229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6019c5400f2ef044bcd38c5a0e0afc166e31726b","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8bfc4f6bd0b9df3c59b6d9a8f5f8bc9b45b234","datavalue":{"value":{"amount":"+0.7578961849212646","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":"Q3637300$E21D9074-5EB0-441D-898B-F1BD4715DD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691503f60d24287fb32ef68e579afe8cb580fb96","datavalue":{"value":{"entity-type":"item","numeric-id":2843002,"id":"Q2843002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a590bce6744229540202eb1bdcde2a7bd6fec5","datavalue":{"value":{"amount":"+0.7397153377532959","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":"Q3637300$52339440-F5EC-492B-9ABA-57960882EBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae8a16eff4befbd27f9c03caebf78cf0035f614","datavalue":{"value":{"entity-type":"item","numeric-id":6074843,"id":"Q6074843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b8364686f7f61939dad9d0feebb0708da901db","datavalue":{"value":{"amount":"+0.7384076714515686","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":"Q3637300$C388ECDC-5177-478E-973C-9C2719D99A29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637300"}}}}}