{"entities":{"Q7361044":{"pageid":31518671,"ns":120,"title":"Item:Q7361044","lastrevid":105362495,"modified":"2026-10-07T13:34:13Z","type":"item","id":"Q7361044","labels":{"en":{"language":"en","value":"Regular Sets and Expressions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Regular-Sets"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8962d78f3d49c150486aa414747d942985524da","datavalue":{"value":"https://isa-afp.org/entries/Regular-Sets.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361044$2E20001F-D782-44DD-9D1E-15F8C60E62A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf4d5783d24fecd8febc323b6d339d3afd0426e","datavalue":{"value":{"time":"+2010-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361044$6088C842-7539-4542-9D91-62183234E25B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"ea0056e79813f72e5823be3df47a8a38e90ebfc5","datavalue":{"value":"Alexander Krauss","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361044$5DF6A83A-A1A5-483E-A2C6-75244B2E6D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361044$C2160D05-A6A2-499D-8266-078DCD4C8F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361044$08E4A555-3377-4326-9B21-644FA9371459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7538833d135040c28ea592b4b5e0506b7d8dd0b4","datavalue":{"value":"Christian Urban","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361044$54958D2A-1E81-4D28-9F87-EC4160994989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9a1f874dce2e94d8a167849cf14f30ecec23987","datavalue":{"value":{"text":"Regular Sets and Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361044$9329E632-02C4-4A57-A5AB-C7F68A1B8955","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9079fe4a071cf33f974f748a03ebe19b282ab89f","datavalue":{"value":"This is a library of constructions on regular expressions and languages. It provides the operations of concatenation, Kleene star and derivative on languages. Regular expressions and their meaning are defined. An executable equivalence checker for regular expressions is verified; it does not need automata but works directly on regular expressions. By mapping regular expressions to binary relations, an automatic and complete proof method for (in)equalities of binary relations over union, concatenation and (reflexive) transitive closure is obtained. Extended regular expressions with complement and intersection are also defined and an equivalence checker is provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361044$16B90B13-AC0D-4FB5-8404-3E23F83C1E85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361044$3104C2BA-05B6-4C12-9E23-20F470F90B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361044$ADE3EF43-4696-41E0-967B-65B2FFABFDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361044$DD9FB878-491E-4A1C-886F-00F321E825A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361044$234FA819-037E-40EA-98CB-8E74E53863FF","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":"Q7361044$6E0A839C-81A1-4802-9B32-B83D3E1D0DDF","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":"Q7361044$A252BDF6-B2C8-43D1-8B87-2EC653967465","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":"Q7361044$4CAC0624-3E78-4708-B7D9-1C5CF29D1A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular Sets and Expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_Sets_and_Expressions"}}}}}