{"entities":{"Q2914749":{"pageid":2925469,"ns":120,"title":"Item:Q2914749","lastrevid":44728704,"modified":"2025-11-25T13:08:02Z","type":"item","id":"Q2914749","labels":{"en":{"language":"en","value":"A Compact Proof of Decidability for Regular Expression Equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084495"}},"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":"Q2914749$674D7554-5760-4649-BC52-C23A3E775265","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02a88c6775e40119351b8d64dbc3cec562cda840","datavalue":{"value":{"text":"A Compact Proof of Decidability for Regular Expression Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914749$02D74BD0-A371-4D2B-9E8D-F51191561361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30afb6f0094afda4cbf168d51ba970031c8d175b","datavalue":{"value":"1360.68738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$4EC9A928-A8DA-4DDA-ACD0-98087321B407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48b5c41c09d377c20b85b82ea17f4533d7d1b0a","datavalue":{"value":"10.1007/978-3-642-32347-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$B11C3A96-DD68-4273-8E03-FBBF86567545","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914749$87AC012F-76C6-48BF-A097-9300F090890D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914749$6F7D07C3-1F23-46A2-BA41-FC4553FE16EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914749$BAA8511A-3F51-4C43-B08F-26845E966932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$21BBAFC2-947D-443B-9288-B0BE08259CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$6774FA4C-7C8A-43B6-8698-1314C2551691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ef8c47a8a5647ba74bc148993cf406d3e57a463","datavalue":{"value":"6084495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$009A2B00-717D-4D98-AC3A-1CCCAFE4DD02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914749$35C54FF0-78EB-4AD1-B114-FE6E80EBEBAE","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":"Q2914749$408A38A8-6201-48DA-875A-8425D624D586","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":"Q2914749$F435E0BF-B506-4A28-BFD9-9042D59C82AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f1ff13654dcf65b35402a8d146ee8b29ad7dc6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914749$6B3445E9-DA0D-4C19-A9E6-ED4FECA1E705","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a8024548c5d944dea56c0562880034c8ab81b5a","datavalue":{"value":"W46198887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914749$C5E637A9-CB32-4CCF-9B62-54BAD9249E27","rank":"normal"}],"P1643":[{"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":"82ee9debbf8b0d37ca663e5382ad0dda98808785","datavalue":{"value":{"amount":"+0.9395796","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":"Q2914749$94B0E028-E425-4006-82F5-F3CBC1005386","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":"b200909ae63f7965b1af513c6cda38ec7c63d288","datavalue":{"value":{"amount":"+0.91836333","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":"Q2914749$D1A06088-45CF-4DA4-969F-C6727B4B2CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e07ca98430ea0f67988363309b9e28969d4e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2361347,"id":"Q2361347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecf5121ad594171512cd0eac9206f4f2a3d9263","datavalue":{"value":{"amount":"+0.90267783","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":"Q2914749$2111B9F3-699E-44D7-BDBE-25B6D7E632B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4027ea4599b37695586a1fa21ebfec4a14310c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4910426,"id":"Q4910426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecf5121ad594171512cd0eac9206f4f2a3d9263","datavalue":{"value":{"amount":"+0.90267783","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":"Q2914749$D0606720-D9CB-4381-BFF6-A223015127D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64cd9d2057c5c009e121466203e61b4f2f299be0","datavalue":{"value":{"entity-type":"item","numeric-id":372977,"id":"Q372977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269e00124aab22a5bc4209a69e090944a04dbf7b","datavalue":{"value":{"amount":"+0.8997613","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":"Q2914749$C4A4B658-C417-4E5D-BBE5-C2C14D0DA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f93385f08792c348cd6c31a93a3e1ccf76b2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3113715,"id":"Q3113715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269e00124aab22a5bc4209a69e090944a04dbf7b","datavalue":{"value":{"amount":"+0.8997613","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":"Q2914749$7B5148B5-1C69-430A-993A-A3A7B69CE7AE","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":"24556add6d759708175b62b2c0c63237135575d4","datavalue":{"value":{"amount":"+0.8930803","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":"Q2914749$9FF300B5-A4CB-4EFB-827D-1D2E86F562C8","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":"1cc5d91bbf9655fde5ba3eee52c92976704962c3","datavalue":{"value":{"amount":"+0.89262116","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":"Q2914749$D6BD9E29-BF66-438C-8352-F0F92F7B8DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e52013f68b080b602decc8b9682c826e3daf6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4943553,"id":"Q4943553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5401b6f574c16061f7b672b18053e9017d2f8ab7","datavalue":{"value":{"amount":"+0.8909234","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":"Q2914749$745C02A2-5CCF-45EE-87BD-24CCE309F2B9","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":"0ac7b04b4c9f3d036903385d2e67702ae817d125","datavalue":{"value":{"amount":"+0.8899015","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":"Q2914749$CA74DBD3-E71F-44B8-997A-7913E49E9B66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914749"}}}}}