{"entities":{"Q4302812":{"pageid":6332413,"ns":120,"title":"Item:Q4302812","lastrevid":46285890,"modified":"2025-12-24T11:54:00Z","type":"item","id":"Q4302812","labels":{"en":{"language":"en","value":"Nonlinear pattern matching in trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622295"}},"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":"Q4302812$990DD05E-BD51-447D-9D98-E6EF6F0E1B91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657aae3d2035934dc6218cc58a2d9bfa66126de3","datavalue":{"value":{"text":"Nonlinear pattern matching in trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302812$BFA7A853-31E1-42CF-9ECE-B50D1787894B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45289fd4fb7fccde419b97731c52b36bb16ca405","datavalue":{"value":"0799.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$1F1B5FC3-477A-431B-9BF9-F4276FED6B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"864f6e4fd6384367bca30288be5b565314fb844d","datavalue":{"value":"10.1145/128749.128752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$AB4E52CB-3593-46E2-9966-142D76E5DF89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302812$30E413DC-0A02-45DE-B3A2-4BF0D7977A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-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":"Q4302812$642A278E-425E-44E4-BE5B-7EA8690A62D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$229362B5-60C2-4124-85FC-CD8C40E3A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$6E604BED-4591-4358-A8AC-A5397588B02F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf78e2daa918de3e9eff0dcd8badf794fcb3974b","datavalue":{"value":"622295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$94E70FB6-D7A9-4F25-BDC5-9F856EF9E6BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df6757172bf90457583991aae36da917abda3cb","datavalue":{"value":"nonlinear pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302812$559E1D2B-9DE1-4972-82EC-348D50E8A3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302812$FC678D06-AEC7-4348-B4AA-6B7CB301FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302812$7216B40D-C750-4A4B-A210-40013AA73CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302812$3FE5B2B8-BC3E-4FAB-81CB-098EBBEEB35E","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":"Q4302812$3D8A1D09-1F19-4A2D-A284-E3AB4BDF0406","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d52e3577c31f1ce950bec05d261fd8f21ad9633b","datavalue":{"value":"https://doi.org/10.1145/128749.128752","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302812$2BBCBF38-C9D5-4F82-9C8B-994D8F2F975B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ff11714ffa319af5145771fe744270b9e720db","datavalue":{"value":"W2444559629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302812$197EFD53-68AB-42A7-A5BB-89A6618FF83B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459ddb6c349fbf11778bc73dfadcfd5aad055cc1","datavalue":{"value":{"entity-type":"item","numeric-id":3795241,"id":"Q3795241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb59eacc1f82cbec6a8dfed88a1abe298a5d6fc","datavalue":{"value":{"amount":"+0.997992217540741","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":"Q4302812$7E416C43-773F-4A9F-8D4D-354F82B37A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51520bcf03200690ead912a30518e02151d389c","datavalue":{"value":{"entity-type":"item","numeric-id":3789086,"id":"Q3789086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9ec756193a8e59072bfe6279ec57399111791c","datavalue":{"value":{"amount":"+0.8411357998847961","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":"Q4302812$D8E9E764-527F-40C8-BD8A-1A60E715F1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bcbd607f60be22df2b2678cff12a4d0934d6129","datavalue":{"value":{"entity-type":"item","numeric-id":912610,"id":"Q912610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7288dbb9671af54f74beeefd817781d94ddf8288","datavalue":{"value":{"amount":"+0.8408592343330383","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":"Q4302812$203B410C-7A13-453F-BB59-7FF634907C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b62a20de64f4910a32d03d85424dea391d59ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3683556,"id":"Q3683556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3696915e839065f19cf4e6f6a9b197b82f35f93","datavalue":{"value":{"amount":"+0.8358967304229736","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":"Q4302812$5BD70630-BCA0-423C-8CFF-2026E74EB9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793fe0e2b5a9f32251750c883b24f11acbd8f8f9","datavalue":{"value":{"entity-type":"item","numeric-id":3779742,"id":"Q3779742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af6172383350efa54d49fb424bed43baadbf448","datavalue":{"value":{"amount":"+0.8310972452163696","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":"Q4302812$D25AE194-16B0-41FE-9DB8-0AFF59634390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302812"}}}}}