{"entities":{"Q7361658":{"pageid":31520513,"ns":120,"title":"Item:Q7361658","lastrevid":105423746,"modified":"2026-10-08T13:45:36Z","type":"item","id":"Q7361658","labels":{"en":{"language":"en","value":"Finite Automata in Hereditarily Finite Set Theory"}},"descriptions":{"en":{"language":"en","value":"AFP entry Finite_Automata_HF"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890364608d7d50b5a209d376fc11760ea4ca3045","datavalue":{"value":"https://isa-afp.org/entries/Finite_Automata_HF.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361658$5E5D2E98-184F-4AB2-94DD-F2B6F594C6BD","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361658$609B56B6-E8CC-4E02-8EAD-3040BFEBA4A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c87d2280f6cdc43f29307df016b8c8912adcfb1","datavalue":{"value":"Finite Automata, both deterministic and non-deterministic, for regular languages. The Myhill-Nerode Theorem. Closure under intersection, concatenation, etc. Regular expressions define regular languages. Closure under reversal; the powerset construction mapping NFAs to DFAs. Left and right languages; minimal DFAs. Brzozowski's minimization algorithm. Uniqueness up to isomorphism of minimal DFAs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361658$7B787DE1-DBD6-4928-905D-A524B48160DC","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"76069a6d59279efa1dd2eb6eeafe6968fbde0cc3","datavalue":{"value":{"entity-type":"item","numeric-id":7361169,"id":"Q7361169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$724A4DC9-13EC-491F-9576-A516C0F3AF39","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":"Q7361658$A7DD4B18-7622-4B62-AC91-6F2C5E2C3B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361658$CE760A60-F4D0-4190-A61A-FCFFB3E7C136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f799aae94c6e37ab65829a144e005c7d7585745c","datavalue":{"value":{"text":"Finite Automata in Hereditarily Finite Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361658$57B3A570-72D6-4AAF-90F9-8E8A682CB226","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":"Q7361658$A5D631D2-0FEF-4F72-8A52-0302FDB331D6","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":"Q7361658$04CB662A-A73F-4027-9066-9668AAEEA15E","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":"Q7361658$9E84CF00-6558-4BE2-8B5B-E894BDFE5AFE","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5a1a06fbccad7b349fe52f21ab4d0ff68b2fa459","datavalue":{"value":"29250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361658$B9C1E049-047C-445A-AE5D-F5B931F72B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361658$26156C75-F14C-4B9E-B6CD-57E6F2AE0FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361658$1D913699-5E01-4BFD-AB70-83D522A4DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361658$4AD75361-958B-4A60-8D6F-5D8272E61ED8","rank":"normal"}],"P1458":[{"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":"Q7361658$E173A78F-0444-433F-B431-5F38D625BDB1","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":"Q7361658$342A4404-2739-4073-9408-D8B9038FF875","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":"Q7361658$B6C8F075-4E83-44BF-B18F-243536A9B67E","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":"Q7361658$01998070-F9DB-4B79-B925-2775DF9857E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea53781dc0a29ca150a09c3de99800e897e49297","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$C67E9818-A8AA-44D8-A625-51D7C3ECEF34","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":"Q7361658$5EE18BC4-293B-4025-8829-8A0D3E8D6690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$1930A11C-3B43-4417-8F5B-F295C3D19449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$E5522768-650B-4A5B-8D79-EBCF06C0EEF4","rank":"normal"},{"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":"Q7361658$1D2D6FEA-3259-4113-B235-379AFD015CF9","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":"Q7361658$3B6842BA-F7C9-4C4E-B836-99307272E4F3","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":"Q7361658$C94518E6-2277-4ED9-9A3A-2B1ABE78D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"814bcfb4a1f7d9f1a4e1c2e85965c0fb9e00363f","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$146C3C44-5B9D-45E9-998A-3FFD7801AEDB","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":"Q7361658$B8DB5BDD-5E34-46E8-98D5-E41C45EEFB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$0A78703E-F7C3-485C-A697-E92DC6AF8929","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":"Q7361658$D91EF937-FB45-4A89-A2E4-D9D2EC89E9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$9E5B9456-1FED-45DD-97A2-BCC9D65C4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$9A547464-0745-4C82-8124-F09CF317BBF4","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":"Q7361658$8C73E60E-7A9B-440D-8A9F-1A0587BE6665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361658$98BE23E9-CE6E-49BC-9FC2-2F87466F6ADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Automata in Hereditarily Finite Set Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Automata_in_Hereditarily_Finite_Set_Theory"}}}}}