{"entities":{"Q4669646":{"pageid":6699227,"ns":120,"title":"Item:Q4669646","lastrevid":48461296,"modified":"2026-01-04T21:35:38Z","type":"item","id":"Q4669646","labels":{"en":{"language":"en","value":"A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157087"}},"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":"Q4669646$71D34C05-DA71-40ED-81FC-769E7A3916A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e83f4a879c31632e9c64d0b0abbf21f85a4247c","datavalue":{"value":{"text":"A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669646$D404D6A6-6D1C-4553-9788-0363262FE43C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c97c195723849c1a1ee28160c67ec82f80dc9278","datavalue":{"value":"1088.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$F6CAD536-270C-45C0-B217-FB078D321571","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01702cd3bfb88c02946bdedfc284b03bd5f749a6","datavalue":{"value":"10.1017/S1471068403001868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$B2558A12-D939-4601-A39B-AE845F45DF4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669646$3355A662-C09A-495F-8312-2BABBEF64660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669646$A9E0E10B-683D-485D-9808-E773A51E85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669646$E0181BF3-CF3F-4F09-8189-C4941C19C2D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669646$0D4256FA-852E-4008-A24D-D1F01FEBC4D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669646$55CEB86C-E7CF-485B-A2D1-3CC898C5C706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$EFE95CFD-D999-44E9-9BC6-B417C6C377AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$8BF1F7C2-53AA-4937-B7DF-924E57C44AC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d3c81b0ec7399544d251fdf5660cfd64bd51e5","datavalue":{"value":"2157087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$9EA8B0C1-15C2-40FD-8292-788C5B5632F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669646$BBCDD967-3769-483B-8D7F-E97D15B09F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95a2504f6d41cf36e76faa64ffe88b2e6ce0d35","datavalue":{"value":"abstract unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669646$463223B6-C98A-4370-B853-FC1EB80D6BC6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa2e8f50f0ffb9ab98d209b4ea4c7c95f5c3feed","datavalue":{"value":"Q60501149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$7E29DE5E-8713-4B65-B382-0B63F6DA52E0","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":"Q4669646$4CAB5498-A50E-4077-A5D7-09244C97D73A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7142f407a9fd149f10f304aba4a87deb9f9bb005","datavalue":{"value":"https://doi.org/10.1017/s1471068403001868","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669646$31FD3BBD-20CF-4608-974D-6BEDFBB00ECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a70c5f4ade3aa8fef76b2e60f88dc65e679b188d","datavalue":{"value":"W2141598841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669646$14AB36B5-D427-4C6C-9678-5F3149128158","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490b36e8104d1b4367e1d7f2a35f43e0c7d4f241","datavalue":{"value":{"entity-type":"item","numeric-id":3129510,"id":"Q3129510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e05ebf9cc5a46120c9daad6d758eac0da927a6c","datavalue":{"value":{"amount":"+0.7965021729469299","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":"Q4669646$249A9952-D616-4799-9079-05D4E934F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b49e89efa5c26285020d813d6dea800176b0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":3400961,"id":"Q3400961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623239bf7ef5a38945b9b5b2f3ce862b5a4baa51","datavalue":{"value":{"amount":"+0.7946878671646118","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":"Q4669646$8621E10A-6576-46F3-B7AE-25D2BCF3AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b6400e7ce91d392b222146bb33fc36526219c3","datavalue":{"value":{"entity-type":"item","numeric-id":4520179,"id":"Q4520179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd86429293c5c213e327586e553d2829591515d2","datavalue":{"value":{"amount":"+0.7861095070838928","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":"Q4669646$22720353-4AE9-41FF-9863-937207EF330F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b397019885566a9ce01f6987616b8891995cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4452604,"id":"Q4452604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b164220a717ac11cbd635a2313297bb338f22b7d","datavalue":{"value":{"amount":"+0.7824369668960571","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":"Q4669646$B4B8E0D6-A957-4EAD-B443-622925E0E7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080518fdf385c54174a8d1bd22085d7c44f070e9","datavalue":{"value":{"entity-type":"item","numeric-id":817224,"id":"Q817224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19df8e003898f41e5db44b3b0c89ed6af3660703","datavalue":{"value":{"amount":"+0.7793582677841187","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":"Q4669646$5013EA3A-4BD8-4A01-BF5B-F5DAB62186EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669646"}}}}}