{"entities":{"Q6164426":{"pageid":13299307,"ns":120,"title":"Item:Q6164426","lastrevid":98860811,"modified":"2026-06-05T18:39:48Z","type":"item","id":"Q6164426","labels":{"en":{"language":"en","value":"Deciding program properties via complete abstractions on bounded domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719731"}},"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":"Q6164426$B86D3BBB-1A79-4D27-89EE-30136536ABB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeee3232545ea4edb64350ef8a34b9b07ea3de07","datavalue":{"value":{"text":"Deciding program properties via complete abstractions on bounded domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164426$44247E90-B823-4A16-BD9D-D686FD6EA5E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d1d1e486f4394c49d35c54da9c0f9484ce4fa45","datavalue":{"value":"1524.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164426$DC6D3E4A-6D00-4302-AEE7-26A328AAA377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46a59056cc2ec2878dad65693987c51cd88a22be","datavalue":{"value":"10.1007/978-3-031-22308-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164426$BB5A9E72-F0A2-4A52-8D78-5B4425545ABE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$94AA71B1-6DD9-4993-B036-6816FD5105F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$FB67C865-D4D5-47E3-8EC4-8858C409EC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58840b390c7dc1e7015ad6c11e99290a3cede4b6","datavalue":{"value":{"entity-type":"item","numeric-id":6164425,"id":"Q6164425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$5FF22F3C-B080-438F-B250-6CF8AB8D4782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$81B0397B-A7DC-4869-BB48-CDEE9417C2DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164426$C3B77E8A-92FD-4030-B586-0C38AC6E3703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164426$E96B27CA-6EDE-4C0D-9F68-295B40900E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164426$68F3F248-D6CE-4960-B205-8ADDF5A2C7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab0855a12fffe66a17566155a978213012134a5","datavalue":{"value":"7719731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164426$A981829B-4C94-4523-A5B0-74BDD6E9024F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$4BFD7BF7-CF39-4F46-9470-2AD034A6DFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f86cb3bd36c1b52f742efb8fa2f72fc7e331c8e","datavalue":{"value":"complete abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$CFB28D47-564D-497C-90A9-AB8441B7860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249ef394ebbcda6d962ce1c23a3f1913020ca90f","datavalue":{"value":"bounded domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$B81AEE7D-C127-4995-A498-EB562D325120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$D7A5AC38-9CA9-4CC5-ADBC-E95ED45074C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$E62DED9A-8135-4727-B42D-650747138AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164426$36B95E14-F821-49E4-B032-F6933991219B","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":"Q6164426$3E6B5453-5D6C-4C77-8B39-66CDC09EC3D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$8BD46AF8-8590-467F-A11D-BE4A9C679371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e8044e1ce25d903b208ba71585994bb6de082","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$A9AB8B45-80EE-4138-AC28-49281456CDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$CECC06C9-9E08-4185-A83C-F0939997D906","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":"Q6164426$BCB353C8-9AF2-439E-9CC6-5F622C0D9760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ab828076764dd3c1c3bcd0118a6663e784bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":1071491,"id":"Q1071491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$42FAFD54-EA6E-44A8-AC83-917D1810812E","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":"Q6164426$FE073A5F-CE28-4803-BABE-A2EB2F399849","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":"Q6164426$12BE83CF-2B67-4C81-9FBB-9B2EBB457D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f101b5f0fc995f830634b7b6cd442baff4f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$668A0389-E943-4A8E-ABAC-9DCD8A7154C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$E89B097A-23FC-4A45-B2D9-B46D9B50701C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$9BC48F02-E396-44AE-93FF-790D7630A3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$F5561690-4906-424B-B4F5-08F43A4D496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba8934df744678f296d65df2505ca4669717fde","datavalue":{"value":{"entity-type":"item","numeric-id":5768086,"id":"Q5768086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164426$889D12CE-65CC-4BA3-A500-90A302B3152E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caf651b6ab29fc3a13c38b152c828efece70565","datavalue":{"value":{"amount":"+0.8195234537124634","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":"Q6164426$9E2189D7-0E97-426C-A5C2-0924591D9875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c45d081081954201ed6147b22adc377d3cd248","datavalue":{"value":{"entity-type":"item","numeric-id":5741575,"id":"Q5741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb95f925870483ba42610ce4aaac9618d188852","datavalue":{"value":{"amount":"+0.7873850464820862","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":"Q6164426$58180A18-B03F-4EFE-B18B-E169B05B9901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9d92567e9b0cc04a6ba8df309dd7e89a03ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e53f023ffa101eb25dfbaa5ac39c9b7ded47d6e","datavalue":{"value":{"amount":"+0.784151017665863","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":"Q6164426$DF83EDEC-FD37-4192-8DE8-DE210FB00DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3bbcb2d88921b08f4ce9bc602018cbe38f4d41","datavalue":{"value":{"amount":"+0.7820680141448975","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":"Q6164426$B710AD72-0676-4659-B5DE-4B6F32FE8C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding program properties via complete abstractions on bounded domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_program_properties_via_complete_abstractions_on_bounded_domains"}}}}}