{"entities":{"Q555774":{"pageid":557541,"ns":120,"title":"Item:Q555774","lastrevid":48497845,"modified":"2026-01-05T00:36:11Z","type":"item","id":"Q555774","labels":{"en":{"language":"en","value":"On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174893"}},"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":"Q555774$DC3665E9-095E-4B84-B8CB-BAE22F94BCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bb782cb20d66dd48c094d6fb43759086cc80141","datavalue":{"value":{"text":"On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555774$D7397C06-0A4C-451C-A3D9-611F39822443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dfecd36ac23a578e914dd42f60b6a73b465a8ba","datavalue":{"value":"1080.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555774$E3A051AB-1969-4339-958E-27884B65F9FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be674cc96f2bd361ba4977b079a1ad5eda3e3aa9","datavalue":{"value":{"entity-type":"item","numeric-id":359885,"id":"Q359885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$4A327485-11DF-40FF-BD79-B8148D32C7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d9cf4d942786fce44c086f71e69c2a23e937a4","datavalue":{"value":{"entity-type":"item","numeric-id":555773,"id":"Q555773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$8B005396-33F7-4007-B414-607B070C8F0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$AF45BC6C-E1E0-4AA0-99EC-168C3B80E30A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555774$649115AD-68A2-4DB8-9A68-90F8A134779D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"431fcf365d3e21c489000ecd3f7281da50d1e63c","datavalue":{"value":"http://hdl.handle.net/1942/945","type":"string"},"datatype":"url"},"type":"statement","id":"Q555774$315A6305-5B67-4571-A990-9FAF12A5F862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555774$92ADD1A8-6E2B-45EE-AAA4-EEC8328A07C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648150a621aec69cb656ca9e3e717ef08841cfc9","datavalue":{"value":"2174893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555774$7E5129DE-479F-4FC3-BD0E-E803007CEEC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebaef58387e9c118f6b4141a50fa08ac809d9a2e","datavalue":{"value":"Data base theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$2A998C6D-8A17-439B-8A29-8273D7EDAFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562b6b44213a4a24ab2ed2a28d36ca4dd07d6c42","datavalue":{"value":"Constraint databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$33CB869A-1215-4D89-89D6-906204FBF7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26836850229f39b67146d0e9bf519c3cd125e476","datavalue":{"value":"Query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$804A70CD-15EB-4FA9-BF33-7E1412BD43E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904a969351bc88a1db325a978e9807af15eee5d5","datavalue":{"value":"Query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$3FB515D0-B629-419F-B705-D2CE203C85D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99211ca4cb04d74fcc8f72d847c66c1626c12cb","datavalue":{"value":"Dynamical systems theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$40C9848C-22B7-4394-85D1-8E94F91D700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c1d90cb689b0b32e7c5e57edf0482ef843ff2","datavalue":{"value":"Fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q555774$E273C9E0-7215-4F89-BED9-99B45AFE7DE4","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":"Q555774$298F500E-DAC3-483A-9914-9B3976918F62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a35bcbf691614a715abeb4d3d016beef83fe9154","datavalue":{"value":"W2153439064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555774$8467CCC6-7F3D-4470-A487-5ECDE332B794","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1a81bf66cafe30d433ff28c7440c02f7e6d272","datavalue":{"value":{"entity-type":"item","numeric-id":4858735,"id":"Q4858735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$7F5DEEFB-B75B-4B4A-BF7D-B41D6BACCBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a5dc44e4bb4aa721e4621c393cde2235579fa2e","datavalue":{"value":{"entity-type":"item","numeric-id":1394800,"id":"Q1394800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$8A059393-5F18-438F-A791-99A246D7B8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9038852701f9ef09e166d7111bbf0050ba626051","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$2A03F719-4723-4B8B-AAA2-F6255531E17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8888823c9659afab2c336ec6f88a9b3d4127438a","datavalue":{"value":{"entity-type":"item","numeric-id":5943100,"id":"Q5943100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$F1A5B289-1F8D-4C9C-BADC-600AEC8890DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$CADA909B-C8FD-4DE4-A602-9826B03E1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$CC8B9CA6-F35A-4C2F-9226-8ACF9A928211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$BD0EB2D8-5892-406C-BED8-D37E2BC76153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$779B45FE-D4F4-4F60-96BF-7645AE67EA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44556b0ed8bd265181a038cb738b15256ad4044c","datavalue":{"value":{"entity-type":"item","numeric-id":5714257,"id":"Q5714257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$E0BF3957-238A-4392-B3D2-3F5EC338AC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b09015829651e38d6dbabc9c26edbc2640638d","datavalue":{"value":{"entity-type":"item","numeric-id":1403324,"id":"Q1403324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$04971554-1BB9-43AA-AEF4-979584604606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4335759e436f0cee6823717b6d92106d4fc576a8","datavalue":{"value":{"entity-type":"item","numeric-id":1334658,"id":"Q1334658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$37B4E147-22B2-40E8-9BA2-B038810D74BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf6a45773972543861d6c261c8bae89c0a11a56","datavalue":{"value":{"entity-type":"item","numeric-id":2996184,"id":"Q2996184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$23EF44E4-4297-4491-803E-4F2958505AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a63a28562adab0517a5e262addd9a257f4c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4473275,"id":"Q4473275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$BD2DF85E-06A2-4AAF-8978-AB947D63C2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df48c84fee49cb31588b3f25c2abc7f8b88686da","datavalue":{"value":{"entity-type":"item","numeric-id":2710595,"id":"Q2710595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$5F091BEC-99D9-460F-B27F-C2CC18B8CE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca511e8a59f8c29937fc0951b954c7c612f12517","datavalue":{"value":{"entity-type":"item","numeric-id":4935250,"id":"Q4935250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$A986B4FD-9AE5-4E05-B704-8CA388E1408A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$7B0F8EBD-A9DE-4F77-BC10-0C65CFA5DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7616634aca219cbbc097bb228d1d5a9ac2d6d079","datavalue":{"value":{"entity-type":"item","numeric-id":3487323,"id":"Q3487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$CAA583D6-56C5-41DA-A9CA-9E7FC54F8EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f7b8f294c85d8c96ca710a0f1a7706cc4f08be","datavalue":{"value":{"entity-type":"item","numeric-id":4741395,"id":"Q4741395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$453BD26F-1ECA-4B7D-9584-4598885BDFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21137ab7a471f67814fe16d1e705bff9ccd4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5925716,"id":"Q5925716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$975C49E6-76FF-4AA7-8911-7695FC609EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$C38BD88A-5118-43C6-84D1-E63EF20FCB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555774$CCC190EE-269C-440B-8387-DA8F25F01D0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"626f3a606b8e054384d8e9d2f885564fd50f378d","datavalue":{"value":"10.1016/J.TCS.2004.10.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555774$0A3EC5C4-94F3-4F51-A9B2-5C0034F6E078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6317f33da497aa6fa3fdaa61d21a571bcca583","datavalue":{"value":{"entity-type":"item","numeric-id":4414535,"id":"Q4414535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb988537004e76e998555cd4bf89cd37d6c6e7b9","datavalue":{"value":{"amount":"+0.9654329419136048","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":"Q555774$C80EBBA5-7D9A-4C65-873C-6C6D52D855B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367e09573e1343bcf1038eca3a74055a35224a5c","datavalue":{"value":{"entity-type":"item","numeric-id":5470739,"id":"Q5470739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79457c149bb47058783c95e820f1b1719ad4271b","datavalue":{"value":{"amount":"+0.7878463864326477","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":"Q555774$E08A7115-9AFD-4291-BD10-8C025081ADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a3e00d1b49c085859e040c362798779c90c131","datavalue":{"value":{"entity-type":"item","numeric-id":2996184,"id":"Q2996184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9feb80f5983b5af6702baf91c1701a00a94f225","datavalue":{"value":{"amount":"+0.7797665596008301","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":"Q555774$C26337D7-589B-4B5E-9E1C-D656E02210A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda2425f56f516f18d6f2389a941b47aa4e6fd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4473275,"id":"Q4473275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8faae96228e15eac8462614324e0e6e09a760744","datavalue":{"value":{"amount":"+0.7714311480522156","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":"Q555774$71858159-4059-4E58-B449-846220436F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166321aa4503621ab938fb01b1ecb6ca9181d0a8","datavalue":{"value":{"entity-type":"item","numeric-id":4508935,"id":"Q4508935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384a98ea0b5b5e1b050e384c6c262edbf10bb876","datavalue":{"value":{"amount":"+0.76704341173172","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":"Q555774$83608365-DB76-4B39-86C8-A264C8F8ADA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:555774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:555774"}}}}}