{"entities":{"Q990133":{"pageid":991981,"ns":120,"title":"Item:Q990133","lastrevid":51070586,"modified":"2026-01-16T12:18:59Z","type":"item","id":"Q990133","labels":{"en":{"language":"en","value":"Disjoint pattern matching and implication in strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5778964"}},"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":"Q990133$AB76814D-4FD1-4F99-9FEA-2A4A3852B1C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a542c47726f7d763109970ad4fe98fbf94bf4c","datavalue":{"value":{"text":"Disjoint pattern matching and implication in strings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990133$589FC61D-A4CD-43B1-B95B-85BB3092EB7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691c775f2a3d9206916cd532b7fc10c436c665bb","datavalue":{"value":"1209.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$7CDBE015-09B6-46D4-AB01-6A2E701B56EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb7997696c2a55ce98cc1e675af9a2d3206b12d","datavalue":{"value":{"entity-type":"item","numeric-id":532370,"id":"Q532370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990133$63FBDB31-48F7-4D1D-A306-B1693525CC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990133$A1C7D75C-D871-47E5-9976-2B56E87C68AA","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":"Q990133$9BC9D0F6-01AA-4902-8FC0-1FC4E6F07F53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990133$1E11BFA4-7796-4040-B6A1-0D66972AA66C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c87a39058055faceca33a7841015833713653508","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.1811","type":"string"},"datatype":"url"},"type":"statement","id":"Q990133$B42361AB-FC90-40F1-9495-09873597375E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$A56E459F-9BC9-4BC9-AAFC-7DC370429F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$DFD404D9-199F-4F5D-9BB9-58FC4C37EAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$5E1AF025-BBD0-4C23-B098-BD7582D56BC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3031574e594c5b71505b0b2c810b6566d59528f7","datavalue":{"value":"5778964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$F89A9D0E-8615-48AC-8E2C-1A8B0BA71F34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q990133$0591FE25-C782-47AF-B9DA-8B340D9117A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f375d9831de7dbe7071a94820ee318a076eb222","datavalue":{"value":"strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q990133$EDCC7EF0-3CAD-4703-B5CE-F7DFD34FB7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3a4134a14189694b76416ccebed15be1ca2af8","datavalue":{"value":"patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q990133$D594E79C-C977-476F-B5DF-17CB3E7E0BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q990133$669BD9C0-9983-4090-91ED-B8243640F9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q990133$6937B21A-3750-4E28-99AE-AA1836691DA4","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":"Q990133$1B05D3D4-B0F8-422A-A8F2-3424A4533C41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17777933f6fbac3b429de8da8b04c4d939e48f84","datavalue":{"value":"W2006299584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$439B3904-6799-463F-B7E7-5624184AF02C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"659cdaa15ad6d89ec32129a4bed8372f5f89fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":4147591,"id":"Q4147591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990133$09A3EA7C-AE6D-40D5-8631-4B2DB83E2C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be4b1d8440a1c0220e24f4b28c6e4fa9c9ac37e0","datavalue":{"value":"10.1016/J.IPL.2009.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990133$86484D1E-C157-4E38-9EC6-C09C674EAF19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d54b13601e5f042fb1b6c1236e44a743ef97f0","datavalue":{"value":{"entity-type":"item","numeric-id":452941,"id":"Q452941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4b37722a68cfd840670ef04c54847915f12d88","datavalue":{"value":{"amount":"+0.8142191767692566","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":"Q990133$C579D341-5107-48E0-B731-DC0841B276A8","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":"c154dbfaa5b5fc14daee54e4a0873280d3634c1b","datavalue":{"value":{"amount":"+0.7111680507659912","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":"Q990133$C3A9CD5F-E61A-432F-88A2-04993DE1E2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5eb17af22837bc6834deadbd3e6e2316b7c06c9","datavalue":{"value":{"entity-type":"item","numeric-id":507598,"id":"Q507598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f34f8e0009067754305947243673e2014c83b5","datavalue":{"value":{"amount":"+0.7081149220466614","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":"Q990133$07A7FC53-B88C-4B7F-9F84-4107A3F22104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8baea5b60fb2b008c175ae2818060bd018e87b6","datavalue":{"value":{"entity-type":"item","numeric-id":5136316,"id":"Q5136316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd4f2bf99070cefc652949f01d0f98a97208397","datavalue":{"value":{"amount":"+0.7065936326980591","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":"Q990133$202847B6-009E-402C-8FCA-DA3FF1CF8C78","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":"56941ada895cb7f23543e9d743360400d1d39702","datavalue":{"value":{"amount":"+0.6917061805725098","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":"Q990133$96B9EF88-5483-4F5D-8C11-89305E9B692F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:990133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:990133"}}}}}