{"entities":{"Q2283722":{"pageid":2294465,"ns":120,"title":"Item:Q2283722","lastrevid":71756448,"modified":"2026-04-14T00:20:27Z","type":"item","id":"Q2283722","labels":{"en":{"language":"en","value":"Estimating the maximum rise in temperature according to climate models using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150264"}},"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":"Q2283722$67E03552-783B-4194-A371-BFFE03E8713C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf09e1f8e59e6e67d5b13710d9353910d9a23f82","datavalue":{"value":{"text":"Estimating the maximum rise in temperature according to climate models using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2283722$1BD6D79B-B59D-429C-A0BC-92CA55178156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29c1d07648caf4d7f9ad8ee4ef9c47163c90d389","datavalue":{"value":"1477.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$6D9DC184-CA6F-430E-8E7F-3E2278FB352B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61084e263461e88606d77613ea5a977cce72876d","datavalue":{"value":{"entity-type":"item","numeric-id":2283721,"id":"Q2283721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$8C29A368-99C4-4AE9-AF7E-DED42C3667FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1837ca1ba79416e0c604108e5263c0aea5d9bf9d","datavalue":{"value":{"entity-type":"item","numeric-id":676425,"id":"Q676425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$044CBBD0-416F-4A43-830E-C56EBDB1918F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3132f1a35d4811c7f0ea5868c231904ab711017","datavalue":{"value":{"entity-type":"item","numeric-id":399498,"id":"Q399498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$4C759EC4-CE4D-430D-B8BC-84E0903369E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7e8cf16d5068a895c69c4cf37d7b5d354bf018","datavalue":{"value":{"time":"+2020-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2283722$2A13E555-5B29-4269-AD9E-E994000609E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$EB2BCE0D-9B15-4472-8F2D-C48B7FD8E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$A625614D-D036-4212-A58F-6821FA8FC9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be242ee8129b55a10eaeb0fffb84300e7ebe934d","datavalue":{"value":"86A08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$C100E956-6F3F-4AC3-9D29-8D3E552F2EB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3242800800104a1208cee8ff26b5869284101f7f","datavalue":{"value":"7150264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$65805BED-15F8-4B1C-9E66-B21E364FA5C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94579a4b15f0d1b0c82e913809e2359a3cf56b52","datavalue":{"value":"constraint database","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$1B8D64AD-711B-4895-8B64-B059BE7385D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$0EC838CD-35CB-40CB-A882-DD13446C3EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef096d528f7645f8e3f0cc5acd3f11620b1eaca","datavalue":{"value":"climate model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$00117138-B128-4850-8273-CA61F11F67E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$076747E0-A997-4D62-816E-261A1C0E54BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616c1cd147e9f13baf9231fc274c09b4de22f8ab","datavalue":{"value":"MLPQ system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$3F18A739-D980-4C0C-8079-8C3156787C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283722$EBF2149F-56E1-4234-907B-3306CF0DB625","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a73c4a312838645f7fca38258c74946c86a444b","datavalue":{"value":"Q114124394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$E74D6A9E-FCFB-412C-B3A4-DC92DCD25350","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5da224970f4d85a0f4704c925dcc70cbaf0dfa66","datavalue":{"value":{"entity-type":"item","numeric-id":29224,"id":"Q29224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$ED9B0881-5D23-4C4C-88D4-B639E01C3886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02313f8c42280da57a4bafe2abb9c51c264bb3f6","datavalue":{"value":{"entity-type":"item","numeric-id":17960,"id":"Q17960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$5964073F-047C-4745-9D9E-24017AE50A0B","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":"Q2283722$E44ACF08-6A3A-4B25-9E69-5BF1A2A5E51B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8873eb833221605325d9b900b8a4ab41bf54de3c","datavalue":{"value":"https://doi.org/10.2478/ausi-2019-0001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2283722$9724B622-5019-4682-AE5D-8E1D09636654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e38ba09a080804dd98c4063bb0eba5d6eb067d7","datavalue":{"value":"W2969859706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$2F989294-E4D3-48DE-9513-730826AFCE69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58bef328ea9f6bb0e8653d5a07f3e57490b43af","datavalue":{"value":{"entity-type":"item","numeric-id":688670,"id":"Q688670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$57ACB0E5-B3EB-4F19-912F-D782AA042D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21137ab7a471f67814fe16d1e705bff9ccd4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5925716,"id":"Q5925716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$409F5081-E25F-4839-960C-072CEE0CCE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3eb041a0db0b27454732aeb01b685079c75fa72","datavalue":{"value":{"entity-type":"item","numeric-id":5452618,"id":"Q5452618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$9AD5F87E-7FA3-498B-8909-91501BEA3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6fdc8cee67085551a4b60d63c2765a0eb30951","datavalue":{"value":{"entity-type":"item","numeric-id":1049894,"id":"Q1049894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$DB9FDA3F-964D-4105-9440-0F02323200AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ac757c8edc5c063b127ee6d1dc9c73503034a4d","datavalue":{"value":"10.2478/AUSI-2019-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283722$A9F582C6-CC47-4961-A5BE-3AEA6FB5EB3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1a600882b169c74b81280188989c314fec32b8","datavalue":{"value":{"entity-type":"item","numeric-id":5703955,"id":"Q5703955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59041d7134e40d0d56ea953937437c67b26cb657","datavalue":{"value":{"amount":"+0.6176520586013794","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":"Q2283722$7B7C48E3-26E1-4948-8A0F-443D78E6084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311381b199f66a78e70aef9799419b9d71bb6ba2","datavalue":{"value":{"amount":"+0.6108009219169617","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":"Q2283722$869BCEF2-D1BA-46A4-978E-59602FA2040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581ef8407eedada172320ec9ec1f28e653b5764d","datavalue":{"value":{"entity-type":"item","numeric-id":5256110,"id":"Q5256110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9699119cc138c6a5a2d9cb0fad69cd05b79b165c","datavalue":{"value":{"amount":"+0.6108008027076721","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":"Q2283722$C4F3F481-69BA-4465-A3F9-BB3803DD4F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbe90a1b81e0827ffc78070ab2d41d01c57c5fb","datavalue":{"value":{"entity-type":"item","numeric-id":5452618,"id":"Q5452618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0e05eafb7e6ba4e94e288c1cb52ec801148f8c","datavalue":{"value":{"amount":"+0.6005556583404541","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":"Q2283722$1125E77D-C804-48E3-9A7B-130EC320BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7820ab58e03499cb3768d7fdea8242d2ef24636f","datavalue":{"value":{"amount":"+0.5942171216011047","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":"Q2283722$2B80F6D1-0D9C-47E3-AF4E-4D359A0DA648","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283722$9A9DAD25-FA0F-4FD7-AA33-7ADA9472F8F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Estimating the maximum rise in temperature according to climate models using abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Estimating_the_maximum_rise_in_temperature_according_to_climate_models_using_abstract_interpretation"}}}}}