{"entities":{"Q3901015":{"pageid":5930920,"ns":120,"title":"Item:Q3901015","lastrevid":54895397,"modified":"2026-01-30T03:27:03Z","type":"item","id":"Q3901015","labels":{"en":{"language":"en","value":"Test sets for homomorphism equivalence on context free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3709611"}},"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":"Q3901015$33E2A1E1-E1E9-42AC-9C4D-7FF32701D71A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d2217fc6f8c3a4a4a4c90c1630daae46b0437eb","datavalue":{"value":{"text":"Test sets for homomorphism equivalence on context free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3901015$5C137472-24CC-48CE-A473-1D28A8E2D05F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f52bb8370d6c7f6b8f8fc7c7b1ebb0e6b8afdae","datavalue":{"value":"0453.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901015$D52413B3-5686-4D6D-A119-E13A218E84DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"744cddc97f703ad73788abf6c476421557e4c0bf","datavalue":{"value":"10.1016/S0019-9958(80)90659-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901015$54736D2F-E34E-4669-8E9B-FD917F057B9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b50d9d925c1d915b90d3836e3c8221c58fe283","datavalue":{"value":{"entity-type":"item","numeric-id":582130,"id":"Q582130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3901015$872B9FC7-DEC7-4568-91BC-A117F5618C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65daadb2c011c9aec2f8658192680cd948ec03d4","datavalue":{"value":{"entity-type":"item","numeric-id":1837539,"id":"Q1837539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3901015$B0AB58F8-A323-4654-A6AC-1410629C6358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3901015$7AB10F99-FA58-46E4-B98B-C161FA545257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3901015$D85429A3-5E86-4030-A0A6-1C9271BC168E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901015$E082A717-31C0-43DF-8137-6DDDFA0D78D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dbaf781a69584fef05802ba2239a875565853f0","datavalue":{"value":"3709611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901015$F479F5F0-14CE-4D70-9094-5407F675A121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6498bd0adab2a82b8cb615f360b0053f994a91","datavalue":{"value":"homomorphic equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901015$6C59E699-5779-4B19-8F64-0FB3E957C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f13b35812972659bc66aee4b8ba0a32eedd285e","datavalue":{"value":"Ehrenfeucht's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901015$4DF23632-0F54-4614-B494-2106037E845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4192130a0342f1563f2beded7b356f7bb16a00eb","datavalue":{"value":"generalized pumping lemma for context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901015$4A3F9096-8E7C-4F91-9AD3-00727741D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6050735f6915d8e3971211689dbe7e0d8086f0","datavalue":{"value":"deterministic generalized sequential machine mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901015$7DA2C4EC-9701-4AAF-A564-B585CC2E34A6","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":"Q3901015$3FC4D3C3-9D9B-4C43-9D3B-03F72BB46BCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c24bcba3017e18cbb8a6862a3764d0f2bc6d1c8","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(80)90659-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3901015$602A3278-49A7-4867-9183-9324C434B108","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e26c8c813d8fcc102b5251087171ef118a3e3dcc","datavalue":{"value":"W2091723354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901015$B1D23F42-60D8-4643-8B03-F0DBD00C7BBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3901015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3901015"}}}}}