{"entities":{"Q2988672":{"pageid":2999396,"ns":120,"title":"Item:Q2988672","lastrevid":52811414,"modified":"2026-01-23T13:35:05Z","type":"item","id":"Q2988672","labels":{"en":{"language":"en","value":"Conditional Dyck-CFL reachability analysis for complete and efficient library summarization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721347"}},"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":"Q2988672$7F2CE0B7-49F8-40E3-88D7-55A1DD0BBB0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5676d5dac0d4c9ebb07565d958aa4517528bee8d","datavalue":{"value":{"text":"Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988672$6CB18FE5-5D3B-48DE-948E-F2739F975BA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ddee199bbee8365daf9ac5be99e41aa7b12ca77","datavalue":{"value":"1485.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$26EF433F-CF07-4801-9A7F-0741EC7588CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfcf1aea25c25362bbc64d3ee07fdfe5ae0cb02e","datavalue":{"value":"10.1007/978-3-662-54434-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$A421E7ED-C871-4D11-BF96-EE8DA20CA210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$E01A81BD-037E-400F-A13F-CE0AAF364DF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988672$C34088EA-4D64-4617-9902-2F3DD9D4D91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$15E873D7-97FB-4E2C-8295-A0C870E25E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$2D4AA6A5-204F-4A94-99B1-02A6917C400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$9C34FCE7-952B-437A-A685-6433258CCF73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91f4f063b585fd621a65f7c6992db6def4fdf769","datavalue":{"value":"6721347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$71B5CCCF-C69F-42CB-8738-C4096F2E406B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b11ed70dd161bbd86f70b9f3e3e72313149563b","datavalue":{"value":{"entity-type":"item","numeric-id":33282,"id":"Q33282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$CC3C2F33-0D16-472A-8BEC-29F02250245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"698c93f1b54fd64431b64041cb9ebf8a609945b7","datavalue":{"value":{"entity-type":"item","numeric-id":33283,"id":"Q33283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$BE86AF09-DEDE-4C3C-AF9B-790E9856919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13f990fae954e0128d339b9c0b6a562ec1309f0c","datavalue":{"value":{"entity-type":"item","numeric-id":33284,"id":"Q33284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$726E7399-D368-4D84-BC2E-7B7D99C67842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$1403CF4C-D1A7-422A-86D9-CFACEDCCEC20","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":"Q2988672$ACA9EE52-59B0-4027-9B5B-E29500161C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd5945a5ddd356d7bde1bcbbf73f4888920e63ac","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988672$FAA882E2-476F-436A-82FB-AAA5C6C366A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ef597056e5986830a781bd9358e7677a96648f0","datavalue":{"value":"W2596236679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988672$6377F96D-B85B-43A3-A899-D71C6396F5D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"625e0e5de412a21146b8c2ed4528568e00e3ea5a","datavalue":{"value":{"entity-type":"item","numeric-id":2819840,"id":"Q2819840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$322D5FEF-D1EE-46D4-B462-DA478C534C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$48F25531-FB61-4C60-8DFC-0920CE021224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941e37df152320c9500468ec57af7a3b8f65b534","datavalue":{"value":{"entity-type":"item","numeric-id":4417791,"id":"Q4417791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$77CE8016-D39C-44D3-B646-4C662463DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570e39de7fb89ba407e4f9ae908fa4ce80a912af","datavalue":{"value":{"entity-type":"item","numeric-id":3189812,"id":"Q3189812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$74E394E1-7A1E-45E5-9FBF-CBE7DB58321C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144a8cd1c14e42d6636851de9fc6f3a1470213e7","datavalue":{"value":{"entity-type":"item","numeric-id":3613380,"id":"Q3613380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$A85E326B-EEE8-4F0F-9871-8C2FC6FBAC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4513ab0e93aaaf4518400d0c55e2b1121521253d","datavalue":{"value":{"entity-type":"item","numeric-id":5178873,"id":"Q5178873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$9F17274A-472B-485F-BEAE-1449DFA5B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$F2FA3AA1-C5DD-4769-8AEC-7E6C3A54E289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d27419e0af181643f4094c693d01137ff0390","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$01CC4C3B-42BB-421C-A86D-5ED704E0A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ba2337004b37b86fc03809c627e81b16cee725","datavalue":{"value":{"entity-type":"item","numeric-id":2764061,"id":"Q2764061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$9F531479-09A2-414E-BB7F-8F906BC9C5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65cb3591a6d59a7254d57416c9f430197e36e06","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$7F345587-1EAC-48F1-9BBE-69E2B7BD86E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae86b2c2351cb8cf4c0f14b578dd131251e2c98","datavalue":{"value":{"entity-type":"item","numeric-id":1749251,"id":"Q1749251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$7BD680CC-0504-4D15-9DD6-BF5E4AEAC6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f334599a5d4384ff4501eddb6408bce90e1ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2819792,"id":"Q2819792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$48DE9768-2F96-4A7B-96CC-4E3603E88AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ada0bb68c6d219e0bd148ab295a225945011d47","datavalue":{"value":{"entity-type":"item","numeric-id":5370873,"id":"Q5370873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$C014C593-0B58-490A-9303-F725C1AA4389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325e43450861c86ccbbd8b04d675ab0d9909c44b","datavalue":{"value":{"entity-type":"item","numeric-id":2937794,"id":"Q2937794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988672$16802573-772C-4559-A431-F7C72797C250","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8f60d4dc248a6e6206a7fa76debc492c74351e","datavalue":{"value":{"entity-type":"item","numeric-id":2819792,"id":"Q2819792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ada09397d36e33bb53aa004cefcf53e346a2d6","datavalue":{"value":{"amount":"+0.8066902756690979","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":"Q2988672$64E03112-F7DD-4F93-BDC9-6FCE96EE85A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192ee58b0bd8d13c63f3b1b9f6dd0bfb1f61fae9","datavalue":{"value":{"entity-type":"item","numeric-id":5370873,"id":"Q5370873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99c79ccb4081eedbeb1221cee0e985ebe1b0055","datavalue":{"value":{"amount":"+0.6673697829246521","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":"Q2988672$D5FDE369-0828-4A82-BB10-28EE311EBF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d221ff7e43e424843138df3edab9eac0ab315","datavalue":{"value":{"entity-type":"item","numeric-id":3189841,"id":"Q3189841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31d305ca548c9f7a85027bca28d952b9aca191b","datavalue":{"value":{"amount":"+0.6552028059959412","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":"Q2988672$773A09E4-5D90-4778-ACD6-C95CED39C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8180153239fb39fd0136383bd9ba193ce2a7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2764061,"id":"Q2764061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e992900f5585e0eea090fddf2a53076e864ebc7","datavalue":{"value":{"amount":"+0.6528705954551697","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":"Q2988672$CF5B406F-2C70-43D6-878D-374B8047EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b207d4397b0bc9c6b2a54c6097b402df3452fe","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d15721893dce0570e55dfd14adbe68150f6427","datavalue":{"value":{"amount":"+0.6466239094734192","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":"Q2988672$E7DB4263-2FEA-436E-910A-45E4AFDC5891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988672"}}}}}