{"entities":{"Q2471894":{"pageid":2482637,"ns":120,"title":"Item:Q2471894","lastrevid":57272751,"modified":"2026-03-27T18:59:59Z","type":"item","id":"Q2471894","labels":{"en":{"language":"en","value":"One method for proving inequalities by computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5236881"}},"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":"Q2471894$A36EAC62-CEDB-4ED2-932C-15A72D379970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebef7442e290e43a25867e7b8a7d08cd1dc88a70","datavalue":{"value":{"text":"One method for proving inequalities by computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2471894$5B70D9DE-D236-4479-83A3-B5F12EC37BBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33cf9e970a2a6507b268354e46f129eac1de742","datavalue":{"value":"1133.26320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$8DD7D1E3-6212-41AF-AE88-1D7092FBFD37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e45a7efb2c505bb4c3e3f8196652c05f4b66adac","datavalue":{"value":"10.1155/2007/78691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$B3223D0A-F744-4E3C-9248-AB16B1EAFD0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f09202baad63d959bfe752358a3df879132bc04e","datavalue":{"value":{"entity-type":"item","numeric-id":185521,"id":"Q185521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$75AC0783-401F-48D4-B071-50694371CDFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"052c38aa0ffb18a0b6fe54416ac4b8fc7a828402","datavalue":{"value":{"time":"+2008-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2471894$83C8A4BE-7868-4553-B15D-F7749D4CBFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cab15bc110447894045dd159cb5891e0eabb527","datavalue":{"value":"26D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$300B808C-D380-44E7-8595-217D49EAFA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$72A927BF-BA2E-4048-BE60-436B94D50F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59dd16aa7d5fa132e3fe090faee4c3f1403044f0","datavalue":{"value":"5236881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$8AA18B51-AFD4-4AAE-868B-1219415A5FB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0090b5a2df4be1e7c5823514048006acd324ec1e","datavalue":{"value":{"entity-type":"item","numeric-id":613537,"id":"Q613537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$9EC10A21-26EC-4FED-A7CE-93C9EDF82CB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$FB87730E-3F32-4092-B519-559F4817C708","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":"Q2471894$33E78806-07C4-4C59-A8EE-0CB922574489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f8afcb726053a592a97b2a51dc9173e4a676236","datavalue":{"value":"https://doi.org/10.1155/2007/78691","type":"string"},"datatype":"url"},"type":"statement","id":"Q2471894$6FDBE63D-2DD1-4E2C-BE24-F2819605A62C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"949af751f9d852c952883986146b0e7652861935","datavalue":{"value":"W2146984575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$1A455B6C-C9F4-410F-AAA6-98F9C32EF7A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c27038e5992c3cb45c9d1e3807d6ab70950ffd6","datavalue":{"value":"Q59215977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471894$797A97AF-7C60-4AA9-8AEA-F8B1C0B23F01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3804554d049afba46b57800548803256db7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4821343,"id":"Q4821343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$3FB0DE7A-7482-4388-A3DB-F22E6F18C6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32b01e500cc2bb908494783a1a5a02d91b3cb3d","datavalue":{"value":{"entity-type":"item","numeric-id":3331506,"id":"Q3331506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$2166074F-7451-42C8-BD3F-3A52CFF619D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee94a2483e5c5b9afeba08f5a223ea58c73bf292","datavalue":{"value":{"entity-type":"item","numeric-id":1974156,"id":"Q1974156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$03FB8B59-A83E-4DC1-8089-DDB9336BA60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f51f07d588f1a11e17c5ea485343684a7f1dc30","datavalue":{"value":{"entity-type":"item","numeric-id":5604919,"id":"Q5604919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$B68F5805-8F5C-4AFF-B098-38F663DF0171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b38bc1971654d1f48eec8f976e8e238023598e","datavalue":{"value":{"entity-type":"item","numeric-id":3549157,"id":"Q3549157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$EAB9354E-C885-4E57-A688-35F6C74D5E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71e6b3a4ff21808417adf85866a45932ebeaf1a","datavalue":{"value":{"entity-type":"item","numeric-id":4776173,"id":"Q4776173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$9622A965-2E05-4633-8FF8-BEC3E8C9C30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8938c13cfd8f02b9abc2030ecb05056a9fa3520f","datavalue":{"value":{"entity-type":"item","numeric-id":4928255,"id":"Q4928255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$EB362AE4-76E1-4FF2-9A28-7467A60D98E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d0e45d1fa768ef13db291fee6c06e3cc1571a7","datavalue":{"value":{"entity-type":"item","numeric-id":4776174,"id":"Q4776174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$82886615-F42F-4F01-81E1-9ADD088925D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0583fa66d28d6c79821492d66bad5c71df5e13cf","datavalue":{"value":{"entity-type":"item","numeric-id":3545983,"id":"Q3545983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$59F9C8E3-9B51-4965-ACE1-30E7B0D24EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7cd4e2cc9ffe4ceb6d96c49cee8f00bf6c5cd2","datavalue":{"value":{"entity-type":"item","numeric-id":5597672,"id":"Q5597672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$D1C937E6-88B8-4EE6-8365-0E2E8F93FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9dd6f069e677174d2b13a85d34ddd44fcd04d2","datavalue":{"value":{"entity-type":"item","numeric-id":4865707,"id":"Q4865707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$3553DFD4-6B70-4D08-A19C-6531AED29A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d526a53002e7a1aec56f9affff97cf79e45963c","datavalue":{"value":{"entity-type":"item","numeric-id":4378264,"id":"Q4378264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$0B1FED98-6DAA-4A63-85DF-C7F1A0250F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448d8cbe07b609055ecc0a17b7603c472e14402b","datavalue":{"value":{"entity-type":"item","numeric-id":3370701,"id":"Q3370701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$4391C8EA-E4A3-45C3-BED7-F735887E1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d5815b1748fd84d66f819707fdd73209991626","datavalue":{"value":{"entity-type":"item","numeric-id":3593789,"id":"Q3593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$C19A2154-BB67-44A3-88BF-CAD60FBFAB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e90f5301ab8e255d4d70c4f2988bdc9557c9","datavalue":{"value":{"entity-type":"item","numeric-id":4490228,"id":"Q4490228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$A44C1D2F-D2B3-458D-B873-E727DE429FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d07056e1c2aaafe7d1af4c526216a3e5559fc57","datavalue":{"value":{"entity-type":"item","numeric-id":4800229,"id":"Q4800229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$021FD381-6E5C-4F2C-8548-5E2E4D20ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be754ce1658ce7b2753b0f7d17b7eac4f5f8f324","datavalue":{"value":{"entity-type":"item","numeric-id":4433337,"id":"Q4433337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$7D4186AA-F1BC-4F95-87CF-6FAA4D73317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b25f8087a66ac046bd05122ac736b7f14812ee","datavalue":{"value":{"entity-type":"item","numeric-id":5717250,"id":"Q5717250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$452D4F96-CE90-4897-BEB5-534840196E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b07c95f8d2066da5f9c9907190aa4131e01966","datavalue":{"value":{"entity-type":"item","numeric-id":4825628,"id":"Q4825628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$850F27E3-18B6-4B5D-B059-FCB98CD9241D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ede4d67188a249fb9aeca7ad04dbe396e17c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2488701,"id":"Q2488701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$9A8ABC0B-431C-4129-A4E8-04A29EF29BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7948f7025750e355b18308b2825b9032cc89d613","datavalue":{"value":{"entity-type":"item","numeric-id":2481444,"id":"Q2481444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$7F3EC69B-193A-4E64-A319-0815A160CCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f986e20b1a664e6516e6e107f634386751bc08","datavalue":{"value":{"entity-type":"item","numeric-id":1125208,"id":"Q1125208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$6838CB26-5DFF-4E4A-AEB0-B6CE84B8852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b545b232244666db10cc51264b205c24c87b32","datavalue":{"value":{"entity-type":"item","numeric-id":2491565,"id":"Q2491565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$619E8A64-5851-4A5C-9EA1-576783DED8EC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471894$35612191-3282-41B6-B0DD-D2A50E3B039B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2471894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2471894"}}}}}