{"entities":{"Q1575262":{"pageid":1586002,"ns":120,"title":"Item:Q1575262","lastrevid":72229479,"modified":"2026-04-14T03:29:42Z","type":"item","id":"Q1575262","labels":{"en":{"language":"en","value":"Pattern-matching algorithms based on term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493206"}},"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":"Q1575262$AB81D7D7-510F-4448-A54B-3F38ED08951D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c93bebaa9e5ccacc7c827266afff333f4de6b19","datavalue":{"value":{"text":"Pattern-matching algorithms based on term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575262$0689426F-6D26-4B6F-90C4-D63C4E1BBFDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0360cd8557043384e2f7788a4f771a565519f1d0","datavalue":{"value":"0944.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575262$E7E650C3-BEE1-48EB-9BD4-648672AECF7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089ba003324590e81d71cc0eda84383482962248","datavalue":{"value":"10.1016/S0304-3975(00)00041-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575262$48016210-24C1-48E1-9A12-D0EA821730D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$B1F79DA0-73D0-48C4-A7EC-137C7A16F282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575262$17506464-28B2-4314-B7A2-371A724B2F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575262$3C94BA54-CA34-44E3-B950-24571E8D1A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03d354e3375e3909f345c85921140541a5ffccac","datavalue":{"value":"1493206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575262$5D0DB183-67F9-4DC4-9199-4E4E73F44276","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575262$FA8DC798-9C32-43BD-8B2D-45C3AC77DB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575262$4D41826C-B1B1-4A3D-B5FB-830A7D632848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575262$AD2F44A9-2D8C-42E1-BB01-371D0B117E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d34efdc124cf7f3708f3c2b7eeec02f0a841df","datavalue":{"value":"formal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575262$27409B2D-9DEE-4408-B15A-AB4132C8F7D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$A7FEA09F-3D34-4F90-8C7A-C1852FF510C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9ac727adf283d538258b739bab9703a00e00bd","datavalue":{"value":{"entity-type":"item","numeric-id":488325,"id":"Q488325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$5B50DBCB-7BE1-498B-9DF9-E03DD5B7A83E","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":"Q1575262$7F67A012-C216-4657-9AEB-56C2C6DD14FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$69347B20-923F-4DFD-BF41-98257BAE887F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$1554E676-AC9D-4F0D-8664-AEF1CCC90142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$9E61703C-08DF-4F31-994C-9898742CE56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b7834ced64807e4cf20c8facf47b4eac5870ba","datavalue":{"value":{"entity-type":"item","numeric-id":914361,"id":"Q914361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$66D54074-CA1C-4C65-BC14-5E0887D38003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926d50283ba61f9037c024b626dac5a7c86b117a","datavalue":{"value":{"entity-type":"item","numeric-id":1263293,"id":"Q1263293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$50ECA671-17EF-4248-AA53-368D33A18A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd39ad9f1e6c17f7f45f17270bce76faeca3cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1392146,"id":"Q1392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$4D502983-2A8F-4A7A-95DA-0031A689C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac2235df07b42bbcf2f59e6e6c755c827873b14","datavalue":{"value":{"entity-type":"item","numeric-id":1920230,"id":"Q1920230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$9D00F390-B460-4743-8B58-6370DDDA77A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$A0FE81D9-70F0-4633-9170-282B905F8EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29b3c236e91c30852d16d4ed27cc41f72168feb","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$70F103DC-F89D-4E5C-8D1C-B2FA5D36866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575262$58590854-AFC8-4900-95E5-60017B58D416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fb8a3613fac49a5c6d2a7a455076487abe81229","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00041-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575262$A2AD476D-729B-4443-A18C-88BB35CD4670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0e6cbcd14154012bb88f4e7dc0cfedf7bee55c2","datavalue":{"value":"W1990794762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575262$390DC2E9-01E3-44BB-B84E-956CA07EDB3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597b655433e3d4cec37ca4126813c70880a796cb","datavalue":{"value":{"entity-type":"item","numeric-id":3021992,"id":"Q3021992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c229ac414a386449dac78589dafeb1ddd4f0029","datavalue":{"value":{"amount":"+0.7971816658973694","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":"Q1575262$335D4C7F-51D8-4B61-9BA0-274AA8758B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a42006bf97e6d7f61b1734e514ba8adff6f3dc","datavalue":{"value":{"entity-type":"item","numeric-id":4412586,"id":"Q4412586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354fe1b632dd372659476e98a27ffdd74cd63017","datavalue":{"value":{"amount":"+0.766902506351471","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":"Q1575262$FA9564B0-6020-4804-916B-995F9C9AD14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477ed1f33a165e86f01506c4624862c5a0e321d0","datavalue":{"value":{"entity-type":"item","numeric-id":4450893,"id":"Q4450893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913b6eeb057f79cc0dd5b8acda1473e28f28ff2f","datavalue":{"value":{"amount":"+0.7657337784767151","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":"Q1575262$A4FBCDF0-403E-40DA-BC3B-367052673177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe410e145f09f8f7827f881db95254d6355a0424","datavalue":{"value":{"entity-type":"item","numeric-id":3550843,"id":"Q3550843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af62cb39763ccf22749e7c40e0958e5ffbeef868","datavalue":{"value":{"amount":"+0.7579907178878784","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":"Q1575262$8A2298F1-2B81-4CCF-BD92-B2549541688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2294c2e71327e18c9555286a58b45f482357ae","datavalue":{"value":{"entity-type":"item","numeric-id":4499282,"id":"Q4499282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5e836390ed53c51c8ca2d2ef08a0d71e46d7fd","datavalue":{"value":{"amount":"+0.7450233697891235","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":"Q1575262$8D74696F-D6DF-400E-845D-C9362415C796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pattern-matching algorithms based on term rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pattern-matching_algorithms_based_on_term_rewrite_systems"}}}}}