{"entities":{"Q6481877":{"pageid":13978017,"ns":120,"title":"Item:Q6481877","lastrevid":40260733,"modified":"2025-02-17T22:19:35Z","type":"item","id":"Q6481877","labels":{"en":{"language":"en","value":"Myhill\u2013Nerode theorem"},"de":{"language":"de","value":"Satz von Myhill-Nerode"}},"descriptions":{"en":{"language":"en","value":"theorem"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{},"claims":{"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"8d5063a5d54fd9d25496245dc99c9d7915cb0473","datavalue":{"value":{"entity-type":"item","numeric-id":6481875,"id":"Q6481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481877$00EA9E94-6F11-4A28-91F0-7C352445EE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P558","hash":"f11d4ec2170090982861f38045dea57cd1e9cc35","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481877$4B2F6513-15AF-4157-95DF-E197F155FB66","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"fc2ed5d1b6d17394b3d85f889439e5cfd286795a","datavalue":{"value":"/m/01xzcj","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481877$ED3ED2DC-5B65-409C-8217-4B011394C426","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481877$C2A37267-BB78-41E4-BA11-069B075E7139","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"ab83a9f1bebc9f559d990c5df32e41656e8f74e2","datavalue":{"value":"108857560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481877$622B2B8B-CB0E-417D-A9E1-B4107E0A476E","rank":"normal"}],"P1580":[{"mainsnak":{"snaktype":"value","property":"P1580","hash":"bfc5b1a677ff83edb7a16d9120b815daafb04f60","datavalue":{"value":"MyhillNerodeTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481877$4F413036-5A5D-4A5E-9F70-4FF020302BC7","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481877$614C8CDF-50AA-4707-B5E4-2320BA0607A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"374fdfee4c9a95aa06dc49e6b51380e03d339afd","datavalue":{"value":"Q422187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481877$1390B19E-FDB3-4C67-8B82-FD93AED2CBB8","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"20a09bf44596c00c6a5315634890c23000a91e28","datavalue":{"value":{"entity-type":"item","numeric-id":6672174,"id":"Q6672174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481877$A84E1FE2-C41A-4E16-86C0-849DA8E4DA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P389","hash":"30e59ea2fe67c1fcf9fe200fb58df2537abc13d7","datavalue":{"value":{"entity-type":"item","numeric-id":6672175,"id":"Q6672175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481877$9787BE72-7B4F-4207-B8B8-0D409BA51AF5","rank":"normal"}]},"sitelinks":{}}}}