{"entities":{"Q3801522":{"pageid":5831428,"ns":120,"title":"Item:Q3801522","lastrevid":53233253,"modified":"2026-01-24T12:37:36Z","type":"item","id":"Q3801522","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068831"}},"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":"Q3801522$546B15F1-7647-4166-86FE-CF4E68BF3E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45cfe10037b492109e17fc7d35f982e989161846","datavalue":{"value":"0655.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801522$8E1DAFBC-42D2-4079-AE7E-00C354A2BBA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801522$48BFD3DB-D1E0-4FBA-85EC-ACA3A1E3F82C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3801522$831C2378-BE1E-4252-B870-7AE9190811E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801522$31B0A12B-EAE8-4227-A8E8-C017929F5D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801522$2EAEF217-0C1F-4352-9896-F50C06EB6278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"687ff5afbff255e6821432d5e95f87871304011a","datavalue":{"value":"4068831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801522$01908BBF-A2C3-44E8-ACF1-4AF96602AEED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801522$0E016F1A-92CF-4292-86A6-F077F372D17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361c2cf2d4b8849f53196bf74da22b2a3982db6b","datavalue":{"value":"regular matching trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801522$2C8D7AB6-1336-4731-95E6-B5D6C01322CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801522$86D38531-FF37-4A46-8728-93FA6ECE3B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801522$20D70097-D486-4634-B32B-0F2CA4A5DC5F","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":"Q3801522$B652A401-C346-47C2-ADC0-F86A0256040B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b843bbe05d7ec04b9e7443f833ea1e8de9fee8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3347777cb5f7b506aa4992d1e5c2a5bd78f9795b","datavalue":{"value":{"amount":"+0.9197536110877992","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":"Q3801522$2B103BD5-AE12-4F1E-BEAB-8CABF5D984E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab9f509e9cb156ecbf58e022ae9d43e5810afdd","datavalue":{"value":{"amount":"+0.7694801688194275","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":"Q3801522$B8FA3020-4F99-4505-84C5-018B22A0A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105f46669e91d66374721f4093cdf2e9e45f0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":751644,"id":"Q751644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31616351cca665e3b8b56d8eb6720390386c0d8","datavalue":{"value":{"amount":"+0.7618728876113892","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":"Q3801522$4A5FAB85-F922-4912-8F8D-58A9F989A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea894f759a4af80cdb1ee136b7331eace66db129","datavalue":{"value":{"amount":"+0.761218786239624","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":"Q3801522$1502DF1E-D604-4132-A713-9AB0076BDD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a26a59db67d10f608635b9dbb7561994137b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4249224,"id":"Q4249224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bc6181b568e5755ed746a180ef60f6056b1a77","datavalue":{"value":{"amount":"+0.7603408098220825","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":"Q3801522$910713BB-4C4D-46EB-A2AD-05CEC6A45237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801522"}}}}}