{"entities":{"Q2938041":{"pageid":2948761,"ns":120,"title":"Item:Q2938041","lastrevid":52170569,"modified":"2026-01-21T02:19:22Z","type":"item","id":"Q2938041","labels":{"en":{"language":"en","value":"A constructive theory of regular languages in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385858"}},"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":"Q2938041$A34D3381-68B0-42ED-AC0F-6BB9F0B024C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e08ceef929d61d3bb3aec7184788971a2412029c","datavalue":{"value":{"text":"A Constructive Theory of Regular Languages in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938041$B1CF8B12-DD94-437D-A291-2D80D2E91F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58da3cf41cc6ad2cf9ca9b03789e9a6b4401db03","datavalue":{"value":"1426.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$29A4296B-4709-4BC0-8CF3-1738CE303479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"205dc64bf5d98f1f57f3ce339a077f99b4ef04c1","datavalue":{"value":"10.1007/978-3-319-03545-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$46F16CEA-9973-4668-BB2C-B7F83B38F4D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$AFB36A55-F220-46E4-AEFF-E27A741AA1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"370c536b5d5a9cec6a7833e2a7e4318ab370b19d","datavalue":{"value":{"entity-type":"item","numeric-id":2938040,"id":"Q2938040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$EB08A894-3498-41BE-9A86-7525BEFA4714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$4A4D74AF-4D9A-4A56-B249-EEA0C32D855A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$2683BCE2-5E80-4C1A-AFD4-6080570488D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938041$EDCF00ED-ACD7-4CB1-B676-9B4A6CCD007F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$AD62BD3B-513E-4BAB-937F-C7F12FB8750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$8B1E19FD-25BD-4995-BB91-A0A560F1A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$07C13E80-39D5-4CAE-9F69-EB45D202E1C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d8f1e0e620d1f64fb937d5869553c1357a354a","datavalue":{"value":"6385858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$E21627D8-2F0D-4C03-8997-10C666E17BA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$E560D81E-B00F-4566-A4F5-AC587468AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$AFE0EFCC-742F-4F3E-9885-602D5013F96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$580D0DC8-CE98-4E43-A94B-F895EE47D0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af4e5d8cd7cafb68f919827ffcd18774bb698b3","datavalue":{"value":"Myhill-Nerode","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$C9D655B1-9655-47B5-8DC2-DBD59861EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$40A3F0D9-0DE9-4AF6-B86C-EF7404DFD94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0fdcef04bd18fdb2c1db8188d6e228ee53b085","datavalue":{"value":"Ssreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938041$DE6B81A5-9A62-4169-A08D-8A6E4EE40318","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$97FE3BEC-7F6E-4B92-94AB-4C317A522D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938041$465BF4C0-9CC5-4A74-B8BE-7D4DEDB0EA6E","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":"Q2938041$9BD5B407-86C5-4D55-9309-F4ADA8537628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"793da22a0d669df5caad0737fcb3531521852e99","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03545-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938041$8B1AFDD9-A249-4144-9350-CC0F7EA40447","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a5b6c4c3845f8574538c311a47dfa733f80418d","datavalue":{"value":"W95934751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938041$D732F390-71CF-4008-8CD4-4B115BC00786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09924f6b28baa80e42b0d6ab97c1db84b2c88d9","datavalue":{"value":{"entity-type":"item","numeric-id":1663246,"id":"Q1663246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da2ac904ad3cae275b7af81346579184f457a96","datavalue":{"value":{"amount":"+0.9119545817375184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938041$8FD1A46A-214F-49A4-873B-2DD4993CCDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5eef8b48d283545bb773ea2f0d3ccc1e01255c","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7bd61dd8081a715e6aa57fccd659464e56d7f7","datavalue":{"value":{"amount":"+0.8141809105873108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938041$AA5ED602-9A52-486C-9722-63516B34F414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd00c573d3eb8fd5e8967e824fc8a2cf82a49879","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fde4f439ac451f2ee790e09a106538185d677be","datavalue":{"value":{"amount":"+0.8023805022239685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938041$E227D6AA-B77A-40B0-AD3D-8E396C11151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6349d66e021a1e6726afbeeee476c8cdbc49c62","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1405f9f56caa7d9e8db22916c21a8d5c9083ce","datavalue":{"value":{"amount":"+0.7983987331390381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938041$A8F3BB7D-6085-4857-9C7A-3B855D0671FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f81fbc18418f9b2042fcc98dca4f12a99820f140","datavalue":{"value":{"entity-type":"item","numeric-id":2351151,"id":"Q2351151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bca168f3b8239356da6e97821ac89822fe3bcd","datavalue":{"value":{"amount":"+0.7876192927360535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938041$0AC04ED9-CCCB-4BF5-9CBB-33957D1A3C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938041"}}}}}