{"entities":{"Q2445237":{"pageid":2455980,"ns":120,"title":"Item:Q2445237","lastrevid":51976148,"modified":"2026-01-20T16:23:38Z","type":"item","id":"Q2445237","labels":{"en":{"language":"en","value":"A note on the complexity of matching patterns with variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284213"}},"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":"Q2445237$4DC91DAE-C26F-4194-A08E-19AFE9616E50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d717a058868a311977693b637da654fe624ad8","datavalue":{"value":{"text":"A note on the complexity of matching patterns with variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445237$BA9D27A9-05CE-43A5-8BD7-B7421A466E3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e76e0469098f6f09a7e57a082ef3998850f2aa84","datavalue":{"value":"1284.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$EA9360C3-89FD-458B-B618-D5B5F09A75C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08bd73b8f826c8dbdeb6470e2a97e95c375ab926","datavalue":{"value":{"entity-type":"item","numeric-id":315523,"id":"Q315523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$3B739921-E56A-417C-8B7B-9C68FE9BBA40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$84822767-E1FF-46A7-9C1B-F6937539E24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2bd9793596aefadb295689a4db5fbda4fe4920","datavalue":{"value":{"time":"+2014-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445237$F35A1827-C928-4659-9277-41AB70221D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$DED4EEBB-1F32-4ED5-9D2D-5D9223432CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$7E23518C-23DF-4C74-A1EF-09FA133413FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$C595AE18-F74A-48CA-B0D1-8E4198CADC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6401095baa990707d3cfb4a307c8abaa304248d3","datavalue":{"value":"6284213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$E30C523E-7EEA-4394-86A6-8BEF288DB1AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$BD75914A-A19D-4381-B699-34C9ED987B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$FFA660D5-722B-470C-ADCD-0183B7AD2FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3a2948fa761d30b99bdb56700fde475dcfcadb","datavalue":{"value":"pattern matching with variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$61C1CD50-DDAC-4B17-B4ED-30D35CDD1F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff8b8fe6aa058b454ba518bdeb162c5d8608617","datavalue":{"value":"parameterised pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$6C53877D-29F1-4445-BF98-C53BD997394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$6C557D0C-94CC-4572-A207-F8919CD02F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47e3b4ef3565e3713a96a4fd0a46d8a30810136","datavalue":{"value":"membership problem for pattern languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445237$0435B6C4-AAFD-4330-87C9-FEB609F81513","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":"Q2445237$94174A9E-9CC8-48C4-B954-E59C428C7093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f5c247c7db1cc7670b1b97b60ab99f35e573e84","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445237$5A9A184A-F77F-44B8-A332-B28F623D6D0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76a581d691fde92e6829463d23ae9c98d7c31527","datavalue":{"value":"W1972596784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$DB0569A3-45ED-443D-9B98-7FB8193D0E97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422ef138be173ca7bc1ed6caff5e742dc3bc0f8","datavalue":{"value":{"entity-type":"item","numeric-id":1149795,"id":"Q1149795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$26554097-DD43-4F54-B4A4-4767A6FE7D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356dc83272a3504c2d0c5ed6f5f70c342ba6b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":599499,"id":"Q599499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$C5B955AC-8CEC-48C6-8681-E201B87E3A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d46fc8316918503540eddd4cbeed82975c92204","datavalue":{"value":{"entity-type":"item","numeric-id":4749224,"id":"Q4749224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$05FD8F01-72A2-48C8-977F-41F8236101B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7b746343536a6fdf52730a8ef1fe3c30d8075e","datavalue":{"value":{"entity-type":"item","numeric-id":817836,"id":"Q817836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$0BA6D294-578B-4B88-90E9-25342514E403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e5538e17b90b25549016ba99b83f2da2d8940e","datavalue":{"value":{"entity-type":"item","numeric-id":924176,"id":"Q924176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$A1D877EB-22FD-421C-AD01-D143022B5F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e855ff3523ce18a0fa1557f72dbc093e087b115","datavalue":{"value":{"entity-type":"item","numeric-id":924175,"id":"Q924175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$8249BD9F-B8F4-4214-BF4C-6F69F987165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0c8adb93f60f60d55ae1320e0ef26f0e4ed362","datavalue":{"value":{"entity-type":"item","numeric-id":1892205,"id":"Q1892205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$E42C90DC-6344-4827-B0D5-829295DBD510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a761f0ac112bf3232c197a83e832100c1614ca","datavalue":{"value":{"entity-type":"item","numeric-id":1389770,"id":"Q1389770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$A1ED45B8-536D-4E2C-B65D-51E8EE4BEA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67776ff883dd720f815e73ba180eafde4bd9efbe","datavalue":{"value":{"entity-type":"item","numeric-id":1049406,"id":"Q1049406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$163B4FAE-1D83-43D7-BC1C-49EA34DFB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e847dea694f50f93450140b11eb2da4ff0e983b7","datavalue":{"value":{"entity-type":"item","numeric-id":3584885,"id":"Q3584885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$1B309AD4-E1EC-4138-9836-C6EF3B367994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8feda3365d59be82a5182ffc7b562570e1a85e","datavalue":{"value":{"entity-type":"item","numeric-id":4318990,"id":"Q4318990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$5416C2C7-046A-4F34-9983-3229EFF41A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae647ae0ab9f5119fe13efb04f8736ba77a858b","datavalue":{"value":{"entity-type":"item","numeric-id":4763513,"id":"Q4763513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$0B8B08C6-B16B-4E2B-A1E7-71EB879D41F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7ae506624fe7a51139efcf9401b71b0e957d54","datavalue":{"value":{"entity-type":"item","numeric-id":4511275,"id":"Q4511275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$AAD28164-F6E2-47AD-A2CE-1B41268AFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf5e6d4b108d40b00e81080ea266ee13e8baa31","datavalue":{"value":{"entity-type":"item","numeric-id":3073643,"id":"Q3073643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$34F14B7C-375A-4F24-BCB8-CA4221F3EBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9173ee02be2e1b0b5f6a2ed12caf3aaf19240c37","datavalue":{"value":{"entity-type":"item","numeric-id":2890220,"id":"Q2890220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$9AD7B20D-AB9F-4707-8700-361D6B3D8964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17cc6a816bda0dc3a51c259a03a5ee7f295e545","datavalue":{"value":{"entity-type":"item","numeric-id":1915502,"id":"Q1915502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$C2BA9D06-E26F-47F7-96B9-DDDAAB363616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6248d57df7dd40a0392ac63db27f4da5f5fff3","datavalue":{"value":{"entity-type":"item","numeric-id":4449230,"id":"Q4449230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$9BC8A533-6C16-4568-A26F-547D89979C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5b6faf9ba5912fbb8072a53b7356a1230be0c0","datavalue":{"value":{"entity-type":"item","numeric-id":2466014,"id":"Q2466014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$AE95C01A-F8CE-4D4D-97B9-F1CBC8B0AA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e995370be7c06b77417d798c2a2c50344a963f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5696950,"id":"Q5696950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$659DA8A4-88AE-4256-A669-5F9BB76A7F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$5AFFFD20-AC0A-44CC-AC18-1AEFB732C5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$3093C440-931B-464C-94D4-F5176E04EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6605a86f6431bae8967443de475f249bb117de","datavalue":{"value":{"entity-type":"item","numeric-id":3522937,"id":"Q3522937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$9A78ECBC-83FA-4E58-BAE9-E5E946E7FA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c594e9705e780a6a4b2b01479e5d5553e79570","datavalue":{"value":{"entity-type":"item","numeric-id":5572939,"id":"Q5572939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$EDC29D5D-505E-40C9-8386-E449B845A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5175a0c52543e9a486983cedbc3846a9743cc3a","datavalue":{"value":{"entity-type":"item","numeric-id":4299299,"id":"Q4299299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$C530FFB7-6022-4F20-B23F-C871E139AE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba838fdee5bc63055b0afae3a6a1506c97a6e142","datavalue":{"value":{"entity-type":"item","numeric-id":4065028,"id":"Q4065028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$610C95F1-E260-42ED-BF25-3035F736B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7b4149100877ee54cdd1754bb9e9dac529d885","datavalue":{"value":{"entity-type":"item","numeric-id":582079,"id":"Q582079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445237$835D8413-4418-4865-A360-2C8EDA64DE77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0cead59f4133246fa1bdf6daf9b8e9006591ff1","datavalue":{"value":"10.1016/J.IPL.2013.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445237$DBFFA344-69E9-46BE-9D23-E6058F7D4F55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb721e5819c71a2876a65c7a13995ae00450e5c8","datavalue":{"value":{"entity-type":"item","numeric-id":2333028,"id":"Q2333028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c567724f33dd297a8c699f05f84fb4e435f0587f","datavalue":{"value":{"amount":"+0.8898781538009644","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":"Q2445237$EC5D9816-BAF2-46CD-8D47-51410064DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6875c95d3f4859c4bc9350e0d24ed0d12c72398","datavalue":{"value":{"entity-type":"item","numeric-id":2346415,"id":"Q2346415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f09a7afcd17b324bf93f11a818b66be5311f62","datavalue":{"value":{"amount":"+0.8887407183647156","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":"Q2445237$5DD8118A-4D3E-4949-B08E-51F2BF88764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01474c6f792fe958d90a6c29c9856a7985dc6b60","datavalue":{"value":{"entity-type":"item","numeric-id":4928563,"id":"Q4928563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1900f7afd0e63f16ba97596979dcb7413d02f67e","datavalue":{"value":{"amount":"+0.8721003532409668","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":"Q2445237$48E501A6-8A77-4FBF-91D6-7BCB2371DC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856b0fd9edbd1e9c34f8c1047bcaddd490d32a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5053058,"id":"Q5053058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926cc778a7698550359c70c62a0887f365bbf9b7","datavalue":{"value":{"amount":"+0.8624445796012878","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":"Q2445237$A8EE12D8-79C1-45A5-8C63-B2E585CB8176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc46810cf0fb80f63cd74294dee65bb0298c638","datavalue":{"value":{"entity-type":"item","numeric-id":2955004,"id":"Q2955004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f26417398b4be3eac1e02b5985fea1b7e2341f","datavalue":{"value":{"amount":"+0.8488401770591736","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":"Q2445237$F9AF316E-38FE-4286-8FD8-9A758AF0B2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2445237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2445237"}}}}}