{"entities":{"Q5086227":{"pageid":7115803,"ns":120,"title":"Item:Q5086227","lastrevid":91324643,"modified":"2026-06-04T22:52:50Z","type":"item","id":"Q5086227","labels":{"en":{"language":"en","value":"Verified computations using Taylor models and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551547"}},"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":"Q5086227$D2209F4C-DDB5-442C-B685-129BA93E43BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e4db572b4678b019eb2d579e5e2a4a58ba0419c","datavalue":{"value":{"text":"Verified Computations Using Taylor Models and Their Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5086227$4A2BC167-1D4D-40E7-A788-43DC7DD4FFE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"212a2fc5e27ceadcda7bc7976e750fbddfafbd76","datavalue":{"value":"10.1007/978-3-319-63501-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086227$3510F4C4-F8C2-4400-9CA4-728EAF742495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb3037d9240c3de5ec1eb8537af34ed404026f7","datavalue":{"value":{"entity-type":"item","numeric-id":229304,"id":"Q229304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086227$CE3495AA-F59F-44C9-9CFF-DB088B8426AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f53a2c2db410710046fe0e64731e00ea36e6485","datavalue":{"value":{"entity-type":"item","numeric-id":748257,"id":"Q748257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086227$03A5AB99-EFF7-4029-8D01-83A428AA9CFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4be43154055ea54510f8560b8a19ccb11ae6640e","datavalue":{"value":{"entity-type":"item","numeric-id":5086226,"id":"Q5086226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086227$BE083861-F9E1-4CE1-AB88-1CE4463F4E31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5086227$3B1D3C9C-8ABF-4BC4-8A80-AAFF0495BD0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086227$E08185E4-A3DC-46D2-831B-8AFDC764E2A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c06a15ceedcfeb57d392febc6a59925d1c17115","datavalue":{"value":"7551547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086227$83ACE739-F69C-4F07-BAD3-3A656C5FB1A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d50ceed9e5431c00dbe8f9b967e16a36d7121ce","datavalue":{"value":"Taylor model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$BEC1DE78-7BD1-49F2-AB16-384FC4034A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$2F7A7066-6FCE-4E41-940D-23A18AAB9236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeba89ca924fcec3a5675b10e3dcf02d05673b1","datavalue":{"value":"verified computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$64C9B6A2-6237-4AC0-BFD4-3A50F33F881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9ad915bb9b1aeb4cf99f7b8970eb6a6b04614e","datavalue":{"value":"reliable computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$11970099-369D-467B-BA4F-75E60AB3437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e452a47f30d39515ffd9d79b5a9f38aa27d6cba","datavalue":{"value":"range bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$92980A95-1CBA-4B50-85CF-537AE1EC671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b0ca5c3452e579ed0c1447a43891fecbbbbb763","datavalue":{"value":"function enclosure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$70A52642-B977-4FC4-9943-1EC06534FC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab490c76a6dbd9e7e7ee0eda62e39006a11948d5","datavalue":{"value":"verified global optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$828424A6-E397-4D3E-9E8B-687CD52DDACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0edf6596e6860fb1220bcea9995e7a3a7c533d03","datavalue":{"value":"verified ODE integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086227$B6998995-B4B5-4327-BF2A-83A4B9A23523","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":"Q5086227$C97D8FC5-67A0-49F3-B856-D4E2D1C863A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"782fff4dd22c7bf747baa1c3fda9cdf52b54891e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63501-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5086227$492BB2B7-7EAE-4A60-80EC-631606E38545","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"582b143c38631d816b21ed7c5c9ea77956499d04","datavalue":{"value":"W2735412729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086227$728EF6C1-A811-4FCD-B8A3-9F7908DAEEF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3ef51776b38105a56129353fddcf45c0f194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1559b015e544d26c85ec40c6f121cd8587c0feba","datavalue":{"value":{"amount":"+0.8129940032958984","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":"Q5086227$36469722-8127-4934-A3E9-0AD4C4CF864E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8e1f579f44df36410786a605bec47169221708","datavalue":{"value":{"entity-type":"item","numeric-id":4808034,"id":"Q4808034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd57304c8bbd30a681fd78b75edf66a7a15779f","datavalue":{"value":{"amount":"+0.7905188798904419","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":"Q5086227$AC9B9A3E-D229-42F6-95BC-61EF311C71EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6eb815eaf2883b41c45eff1eb763f09f1a08835","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e877db7de38b3c47c00f6557c86de4e524c964f","datavalue":{"value":{"amount":"+0.7753779888153076","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":"Q5086227$9AF85A76-FD13-4702-A8CE-289EE8E6820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f310aea6b308c18310b41a53d08fc1c0768ee0e","datavalue":{"value":{"entity-type":"item","numeric-id":5955427,"id":"Q5955427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35302dfec6b876c87bfd961ade6a1fdc101a1f77","datavalue":{"value":{"amount":"+0.7646722793579102","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":"Q5086227$43DA5627-8029-46AB-BF90-BE44FCFAE93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac59f33aa8eca279b7479edf59d7f1252c68d4e","datavalue":{"value":{"entity-type":"item","numeric-id":1869608,"id":"Q1869608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35302dfec6b876c87bfd961ade6a1fdc101a1f77","datavalue":{"value":{"amount":"+0.7646722793579102","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":"Q5086227$AF4B66A5-D969-46C2-ACA3-62F31E6FB206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified computations using Taylor models and their applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_computations_using_Taylor_models_and_their_applications"}}}}}