{"entities":{"Q3582709":{"pageid":5612613,"ns":120,"title":"Item:Q3582709","lastrevid":51062573,"modified":"2026-01-16T11:13:38Z","type":"item","id":"Q3582709","labels":{"en":{"language":"en","value":"Formally verified conditions for regularity of interval matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774510"}},"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":"Q3582709$6CFA562E-9DDF-4163-BDB8-9F3C616DC751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae3c3c6aa1ff9dcba5a4ff68c23f027edec87b1","datavalue":{"value":{"text":"Formally Verified Conditions for Regularity of Interval Matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582709$37D353DB-6D48-4050-AEE5-5997EFDF2C59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"265879c2ca6c8889dd9b6b2dea36020459b1e3a7","datavalue":{"value":"1286.68400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582709$98FEBCE5-5FBA-480E-8B3F-A4F6AD6667F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28644dd1770010b64c7831cdacb415eca5dc4c36","datavalue":{"value":"10.1007/978-3-642-14128-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582709$6973E4E1-87EF-43C8-B34F-DA166461D2C0","rank":"normal"}],"P16":[{"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":"Q3582709$C879CE5B-FE27-490A-9572-E2F50B19DC2B","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":"Q3582709$A2728855-C801-4D57-93BA-9172D890C1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582709$25058EB8-3779-4F61-BB8B-10A1EA6A6E22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d4db4ec0e4fa79866797122dbef5ca202ee33e0","datavalue":{"value":"https://hal.inria.fr/inria-00464937/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582709$83CF13BE-C4EB-4B83-94C1-3AA6FB67C0F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582709$3DDF36F4-9371-407B-A289-204B8F311B19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76ee289d4bd225c927e855185810a3625eb56953","datavalue":{"value":"5774510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582709$50036D81-EC8A-45CE-9174-8DF5970EA7AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582709$9C079DF3-ADF7-4D72-AB9E-B5ACF3A40104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb83b1d88013fdd026523eaf1c00831e4613170","datavalue":{"value":"regularity of interval matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582709$CE775B7C-6470-43CA-8EAC-D6C39715067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582709$21A5798A-4C1D-4069-92D6-EC21B09CED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582709$9D13C6E5-E3BE-4424-8D56-1C7308EA95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582709$264E4470-C0DE-4F3D-AA63-FC36A9275939","rank":"normal"}],"P1463":[{"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":"Q3582709$B61100BE-40F0-4569-BF67-0C3579E60996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582709$935EFB1B-D7C8-45F2-97EF-2EBED7C00AE0","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":"Q3582709$056611D5-BB63-43F8-9D6B-961454CD9534","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":"Q3582709$519BB9B6-D3B0-4D64-8A4D-61006F63199D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd4d34638fbdbca958187a19117be5aa1223239","datavalue":{"value":"W4246030449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582709$913B877D-D57D-4F9D-9FEA-DB7709C6C38B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a62b0165bb530d0f325de2986dd0d823621aad","datavalue":{"value":{"entity-type":"item","numeric-id":4243527,"id":"Q4243527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25482662603dd8368bcecb0af3caf990c71a2b8","datavalue":{"value":{"amount":"+0.7885319590568542","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":"Q3582709$98C10BAC-26FF-4C81-8BA6-F51AE26AD54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d93a3fe55799b4201e920ff48adb0fa3f0f71d3","datavalue":{"value":{"entity-type":"item","numeric-id":432241,"id":"Q432241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6f6c7635841dafa317d8c2466a054c32b0e800","datavalue":{"value":{"amount":"+0.7627072930335999","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":"Q3582709$FF8C49F1-D8F0-449A-B144-6EDB817AF4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cbe2afbdf17904aed4dc2d8d9377e579b634ec","datavalue":{"value":{"entity-type":"item","numeric-id":4854477,"id":"Q4854477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39ece46a37e77f4022654c26812a4bf809609f7","datavalue":{"value":{"amount":"+0.7609913349151611","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":"Q3582709$5027E59A-FF1F-41F7-907D-16E1710EB6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8975ed569b40b752fe1dba919412d6bd13a05ea","datavalue":{"value":{"entity-type":"item","numeric-id":4603781,"id":"Q4603781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909f8dec9441b5c7484aa0588cc53ea164c0d9d2","datavalue":{"value":{"amount":"+0.7598472833633423","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":"Q3582709$4E356564-CE7B-4C45-A8DB-8C586D9B94DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffa636ac6f880a0bd6ed228d1dbf70e088b2b02","datavalue":{"value":{"entity-type":"item","numeric-id":811946,"id":"Q811946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056ac383c17a588104ffbe7d53980ac6718576ae","datavalue":{"value":{"amount":"+0.7581035494804382","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":"Q3582709$78B32729-6960-4CF4-A1BF-9BFF10CE055A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582709"}}}}}