{"entities":{"Q3819985":{"pageid":5849891,"ns":120,"title":"Item:Q3819985","lastrevid":53886773,"modified":"2026-01-25T21:30:24Z","type":"item","id":"Q3819985","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092749"}},"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":"Q3819985$ABFB1798-6865-4620-A0C6-01A61CE0C9D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8758cb6833f35c8663f8830d6ed862376f09d074","datavalue":{"value":"0667.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819985$C809A433-D8A7-41C1-AC7D-ECA8B68C4F95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a18f0b14be076b237a830efcf39750b712c5d24e","datavalue":{"value":{"entity-type":"item","numeric-id":918214,"id":"Q918214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819985$F84C82C7-2D7D-48F3-A088-22D025AF4346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3819985$CB3182F2-E12E-4A84-9FDE-7DF63BFB6E62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819985$51A6A48B-62A5-4002-B3A9-2F50469ABD95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4689f3092d25458f126b8c66eaae5a8a027e94a9","datavalue":{"value":"4092749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819985$2AFB9090-490D-4A4F-9442-F6B487226DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$EBF1302F-4187-4B5F-ADB5-C57674696AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$8A10D4E3-D96B-4D1A-A53D-DA4C3809A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$A863A6D4-83EE-4D4A-A6DC-B2D59531AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$8102D573-73F1-4BE9-9DC8-966CF84D9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4ba9d60c408b7748bf297f3e5679cd4a95aa4","datavalue":{"value":"optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$3219B757-18CD-4A17-9711-EBA55F61FE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$C50AA2D6-886B-4191-9511-38FAFA84BCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819985$8A99B279-4E03-4B78-B151-A06F1B2C9740","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":"Q3819985$BAEA43AC-649F-4B48-9DD6-78BA57BFE67B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42eaa0f1527fa658607e53691085ed0fe3921ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3028335,"id":"Q3028335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bc00f67083416b7f3132d7160acdb234b08db6","datavalue":{"value":{"amount":"+0.9180622696876526","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":"Q3819985$D4BDEC4C-481E-46BB-BDE7-BF6E2DB476F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb60b040c42eb72fcf3d07cb3d45a442c0c4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3819984,"id":"Q3819984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dec74fb0612360642a98ce063bd449e6504e65c","datavalue":{"value":{"amount":"+0.8902214765548706","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":"Q3819985$B65893A2-1821-4941-BC5F-DC0C1A84F4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aa552affd213736b23bb0bed598057e70276fd","datavalue":{"value":{"entity-type":"item","numeric-id":5703990,"id":"Q5703990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600cadbb264eccc0c272a948511be9c989b42ea0","datavalue":{"value":{"amount":"+0.8283740878105164","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":"Q3819985$46DEDF28-39FC-4175-A117-6D59F2332241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fe65993e794ceb364f460c685272a81366462a","datavalue":{"value":{"entity-type":"item","numeric-id":1189444,"id":"Q1189444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2c89c033c08e3d008d84dc96c34f675ace496f","datavalue":{"value":{"amount":"+0.7914928793907166","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":"Q3819985$DF7400D0-DB02-4643-8ADD-7C11AD86055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6889707d814763faf8060526ff0dad812702d6","datavalue":{"value":{"entity-type":"item","numeric-id":3819990,"id":"Q3819990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0bd1aa582027b2f599a998a434465b6cd6f749","datavalue":{"value":{"amount":"+0.7902629375457764","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":"Q3819985$20A49B46-2E51-4565-8E18-DC866A2C88CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819985"}}}}}