{"entities":{"Q2392416":{"pageid":2403159,"ns":120,"title":"Item:Q2392416","lastrevid":44004486,"modified":"2025-11-18T22:42:37Z","type":"item","id":"Q2392416","labels":{"en":{"language":"en","value":"Proof Pearl: regular expression equivalence and relation algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6193882"}},"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":"Q2392416$4B050CFB-763D-4A11-A70E-9D72DA6036FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f84d043185ea8a59373d964db6c911f7a0fa80da","datavalue":{"value":{"text":"Proof Pearl: regular expression equivalence and relation algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392416$40BD495D-C833-4BFE-A84A-B968EC6A21BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45ea4badb651d93c09f5edeaca24030c9c7583e6","datavalue":{"value":"1269.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$78D2A1A1-7F22-47CD-B659-67E8FD0C0613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$718BEFC0-F0DC-434A-A37B-CBC544BC3859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$B5D54391-98A6-4279-A925-A6AD92010304","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$69D9DA1D-38DD-4947-8C92-3700A8168C44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392416$2609AC48-29CC-42B8-80F4-B5C8FC03320C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$149215F0-F527-4F51-A7AA-C610201B00B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$E4395FB1-6109-44A7-BBC4-49C0650E5FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$4620742E-8C0E-4B94-B616-181A7ADE3E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5a0418634a7371287972b78f7d10691b3c7189","datavalue":{"value":"6193882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$F402C3E0-6009-4F23-AEC9-81683A9FA5C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5830b9e054ca240b1ee150695772e6c0bd6aa7","datavalue":{"value":"\\texttt{Isabelle/HOL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392416$FCC23509-8C6C-4794-86FF-F63F8630AC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392416$E2E1CDFF-4789-4B66-9DA7-3BD283065777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392416$77FC6674-41FB-4591-9C03-AFD017CA4F38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$8D14E438-9801-4E3F-9330-36A32535F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$9A714070-FB26-4B72-BFA6-910BEB32C972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$59ED690F-E7EB-427F-A0FA-AD50252D13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$7D82009C-D52D-4C02-AAE1-8937104ABB94","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":"Q2392416$BF03C3A7-C2FC-4EB2-AE8B-2A8A17A292D1","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":"Q2392416$56F2C8E1-2FF2-4A1C-8A19-E846D1897781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fa3795413f8bf830c7a30d3eb6248874ad9593d","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9223-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392416$10DAB59C-3AAA-4626-95F0-A6999453E87A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b03237e33dda72cf5e48c98f337d73856ca3f33","datavalue":{"value":"W1968602591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$612C0646-C53E-4740-9A02-D179F6C58606","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$DA17771A-5A3C-493F-855C-A1232067C61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd279fd4c7a0394f4ea68325874466262f973fa","datavalue":{"value":{"entity-type":"item","numeric-id":2999323,"id":"Q2999323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$3C4C498F-A8C3-41B3-A593-97FB27894C7C","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":"Q2392416$480B5CCC-09AC-4372-8E01-B25B17B1E6E8","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":"Q2392416$7249FBB6-28DC-465E-B667-40B59EBC5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$04FF86EC-4A41-4857-B0CA-377C2B58C4D1","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":"Q2392416$82914246-0B60-499A-88F5-4CDFF1518A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae6bc8f1db4896eaf2d7f33a78e86ea3e68692d","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$281B97DA-5BD6-4AF8-8E4F-96A1AA1FFF6B","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":"Q2392416$89DA105E-AA15-409F-B714-A6A3A3CA2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392416$F31B5DB2-0437-4159-B819-782BBDEE7C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2893af3df6215596aa8800f8735d71b8efa5109","datavalue":{"value":"10.1007/S10817-011-9223-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392416$880147FD-62C5-411A-B561-0A1A449A79D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5451564f69d1ee9aa0aaf40ebe847b890f466567","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd22447c0f924bc6a603bda8105113c4167360c1","datavalue":{"value":{"amount":"+0.8764673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$4F73B3A5-48D6-4810-9049-7054934E1CC0","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":"5c02ca8149fae3a8ddfa02b00b8d89bcf3ad73e9","datavalue":{"value":{"amount":"+0.86395633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$46A1142A-9A3E-4B7A-A3C2-72D790BB8270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29fdc187c40943025ceec1a4fe3e7d79c3edce0","datavalue":{"value":{"entity-type":"item","numeric-id":2851929,"id":"Q2851929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652a9a8689cf9df5304557c14807adde16d02826","datavalue":{"value":{"amount":"+0.84678566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$9091BEFA-C833-45FB-9D6A-C647BDE50653","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":"11a4b29a7e4f956f98deb26509a49da836cf845e","datavalue":{"value":{"amount":"+0.8458358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$B1FDC558-1C02-48E7-B038-05196727690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98eaca520986468992e506c8ce23ffd139af6f63","datavalue":{"value":{"entity-type":"item","numeric-id":1040402,"id":"Q1040402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e929d35fe3b082fa69a2a0ac445a01dd72fe3ac9","datavalue":{"value":{"amount":"+0.8408936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$B5E07E13-3AB1-4DB5-BC86-FEE9FC608F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f3050b317e347f95916ef9d95f017c7c95f5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4835905,"id":"Q4835905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009292442db8d7832455785036313fcaa2dad6ac","datavalue":{"value":{"amount":"+0.8353647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$76023421-D53B-4028-835F-D4C6D7C4061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522d6365f9a7ad03dd913a09152e0c68bba316aa","datavalue":{"value":{"entity-type":"item","numeric-id":4542240,"id":"Q4542240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64cb38d3e983e0be7b43dbee4a0393a5610163e","datavalue":{"value":{"amount":"+0.8333308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$C5022C02-9CAA-48F9-951C-301765FD1E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8a583a9b9536ebe26b077a7ff5c0b1d45b7f2f","datavalue":{"value":{"entity-type":"item","numeric-id":6061676,"id":"Q6061676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcac36bbdbc7d772a9a4682eebec19e4d8bc4349","datavalue":{"value":{"amount":"+0.83319485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$E2E552EC-D8B0-4D19-97D9-C9FCD05FC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ae3bd9cb47d32405ee5921caf546e3313f09be","datavalue":{"value":{"entity-type":"item","numeric-id":3217622,"id":"Q3217622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7782bd83d56eda2767920ce640ebecbadfbc3e","datavalue":{"value":{"amount":"+0.8327503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$89B22013-1BC8-4A94-9857-A279B05BC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689a123d92b9f35c63ba886192781d404122884","datavalue":{"value":{"entity-type":"item","numeric-id":2408794,"id":"Q2408794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0382f7cfabad35bf4274e61d9d475187033ffe1","datavalue":{"value":{"amount":"+0.831324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392416$5E5576E7-3A87-4CB0-AF45-439A87D44913","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2392416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2392416"}}}}}