{"entities":{"Q4934813":{"pageid":6964395,"ns":120,"title":"Item:Q4934813","lastrevid":91666571,"modified":"2026-06-04T23:45:27Z","type":"item","id":"Q4934813","labels":{"en":{"language":"en","value":"Declarative PTIME queries for relational databases using quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394593"}},"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":"Q4934813$1FE8FB4A-F802-4EA5-A719-21F8B85DBA5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b117fbec3048af1454da3be0dc2d19613899896","datavalue":{"value":{"text":"Declarative PTIME queries for relational databases using quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934813$340B1A21-0D57-48BA-AA99-A38D63E62FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"105b1b82e8d0328533404fcc5b798cce07715e1c","datavalue":{"value":"0945.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934813$F251E397-E48A-4FC3-B9C6-C0B795835ADE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032aafba140558c82c03c3da77f727bddea77b26","datavalue":{"value":{"entity-type":"item","numeric-id":329425,"id":"Q329425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934813$015FEFE1-2565-403C-BBF3-EB7C936B9A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dab67fb0de0ca5c2814cb4b6cf653cc30f076c7","datavalue":{"value":{"entity-type":"item","numeric-id":1367071,"id":"Q1367071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934813$B79C346D-9E06-4595-8714-E2FA992417F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934813$A4528717-29E4-4476-BB40-9D35343F0D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-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":"Q4934813$498547FA-2C26-46BF-B4AD-528D60B2B8CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe66ad920925b36586ff584a40fa00b3c8dec7ee","datavalue":{"value":"https://semanticscholar.org/paper/19474c76567e919f0dde403eec1b6959bac7227c","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934813$8A71A12E-7AAB-43AC-9D1B-3FFA6D052DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934813$24C5FAE6-404B-4EAC-B930-E6A4BAA75F09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eba807f9d7209d67c9a9cd11a8d84204d8886374","datavalue":{"value":"1394593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934813$A7EC1E09-CA73-43A1-9566-D23D38B16FAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79b98f44c67953f7ee274bbb4bf90b5a4de8035","datavalue":{"value":"semi-Horn query language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934813$D9940F77-5C44-41BF-8E66-1078F777A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3279d475a9a5421143c258d19f34d2bbf86124da","datavalue":{"value":"relational deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934813$630DCD21-B890-45A0-B662-5E3E5357BF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5271f0d5598fa6de0d33e8a65df9a27581a8f4ff","datavalue":{"value":"declarative query language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934813$8DDC6491-CEA8-4B81-A2FB-09C870976093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d89575e54bd02cd59c7882d45efbb864ebe117","datavalue":{"value":"SHQL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934813$C26805D8-BBB7-47AA-A87B-1EA238542D55","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":"Q4934813$45D7F0D6-7FCF-406F-9F63-511B6226BFAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1df52b9ceddf87174279faf02ac8a8602170f8","datavalue":{"value":"W1978058195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934813$FD5C608E-2AAE-4DD4-A528-D7896A84437C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d06abd0ff143fc5ebd063f6905c8726f5fc0c4","datavalue":{"value":"10.1093/LOGCOM/9.5.737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934813$8182CC80-288F-480D-AEA4-DD9A1EBE75C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934813$A10FA586-8FB3-4DD9-B74A-22C15E603EC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd25ee6e0465eec4eeda8c8e68c7af580a9718b","datavalue":{"value":{"entity-type":"item","numeric-id":4943319,"id":"Q4943319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d742864bf8258867c6753b085cf5e8ce970a6aaf","datavalue":{"value":{"amount":"+0.7703967094421387","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":"Q4934813$FB6DB7B5-A422-4FD1-9278-2F6993E61479","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":"d742864bf8258867c6753b085cf5e8ce970a6aaf","datavalue":{"value":{"amount":"+0.7703967094421387","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":"Q4934813$F2C3EA26-4714-4370-9242-BF0ECAA6C098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c85214c6893aa6423eadb5a8f3d755e72e01953","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda44a8f2d40403fff52135206000acaba2805df","datavalue":{"value":{"amount":"+0.7560548782348633","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":"Q4934813$2048DA40-6532-4463-92A2-9DEA5EFC0766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483efa6300c9ddfa7361845ed33a7412112f3c28","datavalue":{"value":{"entity-type":"item","numeric-id":5316600,"id":"Q5316600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d58989129a763e2204508f08f18ab1981e22f47","datavalue":{"value":{"amount":"+0.74460768699646","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":"Q4934813$E2723B6C-8782-4598-A3CB-C1EA0F6D7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45c114711c028bcaddee8bb573fefeaa145dc74","datavalue":{"value":{"entity-type":"item","numeric-id":1067795,"id":"Q1067795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606307131fa91f8d8be0480872153ff949048ba9","datavalue":{"value":{"amount":"+0.7398114204406738","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":"Q4934813$00F8511C-9629-4292-8B78-6C902D0658D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Declarative PTIME queries for relational databases using quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Declarative_PTIME_queries_for_relational_databases_using_quantifier_elimination"}}}}}