{"entities":{"Q5239217":{"pageid":7268785,"ns":120,"title":"Item:Q5239217","lastrevid":55373551,"modified":"2026-02-17T14:43:45Z","type":"item","id":"Q5239217","labels":{"en":{"language":"en","value":"JuliaReach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120139"}},"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":"Q5239217$A91BFA34-791A-4CE5-BA64-10543049516C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c97cb2013089e1330093d8853794ff110ed0131","datavalue":{"value":{"text":"JuliaReach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239217$0D60FDC8-BA66-4C91-8CA9-708661FCB517","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38b3bf3046c047e2856305009b80384d14a4b2c9","datavalue":{"value":"10.1145/3302504.3311804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$6921E691-3DF4-4087-9B43-8A0B5A3D6FBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$FDD0FF0E-2D5D-436B-9ED7-2083E9BF871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8f21ff8f900bc147b53cff90c51ddb86c75775","datavalue":{"value":{"entity-type":"item","numeric-id":331933,"id":"Q331933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$395F7469-C43D-4746-AB60-8C7AEB8A5243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf09ec1b4ecf8f762196d1f0c8d36bf8ee9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":2060883,"id":"Q2060883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$4A02E9C3-9D11-4A4D-957C-2C6F62EC1DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"088fe62441ef74cfff08ba487b22eca0526c8583","datavalue":{"value":{"entity-type":"item","numeric-id":2039958,"id":"Q2039958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$05544FAB-621C-4F89-9555-0CDCD561D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c306eb228b9c879511d123ab3e00929e1d263c7","datavalue":{"value":{"entity-type":"item","numeric-id":2105417,"id":"Q2105417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$3292CBEC-918E-4862-BDEF-A1B249B71E3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$C7B12860-19CF-4DE3-B573-062B4134DB2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239217$84B9DD41-7DB6-47AD-ABC0-F8EA75DDF3AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b46d76230da4cc144e2757b8c0ca2bf6861e945c","datavalue":{"value":"https://arxiv.org/abs/1901.10736","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239217$A410C338-6DAA-4734-961F-47551F86DDA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$6C611782-C1A2-465A-BFB6-B72C7224A091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$4105EB7C-FCD5-422D-B12C-9B4E448B8E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$5CFA4CAF-844D-4F3C-B9BF-BE838E782BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc85bb9d392e5a0c8a39afdb87df7378c0082b3d","datavalue":{"value":"7120139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$A8F2399F-FC16-41FD-81EE-4E1D9A5D496F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239217$69A633CC-A39F-41B9-96E7-14D4AF65D5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f790e5b35f1dfa5df5118a2d459f1a28a7e11c4b","datavalue":{"value":"lazy computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239217$B039F190-A25B-4E44-8E77-14BE9ACF2B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239217$BF72A3E9-E00A-41CD-B4D2-8290E97892EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$1786C4DE-F19D-4A6E-895D-EA76E8BB98FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af2695500fdcfebb883601f9c061d62d67c46821","datavalue":{"value":{"entity-type":"item","numeric-id":25895,"id":"Q25895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$FAB992AC-5F3F-444A-B314-D6B46CD82F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea4cdfd78d236e296359aedc78a81cb2b02a71d5","datavalue":{"value":{"entity-type":"item","numeric-id":31981,"id":"Q31981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$351D4E84-5772-4AB5-BC93-2DC54DD07690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$D522CC7F-68B0-481A-AD0A-13E4F3C1A566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7d6df13b6c7f634053936e89d5b051079ffd09","datavalue":{"value":{"entity-type":"item","numeric-id":39932,"id":"Q39932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$2E96883E-9F79-4A74-A2B2-89B7FCEF70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee63b4517b4bccd13810cc43024c0b0f02027730","datavalue":{"value":{"entity-type":"item","numeric-id":42342,"id":"Q42342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239217$884C206A-8547-4FDC-86CC-40AD1E1AFD6C","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":"Q5239217$5A49DB1A-7F92-47FB-8D9A-847A508463F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07c256160521abf580a6a040d8a8dacfd6d158b4","datavalue":{"value":"W3098560806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239217$8BCF9B0C-BF89-4319-95EF-0988A1B5D96C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f5cbd2dcb81a67b5f9a66cba129d2a9a63f127","datavalue":{"value":{"entity-type":"item","numeric-id":5166710,"id":"Q5166710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b348762dfbb318aa72148aea7316532face3cba","datavalue":{"value":{"amount":"+0.8035075664520264","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":"Q5239217$AE134C41-2FBB-46E3-BAB2-699F6AF38187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0d84e822e8f15ca5308f057c5d887f2d8d160d","datavalue":{"value":{"entity-type":"item","numeric-id":5239242,"id":"Q5239242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3240d2a85ebb09d907ae2efd2874ebb1d125a679","datavalue":{"value":{"amount":"+0.7866150736808777","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":"Q5239217$12DE4193-900E-41CA-B328-DDBF7CF4F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bce97eb1e1f9386e134949496eb9b0517c9ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5239216,"id":"Q5239216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a65a468020b427160d11c4fb1ec7704c8a6391","datavalue":{"value":{"amount":"+0.7599634528160095","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":"Q5239217$13106C8C-1DD2-4CA4-A130-BC096E53FE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f0e5c6c3d90c15676d7b10a252a806fb161d05","datavalue":{"value":{"entity-type":"item","numeric-id":4561431,"id":"Q4561431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b19566d0ce7837e12e52a83f56b56405c09165","datavalue":{"value":{"amount":"+0.7559942603111267","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":"Q5239217$D9C68C06-8B89-41D8-A1FE-E282262EBFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601a0a0f1c10e45a632b42a6fd018c1d52c8b760","datavalue":{"value":{"entity-type":"item","numeric-id":2105418,"id":"Q2105418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce57d4fed5a2c30730674fa2ac996cfcbdc20af","datavalue":{"value":{"amount":"+0.7555424571037292","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":"Q5239217$46D598F3-4178-4078-B065-25BC26CB191A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239217"}}}}}