{"entities":{"Q2234078":{"pageid":2244821,"ns":120,"title":"Item:Q2234078","lastrevid":71633946,"modified":"2026-04-13T23:32:48Z","type":"item","id":"Q2234078","labels":{"en":{"language":"en","value":"Twinning automata and regular expressions for string static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410643"}},"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":"Q2234078$1ADE71F6-C9A5-4B0D-9284-608E491DCF0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4306bc0833a0dcf007df7f069c8eaca95f2d8d","datavalue":{"value":{"text":"Twinning automata and regular expressions for string static analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234078$1B20D34F-5430-4FB0-B6FA-3B1DCF50270B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0ad33c77e321b0974b3107e0837204a13668be3","datavalue":{"value":"1472.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$247FC62F-ED07-4B80-86A5-93FD11327B79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"488351aa14271d169bf6dfcf1dd4f62f0dc67a52","datavalue":{"value":"10.1007/978-3-030-67067-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$6EF58522-A992-4872-B9AD-E2B3C845D901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8eaeef567c5fe6bc4578fb9a3f06c59da42782b","datavalue":{"value":{"entity-type":"item","numeric-id":2234077,"id":"Q2234077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$BEA7667E-27BD-420F-B07E-08512A04FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e905d93a35397d5386e28e1f6b528de978069a","datavalue":{"value":{"entity-type":"item","numeric-id":1650955,"id":"Q1650955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$FCFEECDB-1755-4F08-942A-3DC4367AFEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$143E90BB-3ED8-4B7C-A816-3B5A5D8EE1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$9F758F33-8D5D-4C91-BBA9-6C89EBF871AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234078$4BF0A9BA-5E83-46E3-BFC5-9120BF58E5DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f54025f9ecbcaf23c54f907b01d71ccfdf7a154","datavalue":{"value":"https://arxiv.org/abs/2006.02715","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234078$DD34BFFD-3EC7-48AC-B70A-A2479B06DC7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$D6E31B1E-2816-4371-A3EF-498BF79BA1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$25534214-0A95-43DD-BFE1-D587ACF7E500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4075ca24e3d54177cbdf03b45384b046219eeb9","datavalue":{"value":"7410643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$CC095660-1280-41BF-90AE-927EBC1756BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234078$7340284F-E5D6-422E-9B8E-DF46F59952CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234078$B3A0974F-44BC-409B-BE9D-3021E0FDAE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234078$E8A987F5-4080-48AB-8804-0860C84EED88","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":"Q2234078$55E8CD42-056A-4572-8FB1-21BC994A9649","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73548d57291b688e4e5acafa622e759c4b1c40e0","datavalue":{"value":"W3126151140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234078$B823A689-7A31-499A-B97F-13B45A17F415","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"485257e2a8c4bb44d210af89ed8517de5ca7dfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2248020,"id":"Q2248020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$4BC96809-82F7-4D81-9E02-BBA7C788C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$45707FCE-41FA-4073-9E97-F650ABE0D950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38f51907179ee7743f6b3a0e063efcf0c76f2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2046015,"id":"Q2046015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$84968959-1D4B-4149-B5A3-22DEB33A0BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7dc6f354cbabff9004258fd3893f712776a043","datavalue":{"value":{"entity-type":"item","numeric-id":1650957,"id":"Q1650957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$C168B875-C3CB-4536-A327-EE8436441545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75b218fa2c075fd6f632b578a20b295731d6982","datavalue":{"value":{"entity-type":"item","numeric-id":2279128,"id":"Q2279128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$DD4E52D4-26D2-4A5E-9EE0-CBA4BB2B3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$6B743CDA-0213-4DE1-A9ED-8DE3E049E911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdae44b78c55be1287a8406e07ea09db2d2789e7","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$B58E407F-9DAB-43B0-81DE-7CAF24149FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$383DD610-3DB7-4E55-A19C-279BC7F026E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa41a25bba9b0800f7b34728327f1a3c9476c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$4BA5392A-87E7-471F-92E1-5DD3397BAE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$3C78BFB4-7C3F-4C2F-B0D8-E48CBD6545FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639780cd27dafce4bd11843e7ad6d2329958ef36","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$821427F2-2345-474F-A26D-887F7BFB7829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$9EF84621-AB5D-4762-ADF2-1874097A548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106ffb3fb17ad3962d6dd8750ea36b2222d0077","datavalue":{"value":{"entity-type":"item","numeric-id":5278199,"id":"Q5278199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$7AD04E70-162C-4C4E-A742-79B017D44CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30d83920af6e5288532ea36d04d3626e0f590c","datavalue":{"value":{"entity-type":"item","numeric-id":1664397,"id":"Q1664397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$A3A68210-49BC-4C6E-9B5B-782D59882833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3d7417c4a1b24ba13440629544f474a76ce6d8","datavalue":{"value":{"entity-type":"item","numeric-id":2819818,"id":"Q2819818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$E615C9FC-E857-49DD-B2F6-F9502F9978F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$2069F010-14BA-4DD4-986E-F27B3E4465AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c205a3527c640b7f32da7151a10fe74486f68","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$036299FF-1B32-4BBC-8FAA-518D514EEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385429da8af8729761b251b5329b444aae78e38a","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234078$87A723A0-617B-474E-B33D-FD70BC5D89B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571bff0eb4ad37af14187fe7baebe1e2fdbf6b43","datavalue":{"value":{"entity-type":"item","numeric-id":3075489,"id":"Q3075489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ca143687448862128423a2bb6b0d638138c66f","datavalue":{"value":{"amount":"+0.7788286209106445","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":"Q2234078$CD81C308-4B67-4765-87B2-C450473F95FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6486abe1f54b858c0ed5d757fd66e7d9c0841b76","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8263db3f4296ea648e04639898b2522202d6ab5","datavalue":{"value":{"amount":"+0.7703030109405518","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":"Q2234078$529F1D65-B497-44D8-9F61-C5657B7FE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e87505e91c20d371ac60672422d734790976b21","datavalue":{"value":{"entity-type":"item","numeric-id":6102247,"id":"Q6102247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4b001e3a9fe02fb36fcc66fae27cd4439e57b5","datavalue":{"value":{"amount":"+0.7493581175804138","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":"Q2234078$A3EA67C2-45F8-43B5-90E3-8A2ABF0DAC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfb2643318983ed92306e6dfabbaeca16879d44","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819162dfc83e27ee4bf3d3a6495fbe2ecbda883","datavalue":{"value":{"amount":"+0.7432683110237122","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":"Q2234078$E878D93C-8FCD-4E84-9B39-C98B2C9AC90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeadda1685ffcda0409727ef7e3fb0cd7984877","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b6cf709ea85a52ce9c9c555844fb33c268776c","datavalue":{"value":{"amount":"+0.7370717525482178","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":"Q2234078$1252B00D-22F3-4235-823A-BC14EB85A510","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Twinning automata and regular expressions for string static analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Twinning_automata_and_regular_expressions_for_string_static_analysis"}}}}}