{"entities":{"Q3976041":{"pageid":6005938,"ns":120,"title":"Item:Q3976041","lastrevid":42293814,"modified":"2025-06-04T12:45:19Z","type":"item","id":"Q3976041","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 18637"}},"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":"Q3976041$E142AB74-8F9D-44A3-8183-A5E0FF845362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c285eac1ed3a57fde7c21cb0f5fd9c66683dc4c","datavalue":{"value":"0738.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976041$7BD25154-6555-4BFB-A4ED-C01A9EAE0CA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976041$C703A3CD-2D44-41AA-A068-5909C8122FFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3976041$AFBF17E7-CCA0-4B6A-808C-D116EE9DC8B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976041$8016415D-4918-4812-A136-D14B73AAF5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976041$D1079714-09AF-4C1C-AF54-55952A77D97E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12445f8740914e00088288621189b8d145acdd7","datavalue":{"value":"18637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976041$CD1DCFD6-ADCC-4C13-8671-0543C3D853ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f01a1adb6f1bb43e318ab17680c0e848f0510e4","datavalue":{"value":"pumping lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$D13622EF-C54B-462D-B80B-E6BFA862D410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$3F94578C-CD06-4E16-9C72-2D4BBFF3D637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$011BAFE8-8E94-41A9-8480-29E74453EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$1FAC8133-535F-4E0D-A08C-0D931ED895DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1396f0f12d1f7eb959d1a63725321d04bf3a13","datavalue":{"value":"ground normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$86336D99-74B1-42CF-9021-56206EFC4BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$0EF1C4EB-3CA2-4A37-A082-D4160D84E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"681dc1d0660d3c9f90323351b68a704652bce537","datavalue":{"value":"language representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$F1AD8E7E-0ECE-4412-BDA2-217D6713D4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2c64a3e4d8ba5424f4d46d795a15777d58aa74","datavalue":{"value":"proof by induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$2BAE327E-9A5E-4D5D-8E10-E8613C74689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$25A53688-301B-419C-B8FB-AE153FD2C656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdb41d1b16cbb5a770e3378609d9805ebc10a00","datavalue":{"value":"learning from examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$062C8F44-C7F7-4F23-9BCA-D4F07794F81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe74be5bc706f23e5b7de83bd6d6e6fec07ec618","datavalue":{"value":"compiling pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$25C2D56B-BE1B-486C-842C-33E3438EEE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e322c78acbe42708d51033e67c823afa1fd22f88","datavalue":{"value":"context- sensitive languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976041$70BC9783-1C96-4898-91BC-F8BEEB71B8AC","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":"Q3976041$E88BC08E-4257-408B-8C4F-A526F46A3318","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695ab475f8c3b30a8c6f476acdb56796a8ff1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5878900,"id":"Q5878900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffd9954814cb62a2dfe017048f5878b73e9c6c2","datavalue":{"value":{"amount":"+0.90181804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$31102E15-6F2E-4D39-A93F-E1F609E851A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3555a566365aab2e4b44ebdb6d22feec7843ce53","datavalue":{"value":{"entity-type":"item","numeric-id":6095498,"id":"Q6095498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e43fedb5642bcc10fc8382d8ec40f8f9f8e659","datavalue":{"value":{"amount":"+0.89234096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$43281BA2-56B1-4819-B75D-EC8CCE7DD0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c254da161d4d88fa47af1d35ac8a00d46b96ded0","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee20674c3e9352b0c74fd204129aa55bd766f11f","datavalue":{"value":{"amount":"+0.8905634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$0AD372CC-F239-47C9-8830-EEC9567C6EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831c5c330d0e8d35342d472a9675825b14426d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2723888,"id":"Q2723888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aa3562ad8493373d36a49f5d8d104267036001","datavalue":{"value":{"amount":"+0.88786536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$12C3CBE4-1AE5-4D9F-AD66-BA5450A710B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69caea54b2d49d02885203c2bc45ce8241cf80d2","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b28fa1fdef7c982d13d44ea38a7e48ed87370b","datavalue":{"value":{"amount":"+0.88730055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$DD235DCD-D301-4EF0-895B-BBD744304C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddaffb1f6df58bb7b890bffd81812c9e9563a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":1936231,"id":"Q1936231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df84b871626793d0f6f03b652c953d81dde50771","datavalue":{"value":{"amount":"+0.88487566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$A2CE9738-E2DF-4531-97E5-34C1BBD969A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3e4bcdda27a9570c6a3a60e14f3418340646b0","datavalue":{"value":{"entity-type":"item","numeric-id":5055768,"id":"Q5055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ac933c9f87d77d591d1e3ab053fe40ad97793f","datavalue":{"value":{"amount":"+0.88485485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$5FD86A45-8504-41D2-9DD9-BE43486FBE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984060b406d4df4f84fe8efa91f1ec167f66636c","datavalue":{"value":{"entity-type":"item","numeric-id":1019744,"id":"Q1019744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228662f183256a3c71d92e3327b6d8627a2fe14f","datavalue":{"value":{"amount":"+0.8789948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$BA5FA3AE-3A97-44C2-AE5E-053988A5A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a81cc5d347f53b6885873433a02b85f46b82fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5055769,"id":"Q5055769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0e7a53a090437ecce813ae6fe67d47bc4e11fd","datavalue":{"value":{"amount":"+0.8764107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976041$BD0FF485-413C-49B7-8333-E91C519320FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976041"}}}}}