{"entities":{"Q5045387":{"pageid":7074964,"ns":120,"title":"Item:Q5045387","lastrevid":98438459,"modified":"2026-06-05T17:31:52Z","type":"item","id":"Q5045387","labels":{"en":{"language":"en","value":"On Equivalence Checking of Nondeterministic Finite Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612571"}},"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":"Q5045387$2D4AF786-9FB7-4519-8C88-00F34A23A10B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c7e40d92a39bc937327ff36f0f9327228cd3c5a","datavalue":{"value":{"text":"On Equivalence Checking of Nondeterministic Finite Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045387$68788127-138B-483B-86DA-8F83CC152F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62c3a04af7a74298ad36e38a96ca83d2b57cdfba","datavalue":{"value":"1498.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045387$43D9A5B5-47DF-4259-8732-6B5E74C3BFE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dcda40851c8aa2cbfdfe781978fd65f7ad3dd4d","datavalue":{"value":"10.1007/978-3-319-69483-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045387$821FC1BB-3560-43F0-B219-B198D80F5665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3a23349e3d26370af1eb95e4fa62db0051b822","datavalue":{"value":{"entity-type":"item","numeric-id":1711321,"id":"Q1711321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045387$4C2084D4-FD22-48A6-9C5C-9B46C9AD4D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045387$AA08616E-6F26-4F60-A6DE-83EFCCFB53CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045387$FD0545BF-7435-4484-B25B-7587927D60BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045387$AE280DBD-929A-4863-8F97-4436EE71A0F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045387$9562C878-49AD-4057-B9B7-C2654BA956AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-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":"Q5045387$81FFD4EE-2334-4115-8E39-AABF66DE28DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045387$10AFB948-9111-4E8C-AAF4-290F7E7F8655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a5c3167cee0ae65824374a42d67351a7ea0244","datavalue":{"value":"7612571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045387$859D9874-2BF5-4E7B-94DE-A6D22152EA99","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":"Q5045387$3596F336-8141-4CAB-964E-20B405A6BC7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76734c84936628f472b9a9b5b60d0ed52554bdcc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69483-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045387$367D1ABA-3F58-4572-8FE6-9E2803E88082","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b568578e624beb1aafbc7eaf1623933734f8d253","datavalue":{"value":"W2766070042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045387$865F5038-C57D-413C-8E03-850B279E813B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e52db324585a06a8d93df267245250d575ee6f","datavalue":{"value":{"entity-type":"item","numeric-id":1351166,"id":"Q1351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0b8d79b0c1f614c198739fa808a39c0652a8c0","datavalue":{"value":{"amount":"+0.9217356","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":"Q5045387$6631517A-C06D-42CC-B3E4-93C09C1F653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97cc84cce017ea9f19c786485df9b1178b5b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6decc1815ab9486eaae3d18b4caabf4ca8c03f","datavalue":{"value":{"amount":"+0.90179336","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":"Q5045387$6B072C2C-A9AF-4BEE-8A3A-2A3663D9FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94193fdfcc9762273fd81d44d2f64a9b09023b1","datavalue":{"value":{"entity-type":"item","numeric-id":903611,"id":"Q903611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb3e386d7a05c784f1b6b554141ebdded929039","datavalue":{"value":{"amount":"+0.9003304","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":"Q5045387$0A87C0A0-72D3-4EA0-961C-9F0A7E502698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b1434ba93475219ac6787dbd6f49292f53023","datavalue":{"value":{"entity-type":"item","numeric-id":946032,"id":"Q946032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7cee9ec56a7e66e30ef6104780a313c7954e82","datavalue":{"value":{"amount":"+0.8974584","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":"Q5045387$F2CEBEE5-B288-49F3-BA4E-1C446B123DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60d486de2ce06b4cceae7082598aa7ac6175b19","datavalue":{"value":{"entity-type":"item","numeric-id":5060068,"id":"Q5060068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9b6b0b806c944327b8d33a6b299105e9055d38","datavalue":{"value":{"amount":"+0.8944756","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":"Q5045387$89F1EBF0-2CC8-443E-A032-B03924B123DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6332d422e38fe76f0c553f8dfbed76b3c6e5e95a","datavalue":{"value":{"entity-type":"item","numeric-id":3352511,"id":"Q3352511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ae0fe83a1f7b91f7aab78b35088eba433954a0","datavalue":{"value":{"amount":"+0.8881868","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":"Q5045387$313ADB6E-4667-4799-9496-1E455399FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65489716e6f8ec946fafa3f3e7721d6df5431244","datavalue":{"value":{"entity-type":"item","numeric-id":5327452,"id":"Q5327452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d761dfc26c5760930ad13df56ffe24465d40eaf","datavalue":{"value":{"amount":"+0.88776565","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":"Q5045387$9AC35C1C-6F9D-4EE3-94CA-15D8E8EC46A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580d8c225796b3fc9e662b930ef5c6d00ebb8bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2947161,"id":"Q2947161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accde301e0a05da4ad9aaf7d7bb25835377b1292","datavalue":{"value":{"amount":"+0.8854874","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":"Q5045387$76F3D4CB-A7BC-49FC-B571-FC45A360D500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa71b7040165ea11e1734ab110f605dff93ebd1d","datavalue":{"value":{"entity-type":"item","numeric-id":1897831,"id":"Q1897831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7b4b3d742e224a0706f3d0fb73e0961bddcc1f","datavalue":{"value":{"amount":"+0.8839349","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":"Q5045387$3696419F-CCCE-40E1-8AE3-FED11EA71D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca60d626b859db8aa7bd69f6600bf1549c872d","datavalue":{"value":{"entity-type":"item","numeric-id":5886123,"id":"Q5886123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9de2df2e2a36e758893074ae476471e71af609","datavalue":{"value":{"amount":"+0.8836876","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":"Q5045387$35B98754-AF8E-482F-A262-3E87DCCB7DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Equivalence Checking of Nondeterministic Finite Automata","badges":[]}}}}}