{"entities":{"Q6535191":{"pageid":14146334,"ns":120,"title":"Item:Q6535191","lastrevid":95734052,"modified":"2026-06-05T09:40:23Z","type":"item","id":"Q6535191","labels":{"en":{"language":"en","value":"A Myhill-Nerode theorem for higher-dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7766957"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$7FF24E22-DF93-4DFC-B425-9249A76AFA39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a87263b8cbf0e0148afda9ef44320ee144b9eed9","datavalue":{"value":{"text":"A Myhill-Nerode theorem for higher-dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535191$C011C308-BB81-4753-BF32-AD8A47BC14FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad5185e749beda276a832a1984ee45c01d01f015","datavalue":{"value":"1541.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535191$0D3D05CF-8AF0-40AA-80D1-6F28668C1665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8706aa77c7eac8c3707a819f4389d02d4439a44f","datavalue":{"value":"10.1007/978-3-031-33620-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535191$F5C104F6-06D2-4C11-B2A8-5165D267F0F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$28878B47-95C3-4E29-AE84-BFDD15640D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dbd883b4a560d8dc769aee7a4b9c755d88c126","datavalue":{"value":{"entity-type":"item","numeric-id":248928,"id":"Q248928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$324C744D-AF19-4E73-8CBC-4B01723A5921","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3ecea5c09fc0c2fccf666e4f503b4f338e1922","datavalue":{"value":{"time":"+2023-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535191$7C1A008A-56D1-4F1D-BE0A-87A6E9FBA608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535191$80A6541F-62FD-4EB0-A074-F4FF847DE427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535191$5EF07C2C-17C8-4B93-A962-EE2A6000841D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4282d51171cba71bd6d89b2c7acdeab5095aee2","datavalue":{"value":"7766957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535191$12AAF795-92DC-4AAF-A07D-BE04641B9C2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535191$4EDEE972-7DB8-4702-AF67-1DBE66FF5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53e18552301c4c174019a9ccd7161cadd7599ae","datavalue":{"value":"Myhill-Nerode theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535191$A301E7CB-A145-4944-B424-02C8F31A5303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535191$AE33731B-1359-4C99-9936-D7486A88CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535191$2B59C35F-95B9-4DE0-9C4D-CACEFEDE4B05","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$F32A7565-FB5D-4E6A-9B14-D93341412CC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$7A7F7E40-D2F8-4F46-B4CF-B6E6A64A7DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5dfca1d99928b5119bc55281b93c5d85661fb2","datavalue":{"value":{"entity-type":"item","numeric-id":2289063,"id":"Q2289063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$25A0CEA7-C874-4C40-B611-852A7AC01708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$BCB18A78-8671-4E09-A05A-8ACBA7161AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfd1958dd574a8efc95cf2dd16d6e098e618192","datavalue":{"value":{"entity-type":"item","numeric-id":2289075,"id":"Q2289075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$85200595-D8AA-4D14-BDD7-5013FAD14F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d12ded399324532708b6c303f64c389eb4f17f","datavalue":{"value":{"entity-type":"item","numeric-id":5076390,"id":"Q5076390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$1064A79A-CC38-4B10-8D1D-1E15F2D8733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3732baf998b5091c5dd28bd4aa4849342ddf64f","datavalue":{"value":{"entity-type":"item","numeric-id":2672275,"id":"Q2672275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$06407153-3302-4C00-A8DB-6D258C8DB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb091d8751d41cb0c5d87de86bccfef983c9bc27","datavalue":{"value":{"entity-type":"item","numeric-id":5275346,"id":"Q5275346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$B4F47314-38B2-4295-BB4F-329DD9A5F30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce39b2f3bc0da720bba5564e955b39c160f4908","datavalue":{"value":{"entity-type":"item","numeric-id":4484501,"id":"Q4484501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$99353342-2104-4DA3-9A17-75719DAEBBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b648f69734acb48dde7aacb8c9ef72e7832b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3636841,"id":"Q3636841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$7D8E703C-DB11-43BD-A0CC-332A152DE972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf2554745c39628b95b8afebf79a989b3e10af","datavalue":{"value":{"entity-type":"item","numeric-id":3344239,"id":"Q3344239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$B9822745-6C4B-48CB-A740-9819653CBDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$4B66182C-064F-44B9-BC29-171BB4A3D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$7FE21980-2BCD-4825-A5AD-3A28B2F42951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faf11d20c052c2c4bcbdde24b6e8ad1312dba30","datavalue":{"value":{"entity-type":"item","numeric-id":6108900,"id":"Q6108900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$01D537DA-3E6E-49D1-8576-2338AE69DD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bee1d172ba4629f3ded263d55eb28a6429b1800","datavalue":{"value":{"entity-type":"item","numeric-id":685384,"id":"Q685384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$12B9F892-6DBB-49F7-AA52-934C80DA0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fb3f147dce27148519dc395301e5796a32207b","datavalue":{"value":{"entity-type":"item","numeric-id":5212020,"id":"Q5212020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$72C8F48C-8174-41FA-9E08-D234D473C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0a5a3e5912f65564269db655d62fed35c73e97","datavalue":{"value":{"entity-type":"item","numeric-id":338620,"id":"Q338620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$92108BBC-52BF-4A8D-8229-96624A8C313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad2bd33f7364db6e5c028f09f5805d0fafbd28c","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$37D773CE-4258-4B30-9B72-F981C1157B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$1D646489-01FD-4D11-9E0C-FB45B2A8D27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee10afd4a045d154050c756c4e1d31ede78dcd3","datavalue":{"value":{"entity-type":"item","numeric-id":4461212,"id":"Q4461212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$D6CDF1DE-FC7B-4D79-9ADE-A0458295EA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$4B634964-5D57-4DFE-B5BC-030BEEF8AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$18A681A5-7077-468B-9120-C573E3A8D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed9207311f4349e2c322c99d478244d2f62e09","datavalue":{"value":{"entity-type":"item","numeric-id":859846,"id":"Q859846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$EC7920CE-48C5-4E7C-AEA0-95D764C33EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$BDC3ABCB-3D2E-462B-958B-A91C4B10FE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cecda2fa6e912ac5d1048551f1f3072b8b2e68e","datavalue":{"value":{"entity-type":"item","numeric-id":843106,"id":"Q843106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$53A87292-2580-49E4-B10C-21345893972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0201803d3924def4af27f8af8d4bfa5b053746","datavalue":{"value":{"entity-type":"item","numeric-id":2233430,"id":"Q2233430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$C1048D94-7814-419C-9682-7E856E63ECC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535191$A1A225C3-A2EF-472E-B81E-946E4520BEFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcbd11629cf13d3df98df2bc0b34e2ee3db5381","datavalue":{"value":{"entity-type":"item","numeric-id":6587137,"id":"Q6587137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c37ca40218146b6a2aa318996b449a77c375e6","datavalue":{"value":{"amount":"+0.8241229057312012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535191$623ED077-7401-4433-85F5-6B9111DE9879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3aef35341b919b87ccdc1ff02d97d4cdf0dd66","datavalue":{"value":{"entity-type":"item","numeric-id":5076390,"id":"Q5076390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44097b99753376c623e8904d797d793fccbc3d45","datavalue":{"value":{"amount":"+0.8110504150390625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535191$DBBA1EC9-128D-48F3-941F-72EC25E2DFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc38e75794026f77887746d46db76a2570725ea","datavalue":{"value":{"entity-type":"item","numeric-id":620959,"id":"Q620959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e318fadfb6a46eda05a0b4d1295b7a8f1f1f5698","datavalue":{"value":{"amount":"+0.7552326917648315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535191$BCB0D1D9-584F-49F5-9B2E-E94D90668696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89df12d2be922677c12902c82aab6e4a78cfcee5","datavalue":{"value":{"entity-type":"item","numeric-id":969583,"id":"Q969583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d388052b95df2ea634779eb6e183440c3c24c5","datavalue":{"value":{"amount":"+0.7507885694503784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535191$618B17E3-7811-4238-A2CB-7FD261143F31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Myhill-Nerode theorem for higher-dimensional automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Myhill-Nerode_theorem_for_higher-dimensional_automata"}}}}}