{"entities":{"Q3183542":{"pageid":3194250,"ns":120,"title":"Item:Q3183542","lastrevid":50790749,"modified":"2026-01-15T04:47:19Z","type":"item","id":"Q3183542","labels":{"en":{"language":"en","value":"Formal Verification of Exact Computations Using Newton\u2019s Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618522"}},"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":"Q3183542$D1C2D7B1-1EDF-43F7-B069-3A48E8FF8F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d34dfe85d984886d3419a95a702c5d2c4fb88128","datavalue":{"value":{"text":"Formal Verification of Exact Computations Using Newton\u2019s Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183542$74A8CBAE-9A66-4CB9-929F-CD5FA9EBD8F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c225f4c82589a2d5d81427a98954d4a4cc6e8d2a","datavalue":{"value":"1252.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$3377D166-C4BA-413A-B6EA-EF27C1EBBBF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa2a1842773c8a90434aa7bf40edf00ef1ae584e","datavalue":{"value":"10.1007/978-3-642-03359-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$6ED352BD-D012-4B0D-B3B5-01017071F003","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75704a102175f9a28f385fb880913f201826e501","datavalue":{"value":{"entity-type":"item","numeric-id":3183541,"id":"Q3183541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$94EEB7FE-632E-414E-AD0E-AC413AD0526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"477550bcfd3313e802a49b86f4aa837d29196dee","datavalue":{"value":{"entity-type":"item","numeric-id":3094170,"id":"Q3094170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$8C11476C-E72E-40B5-A73B-B1DFE8A09F25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$A133DD33-AF0B-45D1-8D52-AEBD15C04203","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183542$B4E27601-06ED-402C-979B-501880D12221","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94fe42d482f60b1466e3e29d621c9b8452ead578","datavalue":{"value":"https://hal.inria.fr/inria-00369511/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183542$BE696DEE-75B1-434C-818A-38988D0D2DF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$84DC91C2-C12D-424E-A3FE-5D01EB82E11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7c34836818ffbea9a518ee3069a773adc88b483","datavalue":{"value":"65H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$E5A94839-DEC4-44F7-BD73-468D7CF16B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b43916fe90862335aa0bd1189a559b4a2c1bb7c","datavalue":{"value":"5618522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$9A5217B8-F9D0-4756-A839-8CA27B47372E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$71653FB5-B4CE-41B1-95C0-2960943BEB7C","rank":"normal"},{"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":"Q3183542$6889C2B4-D90D-41CC-8946-F954B20C00D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$CE64AA07-73A9-4AC1-B462-8DC55B6F6CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$D6086ADA-B4AC-42C4-869D-7370C92E63A4","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":"Q3183542$62455676-2B69-4A69-8C50-15E7D0510AB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81bdf999a27b17cc298e71ddd5928014b65ca874","datavalue":{"value":"W1503708287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183542$FA124992-5362-4768-9A02-302DA5D0F035","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$D05F1FC2-87FE-4CC2-9446-09D0742A1B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc8d159e33e0b9cec2c132fd576f1962fb82116","datavalue":{"value":{"entity-type":"item","numeric-id":1868507,"id":"Q1868507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$E3B9CAEF-4E74-4AD2-99E8-B77AFA2C956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a14827d9bb7d827953fbb64d29f8309430201c4","datavalue":{"value":{"entity-type":"item","numeric-id":3060337,"id":"Q3060337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$13B1EAFE-9B06-4B76-8D7A-B3323A823BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$862DE442-1646-4A30-BBA5-434AF93A335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3738b03704797326830c6e1694271832e90c3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$9931F0E0-00C2-49DD-A960-A3E856CD3BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab286ce9532044a0bbcada18389d4ffcc9518d","datavalue":{"value":{"entity-type":"item","numeric-id":5956117,"id":"Q5956117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$9CEE16B3-0757-44A6-A3D4-A37382D42C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$5AA74ED3-4F35-4435-85B0-FEB4D58E8C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d68ec78d4edd0f55a89c4f13aa4ff027cd9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":1870226,"id":"Q1870226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$7A21EBD3-FA56-4E08-8523-3BAE1C64D369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3719c378cbc6561c771f7c79d4bca4400d1f974d","datavalue":{"value":{"entity-type":"item","numeric-id":4531982,"id":"Q4531982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$6BE6CBE9-8BBB-4043-BE58-184A2D34ABE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c4c6269cfab8e5917ddd21b6126adfe8f1934","datavalue":{"value":{"entity-type":"item","numeric-id":5458427,"id":"Q5458427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$F7349A54-72BA-4BEB-90B2-10BB4B94AA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5219c5c4de5fbceda2701fd0f6949df6a84a12","datavalue":{"value":{"entity-type":"item","numeric-id":3184782,"id":"Q3184782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$2CD36D38-A499-4235-BCD3-45A7C0B9D907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6482d85146713dfc3b737ad22ab1c49805887da0","datavalue":{"value":{"entity-type":"item","numeric-id":3543660,"id":"Q3543660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$E83A8734-9C0D-48EE-8343-15ED22358564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2781cee05a185500a694dc8dde26587ce3144f65","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$24BBD425-2CA0-4419-8F47-567EBDE02E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f025b82e462b08b6da310a0699c520bda9047","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$28A16FFD-BEA5-47F9-8B9A-4BBF186201FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec407bff047c5b2a446c4eab8012ded481f5def","datavalue":{"value":{"entity-type":"item","numeric-id":4427909,"id":"Q4427909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183542$E2696981-AF04-4700-88FF-0D5BF2864888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35c07e8403a88ee5965bef46eb536fc69e9be50","datavalue":{"value":{"entity-type":"item","numeric-id":3094171,"id":"Q3094171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f71269dc757ad1811aa95668e660f3fdac526f","datavalue":{"value":{"amount":"+0.8457974195480347","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":"Q3183542$6551EFEC-2945-4252-A5C0-552C1F6390B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b14511b2c2a98ff823b08213b96d64827fea9d","datavalue":{"value":{"entity-type":"item","numeric-id":861902,"id":"Q861902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d4a099fd4763d128b5439ef18d9b59143f4e07","datavalue":{"value":{"amount":"+0.7127441763877869","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":"Q3183542$C63F0967-DDBD-4CA0-96CF-811F88F5B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1f5066e73a98ec2087864185d77325b28832f4","datavalue":{"value":{"entity-type":"item","numeric-id":4234172,"id":"Q4234172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e38e34cf9e642f6ab82837c82ea1039de4923e","datavalue":{"value":{"amount":"+0.7001951336860657","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":"Q3183542$E32A90FD-0FD5-4AA0-A3B4-3FBEFC933783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176d321a2fcf39f9eef6ed7d3f3a309356665ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e38e34cf9e642f6ab82837c82ea1039de4923e","datavalue":{"value":{"amount":"+0.7001951336860657","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":"Q3183542$13EE763D-6D7C-4299-9D0A-F969E3A7441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb5c0e18333a656d97161fa51c45dab6fcd84d0","datavalue":{"value":{"entity-type":"item","numeric-id":6136749,"id":"Q6136749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13fbdd27d39be459b1acbf3ffaded1968620012","datavalue":{"value":{"amount":"+0.6911525130271912","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":"Q3183542$685D97EB-F90D-4B8B-A660-1154E6DE70AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183542"}}}}}