{"entities":{"Q7361068":{"pageid":31518743,"ns":120,"title":"Item:Q7361068","lastrevid":105362567,"modified":"2026-10-07T13:34:22Z","type":"item","id":"Q7361068","labels":{"en":{"language":"en","value":"Unified Decision Procedures for Regular Expression Equivalence"}},"descriptions":{"en":{"language":"en","value":"AFP entry Regex_Equivalence"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d48ae3f26855a04fd9ef8b0805a9794b9c5d35b","datavalue":{"value":"https://isa-afp.org/entries/Regex_Equivalence.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361068$8C9D9A81-5CA5-4DF6-BECD-FFC23475CC9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ddf9c399556e9ab08ae93a0e3ae28e7dec6d0b6","datavalue":{"value":{"time":"+2014-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361068$6BC2D7BB-D4F0-4188-BB7B-5E1EA4482086","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361068$C9613AEE-39F1-4F96-A627-F59A136BAF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2500aa80beaafa12dfa4ab6c7d8363674f762e6e","datavalue":{"value":"Dmitriy Traytel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361068$DEBA33DA-4767-445C-B402-A1C4B069769C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22979883dfad50038850c20b033e406ebb4e7e3","datavalue":{"value":{"text":"Unified Decision Procedures for Regular Expression Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361068$30580BA6-2244-4877-9E03-1FB8CFE49F17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5dcc9966d7d4874e311771b9775ff722175ef0b0","datavalue":{"value":"We formalize a unified framework for verified decision procedures for regular expression equivalence. Five recently published formalizations of such decision procedures (three based on derivatives, two on marked regular expressions) can be obtained as instances of the framework. We discover that the two approaches based on marked regular expressions, which were previously thought to be the same, are different, and one seems to produce uniformly smaller automata. The common framework makes it possible to compare the performance of the different decision procedures in a meaningful way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361068$F0703CC4-23B4-4541-956C-0D1D2A338686","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ba4596dda2eaf2f3298b435046ef0b44494788","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$7A11FC44-9004-4FB1-8EEA-E06DCFAD940F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$DC59FE36-07B8-4047-9E6E-C1B661BCC9C3","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"cf6a3e03118521b919f19208fbde6d33867b5847","datavalue":{"value":{"entity-type":"item","numeric-id":7361439,"id":"Q7361439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$E1089104-3409-4C00-8958-A2CF69BD3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a0e462408f240420e2b3f4dd5e025dcac9e4a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":7361044,"id":"Q7361044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$C338F48A-88C0-4B25-9792-33D7B21C271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"35972e4d852b9a97437a6c555f7480f3e52c8876","datavalue":{"value":{"entity-type":"item","numeric-id":7361511,"id":"Q7361511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$AFEE0BA9-D62C-45F6-8546-A79036DF5CC7","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$893E29CD-C568-491F-80BB-F6BC3FEB8C20","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361068$8A98F0AE-5FDD-4903-93A0-4B9F2E819E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unified Decision Procedures for Regular Expression Equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unified_Decision_Procedures_for_Regular_Expression_Equivalence"}}}}}