{"entities":{"Q2995468":{"pageid":3006192,"ns":120,"title":"Item:Q2995468","lastrevid":51231746,"modified":"2026-01-17T08:57:34Z","type":"item","id":"Q2995468","labels":{"en":{"language":"en","value":"An abstract interpretation-based model for safety semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5881006"}},"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":"Q2995468$5D6FCF3D-7033-43BE-A9A9-E2A2244BACAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51a3a31b531d8db596e0f5eb4c9a67dfdd17550f","datavalue":{"value":{"text":"An abstract interpretation-based model for safety semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2995468$EADAE8BA-FC3E-4F72-BF53-E114936D204E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b66fd32369aca8e57166e4fe9d89a404c323ac0a","datavalue":{"value":"1215.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$E78A32F7-2FF9-4371-8574-35A24FF96105","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9bfea8c87cc437b390eaedc3fcf6855a5c46371","datavalue":{"value":"10.1080/00207161003703205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$FA939157-74C4-4149-97A2-AF185A175983","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$92CDD7EA-F225-4A2E-BCAC-1C8F204501A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$65BEC948-66DE-476C-99CB-5BEED925740C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$CEAEF5FA-6FB4-4923-AF1A-5F4AA69D73D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14037b3f6a120371fdd344801088016bb2bc461e","datavalue":{"value":{"time":"+2011-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2995468$A00E53B3-4C82-4315-8ED5-6F76ACBCB0B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$E75EFD83-8337-45B1-95FA-375ED9FD3D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$241471CC-1DF4-4611-A835-C93C3D65822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$B22098F1-ED93-4B35-A7C6-B3F614C6B9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd62ebe1fd3bdb440dc4b3105a427b08c5470b6e","datavalue":{"value":"5881006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$8143A97D-E6CC-4618-8901-844A8D978008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995468$096F65FE-7286-47A7-9AC9-AEA6DF605ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995468$3EF5E339-C569-4B63-8716-5E3D4C444A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995468$650F202E-F63E-45F7-AA02-59AD6291E398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995468$A356A94E-B49B-4BAC-9F9C-487C165E4018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2995468$828110AA-8D27-429E-8B17-3F7EDDC4D896","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":"Q2995468$D460D66C-6B3D-4F54-86BB-8A97CDB37CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68060f561b00582b63292ea0014535d0ab3e9460","datavalue":{"value":"https://doi.org/10.1080/00207161003703205","type":"string"},"datatype":"url"},"type":"statement","id":"Q2995468$83EBCD88-3EE7-422D-A708-A7F14CFFEE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27c5ac9dbee2513b993cffca7f3837e3bcf97477","datavalue":{"value":"W2004736837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$1C41934F-F111-4599-A466-E9949457A579","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d90dcf370a8858f5ef1e112caebbe7331386b1cd","datavalue":{"value":"Q62046216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995468$AD44D5E9-F15F-4894-8DD8-362B84D0299F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$778B934C-5D63-4B32-A1A2-788707E8ED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$7F344DF3-20D1-484F-AC0C-0A6AD89A7E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$F84C4653-532B-4503-B534-F1ADF6209958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59ceb67217bcf487e7c373e95aa972d24ea210","datavalue":{"value":{"entity-type":"item","numeric-id":1089789,"id":"Q1089789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$0CE8D82D-7A96-4BF0-AC71-BD2F1FF1E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$AC8183B8-2BD3-4899-90D2-F11E432B0E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$607FCE6D-C92B-41D0-BC7E-4E151491A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$B6287524-A35F-42AF-8683-76F7C836A25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$E4984FB8-166E-4C28-92C2-EC6F01241990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$4DC6912B-DE52-430E-B76D-8F3566745BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49174fe89898f1b3ced6aaf4b838f363e2ceefde","datavalue":{"value":{"entity-type":"item","numeric-id":655410,"id":"Q655410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$0C02444F-BE0D-41B4-8AB9-6507130D43AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$C6D613DA-0EA5-4608-BB2B-9FA38B3BD9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$072F31D3-96FE-43D6-B59F-F94842AFA6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$D8049AC9-D48A-4171-901F-D52EBAEBDF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c826802362fd2e69416c88fc6976635f9b38bd","datavalue":{"value":{"entity-type":"item","numeric-id":1272226,"id":"Q1272226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$4B5DC8BC-8EBF-473F-85D9-22A72F7D0DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$94B1DADE-016B-4107-B64A-2733B5351AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$BD86E9E7-5BEB-4C16-92C7-2A00A6F6B3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18256db14b3886053957986da0c3a5cb7b4010b5","datavalue":{"value":{"entity-type":"item","numeric-id":688439,"id":"Q688439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$744B15A7-7CCE-414D-9B87-8D41F8CE8CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$4BC22006-14A2-478A-9400-34EC1C7C7BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$C47FC46A-6E9D-4134-B8B3-F8D6C1CD0326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$482D3CE7-8029-43AE-B278-E4DB4BEA0FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995468$8B849126-AF5A-4C6A-B544-0A23698F2CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f9bdc56864bf301eda8dde21b61caea51c1ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d08a5c43fbf89b996162efcf42c76d9d1c015bf","datavalue":{"value":{"amount":"+0.7594274282455444","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":"Q2995468$64F68913-3186-4BE2-B5A8-876F111FB1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af226d2ad6440e379861cc1eac897701afd7903","datavalue":{"value":{"entity-type":"item","numeric-id":4964727,"id":"Q4964727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43f2da29f3b3732841a6e18ee837f1deaeb707a","datavalue":{"value":{"amount":"+0.7594272494316101","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":"Q2995468$20CB1F26-837E-4F13-A093-CFBF590C4071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d6beb5d77b6feca82144d6b51bc4e3d70f9cda","datavalue":{"value":{"entity-type":"item","numeric-id":5896884,"id":"Q5896884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a838f48b0d61455c1c4fc9f74a8bf55c5c55b97c","datavalue":{"value":{"amount":"+0.7559833526611328","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":"Q2995468$BAB5DCFC-F953-48C1-AA4A-E9155E080D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e945c66ef447a8ae0d4c082b6b20c04be2d51650","datavalue":{"value":{"amount":"+0.752193033695221","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":"Q2995468$47FB6322-6160-4DDC-BB5E-3430ABC00F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a601b7873b1373e7aa846c82044f5ed1d504783","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d62e100b22ab6629a2d97134a9e4cddc07fd4f","datavalue":{"value":{"amount":"+0.7491629123687744","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":"Q2995468$36499804-AB7D-43BB-B4B4-AC46F20791E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2995468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2995468"}}}}}