{"entities":{"Q2915138":{"pageid":2925858,"ns":120,"title":"Item:Q2915138","lastrevid":51558908,"modified":"2026-01-18T19:00:46Z","type":"item","id":"Q2915138","labels":{"en":{"language":"en","value":"Deciding regular expressions (in-)equivalence in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085011"}},"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":"Q2915138$8EA8CFCE-C836-479E-B91A-68245EA273F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"733dae1ffba9f268a4181222db2a255d0eb76b79","datavalue":{"value":{"text":"Deciding Regular Expressions (In-)Equivalence in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915138$7234B64C-24DB-4EA4-A929-426305309727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0c686d20dfce932d2b2aa19d6100ba5cf224b9","datavalue":{"value":"1330.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$85B9CF19-718E-4D0B-8C45-020F2112678F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cf2e5ca28dec5e7c5039ae568c951279a281077","datavalue":{"value":"10.1007/978-3-642-33314-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$894AAFF4-28BD-48F7-A7F4-9B3250518642","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$C0F8F093-02C3-47CD-A741-84B6ED8CD037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a76e7e11dd196b2ec388e08dcfb73b7f835c8f9","datavalue":{"value":{"entity-type":"item","numeric-id":967554,"id":"Q967554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$513EC385-013C-4BE5-8BBC-222212E8DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc44cf567d5313a91ff3d79601fb3b8611d7ad4c","datavalue":{"value":{"entity-type":"item","numeric-id":861686,"id":"Q861686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$5EBA2370-0E9D-4058-8210-615AAF7754D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$35DBF7D6-1564-438D-ADE4-DFEF010AB47C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915138$FDD817AA-D452-458C-A183-62841D5B4674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$AD0D5047-B183-4ECA-8833-2699A5C5632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$413B606A-D6F4-445D-9628-44A9B42A763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$ED5DBF4C-A67B-4E6E-A99E-011956FFE269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99dd01655d8c787e83b7793a760fb29423b351d7","datavalue":{"value":"6085011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$547A0C24-5E53-4E7D-BCB8-C75F6C208F5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$68DE22D5-F7C7-4220-B05A-FF899B447BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$40EE7FFA-E1F5-4EBD-9E9D-9CE4CDC111D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$DDF35C76-0DAE-4064-B391-E0E7D75F6ED9","rank":"normal"},{"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":"Q2915138$31542392-B879-463E-B352-832E77E35AC8","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":"Q2915138$48991A3E-2578-40A7-9C41-68F1AA45C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8af18ec42272cb01b899d6c39971dfaa386bdaf8","datavalue":{"value":{"entity-type":"item","numeric-id":22296,"id":"Q22296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$4FF4101D-32E9-4CE1-816B-9985E20EA786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fd617a2522cac09ac87ab26f018427f3e337d94","datavalue":{"value":{"entity-type":"item","numeric-id":22297,"id":"Q22297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$9E2933DD-3431-4E0C-839A-CBD49E6B7323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a912f64d0e07964822a673ececa377b12e38e8a1","datavalue":{"value":{"entity-type":"item","numeric-id":22298,"id":"Q22298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$1FAEC6F1-D9B9-48A3-8F47-397AA4B0D77B","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":"Q2915138$4EEE9C45-1607-4AAF-B84D-C1E000A8C42A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c05c2408de6d1bf8f8e6353bdc4d695105c99f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33314-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915138$870F4EF0-D517-42C5-B9CE-B48CDED06A1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2108910da6e39a8f2013714dd00e97fce67865fe","datavalue":{"value":"W69247107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915138$AE6FAE96-E77A-4A4D-AFDE-B32A14B764EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$02DFAF17-2A6C-4F22-875F-13A717BC01BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$6F5A9533-D076-4BE1-B4C8-81E90449D611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$362ADB36-7848-4ECF-A5BE-6333FFF01F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec920212c7bee4f02e99d512c4de636c7eece737","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$68500DF5-F80A-4B6A-85FA-CBB996BA9725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187a843cba6d1464b232140bc22e7bd2f38409f9","datavalue":{"value":{"entity-type":"item","numeric-id":3395137,"id":"Q3395137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$6F445491-41A4-4153-A1D5-847C61B55D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac3e8dc4206192e976789864a140a7e1fb10df1","datavalue":{"value":{"entity-type":"item","numeric-id":673635,"id":"Q673635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$8F3A886A-3C69-43EF-B786-147ED2A2AC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a11302dd27b175d9ddc2097bbe77cfae7ef49","datavalue":{"value":{"entity-type":"item","numeric-id":2819377,"id":"Q2819377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$F22B97B0-2B7F-4150-8DCF-3D642B641CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f30867bdf9c1cc7b7d2392a167a7d93b91daa6","datavalue":{"value":{"entity-type":"item","numeric-id":5199956,"id":"Q5199956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$8C850743-5B13-4457-AD16-F33EBD1B2555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$197EBB1C-D168-4E8E-A1CF-6AA425B1E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$2F854F2C-0759-4431-8F12-0287CD9E7CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ab7ec9757a93c7f286e3990e34bbe241032a6","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$75819458-20DC-43B1-B304-2E78B7C683CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$7CD97534-5A25-4A3C-ABE6-60AE2D6E0076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$0FEAAD01-F226-4934-9E43-9D3CC1CAC057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$38D9410E-6BA0-4E2A-97EB-C22F2A75322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00594723181101979efb08a5371cfd78648d722c","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$E5C2683C-A5E7-42CA-AC46-89CB6CDA2F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8010f305b18415b898c117dbb1a51b4ca1a03a17","datavalue":{"value":{"entity-type":"item","numeric-id":2347910,"id":"Q2347910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$46C92EC0-D0F4-4439-9F35-FFFDEC46EA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$5CE7915E-26E0-42EA-B024-6F28A927615F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bf341fa579432f9191bf21013949163173b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2711324,"id":"Q2711324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$F1D110F3-5352-4EBD-BAD2-F6C90F8C20DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$C250FBDB-BFA5-4618-855E-A67E522BF9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$C91AB3F8-7B79-44D8-BDDB-1DBCD3924254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915138$F19FFA06-938D-41BA-BBFA-B750B2EC1CC9","rank":"normal"}],"P1643":[{"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":"b68d5fc951f30ddf84972feeb83ceb78a483be23","datavalue":{"value":{"amount":"+0.8986905813217163","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":"Q2915138$BC994D44-8272-46CB-B41B-3B9C7222E14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9e196f571c37d4132741b2b78c61cc2cbd633e","datavalue":{"value":{"entity-type":"item","numeric-id":2347910,"id":"Q2347910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3acc97e94d8c4a8fbd18ef9e9ecc82a796c26fd","datavalue":{"value":{"amount":"+0.8863906860351562","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":"Q2915138$301C9E67-8D9B-4DEE-9212-FE6C738F911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3e395de17fd4363de1a91973e01f6103e1c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cccd8a5e969d6c6ee2f7d82933c9e94dc95b6b","datavalue":{"value":{"amount":"+0.8378071784973145","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":"Q2915138$3D1674D4-FE68-4DB2-B33F-7E7BB4E1BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8725401b12ea13eec168fe335b1495c7f4533b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bfb6de9424f406375528cb5e555fd07b933fae","datavalue":{"value":{"amount":"+0.8177576661109924","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":"Q2915138$64362C1E-F63D-44C6-9024-9A6F94FC7DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34b4c412db71887d3193ff47876fafec99c4e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3fc2f50da54cc99eb4659cb1158d28655ecb6e","datavalue":{"value":{"amount":"+0.8070546388626099","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":"Q2915138$8482D302-E670-4EF6-85CF-E4E6E2346718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915138"}}}}}