{"entities":{"Q2931776":{"pageid":2942496,"ns":120,"title":"Item:Q2931776","lastrevid":52145717,"modified":"2026-01-21T00:56:22Z","type":"item","id":"Q2931776","labels":{"en":{"language":"en","value":"Engineering mathematics: the odd order theorem proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374657"}},"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":"Q2931776$446380E9-BE7B-48DF-A0B0-EC2C73FC0FC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb7e52fe737fd5be8447a3e186edc6c8d6826d4e","datavalue":{"value":{"text":"Engineering mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931776$34284D08-2847-41B8-B8F1-0127AC9DEB92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b1d92a1ab975072a51c31b36bcb0d83eaa8216","datavalue":{"value":"1301.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$3325529D-7D71-4E28-AB5A-16BAFD1B45B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b68a4fd90af6cf51a0a302472ee55a944c1b7312","datavalue":{"value":"10.1145/2429069.2429071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$DE2FBFD6-9BED-4127-8006-EC312F6EC809","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":"Q2931776$F508373D-C909-46CB-BBDE-589FADC46EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931776$3B30895F-3A5D-4F8E-8FCF-B6C34B1D242A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931776$A35E03EB-E9A6-477A-B2A1-338988BB6AE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$037018B9-73FA-4550-8290-806F0F764FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$C524DCE0-6B99-40D5-909A-88E2B4EBB4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$67DDDF5C-748B-4F17-8B9E-A4C56D313B6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e47d0c760e5bb0f41cd230be7f0106b4854ef49","datavalue":{"value":"6374657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$33E3DD85-65AC-4688-A1F9-D613792F40FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8dcc4f6e1ceac8b6fb9cae25508dc8741682dd7","datavalue":{"value":"Coq/SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931776$262A1BEB-3E10-49C0-ACC9-C709876BC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b448679941ab289b06592ab57572fb6b813a5a","datavalue":{"value":"odd-order theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931776$9AC8EEEE-BDF2-4D3A-B233-5301F48BE65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9f573a03b34587dd626cf386eea3e8629f75b","datavalue":{"value":"mathematical components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931776$209654CA-4D95-4F69-AA12-F3188CBC695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a40c654e770f84581f92fe426e375f41faa8d93","datavalue":{"value":"proof engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931776$3193A5DA-6244-4478-BF7D-5837F65E33C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931776$A85A04FF-5F1C-4ED8-8776-513C3BF07042","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":"Q2931776$15A34642-F349-4E72-9A02-8FF714D38348","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":"Q2931776$9E9C2E0B-D5DD-4D59-8036-209F6405E719","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":"Q2931776$F9C9A8A3-0CFB-46D6-B58D-5D921DABAF42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c81dfdbc11c04044436d3c1c44b3196505047f2b","datavalue":{"value":"https://doi.org/10.1145/2429069.2429071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931776$502DC880-860E-4282-85FB-72E553805847","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bbcdf5f071c7a9ce0a4210f6d0c24d5f0fe88a1","datavalue":{"value":"W2114742812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931776$FD0CD9B4-BEDA-41D3-9D2A-0430A2007A91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c491fed424c5f619026616fc39a6d08f7eaf3ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2967791,"id":"Q2967791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73562f15b1f6fde54f55444343b3ac1297c1d270","datavalue":{"value":{"amount":"+0.75257807970047","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":"Q2931776$872ABCA2-B852-49B8-8E7C-95FD7E3553F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6750cd750a678c63f2278474a446b88f4518bb","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6642bfb3d98f49a8b5b7ccf8067e6e823ea41220","datavalue":{"value":{"amount":"+0.7247583866119385","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":"Q2931776$924FF677-9942-4B32-8448-BA922512B0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470f062c6b3181bc8742c1d89929766e3616daa7","datavalue":{"value":{"entity-type":"item","numeric-id":4962863,"id":"Q4962863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedb1ea75e4da3a3edfaa244cab170fdce221b52","datavalue":{"value":{"amount":"+0.7036343812942505","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":"Q2931776$A020F45C-2664-48FD-8521-9DC5787F64AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691a03b9a3b5f61d00cf5fc60b8dd74737ebc941","datavalue":{"value":{"amount":"+0.7005515098571777","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":"Q2931776$3DAB9E10-2654-4E79-8673-2044EAB015AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccce3a3de5790e22d8d97b965a5abb2eb6a5522","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb457a6309e036f089177c981cdeec68a735dda5","datavalue":{"value":{"amount":"+0.6856644749641418","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":"Q2931776$EE0981AD-FB70-4AE0-ABEA-2757AA977B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931776"}}}}}