{"entities":{"Q4593040":{"pageid":6622625,"ns":120,"title":"Item:Q4593040","lastrevid":58286163,"modified":"2026-04-04T13:58:56Z","type":"item","id":"Q4593040","labels":{"en":{"language":"en","value":"Assertion-based analysis via slicing with<tt>ABETS</tt>(system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804595"}},"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":"Q4593040$A07A043A-3168-4ECE-B6E6-9B068BB24158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd5b07082e10d7fd6dee7827f51e7efc21e6c8f","datavalue":{"value":{"text":"Assertion-based analysis via slicing with<tt>ABETS</tt>(system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593040$3D753D8E-3BEC-4AD3-8AEC-EF0CB4C8555A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30fec8655c64adb27dc748d5bce1c83d8d323304","datavalue":{"value":"1379.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$7E6A4517-9743-4CB2-8070-1853E30ED51F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a64644c7f1f54d3f3898812d4825ad6dd3a9f79","datavalue":{"value":"10.1017/S1471068416000375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$74E985DE-C20D-4F17-AA10-F887DD162291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$A6B3B629-6491-4DDC-9029-86B116DC45CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593040$4B18E2A3-CA42-4A2F-8D2D-A13763121906","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14d4ce4643e48b227105fe0576f4e8467cc5d5fe","datavalue":{"value":"https://arxiv.org/abs/1608.01433","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593040$484A7822-78EE-4EC7-81CA-83756FC05149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$41C612E6-F950-4F0A-B2E8-D5351CF78BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$348F48BF-8C43-4413-9E4F-25CEC95C8FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$9F1647B1-4DB5-45F7-8E61-2F88343E7EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8caa62f4784a5691306bf00c55b38047f8c38042","datavalue":{"value":"6804595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$297B20A2-7864-41C0-90E5-5F4C9BB58C20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10af7c3a3453237464d597d6e2866a7d3e631acb","datavalue":{"value":"runtime assertion checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593040$0B7856E5-E673-4746-A556-346CB7C86501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a940e7f0bbd0eb9ff58823cc501079dc46f6f65e","datavalue":{"value":"dynamic program and trace slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593040$46C05804-CD1C-40CC-A502-2CDDC87E7D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d3f4ecff99a9dab11478927371edcd143e87c5","datavalue":{"value":"program diagnosis and debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593040$9F6721FC-A37B-4C27-9919-C94437DD1F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593040$9407E14A-C48E-4C59-9D68-7078A0881009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593040$B3E3E78F-4D54-4E48-BD6F-3B9D80627C7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ccd6d4532add9d9929d41d7d8941051d6e0ec17e","datavalue":{"value":"Q57978108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$B25E7AFF-1C1C-40DE-A938-D3970928134B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$FC63B7C5-4B68-450B-B8BC-AB29B9E43EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f24c28fd08a413ff0f28ef13aeed0d37f740f98","datavalue":{"value":{"entity-type":"item","numeric-id":739628,"id":"Q739628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$C39488AE-F6AE-4CEE-8FF7-699DCDC9AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$14A5B95D-1D29-4C58-8037-1780E89B781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$B74934B8-1C34-4974-96CD-493C3C3BEFBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$1ECEACB0-CE0D-4BC9-A57A-F3C49F2668CC","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":"Q4593040$9AF67520-86EB-43DD-AA8C-CC55B071EDBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b378a4a4ba4f25e1dae88f0d9b56238a55655b05","datavalue":{"value":{"entity-type":"item","numeric-id":485831,"id":"Q485831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$1DF929DD-EAD6-44E2-90A9-8EDEF3023DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89dc08a6456af9fbfd50a78dd8015473230b7c6","datavalue":{"value":{"entity-type":"item","numeric-id":739630,"id":"Q739630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$DA9565A3-4B67-4AA4-AF4C-08E018ECFEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$0288425A-4F95-4997-BE72-8EE69486A2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$9F005BF7-91A5-4E59-A778-0EC792C033BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543ae1084c64153706c675a4c3c0dcbc014b7da9","datavalue":{"value":{"entity-type":"item","numeric-id":2817918,"id":"Q2817918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$633EE9ED-0B34-4938-8F7C-96CC0381287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9575870855fb61b207e4aeb3de52591db0de9f","datavalue":{"value":{"entity-type":"item","numeric-id":2437597,"id":"Q2437597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$6642A2B0-1766-47A8-98ED-3705CF8EEFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$DF8EF346-4D23-4F05-881E-F2B383FC227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035be8d7597db7f0a65434b30501967630bb4295","datavalue":{"value":{"entity-type":"item","numeric-id":494742,"id":"Q494742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593040$DC07FEED-4F1D-46AD-BFAB-839F67B46137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c85fb2fc049bf9f46421e2cbff98115014c9cc02","datavalue":{"value":"W2963227324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593040$4D1E8DDC-2B2F-4262-A395-1876BAC99DEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2348b019cb88b12e37fc6be3b7d59c2a0a2bfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5278199,"id":"Q5278199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3280bc67b410a632c908a48f1978dae89313fcfc","datavalue":{"value":{"amount":"+0.8495168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593040$BCD80ABF-23CE-4A50-A825-0676210B1BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f799b5a2f03daeafb9295eaf985e6281bfccd22","datavalue":{"value":{"entity-type":"item","numeric-id":6488472,"id":"Q6488472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f15719dca6ea479af538934f58e8dee37cf688","datavalue":{"value":{"amount":"+0.83929807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593040$A85DF0C0-FA0C-4B9F-A07A-742B5A122E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c51cc8b082c85df2f5d10a9a1878cc62e67b152","datavalue":{"value":{"entity-type":"item","numeric-id":947791,"id":"Q947791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79468d621fedef94504c2ed8cc2ad6c1c120ef7b","datavalue":{"value":{"amount":"+0.833975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593040$D8DF5D3A-D4AB-4498-B074-11747FC9B5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558b774e8bf358de68272cc1d3b439d9584b78b9","datavalue":{"value":{"entity-type":"item","numeric-id":1941855,"id":"Q1941855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2365e3c8c0395885f03416c34762b0c3c006bb","datavalue":{"value":{"amount":"+0.83360285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593040$0D856A02-6CF4-46BF-A402-C21BB06BC78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a4a2b0b5ef15c88b928687d511280ced492689","datavalue":{"value":{"entity-type":"item","numeric-id":682366,"id":"Q682366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047b7d139bb9bf871dd73f6e87524d8312d17e48","datavalue":{"value":{"amount":"+0.8317205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593040$08244C86-9FE7-4684-9397-7B3AB2C0E32B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593040"}}}}}