{"entities":{"Q314825":{"pageid":316592,"ns":120,"title":"Item:Q314825","lastrevid":60881412,"modified":"2026-04-10T19:43:56Z","type":"item","id":"Q314825","labels":{"en":{"language":"en","value":"Converging to the chase -- a tool for finite controllability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628248"}},"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":"Q314825$5E7005C7-BE8E-4F96-842C-45F9785DB60F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"582a49f70b7cd2938bcaca8c68bef3da320530c0","datavalue":{"value":{"text":"Converging to the chase -- a tool for finite controllability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q314825$1E0F2B55-3958-4A42-A46E-C2630DFAFF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a0220b42ae17d94e8e96a136a27952f6506781d","datavalue":{"value":"1350.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$123FA2E8-BDA0-4119-A53F-A9E491C65E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a03543608b6ee23736e0438615a2b1e6c76d879","datavalue":{"value":{"entity-type":"item","numeric-id":314823,"id":"Q314823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$D59AA876-FAF5-4AE6-918D-B2BD53204072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$4F9B3404-0AA3-40DC-ADE5-7024E492A636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$58CE5DC4-AD08-42EA-80F4-1B7D429C306C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b754de66362aae284dabb1b78cfda06e1f60d64","datavalue":{"value":{"time":"+2016-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q314825$F89B5CD7-7402-4E75-928E-F9ED43A7AB03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$C6F3B297-BA0D-4EF3-AE38-9E8F87946B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$B35FC1CD-E5DE-4DBA-85CE-B266EC04EF46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87a06b66e5c41782ef5096eca8e4e3a6d904b22d","datavalue":{"value":"6628248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$CB774E9C-82C1-4251-AEE4-A83CDDD95938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa76bd7059509a8164dd76d4d1d43c7de825ac89","datavalue":{"value":"tuple generating dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q314825$CAA54F2F-CE44-42DD-9E29-F03BFC36F978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2daca18941d7ed6339276245953c2511f0814b2","datavalue":{"value":"sticky logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q314825$1DBCE7D7-AA5E-470A-AD78-12C62DC92333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09090027d594f6e86eaec64ce859f94b54cdb822","datavalue":{"value":"finite controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q314825$39F42802-B4CB-4965-BCF3-41C62E082178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f375786748adae243bf3493b7b76e9af29e33b","datavalue":{"value":"bounded derivation depth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q314825$BF3BFC99-09FF-43D1-BA31-F88460E8D491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead06d45e5eb9152dcf04a99ee9289b24cb9ee39","datavalue":{"value":"Sticky Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q314825$FAAF8300-E8A2-492F-8772-6560819CF0D1","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":"Q314825$84E9880C-C005-4B3B-A8DC-178F8E9CCAAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0cd29ec912ad239e83e420167f7a1e79ff84d6c","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2016.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q314825$72EA5C7C-937E-47EC-8D81-65BC060DFD45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6584435a527cac54ad1bd678db9726c129581860","datavalue":{"value":"W2507660487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$6207945C-D874-4C0E-A468-52E3A0659AAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$715A8D9B-D8D8-4BD6-A5DF-5B56D785E418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35be1e65ffd0335dfcbe3f59737c05901de565a3","datavalue":{"value":{"entity-type":"item","numeric-id":3912018,"id":"Q3912018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$1D638D0E-1DF1-4C50-A201-80E1CAE8E00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877bdbbf04a74a14c02996b319a19d90dffc5cac","datavalue":{"value":{"entity-type":"item","numeric-id":5271092,"id":"Q5271092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$EA5C8AD0-D574-42C6-AEF2-5F5B95CEE95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee887e27045cc2972dfe2a53782c3e858abdcc8","datavalue":{"value":{"entity-type":"item","numeric-id":1057666,"id":"Q1057666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$95E8D253-B78E-4BA4-82BC-833CFAEF67F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e82a33674afd4c9b21cb89ce09fd2a27c31d430","datavalue":{"value":{"entity-type":"item","numeric-id":1861534,"id":"Q1861534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314825$BB284319-3374-465C-B28A-9E69E93C7568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25af19c34d09ceed06e75db25c1c8c54ca7d5760","datavalue":{"value":"10.1016/J.JCSS.2016.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314825$C666B1EA-C96F-4214-9525-036CC027129B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133112295adf7674e12320a9c0ba6961876e8fde","datavalue":{"value":{"entity-type":"item","numeric-id":5271092,"id":"Q5271092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q314825$EA72C1CC-FF0E-45C4-9F69-DE97C663D158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962f6f340e18509db52091830049e9d3458cc7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3680677,"id":"Q3680677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082a1825f7fc8d3aed9396bd11eb1eac45b3fbc4","datavalue":{"value":{"amount":"+0.8668619","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":"Q314825$D29D0400-7FD6-4DAB-B5F1-8F0945D31A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2066056d878fdaf244120713ccd03336ad6e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":2718684,"id":"Q2718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b885cdee2e2c1c17eb2901dbe25d0e75543511","datavalue":{"value":{"amount":"+0.85704947","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":"Q314825$40731386-558A-434A-B773-104AED340AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7ce5725bc8491b44ecf6d1bd8f84c7690adf95","datavalue":{"value":{"entity-type":"item","numeric-id":3741474,"id":"Q3741474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890d184c9a5ce7e815b330e1d32acdf12f40ccfe","datavalue":{"value":{"amount":"+0.85079485","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":"Q314825$FB24D115-9B8F-4BBD-A7D7-0C107C145EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f772709a874fd0902e8dd7e88cec0d5c91fd1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2480536,"id":"Q2480536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e25f18cacccb18077de5b57af3c1b508c5927d8","datavalue":{"value":{"amount":"+0.8503455","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":"Q314825$B974EE61-D205-4F91-B9EC-36F1A41CB1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953c454a07b0ce429a296bdd849854461aac1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5290941,"id":"Q5290941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbcd16426bb591b42911d2d7c553fbaeff0c3ba","datavalue":{"value":{"amount":"+0.850182","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":"Q314825$559CE2CB-2ED3-4FE7-BC63-E31C771C0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a82e2d8a009da824e4c0367a666d307f2194f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3793979,"id":"Q3793979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7958e4e1d21d1ef96671dddab1a94f4ef6e8e5bf","datavalue":{"value":{"amount":"+0.84782803","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":"Q314825$FB0E051F-6B45-4BF2-8CC2-689EF749AD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ae2bc0aed252752539bc7bec992c7c5c5148d1","datavalue":{"value":{"entity-type":"item","numeric-id":2352670,"id":"Q2352670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333a696965b28ca22bd5519f63c069c8bf77bf88","datavalue":{"value":{"amount":"+0.84265506","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":"Q314825$92EC7F22-DA66-42D3-9132-BCD932FBC3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b668dbfc57be4cec27561f5699b4964e50f749d","datavalue":{"value":{"entity-type":"item","numeric-id":5932266,"id":"Q5932266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a891692c13de446c7856028e61fa8949f8d28d64","datavalue":{"value":{"amount":"+0.84179384","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":"Q314825$545413B6-9888-41F8-ABF4-7CF609A834C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0253f044b570a5c8fa00a47cc18361a565fbd980","datavalue":{"value":{"entity-type":"item","numeric-id":3468219,"id":"Q3468219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281d409ce26fd8b01bc3436aaf530f67532f93ab","datavalue":{"value":{"amount":"+0.8400411","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":"Q314825$A8907F7F-C1A5-4B5C-9464-8126CF708292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converging to the chase -- a tool for finite controllability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Converging_to_the_chase_--_a_tool_for_finite_controllability"}}}}}