{"entities":{"Q2945135":{"pageid":2955855,"ns":120,"title":"Item:Q2945135","lastrevid":58061718,"modified":"2026-04-03T15:56:51Z","type":"item","id":"Q2945135","labels":{"en":{"language":"en","value":"Towards static analysis of functional programs using tree automata completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479866"}},"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":"Q2945135$CF00D3D8-F438-47C5-AC81-9CDC57CA54EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8fae4ec4427d8d7f262113b76834b1e77c35a54","datavalue":{"value":{"text":"Towards Static Analysis of Functional Programs Using Tree Automata Completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945135$D41BEF01-0973-47A1-84FD-8DAB74534E2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97db25e355b5f96da131210d3405893bb4b0150","datavalue":{"value":"1356.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$77B82DC3-8D1B-4864-8870-79316B796203","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a380606375abe59492143cf5161ec99fa39d82","datavalue":{"value":"10.1007/978-3-319-12904-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$72F0D373-A584-4056-B24B-7CD226D50CFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bafb335ca5a0648dd707f992f49ef0e445a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":556684,"id":"Q556684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945135$3F1D1F87-82A7-4F79-82AE-EB12AD350A03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945135$A0CB8401-E4B6-4319-A068-58F9329ED3AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945135$9F3E9321-02E0-4BB2-8D19-CE67F8BB9697","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e2a8e1774ee9a06b8899da1a3900de77fd07e88","datavalue":{"value":"https://arxiv.org/abs/1410.2901","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945135$29186471-292E-40B3-BBF8-4E2380C7BFE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$FFBC6530-FAFA-4549-9B06-FE1E8141E59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$4A74B225-89C0-4FBA-80D9-7E9A56FFF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$610E28EA-977D-4F38-B802-2BFEC575774D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1862157921188902fa7e7de50355830b593792a","datavalue":{"value":"6479866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$1F793954-95B5-4638-A57E-23463C64F9BC","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":"Q2945135$894F91BC-572B-4F98-B4F4-14372E0B1100","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6de2e47a4fdebd2ca70f5f4973fa032ad8cc013","datavalue":{"value":"W2107085277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945135$5120290A-EA3B-462C-9A40-B26F2BC04431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5ed1b1b107ab9943f43854b04ac64f83d286f1","datavalue":{"value":{"entity-type":"item","numeric-id":730470,"id":"Q730470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1be0637476b18b3c983886f367e46863b2cb446","datavalue":{"value":{"amount":"+0.8719204068183899","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":"Q2945135$66D903F7-D2A5-439B-BFEE-F110783771A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be4fcf9141a0d61277d31b1f6c6ae86456876d8","datavalue":{"value":{"entity-type":"item","numeric-id":4993342,"id":"Q4993342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5e94e993ac139f101c3cdcf522c61ec7740516","datavalue":{"value":{"amount":"+0.7943834662437439","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":"Q2945135$8889A5B8-6178-47B0-BAE6-BEA645A524E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff1ded4edace3df1b4a8100bb76c409e5844d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7108e639b59b57bc3642ca4498ead6e8703eb097","datavalue":{"value":{"amount":"+0.7736614346504211","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":"Q2945135$1E6038E5-E540-4793-A197-05393470D030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff0cc531d8c255774ce10bfb4133b946784d90f","datavalue":{"value":{"amount":"+0.7700178623199463","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":"Q2945135$26165FA3-7861-4F78-89FB-44F8CB632675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659b3a710a02453a31a64757d5bf13daee74617b","datavalue":{"value":{"amount":"+0.7437020540237427","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":"Q2945135$AA2FF808-B063-4C59-A4C0-F75A113D8EC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945135"}}}}}