{"entities":{"Q1259601":{"pageid":1270351,"ns":120,"title":"Item:Q1259601","lastrevid":42987083,"modified":"2025-07-16T15:39:09Z","type":"item","id":"Q1259601","labels":{"en":{"language":"en","value":"Formal languages and enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637882"}},"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":"Q1259601$0D471630-AD14-4467-9C5E-D08D845644D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8291d65400114490ec3c23439df59a66cf1f6de7","datavalue":{"value":{"text":"Formal languages and enumeration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1259601$12D9C3D5-A45F-4050-889E-02D235E8C011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f48eb620019388d0a8e4df601d51ef4a0f15ce5","datavalue":{"value":"0411.05010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$CE10632A-BCFB-48BB-AD5B-643454241200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3bd5bfacc3708527245a35351f016de6326b23","datavalue":{"value":"10.1016/0097-3165(78)90062-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$33EE285C-E989-40EC-B72E-D60D58187A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9cc71b0295acf270e18ff1ebb714159a20a2f4e","datavalue":{"value":{"entity-type":"item","numeric-id":678610,"id":"Q678610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$AE7B1358-0245-4BF0-B8A0-470F9A95AD6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$8876BBCE-A28C-42C6-AFF1-097BF5D54675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1259601$A92AC402-D3ED-496C-9E17-3AD253D3FE3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$E4676CBA-A056-4907-A048-61B3DBFAA0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$5E6C1E71-F263-4184-8590-9FD529BC092B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"039a13f2430e3d8415b495a0c743f8531fee536b","datavalue":{"value":"3637882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$C9DDE2EF-12A0-4B72-8C67-EFED0991AAA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$C66C8313-5BFA-498C-A179-0F9A5B799B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$598B5BEC-FC42-4155-993B-EEA5C1C282A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$6A92429F-10CA-4747-A91E-407F3BC41C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d10a3cc7e7a04e25f3a32ce40e8fbcfa3f461","datavalue":{"value":"word","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$DD0AF906-F410-4072-88EE-D17713665981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$8206B392-DD65-4FDE-B030-0899FCF501C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$38FF34A7-99CB-4E07-A8BE-73C1CC1A2203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d01f9fb713b81a787bc3c6d904cbd58fc44acbce","datavalue":{"value":"formal substitution schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$C7AF446A-1DEB-4F35-8F89-6DD33387CE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41921909fbdfb4e28d17db18ae1b45d05fa1b16d","datavalue":{"value":"system of formal equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$DEE9F3AC-1C96-47B4-8B84-CB401464950B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c398d92063a3260d418825ce3a656dd926f5e9f","datavalue":{"value":"ring of formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259601$8AD6F7A9-FECA-4809-B378-577AA206B1A2","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":"Q1259601$8FF40B7F-398A-45B4-84C6-97CBC074AD0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1333878ab447558e1cd10b445c10740cedc4128","datavalue":{"value":"https://doi.org/10.1016/0097-3165(78)90062-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1259601$17A5D637-6CD4-436A-88C5-80C265B876AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5acec1894471851e11c22608a5ce623fa0771d8","datavalue":{"value":"W2046581153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259601$5DC1B4F7-F5F0-4EAF-8F71-B38EF395BAB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b262e6a6d8a449afc709f7e099405a9b22659c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3239293,"id":"Q3239293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$B12E81C7-2CE7-4073-B59D-3C70EA7B59BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79aac2661e3cb59e3f78c9ee207717d15c1583","datavalue":{"value":{"entity-type":"item","numeric-id":5526988,"id":"Q5526988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$F045E2BD-1E7C-4ED7-AFB2-B11B079E0AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e77c6dffec9eb1517fe5c7c4cba68d19b2f1de","datavalue":{"value":{"entity-type":"item","numeric-id":3293455,"id":"Q3293455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$F6081EB1-12D8-4033-BFD4-882BA5523FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$BCA93944-7690-421F-B9FC-3653EDFBF505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778a30c45d7affe1adbf414cfc19a8f4544d3e23","datavalue":{"value":{"entity-type":"item","numeric-id":5585420,"id":"Q5585420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$170E33A7-7771-4917-949B-584ECEC424B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7cefed39e417a6d9b231525fcb81d6bcfb79a2","datavalue":{"value":{"entity-type":"item","numeric-id":5601350,"id":"Q5601350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$6B8DB270-9365-40E0-AE2B-546E538BC4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19a7bbe89e3bc7087ddf9bca14fb529a05e318d","datavalue":{"value":{"entity-type":"item","numeric-id":2555869,"id":"Q2555869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$8674BC80-2393-4AF4-B57C-5D0AE38762D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc9b96d6b33687811c2261bc204e908a4e1bae","datavalue":{"value":{"entity-type":"item","numeric-id":5620608,"id":"Q5620608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$F2249272-7A97-4826-9854-E40514E6231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd948c8d7ec63d059b6ade122ef28bec1e49782","datavalue":{"value":{"entity-type":"item","numeric-id":5339315,"id":"Q5339315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$0C1DF906-4FDF-480E-AB6B-169F56793EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9539532d16bcb82516fae2db58a1eb7e9c6ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5538132,"id":"Q5538132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$72CCA0E8-C760-4F49-A6D6-5F1F62144F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0beae3034579c8caebcbe788dc4420dd394c1e7","datavalue":{"value":{"entity-type":"item","numeric-id":5815167,"id":"Q5815167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259601$453219AE-B2D6-4B2A-91CB-BFEB40ADA6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1259601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1259601"}}}}}