{"entities":{"Q40507":{"pageid":40563,"ns":120,"title":"Item:Q40507","lastrevid":105428045,"modified":"2026-10-09T10:08:58Z","type":"item","id":"Q40507","labels":{"en":{"language":"en","value":"Regular Sets"}},"descriptions":{"en":{"language":"en","value":"AFP entry Regular-Sets"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"634ab7a847a02e305cf3cbb695bcf2b2a72dc56a","datavalue":{"value":"28793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$0B6F7543-0FC7-44B5-BEAA-6A2B3D6240E8","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":"Q40507$56B23CA6-32F9-4C2A-805D-FB23A72C7023","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"da12f80d65db821c04dffb4691bf018e639a939d","datavalue":{"value":"https://www.isa-afp.org/entries/Regular-Sets.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40507$3FB1C8F0-711E-44C7-BAB8-6DCFEB87DFF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$B0378482-18E0-439E-BF9B-CAB1302ACDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$45BD351D-1EDE-4EF7-A3FA-51DBB21729BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$56D0D9BD-DD0F-48EE-B330-C3DCAD5DD839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$4488AFD8-0441-4CF1-8180-8C29F4C12A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2becadfb03f0a4ea19120ee675d7cd2fe8450d8c","datavalue":{"value":"6.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$AC966809-E770-446D-B408-6B002C141113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40507$ADFBEE08-1BEF-44E7-98D6-3BBA3DDA61F2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$3EA56F0D-115C-44A9-AE51-FEDAFC8F7EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$8A9836B1-75C6-44D6-823A-EC5199B72F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$FBD16DFF-71F6-48BE-AA1C-70EA398B7438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$2FB60D44-37FF-4BDA-AE30-CBE4805FD6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"426782fbdde38f1df05faf0243ad602781d86c1e","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$A6AC496B-3614-4EF9-9F2A-A2B025C13090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$A5418CFA-A201-4FF4-8A90-9D3C98473AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e0d87f6fcdc693f0adac603a0f2d2f48ab1094de","datavalue":{"value":{"entity-type":"item","numeric-id":40312,"id":"Q40312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$48846894-2E30-42CE-8C0B-3ADE53630471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$6227146E-BFB2-4FAB-8B2E-E135503160F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"feba23e7c41ba4aa38bf2dee9205344029ea237a","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$4F852A3E-1F4D-47DB-B276-D390F127C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$2F311154-3800-43B0-B222-7613A9E9984F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81319f5b8664d8398f69fd7004689cf3156bb740","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$77A04F0A-382D-426D-9AF3-291968F13B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87ec2ca742c9eb10fbaa98b1820ddb7f4298bb25","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$E1E089EC-9774-4F8E-8C75-C9C38183395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$2F23FEB9-5574-4F40-A1A7-9295D0254C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$85D01955-70A3-4C22-A357-7BDE83D36C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$B47A03B2-152B-40A2-B4D9-49412E0502A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$5531234F-21E0-4E1F-8BA4-90B5243CE243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab576408136da65ce68abf8488b4c4362524857b","datavalue":{"value":{"entity-type":"item","numeric-id":43941,"id":"Q43941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$651015D1-B66B-41FF-A67F-849922134B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec0ead5de41b75f8118274f1632bf3ff0a6a2288","datavalue":{"value":{"entity-type":"item","numeric-id":22298,"id":"Q22298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$6C0F0EA7-BB1E-48D7-9D5E-1B78989A695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e8320d126b57d987a786415a6e889261cd197254","datavalue":{"value":{"entity-type":"item","numeric-id":22297,"id":"Q22297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$49EBB52E-1A25-4B09-9BEA-C24428D2D33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40507$7397BAA4-B80F-495A-A282-5573A00CF571","rank":"normal"}],"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":"Q40507$D83313A5-940C-4CDE-94A5-4F39B80946BB","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"ea0056e79813f72e5823be3df47a8a38e90ebfc5","datavalue":{"value":"Alexander Krauss","type":"string"},"datatype":"string"},"type":"statement","id":"Q40507$C60C05CA-3EC0-461D-BB6B-6F9A0ABE6451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40507$2A9125AA-488E-4CB8-9066-8A5B548E5E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q40507$6C8D0497-F689-4541-AE3D-ECC3D423E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7538833d135040c28ea592b4b5e0506b7d8dd0b4","datavalue":{"value":"Christian Urban","type":"string"},"datatype":"string"},"type":"statement","id":"Q40507$4A4CB6E7-2A08-4D1E-B747-DD4A6F356547","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":"Q40507$89C03B9F-1E5A-46B2-B30E-7CC0C296C7FB","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":"Q40507$B761BC63-F6FA-4FCF-A1F6-AD49D3E8E728","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":"Q40507$38DB146D-47B9-4032-AF47-1132D8C70BFF","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":"Q40507$8876F1B7-5CAC-4AD6-A8B5-C64BE649149A","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":"Q40507$2F5BB627-D27A-4B97-B6E1-F12BB869AD12","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":"Q40507$21D83558-FEAA-43EC-BADB-2C1AD9D65640","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":"Q40507$396F3886-CD34-4EBB-9E8D-3C87598DC321","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":"Q40507$DB354ED6-2C3C-4B02-807B-E25691B9CB51","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":"Q40507$DD5A0F2E-FB76-4D4E-9242-F0E1D5D44659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular Sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_Sets"}}}}}