{"entities":{"Q2433009":{"pageid":2443752,"ns":120,"title":"Item:Q2433009","lastrevid":49954765,"modified":"2026-01-12T06:56:44Z","type":"item","id":"Q2433009","labels":{"en":{"language":"en","value":"Methods for justifying arithmetic hypotheses and computer algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067951"}},"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":"Q2433009$6BC63610-9626-4B5D-817D-5BD3862B2F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab2ecff2a50d0aa0c4cef90873bab1e3597e818","datavalue":{"value":{"text":"Methods for justifying arithmetic hypotheses and computer algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2433009$BB6EF732-E8B7-4E1E-B4CC-4380B7CDE2EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82301af543894e3038e6b4f46978105f57ff452d","datavalue":{"value":"1103.68988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$8181F1BF-224F-4CA9-9D1F-332BF1391274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d6c0ef7ed48a7733670e112b181088e1905abd1","datavalue":{"value":"10.1134/S0361768806030029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$45B835A9-A48B-4123-9600-FB05CBE3A03B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$BD778F46-A2DD-4412-98C2-443AD2C22A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"352766fdbebd5537d00d84af76ffca69d80d62f0","datavalue":{"value":{"time":"+2006-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2433009$3A0D4E84-CF90-445E-85FF-8CED01759943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$DEFE4F94-3252-4EB5-86DD-5C615111E1DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"593da9ddc4fd0e3e2eccb6c10433252ee4d94835","datavalue":{"value":"5067951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$3E3CDFD7-D41A-4D25-A495-661A4C2255FE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9118b251e1f420e3b5da8085e29f1459bd2cdd0d","datavalue":{"value":"Q114847411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$C42FB84F-FDBC-4979-9E2B-5874C5A405EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a3ee916e3da2eec6f2497b37cdff952eb66e70","datavalue":{"value":{"entity-type":"item","numeric-id":590501,"id":"Q590501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$B83F8C14-27B0-479C-8F54-40890C0E6540","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":"Q2433009$BA7F8D1F-CEA6-4F8C-98BB-BB9D288F5D45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"039bdf28cb24917e1081439c39f8848563d4865d","datavalue":{"value":{"entity-type":"item","numeric-id":1384595,"id":"Q1384595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$2CF0BC49-D3AC-49C5-87AF-92B3F30C4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc39fba2ed69df0d34aa5c51e5fe4ec457ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":4398861,"id":"Q4398861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$E1D4562D-90E6-451A-BAAD-F9931B85DB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49863a66e453cf5c72aae30b9e8012236376bdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4317891,"id":"Q4317891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$6190FC55-1FE6-43A3-86D7-F024463FF5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebf036acd629a08392efeb609ec9d5e688070ef","datavalue":{"value":{"entity-type":"item","numeric-id":5184975,"id":"Q5184975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$1CE48911-1872-4A1C-AE67-D900924D896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabc930e71b2be8a467cf1c28a360baaa0dd2421","datavalue":{"value":{"entity-type":"item","numeric-id":3994684,"id":"Q3994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$4CD296F9-D276-4DC4-B1CA-460B94B190C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86904d629d6f149aeb378a78a36322dd12ce696e","datavalue":{"value":{"entity-type":"item","numeric-id":5574613,"id":"Q5574613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$DA829C3D-9E63-4CFF-98FB-5B44B3F40991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5e441a6e11a39c67b2015df60a906009fd56ae","datavalue":{"value":{"entity-type":"item","numeric-id":1211551,"id":"Q1211551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$20B64F0D-43D7-40BE-BBE8-54D2AC4881EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eef1070849f0e0f6823f6b43e6675c0261196dd","datavalue":{"value":{"entity-type":"item","numeric-id":3992449,"id":"Q3992449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$1B00A6EF-D3D9-497D-A1C7-278491B0DA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5427f907e5768fb44faf6051cbf14014158f598f","datavalue":{"value":{"entity-type":"item","numeric-id":1858315,"id":"Q1858315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$B72A925F-3E9D-42D9-8689-3E1F7F0904B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5537550ef603dfa3ef9638b88e2e1c0aed54ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4731603,"id":"Q4731603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433009$06DD38A0-394F-4691-836E-FE972139F79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8507750e3e72bc5d4e9c5cd4e66af805c09be1d","datavalue":{"value":"https://doi.org/10.1134/s0361768806030029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2433009$5EC92525-D506-4B11-A7B5-13BFEF275ABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02e3f00274511da691f5e6897db77fb6e8cc89d4","datavalue":{"value":"W2040037191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433009$52510CA2-FDA5-452A-83EF-698C1AF82FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20dd600c2a57fa8182c4efa194ca06e961abb086","datavalue":{"value":{"entity-type":"item","numeric-id":5951280,"id":"Q5951280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c3527581b023cc848bfd862431ccb7e068550b","datavalue":{"value":{"amount":"+0.7054579854011536","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":"Q2433009$E1549DFF-5C3D-498E-9257-07F369C125DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2c0fe0b000cbbd5d1aa6689c283985ca8ce060","datavalue":{"value":{"entity-type":"item","numeric-id":4407977,"id":"Q4407977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c3527581b023cc848bfd862431ccb7e068550b","datavalue":{"value":{"amount":"+0.7054579854011536","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":"Q2433009$0330DB8B-C915-4CF7-9426-AA087662A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c951ded58036e390878932e0ff46c125fbcd8b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4726316,"id":"Q4726316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32aebaa5ef6de41b4fb94bd939c06b027cdce81f","datavalue":{"value":{"amount":"+0.6853957176208496","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":"Q2433009$6FAF54AF-BF18-468A-BAF3-17B5EA9B6B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d608fbb5a03b72e6e6b3437aeb817b756f0701e0","datavalue":{"value":{"entity-type":"item","numeric-id":3597204,"id":"Q3597204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51290eccb196a90e53cc26848d6a315935a58a8","datavalue":{"value":{"amount":"+0.676369309425354","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":"Q2433009$889AEA8C-F992-45A5-96E7-5B30BBF3ADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f492773c045db71e2965bd29cddc8e65e3e4dbb4","datavalue":{"value":{"entity-type":"item","numeric-id":3314995,"id":"Q3314995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffba5c7866bd533200ef482ec6fc2f2fd3d27db","datavalue":{"value":{"amount":"+0.6727991104125977","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":"Q2433009$6B4D2CB0-51DB-4918-9D18-39F949D35F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2433009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2433009"}}}}}