{"entities":{"Q6535222":{"pageid":14146365,"ns":120,"title":"Item:Q6535222","lastrevid":57506037,"modified":"2026-03-31T05:04:13Z","type":"item","id":"Q6535222","labels":{"en":{"language":"en","value":"Parallel program analysis via range splitting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770199"}},"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":"Q6535222$8B965CE3-9CB8-4216-B5B6-9C4E54E9F326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1632b454afb548d2442b09b91ff92e5ddcd3966","datavalue":{"value":{"text":"Parallel program analysis via range splitting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535222$D8D57369-628F-4EF3-A3DF-BEAF2A2227C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27f9b926c4bf544b6d3d660df4bc9494b0efcf09","datavalue":{"value":"1541.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535222$7448F284-CC47-4A02-92CB-14EE7DA54769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08f4042929531315149e5e0eeb8050c02c87ae7","datavalue":{"value":"10.1007/978-3-031-30826-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535222$CBFD1817-4682-4F54-9E58-AFBA96049DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec571f0d2839f8f4d50979772230499f15a5b13","datavalue":{"value":{"entity-type":"item","numeric-id":6111605,"id":"Q6111605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$6C12ED40-F9D3-4997-B3E0-36A698480B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95016b2b731a1a1f54fed9e595537b79da8aeec","datavalue":{"value":{"entity-type":"item","numeric-id":2165502,"id":"Q2165502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$594427C0-E2FE-4742-9E3D-A56019A12D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d2954c372fcb2c4dddf5bafbfa3876edc1830a","datavalue":{"value":{"entity-type":"item","numeric-id":6535221,"id":"Q6535221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$3E95B849-D9EA-40F7-B3DC-2BB226BD605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$2C920DCC-6E4C-47EC-8E96-8B2884B60465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535222$C9FAD981-80FB-4874-B1EF-FAFB53718708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535222$AD37FD23-5F23-48ED-A15F-163D6FB42D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535222$59B9AB32-DF32-4BC7-A93D-5C12FAEA1312","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29b446f6f13823b179fc4cf9b1b81e75457c2d62","datavalue":{"value":"7770199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535222$BAEC426F-706B-45EF-8856-CC36A1AED002","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421cd5b3d59e2771951112cb9fe43f221296678b","datavalue":{"value":"ranged symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535222$1FBC7E20-37D3-40A8-83E5-4E466A5CDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908bcd8175caacce0edcd33e78978c16d01fc8b0","datavalue":{"value":"cooperative software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535222$E6CC463D-4F8A-4844-87A4-744452548501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"528c19efb78e68600e28f44f7bb0ae0f1ddad850","datavalue":{"value":"parallel configurable program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535222$C98032E5-7AAB-4AE1-97EF-2B913E872D3C","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":"Q6535222$39B53DEA-16F4-45A4-B4A7-A2054342F251","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84bacb2156f6dee41dbae90f188191d14ff028","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$2813DD58-02DB-4F4A-8BFC-F81636669BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc25af5045c856aadb22057606de79dc70eaee2","datavalue":{"value":{"entity-type":"item","numeric-id":1703012,"id":"Q1703012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$FB2FA574-04BD-4854-A8B1-77092B54C1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7f4489d4c89d794424e5e3872c38fe58d4c967","datavalue":{"value":{"entity-type":"item","numeric-id":5429342,"id":"Q5429342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$D1BDA46C-DEDB-4098-9749-0E2707BC4253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7fdabd5a856f8e1d09080b76afc7309a50a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3637269,"id":"Q3637269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$B5DB7322-44AB-41E9-9307-73A109B3383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdaf40c5e3027df8832d4b71be59808a062f7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647837,"id":"Q4647837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$C2AB8D0D-BFAD-43D6-87B9-EDD2F911500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$C4335229-EC0A-443B-B243-1DA87A8A95A2","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":"Q6535222$E2186C6B-2147-4E16-8C5E-BAD8A6C78BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$FB326BAB-0F16-4E54-8046-4807F5148516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24b0cae90e6893b936b4f2ec0ac173101d87c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2796059,"id":"Q2796059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$68E672FC-A187-40C1-98F1-8010CDFE5FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58da7ed1fe5f43d6bc749351c26753e5ac05548","datavalue":{"value":{"entity-type":"item","numeric-id":3591386,"id":"Q3591386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$A43442FF-75D0-46AE-8123-14E0CB235387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26efd78e544357dc906756a8cde9d92440028650","datavalue":{"value":{"entity-type":"item","numeric-id":526771,"id":"Q526771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$AC32F775-2FA2-48EA-AFAE-772B0C7370FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$D9E104B8-81E8-4F1E-9443-ED7AC30A4C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec836a3fc271e588c302d19e3fc45042d720ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":5255061,"id":"Q5255061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$89D23F8D-E509-4276-B965-FF7055D394BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$2DF33111-0B71-431A-B139-0B101531DBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$86E39001-0940-4CF8-92AB-5D8A71306516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7505138088f1e9e74aa576457d664384f588c057","datavalue":{"value":{"entity-type":"item","numeric-id":5194654,"id":"Q5194654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$42D6627E-7664-4D76-9399-B9AB8E656587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$013F3529-45FF-4E19-AAB2-C428CC0583D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92fcf77e61b819242b93acaf8363921aa39f35","datavalue":{"value":{"entity-type":"item","numeric-id":4922928,"id":"Q4922928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$2F47870B-DE57-4430-B5BA-826912D6EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634c3ec8b656491d384d72ce3c10e90c9d4d3224","datavalue":{"value":{"entity-type":"item","numeric-id":2324232,"id":"Q2324232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$45E26564-4C3E-4D87-AE7A-464AFAE1D7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c79890e7a3b8f2ec141f8b01364cc1f9af3427","datavalue":{"value":{"entity-type":"item","numeric-id":6536291,"id":"Q6536291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$E0826806-FE6A-4AE8-BB21-5CD4A8AEFB46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01c59c124f2a266a981c258cc0f9cadda00bf57","datavalue":{"value":{"entity-type":"item","numeric-id":3763577,"id":"Q3763577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183e7dd6a8fd632c6da8521c012b6572926dc7d5","datavalue":{"value":{"amount":"+0.90506047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$DDB0D17A-889F-489E-B89B-A75C3FD8589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8ba8721f927dbdaaff26a5b103de99ab844c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2942873,"id":"Q2942873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dda6febf5d77aabd8febecae57a74cf10e5fff3","datavalue":{"value":{"amount":"+0.8998951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$7440EA03-61DD-4109-9F17-4E6783E39A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d5d326e55a8b5bccbf181f7943a234eee84f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4366892,"id":"Q4366892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914cb884ba1877b3ff8cad289d6cddeda6e110af","datavalue":{"value":{"amount":"+0.8966024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$1F748395-B96B-4474-9E9D-2CE0EF7D907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17057e1002221e8a4f0a318f449885c43bebd72a","datavalue":{"value":{"entity-type":"item","numeric-id":4861483,"id":"Q4861483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f955b96e273381a97e57e4647bb628e675d49ca4","datavalue":{"value":{"amount":"+0.895663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$9AB88DA9-0EE4-414D-81EF-58328FCFAC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c923d0083af0a75f90bad945ac3f664148b62ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2779601,"id":"Q2779601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d3ee551f4f3c32e0af70e50958e0bfc2806363","datavalue":{"value":{"amount":"+0.89317554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$2A6EE641-F54D-448D-B3D1-51AD54BDFA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334a997943f2b89141e6430137044454a6c68932","datavalue":{"value":{"entity-type":"item","numeric-id":5958557,"id":"Q5958557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1873f874796b80026c3425885071ff5d6942639","datavalue":{"value":{"amount":"+0.8886667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$C89D1430-78A6-445C-A784-91A1EE8C0B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d25197fcdd0b09a3f6f57bf57f5a57c6465732","datavalue":{"value":{"entity-type":"item","numeric-id":1907156,"id":"Q1907156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03e56897e767ac3b716d030f828ade949bcb39c","datavalue":{"value":{"amount":"+0.888203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$7490888B-D94B-405E-8868-5389AC254C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d139ff1427cd5e3c09a08cd4176e0022da7e10b7","datavalue":{"value":{"entity-type":"item","numeric-id":1128841,"id":"Q1128841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05086d4375664551e8eed915f8174bb44f9a3185","datavalue":{"value":{"amount":"+0.8881102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535222$580067ED-F4A1-4154-ACF0-6A00EE7DAEFC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535222$BEC0C681-F1F2-4354-93CB-0EBD0B1DCDAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535222"}}}}}