{"entities":{"Q1603704":{"pageid":1614444,"ns":120,"title":"Item:Q1603704","lastrevid":74125632,"modified":"2026-04-14T18:30:41Z","type":"item","id":"Q1603704","labels":{"en":{"language":"en","value":"\\(L(A)=L(B)\\)? A simplified decidability proof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767906"}},"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":"Q1603704$525AC7C5-FB26-4184-B410-81110422C820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71fdcbfdea57205cd653f8878c6c18a430e92c54","datavalue":{"value":{"text":"\\(L(A)=L(B)\\)? A simplified decidability proof.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603704$3F0087A6-E671-4762-85FF-E9696864FAF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3596ce511d32b4293f4759d8664e1a9ac58e32b8","datavalue":{"value":"1050.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603704$ADABB36D-BF89-49D0-AA98-0D1105B16FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c4aa8369d00e1a0959fdda51e85377b6fecb93","datavalue":{"value":"10.1016/S0304-3975(02)00027-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603704$0974C13D-E28E-4875-BC36-A5E67BB7F105","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$A17BE2ED-7F15-42FB-B130-84B93CD2AD3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603704$3C35172F-D344-4ABB-BB24-FCB3A29DF172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603704$30A523FF-F47F-41BA-B3D8-32389C87706D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af7cac643100fe0f765c1500a29b353629b54c3","datavalue":{"value":"1767906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603704$117D819F-1881-46B4-8B44-AA236EC3001E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1d044575b5a8de82691595f151d2238311497c","datavalue":{"value":"Deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603704$215C7E85-C113-42AB-88AD-37EA8E547F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f298be7570b9d4d070d39f65b8b08b85dd258f38","datavalue":{"value":"Rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603704$1A767FBC-5309-4D6F-A2F9-032C8A7D22FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b9fd31e6848dd216a47ad1107a8dcdc998fc75","datavalue":{"value":"Finite dimensional vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603704$27A4BF15-5D06-4D41-ABFC-CB0E64D08020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6beb732ba382584e89a7144c2e8322e58f45e1","datavalue":{"value":"Matrix semi-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603704$C31C762E-5DE0-47A1-AF2B-444DC20E3DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1fc521a23af89cc361e5792b6579099f742ac48","datavalue":{"value":"Complete formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603704$B3E1ED4F-FC15-40AD-B72B-89366D154071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$F40A2CF7-9546-491B-B8BB-4761FFBF4CC8","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":"Q1603704$6FCC4D22-9CB9-49D5-B41D-E930A6694668","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$936614D2-F07E-43EF-94CB-44E7B4158E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$CDA7710A-4A4C-44F0-99F5-D0CC5049C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d64506c1bbc043413c13cd64bb09b3ed4f887","datavalue":{"value":{"entity-type":"item","numeric-id":1259173,"id":"Q1259173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$87909729-B04B-470E-9DBA-EB7CB5E02AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d79a54e9d8e3f1095414b960fce7b5a319c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$8A5F56F9-4FA4-482B-A4DE-1D55AE0228E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$D94F45EF-69CC-4FB9-8485-42749F189C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$C3D4F4D5-C645-4DED-AFE2-AF2E3819E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$8D73EF7F-C53F-4706-AB76-C57C053723DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603704$FB934607-50ED-4DCA-A8A3-961F224521A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(L(A)=L(B)\\)? A simplified decidability proof.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(L(A)%3DL(B)%5C)%3F_A_simplified_decidability_proof."}}}}}