{"entities":{"Q4384033":{"pageid":6413632,"ns":120,"title":"Item:Q4384033","lastrevid":46521690,"modified":"2025-12-24T23:21:01Z","type":"item","id":"Q4384033","labels":{"en":{"language":"en","value":"Proof of Correctness of a Direct Construction of DFA from Regular Expression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1143876"}},"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":"Q4384033$3743464D-E8CC-4855-93D0-3C9EAA49D054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ee84ff196fa47646535c3a08e621be8c1e1485","datavalue":{"value":{"text":"Proof of Correctness of a Direct Construction of DFA from Regular Expression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4384033$1CDBD4E3-6FF2-4A07-A005-FE6B83F298D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af68aaf1ff79f002508847a3a4f77f1dd8c82451","datavalue":{"value":"0893.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$B11B04C9-96F4-40EE-9F01-0CBD86C36BC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5433d9ab265b974b779107342954a17f244b1608","datavalue":{"value":"10.1080/00207169708804584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$34DEF2D9-2132-407F-BFF0-236295A041D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4384033$6376181C-4E4B-4322-89E4-4A31BFD6EEB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e960b6031491651e5f121916383a51a169df87cc","datavalue":{"value":{"time":"+1998-04-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":"Q4384033$FB017897-188C-456B-B1BC-74441D90AD0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$8A165F9B-6470-4867-9255-985642C2C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$C077B9AE-A89E-45C0-AC0C-8595BCE523D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e474e615313a79584c0c175018c851bb260a54e","datavalue":{"value":"1143876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$E44AB984-49AA-4875-99A1-FC13780768E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19bb379ed3c76df6d16665e227f00a03e1e7c2","datavalue":{"value":"deterministic finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384033$E95D8CA2-4822-4DB9-8604-7E4049F1648E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c37f08f0778c274432d619db8eaf9247b5b121","datavalue":{"value":"dot annotated regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384033$21359346-2073-46DB-9B91-CD3392F23ABC","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":"Q4384033$B76E1244-5E95-43AB-A995-CC8CCEC38052","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8238240ee1a8791b5dbe796d44790ca207ee5d4e","datavalue":{"value":"https://doi.org/10.1080/00207169708804584","type":"string"},"datatype":"url"},"type":"statement","id":"Q4384033$898B9C3B-652D-418E-B96D-E8A1E21B3965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"230cd7c3957b41026cd635c82eab80cb5a235847","datavalue":{"value":"W1994265125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384033$7B2B31E3-A13A-4465-BFB0-FFDF0763EE08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3d06510851d82dfb1e7b6453192d4ed8bc5f3e","datavalue":{"value":{"entity-type":"item","numeric-id":4385510,"id":"Q4385510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4384033$22EAE1CC-B69E-4606-9EDF-2C4C5AE13D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80dfd47610f8fd7457b49fd63ffdffeb7b6214ee","datavalue":{"value":{"entity-type":"item","numeric-id":1822923,"id":"Q1822923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4384033$633C4CA3-2B14-465B-B3EF-B97FAD168D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adc5605201d2721cc47fe401006605205a9a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815e0f6b3527a2b131d704721523bc244b71f9b6","datavalue":{"value":{"amount":"+0.7441309094429016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4384033$EB6100E5-90F3-499D-BCCB-5CC02715E837","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":"90bb331061e8b38656038c58be11699c4ecdd1b6","datavalue":{"value":{"amount":"+0.7346934080123901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4384033$C4705593-06A8-499E-95FA-2B5D7EE8DC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57a6be245be72a626949a0b0a0cb86806467282","datavalue":{"value":{"entity-type":"item","numeric-id":4489994,"id":"Q4489994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc950216b2621716af0d4fb7f4355ac15dbf3e21","datavalue":{"value":{"amount":"+0.7332888245582581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4384033$434BC84F-FA62-45EE-AA0F-39112B2AB746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be45673658443702daab6f33ccf08b9317c38d49","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad09cacd56c9e781846487fa94ce45966761f24","datavalue":{"value":{"amount":"+0.7314847111701965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4384033$4C5C3822-1435-48E5-B4EC-7DBA801BE48B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4384033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4384033"}}}}}