{"entities":{"Q817868":{"pageid":819716,"ns":120,"title":"Item:Q817868","lastrevid":64566759,"modified":"2026-04-11T20:45:19Z","type":"item","id":"Q817868","labels":{"en":{"language":"en","value":"Using interval arithmetic to prove that a set is path-connected"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013355"}},"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":"Q817868$F46A217B-E2CE-4F60-AC8E-7E43DC5E8DEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dec993cc9c17722b18a16a31112b1403fa1410b","datavalue":{"value":{"text":"Using interval arithmetic to prove that a set is path-connected","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817868$13902E12-221C-4E19-9067-44530EE76639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c2cda00a5dd593f2d0b1549da71ccd2e46ef52","datavalue":{"value":"1087.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$DDF2E2D0-205B-4E67-BAD3-4BED17FEA5F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75448f5cd0c0b156da065efebbbc3bf9d4c9584d","datavalue":{"value":{"entity-type":"item","numeric-id":263169,"id":"Q263169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$2B147726-4D3A-43E6-9DDE-C1D8B67F3E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd15b2d74e403be7032f66d12c27794337b05ab2","datavalue":{"value":{"entity-type":"item","numeric-id":212286,"id":"Q212286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$923E460A-A536-445F-9266-61A907E9F41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bbd4d70a6ff38260a710e61749a22e3fe7fe05","datavalue":{"value":{"entity-type":"item","numeric-id":162905,"id":"Q162905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$A07FDEA7-A53F-453A-B20D-A9DED806FDA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$58744C51-1735-43B4-A894-EA924D671758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-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":"Q817868$41050333-7A15-4433-AF9B-839F95BE5DB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$77326BB9-42ED-4372-999C-67BAA5BF7BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde5a4fbe64a00aecf96d44aa53174002a5dae04","datavalue":{"value":"65G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$F131258A-5F44-4606-ABB1-D680ED7CE048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1971c9bca63c596efb33db71815ac246b853fde","datavalue":{"value":"5013355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$D8A0EA30-9B64-4C85-9E09-9331F0DA92B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$19B3811E-AAC0-43EC-9141-A406F5A8CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$27CD47A3-0F47-4C3F-BEF0-19FBCE95FA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03585adf0b8e02f7d4c97c3fa6aec8077655c716","datavalue":{"value":"connected set","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$ECC738CC-606A-4459-AAFC-390883EF53C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$8B604959-E449-4545-BCB5-A1A0D0955F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde2f493262a271da24bbac59a30e14b36431d18","datavalue":{"value":"set computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$A172D3C5-AC3A-43FC-9FD5-0DCC9F51F703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734166dd76551156a537e5c17e63162394a8c79d","datavalue":{"value":"automatic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q817868$BF6809CF-BAA8-42CC-B631-0248F273DC61","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":"Q817868$B294C513-A0B4-46DB-812E-FC95E7C64A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fe5afb1eb982e14661886c96fe92ff18bb80f07","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.09.055","type":"string"},"datatype":"url"},"type":"statement","id":"Q817868$55FFDF10-B396-437E-B2F6-814A627AB336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"245027ddbcf487ef504663d6503cb3a6a2be2ab1","datavalue":{"value":"W2141959453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$A0FCFC8C-BC0F-4973-AECB-41F09204CD07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$92BEB799-9981-4EDC-9401-358267C725C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$6A89164A-2526-48B6-AB52-75CB6AF6447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$D8C81A6D-A040-4710-B67D-B55E4500A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1b454e0b8ff3983d60b9465dff548605dc0dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3683158,"id":"Q3683158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$F296553C-0FAA-4183-AFA1-5F0C18AC8C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fad1b3810697b07f4d531fd9b8ed9acea3f48a","datavalue":{"value":{"entity-type":"item","numeric-id":2713275,"id":"Q2713275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$B2A4AB00-6B96-42DA-A6CD-9A979E89F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151504e81a36ec8b64b9c67c915b4bae847cad54","datavalue":{"value":{"entity-type":"item","numeric-id":3659185,"id":"Q3659185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$7432E6C1-76FC-40AC-8A60-4641EC0E42CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1ae252985c34fa5a19dd38df35f120d67363f2","datavalue":{"value":{"entity-type":"item","numeric-id":3843856,"id":"Q3843856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$66CCA13C-FBBF-4351-B709-D408838E087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1ed35e24533712b2c078b403f2fce7e51b332f","datavalue":{"value":{"entity-type":"item","numeric-id":3207999,"id":"Q3207999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$08CAF9D3-B6D1-4C14-9D2F-0958CF812080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efeb0bf8b8429af9b71997fb443f62fc6243bd","datavalue":{"value":{"entity-type":"item","numeric-id":3827224,"id":"Q3827224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$25F12916-3363-469D-95F9-5A7DAEDE5329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3100f842d99fc441cb795827cea67d8eaab676e","datavalue":{"value":{"entity-type":"item","numeric-id":676673,"id":"Q676673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817868$2971FB14-10A4-462C-A04D-F84032C0D784","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba96daf46c5fffb0a5d74a59866f7c7d77fc4259","datavalue":{"value":"10.1016/J.TCS.2005.09.055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817868$AD16C45F-E902-4D8E-927A-85805271CB23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f46f82a710af3ad628237a58741e2e6002e7be7","datavalue":{"value":{"entity-type":"item","numeric-id":5935462,"id":"Q5935462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42519cf255552654909872a51a60ac172c972dbe","datavalue":{"value":{"amount":"+0.7079703211784363","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":"Q817868$2352900F-37BA-4C85-923B-44D6F4C65E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc163711334fcfcd127e90e8c28d4ed72504d98","datavalue":{"value":{"entity-type":"item","numeric-id":3140561,"id":"Q3140561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425b41c02b39b510addc1ffcdcbf0cb5130dbe53","datavalue":{"value":{"amount":"+0.6908124089241028","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":"Q817868$A4205A20-8F4F-45A8-80A3-EAC32DB61152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e753f49472ee01efb27a4968699a565666546a90","datavalue":{"value":{"entity-type":"item","numeric-id":4295432,"id":"Q4295432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603aa15d38e029190027c9b7cb7d8962b69353dc","datavalue":{"value":{"amount":"+0.6846991181373596","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":"Q817868$45D4F229-2660-4376-B399-332B09FFF5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608ef5a97e5ca98cf679f113561dc1a4ebdfa34c","datavalue":{"value":{"entity-type":"item","numeric-id":4892225,"id":"Q4892225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603aa15d38e029190027c9b7cb7d8962b69353dc","datavalue":{"value":{"amount":"+0.6846991181373596","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":"Q817868$A472D208-0AE4-4D7A-BADF-848A692B65A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075b17ea134b2e51c3a96f08bcf6adfa3d861b86","datavalue":{"value":{"entity-type":"item","numeric-id":3323147,"id":"Q3323147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7633ad8ed89ec36e1d83114b25331fedc98b8d21","datavalue":{"value":{"amount":"+0.6825879812240601","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":"Q817868$B3EEB2F4-1D98-4ACD-95B9-89B75996CC21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using interval arithmetic to prove that a set is path-connected","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_interval_arithmetic_to_prove_that_a_set_is_path-connected"}}}}}