{"entities":{"Q3783622":{"pageid":5813528,"ns":120,"title":"Item:Q3783622","lastrevid":52591919,"modified":"2026-01-23T01:39:13Z","type":"item","id":"Q3783622","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047179"}},"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":"Q3783622$736C8083-B5DC-48D2-8F25-72DCF3037341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03efa9cf61c35c2186cecd615eb030244e75a7d9","datavalue":{"value":"0642.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783622$EDD01F2A-FBC3-421A-8F08-4320D44F62D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783622$7BAA7327-F997-424E-8EAC-61A3C00E81EA","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":"Q3783622$BF1F7D1A-0F29-4D1A-B155-5740613189FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783622$0BFA5644-7F57-4C5F-8452-493163CDFF65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ac212128949de37473eff1c50896cc7fb8fa451","datavalue":{"value":"4047179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783622$68E7D3A5-8A9A-4807-98C7-C8C9E7CBD295","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783622$61748284-D9E2-42F0-9A4B-119FC40C197D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783622$E1AAD877-0136-4633-A4C4-9602310274EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783622$B304F6A3-6DF1-43CB-9393-8A822ADD5B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f234aebf692525c952bac7917391af487c4416b","datavalue":{"value":"confluent theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783622$F58FCA77-46C3-46F1-97D1-0E584616960F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783622$90E35D8E-2D17-4C19-8D47-F46C761DE711","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":"Q3783622$93CAB3DF-0803-4906-B6BF-2CF341150E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e49b7bead2c63a21d508accd7b36dfc210814a","datavalue":{"value":{"amount":"+0.8451634645462036","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":"Q3783622$5CB922A5-36D0-419C-9A06-904F5BB83299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd0e3a72335fd55984715923c140a943fffe2bd","datavalue":{"value":{"amount":"+0.8364335298538208","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":"Q3783622$9678BA7B-576A-4DC5-9900-D9BB0DEEAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b22272a236fb8750cdffc447877fa14e32a514","datavalue":{"value":{"entity-type":"item","numeric-id":3028368,"id":"Q3028368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c4e708c786edbc0b6aa8dc18435c4b43195150","datavalue":{"value":{"amount":"+0.832064151763916","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":"Q3783622$C067B14C-7466-48EB-ACFD-8D19EDEE7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c3e00eab977ef1b2c334ec594e7a390c036ec9","datavalue":{"value":{"amount":"+0.8317530751228333","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":"Q3783622$9A75AC68-9C25-44AF-BABD-6288E7EABF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004ec97c70dadb050be5fb87ed8fab8a7b794846","datavalue":{"value":{"amount":"+0.8255857229232788","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":"Q3783622$0081D40B-64B2-4DF7-BCD1-68519BA5E692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783622"}}}}}