{"entities":{"Q2642667":{"pageid":2653410,"ns":120,"title":"Item:Q2642667","lastrevid":50146211,"modified":"2026-01-13T06:44:52Z","type":"item","id":"Q2642667","labels":{"en":{"language":"en","value":"Refinement preserving approximations for the design and verification of heterogeneous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5180044"}},"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":"Q2642667$3E15AC9B-03BE-4782-ADCE-EA762FA33306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0921ceec63c80b45f24a16810d4bd51c01336eef","datavalue":{"value":{"text":"Refinement preserving approximations for the design and verification of heterogeneous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642667$864E6899-11E2-4B39-B193-073E25E9FBB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56fd4f52ff04efcd36554f940f48fec57b7ad5d1","datavalue":{"value":"1118.68498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$E8C86018-7594-42AB-B39E-1AD7FA151EE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b21595f21f62505c422669266febef45c37adbb","datavalue":{"value":{"entity-type":"item","numeric-id":212523,"id":"Q212523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$00F78699-2317-45B7-9EE5-703DCFF721CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"222205726dff0ef2b08bded726a14fc8cc9e5a10","datavalue":{"value":{"entity-type":"item","numeric-id":1076508,"id":"Q1076508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$07C1F736-E1AB-4BCB-9664-DF6527664160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$0E59D98D-C1F4-47D1-A372-08C19C80C5D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$86BB7ABC-CBF3-496C-8185-474BBDFA519C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642667$F0226CA3-22C7-4683-9CCA-4BE5D5BA7AB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$062D5EE3-5CC3-4A57-A5C1-E2B76790FF3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a272682ad1887cb74e2dbc460d38a36c0fb9c45f","datavalue":{"value":"5180044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$EF5A724A-E9E0-45C6-8CD8-FA90C207037A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$1DCA66F1-4633-44CE-9C75-A9F27E5215DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"693fd2dab09af57f62a1d95260c7304749c53544","datavalue":{"value":"Preserving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$D5EF3CBA-127D-4952-B8CB-A85F6C65F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d066dc3a69f4e4cc93f3535facccdf47a41a2e01","datavalue":{"value":"Approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$9395D8E2-A9E7-4FFA-B4EA-D8D07746C175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$65E1F8DE-FC15-48D6-8476-5F7AB68D45EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$5E0BB11A-BCF7-4AD0-833C-C9A562544C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae6706185701b77223d20931294886e47fb5ef5","datavalue":{"value":"Heterogeneous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$9ADB47BC-E91E-4C7B-B629-3DDCD9F86D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5211b19af0e57621525b3ec6133baf56e478c2d","datavalue":{"value":"Reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$DBDF8E0A-039A-45A7-A9FB-3444BC933E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d6cd4615e6bea489131db0aa9f78b92cd53588","datavalue":{"value":"Polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$6AB5BC48-F1EE-47DC-9E36-D9C121043EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d29baa4b58752aaf74cc7fa2336a0b54b035fdb","datavalue":{"value":"Model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$2D82A519-0705-4486-BC32-F016D99A908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$87ED04AA-B7DF-4401-8BBF-CACE8DDB06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$9DAFC509-C7FE-43A8-89BB-6D20E35C1486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6098d3e9ddc1d2c4c6cc397c953586be6dbf10","datavalue":{"value":"Conservative approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$43A95B19-1FF8-49F8-AA9A-8BB5A888DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d315f5d5d94d917597b0f8beeb760c19e2c5e9b2","datavalue":{"value":"Continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$133CADD9-AF03-4C81-A9CD-B83166053F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cbd5f4bfd30aa25f745b3da3ec9f8b760c1c2c2","datavalue":{"value":"Discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$19A48180-841B-459D-9343-1B8428D10846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"facdc10df086f8f2b7ca55ac3a12d858f6391fa8","datavalue":{"value":"Concretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642667$80B66F6B-5F28-40D7-8165-4D73A959FD25","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":"Q2642667$A938BB69-C55C-498C-8D0A-F49173B5C1AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6a485d106448399fb01a1b6bc3e3ce802edc9eb","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0024-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642667$D5318440-C321-4E12-84E0-25905DC175C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a395456dbfadf64c035ce0414b3b52887edf0a4f","datavalue":{"value":"W2164198178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$56FDDFBD-D648-4608-A52F-75A1766A7DCA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5428de54d0a1c1d407d2c745156dcb5f4749a788","datavalue":{"value":"Q57380515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$26FA2F6F-EFA5-48CE-B3B7-74E97A4356FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$14E6BBA4-E940-42DE-844B-2EEB1599C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa571baea73319b8fd09fc6a286747a3e81af429","datavalue":{"value":{"entity-type":"item","numeric-id":4473735,"id":"Q4473735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$D0C79CB5-28AC-405F-A3B5-1310318EEE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5689bb4f1fb11b854f6bc5dad05099e1dbff5","datavalue":{"value":{"entity-type":"item","numeric-id":4316881,"id":"Q4316881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$D8CF95D5-613C-4530-AE34-90E931315C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$E144B408-B04D-493B-B514-AB4B4216E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bced36113cc7993172e04e60734c44d308d453c","datavalue":{"value":{"entity-type":"item","numeric-id":4473726,"id":"Q4473726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$BE43B20A-AD90-4BBA-BAF6-8DE3DC2C9C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$0298AF30-244C-468F-BE04-950CF0F90DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$4EC4DE3C-D8C1-4AB3-9DE2-6C7AAD20F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb86de14797b89b934069dddacc71b4195d70a3","datavalue":{"value":{"entity-type":"item","numeric-id":4060097,"id":"Q4060097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642667$7AE90884-75F9-41E4-8820-5D6B493FB3F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5fe8209c1b410fce44c2e9825e939cb94decb31","datavalue":{"value":"10.1007/S10703-006-0024-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642667$D5BABB84-5A04-4D07-BD9E-3FEBB075EAEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046cda2d2dd4899dd4e536fd8909c4fa3cb9d0b3","datavalue":{"value":{"entity-type":"item","numeric-id":3507398,"id":"Q3507398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098b107b473026c2debb70154f9b3f27909e0c08","datavalue":{"value":{"amount":"+0.8591620922088623","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":"Q2642667$3ADD6973-DAD7-4F0D-822E-84CDB8B2D66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be01ac97b9e4d9273b7f9e318c653b54d7d4b144","datavalue":{"value":{"entity-type":"item","numeric-id":4941014,"id":"Q4941014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d370b4193899dc3059b033d638d45b00ac1e5644","datavalue":{"value":{"amount":"+0.7508849501609802","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":"Q2642667$944EED1D-DEC8-4EEF-B3E9-6E0BD48C9082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54533e85934b2139c73ab774bbbdbdc196109b55","datavalue":{"value":{"entity-type":"item","numeric-id":4473735,"id":"Q4473735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9ffb110b308c0ab7b881cc13cd75a11a62a8df","datavalue":{"value":{"amount":"+0.7288891673088074","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":"Q2642667$24705B5E-B914-427C-951F-4C354E8B89C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7b44e3f4f553fc27379de5771df3ab9f518c7","datavalue":{"value":{"entity-type":"item","numeric-id":4417608,"id":"Q4417608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c809cda3001c80f40b45c1c58ed6ee6a2c824323","datavalue":{"value":{"amount":"+0.7078776359558105","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":"Q2642667$49505810-83EE-478A-85E2-1F3C4A2454C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b215bbd0e5a0f4ced762d1a5ea5961200d72da0","datavalue":{"value":{"entity-type":"item","numeric-id":3009352,"id":"Q3009352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6aa5b10294d571d1500c9f410b177fdf80268d","datavalue":{"value":{"amount":"+0.7076231837272644","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":"Q2642667$2BCE9685-D5DE-4D96-9529-681CF95C8A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642667"}}}}}