{"entities":{"Q5415619":{"pageid":7445193,"ns":120,"title":"Item:Q5415619","lastrevid":40934279,"modified":"2025-04-14T07:32:30Z","type":"item","id":"Q5415619","labels":{"en":{"language":"en","value":"Checking Emptiness of Non-Deterministic Regular Types with Set Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294819"}},"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":"Q5415619$75A4BC27-EE11-4710-972D-16AA938C4116","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db4e146fc7b6d5b91e6a16259387752955100ae7","datavalue":{"value":{"text":"Checking Emptiness of Non-Deterministic Regular Types with Set Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415619$CE4521E2-1676-4F90-BA20-45DC3C0B8784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5c7f2c5765dd634e0c499f8836bbfcb9eedc1d","datavalue":{"value":"1286.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$08931B25-6DFE-4527-A67E-AC24129A0D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$B834D614-79F1-4AE7-9A7F-483BB2D3CA15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$040FE814-7F38-4EA8-981D-D2D3EBCC566E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415619$60F584F9-0A57-4A77-8D6E-1D1C78B02383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$46EAC946-5D85-4366-B1F0-D91C9CE8D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$9B9D00FC-ABA9-4E4D-95A9-954288B09E81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3de2270ce1e20e9d55fd7817e8bdb54b0545b4d6","datavalue":{"value":"6294819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$D05290DC-4D33-4D3D-89D1-403954BDD688","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d6afb37e5a2932780f1f9df89fb09290a12e22","datavalue":{"value":"regular types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415619$3867DDC0-EB86-4563-8D86-B4463A684578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8467b9a4e4939f4e162a608c109a114d789c40a","datavalue":{"value":"emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415619$B6D87102-A372-4570-9E03-435D1940B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415619$98E0498E-668D-4261-91D6-D8F556586E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4187bcd1ada1ba72859bf5f8151acdd29d67582d","datavalue":{"value":"tabulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415619$D3CD8405-2DD2-4555-8045-EB6DC7B99D83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$5CF28021-991F-4E7F-A655-6CDCEF9F5542","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":"Q5415619$91A4B3A7-A083-4C03-8425-C62E527EDFDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9abe64a1e46b6dfb7d23fd666bd166ab41b908","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415619$A0E98C34-0F60-4C61-8328-53017A1E9DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8fe0e568c033984d251245966ea16b542a5b7f0","datavalue":{"value":"W2149019996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$2D30209F-8A9D-4640-8A54-CB9629C19B62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd6e5fe7b0ce21ee3d0c33d6486157ae53e98b3","datavalue":{"value":{"entity-type":"item","numeric-id":4525271,"id":"Q4525271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$11455660-4D49-42E4-8300-BCA800FED1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$29A6B405-CEDD-4CF0-8413-2E8FF1E06FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed0f7bd2aa3a1854a6a62dafc5812f99b70b449","datavalue":{"value":{"entity-type":"item","numeric-id":1575243,"id":"Q1575243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$76E08FFE-733D-48E0-8417-1F92D5EC634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c2b7fb3b5dbc3348fa37c766d0de3dcb7f2bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$8C7DE4D0-0928-4E9E-B415-1C9E6D95F249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb789e52b2aa522cbbefcb3eaffe273c2f5e9c6","datavalue":{"value":{"entity-type":"item","numeric-id":4944863,"id":"Q4944863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$034F41CC-0FFD-4D6C-8390-D870B92F7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$AB3C8727-8AD6-401C-B59C-EFEB3157D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de383c3f01de18ac64540bc12e03d44225b34bc","datavalue":{"value":{"entity-type":"item","numeric-id":4542943,"id":"Q4542943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$FF9960A1-B025-4B80-A206-12494BC5127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579155a55f6e9a74d70dc76913d2b4aae53ffe93","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$70CA0177-B87E-4158-BD08-31427C3049F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f7be85e9757905aff7ff0f8410ce32c306984f","datavalue":{"value":{"entity-type":"item","numeric-id":5437649,"id":"Q5437649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$1970088C-7FF8-421A-9647-07B153A71CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$F6BD4E6A-A74D-4BD3-916B-B773470980EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$037F1490-72F4-4015-B67A-371CCEB0E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7fd8b25b50a5ad94a9db961851c1a3dc450842","datavalue":{"value":{"entity-type":"item","numeric-id":3976029,"id":"Q3976029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$57E692DF-F005-42CE-A384-221CF660511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07b9a7d6269bd5673d7478851e868fdca08fea1","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415619$535B85F5-2D4B-41DB-AC01-6412AF3C41F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86f71f3e9e277ecca1ef7f7a8a0b91fe5476612f","datavalue":{"value":"10.1016/J.ENTCS.2008.04.062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415619$2A053F1F-4D84-4B63-9F11-27E4A70D815D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd1d6f9e95a11a5d922a9f39c1409098ebd0045","datavalue":{"value":{"amount":"+0.8537646","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":"Q5415619$663844EF-58DB-4F5C-8ECA-BA19ABDE60CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542fb59625f20e688f2cb943bbe285e078d67149","datavalue":{"value":{"entity-type":"item","numeric-id":4943506,"id":"Q4943506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5072d0067ce7431ee52c419d43457f8dc058af97","datavalue":{"value":{"amount":"+0.8535938","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":"Q5415619$43811BF3-F48F-4334-BE69-3C1BCF86BC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e459fcce0891d3f978d9a97ead5e1d9d881edd5d","datavalue":{"value":{"entity-type":"item","numeric-id":655411,"id":"Q655411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21291ec28aa71380b6c43b4e694c9364fd6d7261","datavalue":{"value":{"amount":"+0.85031295","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":"Q5415619$BC5C61CC-A87A-4DDE-B509-A79908DA9325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ea5736cfd16e14005bf74baeae308dbf1c6ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5958782,"id":"Q5958782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4ee75d618d443cc8fbc3f894c2909cbed8d981","datavalue":{"value":{"amount":"+0.84652084","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":"Q5415619$C3C2C452-406A-4A13-8305-328B858D38E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b02514e25d1bb10193ff646a700dd1d89f642","datavalue":{"value":{"entity-type":"item","numeric-id":5370875,"id":"Q5370875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945a7b0a3eb4f0cb55f34e864ce913635c3de761","datavalue":{"value":{"amount":"+0.84400535","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":"Q5415619$12B71C66-819D-4343-B6E1-BEE532D8D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9440e44c0bc991151a1ad77ef1bfcfc962a16bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6c44d4a87e56c87e34bd6ed2902524903a5ebc","datavalue":{"value":{"amount":"+0.8438382","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":"Q5415619$98650A20-54F9-4BCA-9D96-EB54AE82A8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16a5f952fe65580ad3102001ed35bf577f03a9a","datavalue":{"value":{"entity-type":"item","numeric-id":5028472,"id":"Q5028472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c7ca13b6c50f5ed37ee7c58340b6549e5f1463","datavalue":{"value":{"amount":"+0.84074366","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":"Q5415619$ACDD71FA-60DD-4CC8-9921-F6FEECD27A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4f90f05733de76327741fe2bb8f9e36f8b05a9","datavalue":{"value":{"entity-type":"item","numeric-id":5414586,"id":"Q5414586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc607a92912859cb000530d7c968354bcc5a58e9","datavalue":{"value":{"amount":"+0.83935344","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":"Q5415619$3E9B44BE-6182-4D38-9A63-917382DB15DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c4eae07ff2869485fe2bac62ab089c479a52f8","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2af2fcd40e51871de3d8be432af7242b92161e7","datavalue":{"value":{"amount":"+0.83829206","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":"Q5415619$20A41683-03DE-4215-B31C-06F08F8D392A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3ed6a21edb415af25a10496ea8516ccf9fabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4948007,"id":"Q4948007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2821692c83be0243f5c1bbace281eb235635c707","datavalue":{"value":{"amount":"+0.8368237","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":"Q5415619$3BB21755-8EF1-40AB-8C2F-71D34A915340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415619"}}}}}