{"entities":{"Q3522074":{"pageid":5551978,"ns":120,"title":"Item:Q3522074","lastrevid":50438909,"modified":"2026-01-14T01:36:35Z","type":"item","id":"Q3522074","labels":{"en":{"language":"en","value":"SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317387"}},"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":"Q3522074$392D4666-4FB8-4B9A-A6A6-261592DA8276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdba66bc04284dd9cbfd6f49546740676839eca9","datavalue":{"value":{"text":"SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522074$4E2B0DF9-16BC-4539-BD1C-886866F97F92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93001c54e30f17a08b4aaebaa8f2a0def8f76144","datavalue":{"value":"1149.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522074$F0BCF7D5-ACF0-4FF2-BAF1-BB6B35F8CB4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"060b269a95c556839d38c9c96d9790cc1858a63c","datavalue":{"value":"10.1007/978-3-540-69166-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522074$5BFA7684-D775-433F-92C6-61EB8000EB29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb662513b11775f5b0d2345a551c932d47a26dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2891414,"id":"Q2891414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522074$15801CD8-F2C2-4A80-AACB-E6BF3A7BCB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522074$06CF1525-66A6-413E-9B4F-B4F2823D73C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522074$038538C9-2027-44CD-BEA1-07F2B321309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41cb037e778496e83b5a9a9e7bbc8c256161ea0","datavalue":{"value":{"entity-type":"item","numeric-id":617711,"id":"Q617711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522074$7035DCE4-8F6C-426F-A593-5B772989F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522074$6F1E4D27-09E7-4EEF-8DCD-112086E73DBC","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":"Q3522074$A3A45916-D603-4588-851F-6083E5AD8E8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-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":"Q3522074$A68A215F-6EE8-4715-BF85-B412E8BD4453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522074$AA251D16-5B80-42D2-A013-FE90B554FB56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b87b82ac3956f686edb4a51afb488052df9085","datavalue":{"value":"5317387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522074$25D541DC-C31D-490C-80FA-A8D91638609F","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":"Q3522074$B4A719F3-7673-474E-A8AE-E5C794DD0A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb2477a126a38ee038ae4be086c1108894d3dc88","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69166-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522074$3F2C90F0-CAD4-4993-ADA8-EC7A9389FA63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce27c486100b58c93616ff611b21d96a215a633","datavalue":{"value":"W1553630057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522074$EB0D25A5-3356-406D-8CC7-E84B5EDF1F5A","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":"67a4412b3df890f659d8dceff7fdf6ac11be8464","datavalue":{"value":{"amount":"+0.7201652526855469","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":"Q3522074$B1E770AD-AEC3-4AD8-8D3E-DCFDF703FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bed87729e119d87547a42c62fe5089e1095317","datavalue":{"value":{"entity-type":"item","numeric-id":3016684,"id":"Q3016684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cd15a9d6877b6fc69a6573d8a156165a04ab91","datavalue":{"value":{"amount":"+0.7061355710029602","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":"Q3522074$514AC88E-F051-495B-9FDD-6C0F0EA28DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6790a59dfc3caf13cd2baf66cd0fe94d52d9b10","datavalue":{"value":{"entity-type":"item","numeric-id":3648704,"id":"Q3648704"},"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":"Q3522074$37FB380B-4805-4215-A11B-3603C8D07773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0229dd953fd3b753ff3009018f27480d911ac","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e46073458f0a1792f73c765c19ed346533635e","datavalue":{"value":{"amount":"+0.6723847985267639","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":"Q3522074$7B6A9CBB-004F-4F50-980F-86CAF9759CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de418fe1497a378eb4dce24bec6be388676ec910","datavalue":{"value":{"entity-type":"item","numeric-id":2829242,"id":"Q2829242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12208f68c227838b8fba0b53daf52b9d4d5312ef","datavalue":{"value":{"amount":"+0.6599193215370178","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":"Q3522074$E5A0E659-2769-4AD4-AD8E-5467E8674DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522074"}}}}}