{"entities":{"Q3648704":{"pageid":5678610,"ns":120,"title":"Item:Q3648704","lastrevid":50838476,"modified":"2026-01-15T08:56:39Z","type":"item","id":"Q3648704","labels":{"en":{"language":"en","value":"Incremental false path elimination for static software analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640942"}},"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":"Q3648704$1BB307C2-4817-4031-8C28-12C319C6383C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d85d05bc81e3acbb6b4476ce1f4f43f48ab6e09","datavalue":{"value":{"text":"Incremental False Path Elimination for Static Software Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648704$8914DADB-3DA5-4BB0-A52E-77E5C6B73417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91b85f8241e046b58c4bb0674d9aee5b3c733657","datavalue":{"value":"1262.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$3CDC3AF2-C4C2-43E3-92DB-48406CBE67CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3c5dbb0b449293f0ca512c12a6a957f5d000a67","datavalue":{"value":"10.1007/978-3-642-04761-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$3C678EB7-5520-47F1-B53C-C5D980E1FB2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97e29302a9b69ebb65b074e03e6fbc253fd9acf6","datavalue":{"value":{"entity-type":"item","numeric-id":2182660,"id":"Q2182660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$E3AFF7CB-C08C-43A0-9F4C-47C7F121D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c42410cc920e27a85fd75fd4124ddaf5d910eea","datavalue":{"value":{"entity-type":"item","numeric-id":2512160,"id":"Q2512160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$B8152C84-D01E-46C8-AA99-2154CC4BBABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e6159789479a4d6aef141116f6f98a3ef4d22f","datavalue":{"value":{"entity-type":"item","numeric-id":3648703,"id":"Q3648703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$2AF7B4D7-EDA3-4656-9E9B-C2185F8480E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$25D1DE3E-B782-4FF4-A6F0-012E16381D59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648704$B571D79A-439D-480D-9E43-3ACA43E72AC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$115025E3-6458-4BBE-9625-06694C7B31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$3D1E9F15-4557-4B1E-AF66-53F56E369710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$1FA0F683-C562-48E0-B3D8-C8756B3D27F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a861a0f17c57569fb049adf5c5af999ec57e45a","datavalue":{"value":"5640942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$36091ED0-B901-4152-92BB-E82177A601FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fbd5a310af4c574fce0aaee743a27e4fae92339","datavalue":{"value":{"entity-type":"item","numeric-id":21936,"id":"Q21936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$6BE47EE5-8CF0-4D00-B6C8-73894E6397E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$C4D88072-D4B6-49FE-AD2F-962FD4852BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648704$68B2F69C-FE98-40AE-B4E3-0A4E5A75F42E","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":"Q3648704$01BC79CE-68D6-44D1-8A7B-67B101174729","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e188f734f1b96d5f3b4ac9e46d7dfdd60a828ae6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04761-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648704$DC8900E8-96F4-402D-839A-958FC4F38DC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f227bf10e27ad0942752e9361ffccf8edd7bf50","datavalue":{"value":"W1531033207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648704$4BDEA560-066E-45C8-9717-7F6C018FD3F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7673030051fb16a992ddd4eef910d1493fa6145d","datavalue":{"value":{"entity-type":"item","numeric-id":5187836,"id":"Q5187836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc341291d8853a203972aad81385712aa704ed12","datavalue":{"value":{"amount":"+0.8011888861656189","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":"Q3648704$3F7022E2-30DB-4F7C-B9C1-6CA2DC1E7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08816a471cebb41338e13307a9b4e832850c8524","datavalue":{"value":{"entity-type":"item","numeric-id":3297840,"id":"Q3297840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780db6cabd969f6c663dbb3f05480cfc0ca66984","datavalue":{"value":{"amount":"+0.744587242603302","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":"Q3648704$B1A01080-126C-4721-B962-DF2EF5026E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d99be377c05e65005aed0b3a8485029f1260229","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca71cb3bf5adc3754a0fcc30c2829564e6484a9","datavalue":{"value":{"amount":"+0.7336912751197815","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":"Q3648704$CF5EEA2F-A3A1-4E58-9370-16B0DB8055AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e1489a415ea1a268d39b47824769ff0ad398f","datavalue":{"value":{"entity-type":"item","numeric-id":4957220,"id":"Q4957220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda06ff57096a7e41b1a9f96de42a90d39cb0b80","datavalue":{"value":{"amount":"+0.6962659955024719","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":"Q3648704$E9016615-DFA5-45F1-A284-C6BCCF0446D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63290ea1f71eb582212fd1fb37c673ed7079e9db","datavalue":{"value":{"entity-type":"item","numeric-id":3522074,"id":"Q3522074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d070c061a5c8d21e62fae7fcaf54cf692c87fd","datavalue":{"value":{"amount":"+0.6834532022476196","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":"Q3648704$F6A1299C-AE05-4E34-85D2-5BB8E368FA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648704"}}}}}