{"entities":{"Q4885622":{"pageid":6915201,"ns":120,"title":"Item:Q4885622","lastrevid":47403700,"modified":"2026-01-01T15:48:25Z","type":"item","id":"Q4885622","labels":{"en":{"language":"en","value":"Unification of higher-order patterns in linear time and space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910477"}},"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":"Q4885622$559D4F60-2B33-446F-B285-47FED79C9B40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fccd51c8eec7efc051876ba6f112979321c0e256","datavalue":{"value":{"text":"Unification of higher-order patterns in linear time and space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4885622$2A86B043-7BAB-4A35-A4D3-73066191B561","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1fb97476e11d543bda47480461d17b8bf7f4e7e","datavalue":{"value":"0863.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$779578D1-8DB9-46F4-B218-1457A3194502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fc4594ea897ac3db33d9c10dd7a3d8572fd3a75","datavalue":{"value":{"time":"+1997-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4885622$9E27BCF5-0FD3-4600-BDBE-8B93DD2F537A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$3117F141-1EC2-4192-918C-86002063254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$91C9F3C5-735A-466E-AF48-760B8DA0A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$1E707FB9-A58A-4426-AF11-B5E467513B29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fb14f2ed627f85513c7f42fdeebe3aef9710d91","datavalue":{"value":"910477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$E3B9ED12-3709-442F-B5CB-0B9492C74055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885622$2A5CECC8-8A16-42A0-81F7-2507D5D09EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa3a32e8475ff96d4b7905783b676778109ec9","datavalue":{"value":"complexity of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885622$C5C20D7C-96E0-4C5E-BABC-0F761830E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885622$46E25197-1C4F-41E7-87FA-84BC330300D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e5a3c45176ed3a0efc44ac920ec7d338a43dd1","datavalue":{"value":"DAG representation of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885622$FAED2B4C-F7F5-419A-B51F-6899AD1B4A03","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":"Q4885622$281D4A4E-4AFC-4702-B6F0-2E43D2F9F564","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31778fc054268fb928c873d1bc6f51f0374feda1","datavalue":{"value":"https://doi.org/10.1093/logcom/6.3.315","type":"string"},"datatype":"url"},"type":"statement","id":"Q4885622$92F3A5FB-98EC-4C55-AE40-11745138C13D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"514bc6572bd3408f551e3577c5946ff0207c13ed","datavalue":{"value":"W2067330580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$7216B25C-9215-4EA0-A36B-87E4FB82D2F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d74b9d62edb4c1293dbd6c717a47309af37e0e9","datavalue":{"value":"10.1093/LOGCOM/6.3.315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885622$BBD1F2D4-4450-4683-80FB-EF8CF37F7B24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885622$7B210070-C548-4C8A-99C4-D9FFF491D9CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29afa5abe0460911a5bb1d7f99124c4b0ae117e","datavalue":{"value":{"amount":"+0.9285075068473816","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":"Q4885622$2FBD5978-534F-4BE4-B2D0-68AE3278D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522bf253be78dab91c58529cb5b6ca5c311c35ff","datavalue":{"value":{"entity-type":"item","numeric-id":4954009,"id":"Q4954009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dbc085058ab8f5bfd0d531aa2235636bbad54c","datavalue":{"value":{"amount":"+0.8481525778770447","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":"Q4885622$A42DF3C0-1D90-487B-BE8A-C39DB337E99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f643c3af58865dbf8275cc595893e134cc61192","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef84914291eeed30d2e64ccf9ac2e77fe1448010","datavalue":{"value":{"amount":"+0.8319465517997742","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":"Q4885622$3C365BFD-4240-431D-9748-8B6F6C9B645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c8dbe14cd4e8534f8053deb0c126e579b3c940","datavalue":{"value":{"entity-type":"item","numeric-id":3410202,"id":"Q3410202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debd34de0bbd2e3c1ab0c659ad4b630699eac799","datavalue":{"value":{"amount":"+0.8270532488822937","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":"Q4885622$1E53B4C4-05E8-44D4-A69F-B26A8448B16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91abb487c0341b39785fb7a47f264f7e59e1baa3","datavalue":{"value":{"entity-type":"item","numeric-id":5096303,"id":"Q5096303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6ba0a7dca60cc9f97a2ca53ea79bc58799207a","datavalue":{"value":{"amount":"+0.8139962553977966","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":"Q4885622$4996E081-0253-4518-AB16-E20B56FE25CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4885622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4885622"}}}}}