{"entities":{"Q5950931":{"pageid":8127733,"ns":120,"title":"Item:Q5950931","lastrevid":40708087,"modified":"2025-04-04T10:35:18Z","type":"item","id":"Q5950931","labels":{"en":{"language":"en","value":"Automatic derivation of the irrationality of \\(e\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684877"}},"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":"Q5950931$112B2A38-0E58-4127-B319-9B27B38780F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"038dc75bd39ca8a7e9b2112e6d41d8c08d24ebe7","datavalue":{"value":{"text":"Automatic derivation of the irrationality of \\(e\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950931$8101AE42-C978-4FEF-8540-7A4C753F96D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3fd5276ecaf30ca5c185fed10fe1d04771daf37","datavalue":{"value":"0981.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$DC404F56-4A61-445E-8D5F-11F321CDE4CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$D50C6040-61C9-4512-8739-25F1DFC5E812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$EA6E3CF7-FE2C-4E7A-85EF-BF5E2B147800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0446501a58098cb1329379aa4eb6f9a6b2c8cd","datavalue":{"value":{"time":"+2002-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950931$F49DC4F1-7BF2-4684-9CBE-AC9A15D874E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$39CD66A2-0392-4B05-B4F4-29033D5CB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$6BECF035-4865-41EA-B45F-805643CD0A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52a11139c76a986d22b52b3b8088d5768624aee0","datavalue":{"value":"1684877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$611E4A35-E86B-4151-8A8A-1AECF6460568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bbe0ed140a5585f02ac6f2422c84ddbbc3fd0f","datavalue":{"value":"automatic generation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950931$D9226BD5-9B54-40D8-9CD8-E66299BDF2F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56ac8facfa5b02a0614330bdebcbd3f4015efec","datavalue":{"value":{"entity-type":"item","numeric-id":35808,"id":"Q35808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$62CE70FF-FBA5-429C-B19F-D58BFFF2E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$DC7B776A-3B95-4D30-8B8E-A247F4393EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$1255B49C-9291-4394-B4C0-59EE5064F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$C8582B5C-DDF3-4673-B5D1-80679DFD75CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$B7C39954-CE73-4596-8873-DA71147F9D80","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":"Q5950931$BA7984AB-4AAB-410B-BD3A-BAE7ADF5C45F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81e7af4739fe8e3baa8474b59425c7a90ec08c7b","datavalue":{"value":"https://doi.org/10.1006/jsco.2000.0465","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950931$0C101CBB-E0A9-4996-9ADF-80AEBD9ABEF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39118693f3f8490242cd6b5031c3d76df3322db4","datavalue":{"value":"W2078700544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$79E10C3A-CC85-4A2F-A225-8F128247DB00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89ce8ea7cd58535e4c628f0869ac738a13473ec","datavalue":{"value":{"entity-type":"item","numeric-id":4730771,"id":"Q4730771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$C1964C73-39F6-498A-AFA6-B5BA73CBC80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cf76c277e227fb903e6f34388fab78196036c8","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$0C706DE3-18F8-4340-9496-839931883839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fc744c8c748de53e360cde6b1b8bb036c2c849","datavalue":{"value":{"entity-type":"item","numeric-id":4853341,"id":"Q4853341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$99F82698-7DCC-4BB3-A5C6-07AF7EE46640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0a919e94eb05990dfa452cda990dbe76002728","datavalue":{"value":{"entity-type":"item","numeric-id":4217949,"id":"Q4217949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$FFA4DF23-6FA1-4356-A040-C07A3F7441E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f642486373a0fa74b22c32d26998cf6c9062b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$BBB0D068-5322-4E60-8CD1-2E2C71AD21F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$C2CA6C7A-AE52-4306-B6D6-32A891AD674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$6B366B54-1CF7-4604-85B3-F004729CBB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5589dff11a55702b37a5801feaf5ad1383cbe279","datavalue":{"value":{"entity-type":"item","numeric-id":5798121,"id":"Q5798121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$DD23B78B-25D8-477A-9B04-0441F6204E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950931$2FCD1B37-AEFB-4672-9DB5-CF7B5C0F90D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf2d2cf331cb9fa4b0c80022ecfccfb3ead058ba","datavalue":{"value":"10.1006/JSCO.2000.0465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950931$5D5A441E-8D4D-47FE-B377-E3EFFCEC9C74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfa3a3f70db902366400f44e1e0a2c74671a70c","datavalue":{"value":{"entity-type":"item","numeric-id":4499155,"id":"Q4499155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$4FAF98EA-3FB8-401B-B6A1-0138E06E3D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc0572c3abf797191f5c7f9a44c6193a28db624","datavalue":{"value":{"entity-type":"item","numeric-id":5207484,"id":"Q5207484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd70eeb70cc7c8faf45ce5f52f57d4a594a8f4f","datavalue":{"value":{"amount":"+0.8837556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$92A72EEE-FBA5-4544-9DA6-8538F6838EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453cf7d9ab45d51fce116be174a480e19d604850","datavalue":{"value":{"entity-type":"item","numeric-id":3445443,"id":"Q3445443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946362d0cd99ad30deef683631ecabc9431906ec","datavalue":{"value":{"amount":"+0.86810094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$B3256046-DA40-456F-8534-AC67B553F140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca054f8202bbfe3529275a1f31394085bc501bb","datavalue":{"value":{"entity-type":"item","numeric-id":4222425,"id":"Q4222425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070fd1f7b9cb4f53ec048e5b3c15185c0a73aaea","datavalue":{"value":{"amount":"+0.8656224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$69E658D1-A50D-48C9-91B0-A02B2F5213FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5000e6f7efaf89851d4662750a94610c6d90fb","datavalue":{"value":{"entity-type":"item","numeric-id":2826299,"id":"Q2826299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee52426fa4b1bdc8c883a677a82efa8cde033f","datavalue":{"value":{"amount":"+0.8653156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$F12CA03B-5637-47B2-8FD7-5ABFF705F6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f23e5b64d2f370c70d97197278b7d4f16d9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":4991708,"id":"Q4991708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29be6747c7cf58711566a22553cf73569454a83","datavalue":{"value":{"amount":"+0.8633679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$2BDD856D-9734-4D63-AC9F-3B496CB92150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23632e5fb21822d347b7054225732c2dcbe6d9aa","datavalue":{"value":{"entity-type":"item","numeric-id":3646110,"id":"Q3646110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3144831e055c5eb3806b36b2b312334bb679040a","datavalue":{"value":{"amount":"+0.85852873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$9BEA750C-3E2E-492A-AA35-0D038DBE6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac9038a141467455c117c023a9924b51fceba66","datavalue":{"value":{"entity-type":"item","numeric-id":5796107,"id":"Q5796107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d0014e1888f3552d4ff5897d4a64f04a00afd4","datavalue":{"value":{"amount":"+0.854769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$D987FFC2-A403-42FA-969D-EDC128B512E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962d055b8cf5adae09dc914322084da92ce9d622","datavalue":{"value":{"entity-type":"item","numeric-id":5247973,"id":"Q5247973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc9d0da271eb8aebf443bb192f501f7ab75ea4b","datavalue":{"value":{"amount":"+0.84017575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950931$812554F3-66A6-4DAD-84FD-2751147C0A59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950931"}}}}}