{"entities":{"Q3945604":{"pageid":5975509,"ns":120,"title":"Item:Q3945604","lastrevid":55065226,"modified":"2026-02-03T08:04:42Z","type":"item","id":"Q3945604","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3763321"}},"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":"Q3945604$AD797212-52ED-4CE6-BB6E-FA18DE7A0F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d8fc38e565c37264c17bbcd9466d2cc6b02f611","datavalue":{"value":"0485.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3945604$875A437B-CD07-4192-8163-0CD33A4B6A38","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":"Q3945604$BB93CF46-CD2F-4789-B130-7ABE4DDABB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91cebe2c3862ce21207f21b89197103c43f307fb","datavalue":{"value":{"entity-type":"item","numeric-id":223814,"id":"Q223814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3945604$A9193542-6F11-4536-8C98-1CD3FDD99AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3945604$DB39F642-4DB2-4891-A09C-32E30744BCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3945604$967299A5-451B-4757-A9C0-5056C49A94B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3945604$B030070A-39F0-44F6-A247-9283A24D8F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3945604$F91C91E9-A1FC-4382-97F0-9473E5472CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40118782c52e5ecd197ea52f416fa3485d516c84","datavalue":{"value":"3763321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3945604$F602FD1B-3B42-4497-B3F2-DB3B665921BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39eae929f7374dc83716f6ab1e515c846babef87","datavalue":{"value":"language over a finite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$A9D86C11-48B2-4759-A531-A31B3BFCD7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f59282efdc8d172bebda868e4194e55d3261157","datavalue":{"value":"infinite system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$E19994F8-D31A-4F22-A33C-ACA856E2EF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d62d6341e1fbaeb4bdb795d85fa5163962980b","datavalue":{"value":"finitely generated free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$0A6A6E89-15D1-4B48-A03F-793E5E2CFDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61340cbc2aeca162923f6db57c1a27b00b92e10d","datavalue":{"value":"finite systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$6B301FEF-4AED-4F50-BE31-1EC02A24047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780358aab1cbea0096944c4d7998b2bdc4569822","datavalue":{"value":"DOL languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$44FE8FEE-6B58-4245-BC38-5F4817D9EAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107b09be25b02f5a46207bdbed374e8084905707","datavalue":{"value":"existence of a test set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$1E1F0D0F-9AA0-4300-9EE2-A07EDAF2FADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3d6b20bbd4f2a261388f5335ee7469308947b5","datavalue":{"value":"effective existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$E3F1A4E2-E126-4167-BF62-200DA5939332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$C3D246AA-635B-4F16-9905-410F862CFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35dc61be3d415767beee030d5c199d0164a7b7d1","datavalue":{"value":"HDOL sequence equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$EC4BDF91-223C-4516-9261-B0169D9EA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f543764361822d0aa8507203a916bf7fff49c21a","datavalue":{"value":"positive DOL languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3945604$91AE1F2A-47DD-4597-B4C7-B2F19A0A0A03","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":"Q3945604$AF90E92B-9C60-4112-99A8-6BA50317E031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3945604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3945604"}}}}}