{"entities":{"Q2851929":{"pageid":2862649,"ns":120,"title":"Item:Q2851929","lastrevid":83869064,"modified":"2026-05-07T13:05:17Z","type":"item","id":"Q2851929","labels":{"en":{"language":"en","value":"A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213561"}},"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":"Q2851929$B69AAFE6-5B8A-4630-8591-26059215D9A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a707863708cca812cb66b141916d2925b3279115","datavalue":{"value":{"text":"A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851929$641E3DE9-32F2-4685-8B5A-E5FF3C30ECA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40c2ec3a18732f0a974499d309bb1ca6fab36ebf","datavalue":{"value":"1401.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$AB139803-799E-4022-8ED4-2521C364CC9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bab0e820ec5f11a95de7c2fdb53a08d97076f233","datavalue":{"value":"10.1007/978-3-642-40537-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$B73E529F-C453-4915-8E54-A5E45017F075","rank":"normal"}],"P16":[{"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":"Q2851929$166E823F-D715-42A2-AFF7-90DFBA097378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851929$B4216325-0449-426C-AE2E-2310D9C4C3A4","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":"Q2851929$EF0C49C0-982D-4748-B089-342E057D3FF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851929$04D14CCB-728A-4953-8A5A-0EEF9938C97F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$80BE7B5C-64D3-4C29-978E-AEEAE8E1017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$04BB72B2-9F75-4FDD-B174-A178F8517683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d0b8a8590a13e8add89902b1dafd6858f72b6ca","datavalue":{"value":"6213561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$11CFF8EF-616A-4F54-895E-A7E2F7806CC9","rank":"normal"}],"P1463":[{"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":"Q2851929$AAFEE50B-EC65-4B4B-8812-959C394DB192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1392891407fd9f11bfc5ced5f71a7f7a0fb2a6","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851929$21A7518A-BBE8-42A7-B349-9882B80C770C","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":"Q2851929$D521FA24-9A50-43D7-9F2A-25C0EC1FED0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0da45e65a7e54a7dc92212208fd9e1a6acc3b32","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851929$64146CDD-7A66-4BD7-9B8E-71E62999B2F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29873f67f1742fc3c0fbbc8c1e9a36c3adb7fb88","datavalue":{"value":"W976457015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851929$B09AB23A-5F15-423B-A6E8-941DAB115FA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Brief_Survey_of_Verified_Decision_Procedures_for_Equivalence_of_Regular_Expressions"}}}}}