{"entities":{"Q2999323":{"pageid":3010047,"ns":120,"title":"Item:Q2999323","lastrevid":85366373,"modified":"2026-06-03T07:24:52Z","type":"item","id":"Q2999323","labels":{"en":{"language":"en","value":"A Decision Procedure for Bisimilarity of Generalized Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887528"}},"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":"Q2999323$A3A39974-593B-468E-8A20-CBB4A7ED1788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d56f11623d11a62f385a99c72b7f91aa24c0e151","datavalue":{"value":{"text":"A Decision Procedure for Bisimilarity of Generalized Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999323$B9059BD3-EB28-4646-AF3A-90EF57C9A5FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71ba1d0e68207926357eb2c0985158fa32d65826","datavalue":{"value":"1325.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$FE872D0E-30F2-41DB-9EAE-145B0205DFAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c1b363b21c69bfd5c190264c8fafd6990eb543a","datavalue":{"value":"10.1007/978-3-642-19829-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$395235CE-D00C-4328-B8B9-E23A5D3396F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$F1D8465F-D655-4891-A943-451C58547120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6c682ea1d2955b0fc3bf41511e38774bc37602","datavalue":{"value":{"entity-type":"item","numeric-id":2043808,"id":"Q2043808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$D2F08EF3-C85E-47D5-AAE0-604AC8FE561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392a50cb82fb05a2f2a440fd35f2b0d252f5c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":477629,"id":"Q477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$3D0D1AF6-3668-441B-9C5E-DE87ABB15EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$BDBE3B31-760B-4E0F-A80C-A14501D1DD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$295CAC14-F96E-4C36-8D73-F01BB17DE8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$5809FC0F-FA5B-4BAA-8C5D-9B7712D99E09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$7BACEFD1-8166-4D26-B3E8-5A58BF080452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999323$84AB553B-CA2B-45FC-969F-E937FB36E335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$85C21C8B-FB56-4704-AF2B-62739ED19D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$4CCF0EE5-993D-40B6-9F07-59E74E63BF4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e03218e68cd4865717aa683651ce467314bb26b","datavalue":{"value":"5887528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$8364F5A0-BE76-4D70-81E7-ACC0092602E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$5230455F-5EF3-4C65-B2F3-CAC225BCD95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$8911100B-9531-4D29-A65A-CA8C33DDD609","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":"Q2999323$15C769B1-E4FA-41CE-B6C3-601AE64444B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2904a5bc29e2fb88a7394c042982845fdd0389b8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19829-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999323$0E9BCD80-68EA-44C5-9D78-40E11192AC6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"048355810eb5f5d0f405a75fcdbd1085aa826ae9","datavalue":{"value":"W1753290412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999323$873BF672-A632-4672-92B7-17535B815526","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ddc43c7ce3028076c1ae38ed52053456ef0b81","datavalue":{"value":{"entity-type":"item","numeric-id":3617725,"id":"Q3617725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$3578D4FF-4966-4AFF-B78E-08026BFBCACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$83F64472-FCED-4B6B-898A-1B224C3BA2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da13bd585a2dc1072ad3015b101fd88233b45761","datavalue":{"value":{"entity-type":"item","numeric-id":2703688,"id":"Q2703688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$0506F5FE-A1AE-46E7-98C0-B380918467B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$5A5FCD3C-0641-4843-975A-98C63B2C7421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8016482a97a49db71bdb617b79d3757eaddb9f0","datavalue":{"value":{"entity-type":"item","numeric-id":2762494,"id":"Q2762494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$B038CC88-73DE-4315-9EED-8D3CFFC225E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35062ed57b0b6abc8e529ecc41b02bf58ebd4c6","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$0D786C4A-A839-4CE8-A25A-C6BEAE94E3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$122D9BC7-B7A2-4201-AF27-0A8159FBB96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$D0DA1C03-6C69-4574-AC9F-2DDFE3954B48","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":"Q2999323$8154E249-4338-487F-BAF3-AB02753AAABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62cef7cfbdde29813a82f7eed9dc0834eb4aab7","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999323$5121E4D1-8ED1-4E3B-B3B2-30CB314589C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e17895ec51434e8c7ec91acd478ec58f984f72","datavalue":{"value":{"entity-type":"item","numeric-id":3546331,"id":"Q3546331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564c174c0034ae3dd650e289619a3180e43e010f","datavalue":{"value":{"amount":"+0.9001598","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":"Q2999323$B8B9446F-A6EF-4346-98DA-57E9137570D9","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":"b58fbcd6fbb5d2446de9d55a152ce5173ac62aa9","datavalue":{"value":{"amount":"+0.89388865","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":"Q2999323$E160E181-6021-429A-B01E-A660049EC146","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":"f92c1b00d90cf49814b1a3c51cc01d18ed1fcbcb","datavalue":{"value":{"amount":"+0.8926494","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":"Q2999323$533E2F2B-BBA1-4D65-875C-AA0969594DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cbcc567f10c04c5badfe7f24b92f8c69d3b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4963995,"id":"Q4963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047f2749a58eca01fd9f491ec0f1943751b1fb6d","datavalue":{"value":{"amount":"+0.8842186","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":"Q2999323$1E5894AF-73DD-4F6B-A087-DEFC1D26FFBA","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":"a47625edf3b2a4ac6e2d7a366c3e8f353b0c9832","datavalue":{"value":{"amount":"+0.88240623","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":"Q2999323$CFE09ECD-B13F-4FC2-8166-87DE616D2D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3417b037f9e3e5e9ed4e92ecb6a91b54b76fdae3","datavalue":{"value":{"entity-type":"item","numeric-id":2971071,"id":"Q2971071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ff5ed00104227256c426c16faec6308147e6c2","datavalue":{"value":{"amount":"+0.87927645","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":"Q2999323$80FC53AE-2AEC-4C97-BF99-8C1C96BC7255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0729ca94b508623c2e695297ea1744624e27c85","datavalue":{"value":{"entity-type":"item","numeric-id":4874651,"id":"Q4874651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903869a1339be8dbee8ef830d49b682b2a6b315d","datavalue":{"value":{"amount":"+0.8694162","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":"Q2999323$F4C7F834-94DB-41F0-9D04-4BA04AFD8F71","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":"06b49542eb09b70e4aa0d934819d00004994fe4a","datavalue":{"value":{"amount":"+0.86893886","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":"Q2999323$6F0DBAD1-E253-49C1-8781-C08B9810E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d924b705788654171c0ac2d9b5fa3e7c4708435b","datavalue":{"value":{"entity-type":"item","numeric-id":1592084,"id":"Q1592084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e929bb978c6008a49eca20bf93ade94ba3bf752","datavalue":{"value":{"amount":"+0.8667942","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":"Q2999323$02D15A04-4509-4F68-A906-C0DEEC842273","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":"6411a3a9c5b00f0c0c9d691ddf0bd0d977e705a6","datavalue":{"value":{"amount":"+0.8646661","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":"Q2999323$64DFEEBF-84B3-4016-B331-B1B10A7A4C49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Decision Procedure for Bisimilarity of Generalized Regular Expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Decision_Procedure_for_Bisimilarity_of_Generalized_Regular_Expressions"}}}}}