{"entities":{"Q5244782":{"pageid":7274350,"ns":120,"title":"Item:Q5244782","lastrevid":40961867,"modified":"2025-04-16T04:00:58Z","type":"item","id":"Q5244782","labels":{"en":{"language":"en","value":"Verified decision procedures for MSO on words based on derivatives of regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421022"}},"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":"Q5244782$4AE6AAA7-BB2C-49C8-9AC6-AB2B40BB99F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a371219c4903f7f3011ddea58b88c2f8f32c9f47","datavalue":{"value":{"text":"Verified decision procedures for MSO on words based on derivatives of regular expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244782$EC9D4AA2-2B95-4FB1-8FE9-02F5ABDB31CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65bbe893580ad1c49603990e172775c5589cfbd","datavalue":{"value":"1323.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$BFFEEE90-7413-4FF1-87D2-68F53C6EFBDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c19631ed29d77b37e2a0092d6fb7ba2f24cac8","datavalue":{"value":"10.1145/2500365.2500612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$2AD2DACE-E782-4C5E-BD0A-BF6B2CF7DBBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244782$019794D8-9801-42BE-B026-092771521C30","rank":"normal"},{"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":"Q5244782$FAF1A9AA-240D-4315-92EB-44A6D71339CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244782$7FC1174F-F109-4399-936A-6134F6CE44D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244782$27ACB9AA-BBA1-4506-B60F-AD7664145304","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4035e3b7dd6659da2bb45a29c0e82dd66cc2b391","datavalue":{"value":"http://hdl.handle.net/20.500.11850/106053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244782$99B96F0F-D836-4B67-B684-B44EBEBD4017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$81EC68CA-6337-4252-AB38-A453F91A394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$1EBE0D16-65AC-401D-A140-D87F3313AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$69ADD069-CB4D-46BE-90EC-C8BB6C83A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$50823A91-75D9-49BC-AD66-BBCE57FCC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$7AA63E06-240E-45B9-8F16-E64DBD7CDB48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"009edcbd150d256c712eab2ebed75c67103b0e26","datavalue":{"value":"6421022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$AD1C3C7C-8770-42CA-AAE1-C5AF27E5D7E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b761ac9988b1031e4c5fed97f8e4650a419a2d6","datavalue":{"value":"Brzozowski derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$E6554C38-9FED-497D-AB79-783C69EE4EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$9CBCC570-5028-485F-AE03-76B86DE3FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$088D998B-4B8E-49FF-97F3-929AA89E69B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$5B744873-42D9-4291-AD6A-4C0F35E13F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58050f08a0e3452f382ffc392b06f5975759ad4a","datavalue":{"value":"MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$367A123C-388E-48A0-A306-32EE2D389A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$8E036764-A834-49F7-987B-82D580F38939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace292ae55bbbf18c8de88bb954232e36d923e26","datavalue":{"value":"WS1S","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244782$C232A9DC-0CCA-492F-BAE8-7E818057EECF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244782$230D3221-0043-4770-95B4-853233CA107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70d6c87de7f06f38dd8313c768ce279ff8c87d13","datavalue":{"value":{"entity-type":"item","numeric-id":43941,"id":"Q43941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244782$550B8D4B-166F-4CE8-9B6F-6445AEB7A7A1","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":"Q5244782$8D028C1A-B5FD-455F-9B90-81BBC29BBFBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5116d991f39ae60320b5a8946c3ae2eace71ef2","datavalue":{"value":"W2166971839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244782$A1B2D29A-5330-4ECE-812B-F806F14EF354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73897989f8e86023d13add64b2e773d222fc1e45","datavalue":{"value":{"entity-type":"item","numeric-id":5371957,"id":"Q5371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5244782$330A66F3-A865-42B6-8674-90F603D301BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9c1ce029c259c94e6c476e4f03156a45ca6c55","datavalue":{"value":{"entity-type":"item","numeric-id":5275392,"id":"Q5275392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689b3ef52dc7d57f013f8009c1cf4ea460c7c88f","datavalue":{"value":{"amount":"+0.8238731","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":"Q5244782$6AB5AC8A-E09D-4A46-86F1-DFCDEF4C9B31","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":"7cdc9e53576726a742fb9088975f03b3009f68c5","datavalue":{"value":{"amount":"+0.82101744","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":"Q5244782$B453E6E3-28B0-4C64-8910-9EF6C774C383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a865e0dcab60e2f71c5e800ea79c289a4e93d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5164850,"id":"Q5164850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85778d3125e8a32acc0e03f39458a6c965d2f147","datavalue":{"value":{"amount":"+0.7995346","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":"Q5244782$86CB0DA2-A210-43F0-A09F-B7FE7A5FCEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24c69e22653a4b4d74ca9db4232b17e6ec56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1616968,"id":"Q1616968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f533b91d467ad536cd4a641561cbb9decd6cf89e","datavalue":{"value":{"amount":"+0.7893594","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":"Q5244782$9B5F6C00-810D-4545-9A70-6DDF1C757C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d904c6eaad00bf8828e6effd9843d1269e40828","datavalue":{"value":{"entity-type":"item","numeric-id":2999323,"id":"Q2999323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb843cc15bcec02fe40ae2f1e84e89225e04594","datavalue":{"value":{"amount":"+0.7891332","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":"Q5244782$3FB921F8-EB0A-40AC-AFA7-A12E504CDCFA","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":"c9f2a416355b63095ecdc31ab01521482bf54b08","datavalue":{"value":{"amount":"+0.78900045","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":"Q5244782$28B19247-F5A3-4E67-A756-4D169938C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db55fc295b6008f6d096d157bbcbdbeac0ee2758","datavalue":{"value":{"entity-type":"item","numeric-id":2920114,"id":"Q2920114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e009aab3538bfa0f7a2fa2d5ce6cf47fb3242cb","datavalue":{"value":{"amount":"+0.78655016","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":"Q5244782$0C0FA46A-64AD-4C7D-B867-84B725AA2B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd3e8809ac17049fa3cb3e6f2a974992453f35b","datavalue":{"value":{"entity-type":"item","numeric-id":3523174,"id":"Q3523174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0123cce1cefc0959ea4a0a025bac2f20b1ee015","datavalue":{"value":{"amount":"+0.7862381","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":"Q5244782$594208AD-259D-40E4-9B2E-3AF0E38D1122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e2b09ccd5a39d54d03a9cfa69b569d3ece812b","datavalue":{"value":{"entity-type":"item","numeric-id":4485145,"id":"Q4485145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda57c9b74d3da0f6f15dcaf2f83fab2f4ec3dcd","datavalue":{"value":{"amount":"+0.7860588","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":"Q5244782$C61DE3B6-ABAD-40E4-B322-48A35A837F6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244782"}}}}}