{"entities":{"Q2819840":{"pageid":2830578,"ns":120,"title":"Item:Q2819840","lastrevid":79429409,"modified":"2026-05-06T13:53:18Z","type":"item","id":"Q2819840","labels":{"en":{"language":"en","value":"Specification inference using context-free language reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631329"}},"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":"Q2819840$DA32DF2B-9304-495B-A90D-76CB8B8B2B1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94530d8af077719eb7801cb8675ee6044508a133","datavalue":{"value":"1345.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$460A4E62-FABA-492C-BB77-1E582EA8AACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ca0cbb31067d1b435ccd07acd497d98e52ead24","datavalue":{"value":"10.1145/2676726.2676977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$5C688C7F-5FE3-402F-8DC6-BCEF75F5062A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9281b57a8823ac3887c4c94a17041a4335efb2db","datavalue":{"value":{"entity-type":"item","numeric-id":2226759,"id":"Q2226759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819840$0DC4D232-317E-47FE-9FA1-060243F6C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb493069ead03dd5fe43d45a93f51faf7542b89","datavalue":{"value":{"entity-type":"item","numeric-id":2819839,"id":"Q2819839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819840$2CB4E2C7-040B-4005-A085-489181296305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819840$B9807CD1-AF50-4B82-81B8-8CB283F9D4FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819840$2BB87FA0-835B-4ED7-A3B6-263A5624FF01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819840$206A8610-F957-49B4-ACC8-FBF5E7CB5B89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9bf46eb81ea405c09ccc07ff7b5cb1a89cd5dc9","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.734.4204","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819840$70741CA7-342C-4337-8533-2867DA2175F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$C63F8EA9-F43C-4E0A-85A9-0D792681AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$E3ED7A33-C0A8-41C4-A70F-0013B0F8FD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$D8900200-09BE-469D-ABAD-511240944FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42781dd388b6c3495d22ab22a4181858badf8c20","datavalue":{"value":"6631329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$D1418B1D-CC53-4C7F-A591-6F6D76598350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819840$C07FA425-DD96-4530-B097-3361DDE42AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3c3e1f9a35d09d829aef9baa6c4d63e7b3d5d","datavalue":{"value":"specification inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819840$D9CF4689-0022-4A07-BB2F-E4EA92C4CAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819840$8BB2B223-24DC-4AB2-9186-446202F24DC5","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":"Q2819840$A9A2E110-1595-45E5-BDD5-9670ED8A5D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fe7c9a292fa49787e96adbc15153ec1c9061602","datavalue":{"value":"W2132481916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819840$CDDA1B15-F19F-4E0A-B020-76ED7B440614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b8a3612c284d6114eed028be1d775090c4a9cb","datavalue":{"value":{"entity-type":"item","numeric-id":5030195,"id":"Q5030195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6eff63db104e4c07102c97e147a050ef1413627","datavalue":{"value":{"amount":"+0.88036156","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":"Q2819840$F95DF163-EDFD-4585-8E27-10DC8E12D3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e4f50e99f1781333cdf1799ec709237c620f24","datavalue":{"value":{"entity-type":"item","numeric-id":1369618,"id":"Q1369618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075cb1d97ff9b3679c345306e5b81dd3f2a7db0c","datavalue":{"value":{"amount":"+0.8733354","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":"Q2819840$54F0B901-C8B8-4E63-AFF0-B28417996A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69ff5043948c4bfca7d85a130af3189acc73d82","datavalue":{"value":{"entity-type":"item","numeric-id":3535677,"id":"Q3535677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b092367818c324992b0a27598c18f42860853ab","datavalue":{"value":{"amount":"+0.872651","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":"Q2819840$C0559A76-5D23-49F0-A921-1E9328F7969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226afc3e9e501496cbcadd08caae5b00470736b5","datavalue":{"value":{"entity-type":"item","numeric-id":3217619,"id":"Q3217619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72ea98953092d812fbf10e1bb1835e61094bbd0","datavalue":{"value":{"amount":"+0.8684866","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":"Q2819840$7B94F945-5519-4DE3-A801-DC99B983C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218974f7a42280537a9957ead58102467deaa45f","datavalue":{"value":{"amount":"+0.8672241","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":"Q2819840$112CD3B3-8BF4-427E-810E-91EFF81827D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac9c71b5f3df43bb43a63c6fc4eba8ddee3d7ae","datavalue":{"value":{"entity-type":"item","numeric-id":3806846,"id":"Q3806846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afbf131c540cd6b041c529bc43f5ef8c7b1e964","datavalue":{"value":{"amount":"+0.86380553","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":"Q2819840$9252C387-497C-498B-9EC3-4CD3D52329D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4cf2f250e827601df6ec841f4cfc3c42f121f1","datavalue":{"value":{"entity-type":"item","numeric-id":3219141,"id":"Q3219141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fb6db9f31703321ee89e18fbaa0753b89a74ec","datavalue":{"value":{"amount":"+0.8608972","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":"Q2819840$2AE0F12B-AF8B-4301-AF0B-69F7096FAC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0cdcb3d6cff3473d0aca912f91e752dc3cac189","datavalue":{"value":{"entity-type":"item","numeric-id":4844750,"id":"Q4844750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f248e7e65baad4eb6528607db603b3de74ecd9cc","datavalue":{"value":{"amount":"+0.86079943","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":"Q2819840$0D20F343-CED7-42FA-9220-042DDAACA70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425474b47fc82a04e45b98861555397ed778297a","datavalue":{"value":{"amount":"+0.85852695","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":"Q2819840$4220A70B-168E-4A49-AC10-09C6DC9C3DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97ff576e35d092a7d93cd871d5bcc8be65a5896","datavalue":{"value":{"entity-type":"item","numeric-id":672051,"id":"Q672051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d9e33b7bdf12e570293f15116162f66778aeb8","datavalue":{"value":{"amount":"+0.85674524","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":"Q2819840$B798866F-5B9A-4390-9DE5-3EDC58C4945F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"019fcb4053648857a930cc4faedd67f1a5930fd1","datavalue":{"value":{"text":"Specification inference using context-free language reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819840$669E2E2F-2662-4FE3-A3D6-CD970F3BA101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification inference using context-free language reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_inference_using_context-free_language_reachability"}}}}}