{"entities":{"Q688670":{"pageid":690519,"ns":120,"title":"Item:Q688670","lastrevid":63634077,"modified":"2026-04-11T14:30:00Z","type":"item","id":"Q688670","labels":{"en":{"language":"en","value":"A closed-form evaluation for Datalog queries with integer (gap)-order constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438315"}},"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":"Q688670$64EF777B-40EA-4090-B341-E99DF7D07126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb6805735f1baaf0fe5e001e100d94c7d2962f3","datavalue":{"value":{"text":"A closed-form evaluation for Datalog queries with integer (gap)-order constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688670$746915D5-2EE5-4C02-A974-29D67A785985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d745db22b81d09f4ba6ce5c6e576ddb16edac154","datavalue":{"value":"0785.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$46D1DF01-32C4-4FA3-AED8-EF34405950BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8c5a642d97b3addfc601e5570705b640e766d33","datavalue":{"value":"10.1016/0304-3975(93)90222-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$70A562B7-A2A9-4BF9-8BB7-4175E8F60FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1837ca1ba79416e0c604108e5263c0aea5d9bf9d","datavalue":{"value":{"entity-type":"item","numeric-id":676425,"id":"Q676425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$10FDFF75-D5E2-4609-A4D2-718C541E6AE7","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":"Q688670$F56AADF7-FD9D-4ECE-AA73-1939D7DF4E41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688670$A76FF803-5E3B-48A5-AE5E-F5F7093D1AA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c4e3528048e4ea835a9a1dfbf62acdd49c5c207","datavalue":{"value":"We provide a generalization of Datalog based on generalizing databases by adding integer order constraints to relational tuples. For Datalog queries with integer (gap)-order constraints (denoted as Datalog\\(^{<Z})\\), we show that there is a closed-form evaluation. We also show that the tuple recognition problem can be done in PTIME in the size of the generalized database, assuming that the size of the constants in the query is logarithmic in the size of the database. Note that the absence of negation in critical, Datalog\\(^ \\neg\\) queries with integer order constraints can express any Turing-computable function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$F6241F13-7C1C-46C4-B3C9-570A9DC20AE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$A71904A5-8501-449A-862F-B587E501997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$3BB16BB4-E425-4AFD-A7D3-2DE3F6BD8E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$8DD2EBA1-3A28-43AA-BF0D-58CF77A09C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd3d1d23f79b830548a38fe2c3521e0b1162497b","datavalue":{"value":"438315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$F610C6A5-F0B1-4234-9F1F-17F327F8D1C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$52CF2231-5412-46B8-A86C-3A6E44C29230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$FC18C194-6ADB-4CA2-B43C-AD3E076E728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$EB5B635E-563E-416C-BE58-21074F46670F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1e9f244858f5fe75e3327a576f063324f1a6a2","datavalue":{"value":"closed form","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$58CD2342-B57A-4620-BD9D-C77928454997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19cdfec03e959da67e41acf2efd4ae8bbeedd73","datavalue":{"value":"bottom-up evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$59251A93-0C15-4ED6-AD85-088A08D6CAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d49315be35778c568eabedbed4ed634f5c9eb2d","datavalue":{"value":"data complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$F851703E-9208-4813-BD4F-A6591382DAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13651a880cd6e67ef1a4269f655af1678886631f","datavalue":{"value":"constraint query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$8C28A28A-994A-43D5-9037-32F7FE495592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e7b20d1871748e31eb281157e5431976ab825f","datavalue":{"value":"gap-order constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$9CA00F50-CAAA-4F34-9D2E-9D6D87533F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb738c59bd69ca062534f6dd33dac742b97beb18","datavalue":{"value":"datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$FEB29230-31E3-4D40-AA71-4B11DE4C3E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb4dd269c37d10d22c08d4e9ad84c2403225ab9","datavalue":{"value":"generalized database","type":"string"},"datatype":"string"},"type":"statement","id":"Q688670$98F46F7F-FF79-40B9-9785-951303EA9766","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a82980ea9b9e661b9bf9ec7fd1664f08aabd020","datavalue":{"value":{"entity-type":"item","numeric-id":15982,"id":"Q15982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$A52ADE0F-A195-449B-8212-B126975C76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$229B49FB-CFA6-45FD-AEBB-780EA98A4388","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":"Q688670$C12F15B8-A0EA-478E-8942-220277FDAE40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc8034cf6941debd3f5cb8a8775701dd28304803","datavalue":{"value":"Q57641771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$D89B98AD-D1AF-49DD-9AB6-7838F629169F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$03F36ABC-6A8B-4C6C-B257-1393D702104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$0ABED29B-CB49-4A8C-8139-227113FD58E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$B50DC8F2-8354-43E3-AC0E-5A9278F50881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafedb5e17a0209c94d8f0716aa6aff4edd6d556","datavalue":{"value":{"entity-type":"item","numeric-id":1244341,"id":"Q1244341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$9E14A5BC-A443-4907-85C3-F3ED53F31188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$F8A83B75-A614-4841-B287-BFD373A0DA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05946cfcfba0f172be657df3d57dece67c0beb31","datavalue":{"value":{"entity-type":"item","numeric-id":1338897,"id":"Q1338897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$FDF4FA8E-A4F3-4272-A6A0-670CE1287064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$3BC44772-A06E-4DC3-BBB0-EF6BA4500715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$B6DAC046-DFC3-4C73-BDD9-04C574DB0E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b7627e480c5d346c558f198a9e41bba726bb12","datavalue":{"value":{"entity-type":"item","numeric-id":1900914,"id":"Q1900914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$02857954-E9BD-48C6-B854-E7E7054DD518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$09C454C1-BF63-4386-9A5A-329D6BE41EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9843845d878a00ba9e2b944abf98503a9652179","datavalue":{"value":{"entity-type":"item","numeric-id":1124338,"id":"Q1124338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$6DD92F61-0C11-4939-B77D-ACE7211F0018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0f2e26d1a5e637b7f483d125d085e6f10f6ade","datavalue":{"value":{"entity-type":"item","numeric-id":2645094,"id":"Q2645094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$C6671190-2286-4641-BB84-97857945EC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$A110A3B5-B8B0-4EE3-92D4-6C657A6CDC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$72F8D3D2-12A6-4ACA-9AAB-1BC725E22D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$0F7CAC79-C5AC-4A27-B68A-FF2F564CBFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafbaf349e69a1a03cc58f67f3485aedea4d3235","datavalue":{"value":{"entity-type":"item","numeric-id":4694689,"id":"Q4694689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$CF0FEC62-62BA-4F87-9236-6F3CF0FC03A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$FFB0F080-AA6C-4F82-88A0-881F799F864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$E47B039A-99F0-4842-8E0D-8A6FCE4291EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ea32d3564501ddd74ef94d6b05e5727de3a8dd","datavalue":{"value":{"entity-type":"item","numeric-id":1104095,"id":"Q1104095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688670$EAD8A654-343C-4DDE-946B-F1DFBEB016D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c092c048b905b7ba16b6173ba1b23a7f19452bd7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90222-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q688670$E45E7DC0-D4F9-4980-80E9-80BC355ED95F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9f2121874008831fe25f1c6cad0e875cbccb830","datavalue":{"value":"W2022530540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688670$0472893D-83E9-4A7F-8F52-EEAE0CB76418","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f433e02e4bec643005f7fe3a1b61b145a925841b","datavalue":{"value":{"entity-type":"item","numeric-id":4694689,"id":"Q4694689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad7a81bc285c2f679e635d96c3750e1a48521b2","datavalue":{"value":{"amount":"+0.9531128","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":"Q688670$2BA12C9F-2161-4FEC-BA56-A2B83D5B6974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb177b67afe75cdca7ee038b4b2fe6ec943112e","datavalue":{"value":{"entity-type":"item","numeric-id":3839873,"id":"Q3839873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24341377dbb2bd23f950d753bff9aef0a6cec5e4","datavalue":{"value":{"amount":"+0.87081563","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":"Q688670$E10E1ED4-2A6B-425E-8BAE-A6BAA92DD4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a6b3d57475036026fa7b06d7cbc3512ec71b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1378380,"id":"Q1378380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8dc9fa2b42345660209d673742a75ee9495dab9","datavalue":{"value":{"amount":"+0.85116494","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":"Q688670$8549B1B0-D7C6-4507-A703-79E453C410BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a59a0c9776168c1a6d42100845d6bad0a8f945d","datavalue":{"value":{"entity-type":"item","numeric-id":1924723,"id":"Q1924723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397c1c85146b0b470072bf76b0a8fcb0550c3226","datavalue":{"value":{"amount":"+0.8496608","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":"Q688670$7763BA24-814B-4BD4-9724-E79988F2C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2083bb8b745f82dfa8179b5807e8f2b74ec04425","datavalue":{"value":{"entity-type":"item","numeric-id":5191478,"id":"Q5191478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df7657ab3616d8e92bf928d781b9a1aec6f1e68","datavalue":{"value":{"amount":"+0.84588623","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":"Q688670$A12341E5-FE00-4344-81EA-8E98D0E473CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2dd2ab75660a110795bc8f332801c45dfe7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":5210782,"id":"Q5210782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71614da80c042cf5957e2b29d2f0d2173ca0b96","datavalue":{"value":{"amount":"+0.8452523","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":"Q688670$E100E4F7-417A-4A01-922B-4305DE2FE529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f96384ff2fadfaf3f520c6ac5eb30cf3d40597","datavalue":{"value":{"entity-type":"item","numeric-id":4593086,"id":"Q4593086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5833f491210c7446af1429595593621113875fc8","datavalue":{"value":{"amount":"+0.844722","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":"Q688670$7028B49E-FDB3-42FE-BAFC-62437F7C55E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A closed-form evaluation for Datalog queries with integer (gap)-order constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_closed-form_evaluation_for_Datalog_queries_with_integer_(gap)-order_constraints"}}}}}