{"entities":{"Q6135767":{"pageid":13270074,"ns":120,"title":"Item:Q6135767","lastrevid":58714869,"modified":"2026-04-06T10:52:28Z","type":"item","id":"Q6135767","labels":{"en":{"language":"en","value":"A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731928"}},"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":"Q6135767$CA7823C9-8982-4064-BF64-FA9E199A362E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97039fba59ba0468ccd9a1e0fbc3972d9c89d6e9","datavalue":{"value":{"text":"A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135767$1EE6C57B-7B13-4C00-B75C-6C5F48241AB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$D3ACAED4-2E44-40D7-B02C-3A975842E3C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$2F877EE3-875B-4485-ABC4-5FD6E646F9EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-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":"Q6135767$B58F2E2E-124A-4FE4-8B6C-A742011226CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a28825e1f3d4ab712cfcdd95b57d885714f50538","datavalue":{"value":"https://arxiv.org/abs/2203.09501","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135767$FA2328D7-18B8-463E-8373-FD5CC91C1866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135767$E6AF5A76-2E8D-46F8-B1A2-C7E7BB822755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135767$70186266-2E31-4E92-90E0-8FC380D18FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82926e00e617d15332ca901ab07892a5d077d1d9","datavalue":{"value":"7731928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135767$546C4F69-437F-4FE7-BC7C-BD97447BA183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$4C25F007-FA0E-4D3D-9DD2-666A7A219CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b696f33e9131e163b4602eb024ad9d5cdf0b2d","datavalue":{"value":"process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$C40E0BFB-0B1D-4941-8E50-2D10DBFC4A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$C2C1C724-3A6E-4B8C-ADF5-8C3A4EBA326E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$A9E25398-CE3B-404F-8AE9-F08D276333D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e629a83c5096bf47ac439cf896d54d19462861d0","datavalue":{"value":"interpretational proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$4259F3CE-739C-495B-936D-5A5F2F373921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d733af2f7cc1c582d2f43ac32fe8c3ec046ef6","datavalue":{"value":"proof transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$B696F3C3-CD50-4323-A9ED-5E15DE7B7551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4cb359e09438aba68ae7194a0dc9eebb69779d6","datavalue":{"value":"derivable and admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135767$D0371086-9F66-4808-BE4D-A00733BE8BEC","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":"Q6135767$0361A64C-245F-49BF-8F4A-948A3BB4EE55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$8D203520-21B9-4CEA-863E-69A499A622C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$AEBB2C74-A660-40EA-9EC5-C7FAE14F13C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$628EC1F9-4002-4BDA-A781-21A2DE547A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f16179dcc68fb16c71fabd40f0adad6e5c9502","datavalue":{"value":{"entity-type":"item","numeric-id":5145655,"id":"Q5145655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$A8BAD4EC-DE8E-41F7-A240-A624B0E3CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17991b11af0aebd2bb04fe1a0eb6c4a689a98cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2843933,"id":"Q2843933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$3146CEC4-0EFC-4A63-89F6-CE06D6A1A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd2ee00f2ecbaecaaf3c6c0ea67d82523551d69","datavalue":{"value":{"entity-type":"item","numeric-id":5492821,"id":"Q5492821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$21F6752F-78E8-4B0F-9F61-3153ADF91173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92762655154219e5906519932d01838efe4ca90","datavalue":{"value":{"entity-type":"item","numeric-id":5021231,"id":"Q5021231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$A1FAD132-EAAA-442D-BE65-E59453E48E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f300bd13b8af1abb98382432d45b6ef216b919f","datavalue":{"value":{"entity-type":"item","numeric-id":6135767,"id":"Q6135767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$C33989BE-1669-4152-BF45-3C21BA5E48B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e7ff9a2777e13e3829e9bde851aea37bde0f91","datavalue":{"value":{"entity-type":"item","numeric-id":6061676,"id":"Q6061676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$BA516E2E-6738-4BEE-888E-21905EDA0426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cca6d876f2caf604a3965ab1112f0fb1072245b","datavalue":{"value":{"entity-type":"item","numeric-id":5096428,"id":"Q5096428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$32C68F63-E02B-4E21-B6D5-332F670C6C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd1f5164ec31c2238d0bd0d74539919dd4fe859","datavalue":{"value":{"entity-type":"item","numeric-id":5408558,"id":"Q5408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$C293B1B7-D325-4770-AABB-7578834421A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430461b6883a7663fba1e8d32bfc88fe9b4e4d49","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$39C5E98A-B107-40D7-A5DE-9D7E6DC44C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$87723BD6-10C5-4568-871E-8CB5BE3F6E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$C4BC14C2-6B47-4EEC-87BA-704BF3B95B7A","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":"Q6135767$FD72AE07-3E1C-4797-84E0-96EA72B88F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$1A20A52E-27BC-4858-9307-07827B44DE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$6B69B0AF-AB93-49F7-9C0D-3EA3E6B15EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$FC19FBB2-908F-4113-919E-D80D9E6CAD4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81e08bb5f0a487eb008ffadadf19b3e9285728bf","datavalue":{"value":"10.46298/LMCS-19(2:17)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135767$2537B9C1-9AD5-4523-A97C-4921BB31111D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135767$11DD532D-55A8-49A7-A5DD-0392A2464C75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135767"}}}}}