{"entities":{"Q6535969":{"pageid":14147112,"ns":120,"title":"Item:Q6535969","lastrevid":55604998,"modified":"2026-02-17T19:35:59Z","type":"item","id":"Q6535969","labels":{"en":{"language":"en","value":"Reasoning formally about database queries and updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817398"}},"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":"Q6535969$A2CFEFA5-1318-4049-9CDF-4EDA611BA058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f30705544e9c509e12492257216eb051e5dbcde","datavalue":{"value":{"text":"Reasoning formally about database queries and updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535969$11040A3A-1878-48AE-B54D-CCB0A57AD9E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33e6f5b9d7b362fd666bd258b25dc5ed7ab71eb","datavalue":{"value":"1539.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$DD20ACDE-840C-4B65-97BB-06469B35B16A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b64b1c88ff17a386863e32d01452eb4a1077805","datavalue":{"value":"10.1007/978-3-030-30942-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$D1410B35-EC31-4CC3-A3F5-0A82143D678F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439ca872d127c655da8792c59cdd3857b359bb23","datavalue":{"value":{"entity-type":"item","numeric-id":1663988,"id":"Q1663988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$CDC640DE-1302-457D-BB8D-0533A88E85F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$1FC3AE9B-A422-46BB-9722-D2702BCDAC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$C8F45158-E3D7-4D0E-8C73-DFCDCD451E61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535969$4DDF62A7-8789-4216-8CBC-788B0C93223D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$5AD8ABF1-E863-491A-9D53-55D6E6E15BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$DCB64C06-5620-4B21-AF3F-EB5AE836144D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$405F490C-A2C0-4C64-9E15-788C68317D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$B5C40969-35B3-49D2-807C-EC0AEC0418FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$D49D9F80-43F8-4708-8641-65A8B47569C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c484060b8e4168fd899de98b204c4774d64d8104","datavalue":{"value":"7817398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535969$1D6A2889-7897-4261-B453-96FDB1B43B3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535969$A03CA5E3-9088-49B1-B899-CEF16E6FE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535969$7A261E2B-372D-4921-940B-FE6676853F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a91fd41af6d989c2540a8aa35062b12cfa26c30","datavalue":{"value":"graph transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535969$87BDD9CB-DC67-4C2B-B2A5-DE8D41518A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535969$E7B274B0-F6CA-4694-9952-2FB72B82C029","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":"Q6535969$144CA440-E0DA-446D-BDA0-423AD262C758","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4e20349bb8d3c9ca17718fc7204ab6e5cedb2","datavalue":{"value":{"entity-type":"item","numeric-id":4608716,"id":"Q4608716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$51DEDFA4-E842-4643-A58F-A6D6DCCD4678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$9CD19772-390C-40D6-81C4-B6A63A444BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c96b379ad1852ab09787f1aa2d4f733aad1bb65","datavalue":{"value":{"entity-type":"item","numeric-id":1281498,"id":"Q1281498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$0C621EEB-7B93-4343-8E1C-1C1FEF45585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bcf02d299152053efa729c799fef89273169b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179408,"id":"Q3179408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$53FDCEE4-732D-435B-9F80-FC3A83D1B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5d939bb7785bab77d88756eff18729c02c9e07","datavalue":{"value":{"entity-type":"item","numeric-id":3190159,"id":"Q3190159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$97F0F9D1-B00C-4F53-80A2-F2F2A03DC731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$B766CCC1-CABF-48F6-88C5-3EE275CB3C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$76E9C432-BF6B-4121-B609-B1FD314EF60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$85BDA305-6BED-4820-9213-3ECAAE88833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0431909a3dd9a9e450ab75d1c63f986c826b0e15","datavalue":{"value":{"entity-type":"item","numeric-id":4412857,"id":"Q4412857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$FA1DFFEF-D385-4ECE-ADD7-50AFABD49B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883b9d5a3c9c1692f2cc82e30260bbc9fe67d595","datavalue":{"value":{"entity-type":"item","numeric-id":3058276,"id":"Q3058276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$5D9E048D-C4AF-480A-B012-448CF34B218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba47af4f79cbba17737d5264cdef6899b197a9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3174909,"id":"Q3174909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$90093CD0-F570-45E2-9610-3B8C43523E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf274133ab238204d567117233b8bc8215fb7b0","datavalue":{"value":{"entity-type":"item","numeric-id":878753,"id":"Q878753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$41BA321C-FD21-43FE-9CF5-D6D3333CE50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537784505629bfdf134a09fc2a6de3f02d0b833e","datavalue":{"value":{"entity-type":"item","numeric-id":3520999,"id":"Q3520999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$3EE0E07F-D6F1-40B5-9438-114164DC960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535969$54BB129A-8D7F-411B-9FED-27FD30C8503C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612090a362eabdd7f8ab9b2e839731884fddbbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3128529,"id":"Q3128529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3730f03ae8c18758cc5bad57779b53370eab8c9","datavalue":{"value":{"amount":"+0.7698728442192078","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":"Q6535969$CB5814EA-DCD0-4D32-A717-6216699BA7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b85c0f865846c68e09fcf03bbf6f8ae7874355","datavalue":{"value":{"entity-type":"item","numeric-id":917282,"id":"Q917282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1db75415cb0871166db11bc69b0839ae6a80b5c","datavalue":{"value":{"amount":"+0.7553629875183105","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":"Q6535969$BAE59655-6905-409D-9D65-4689069F6E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70738f7cdc8f542eede1cd4bd2a4a854e4760dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5316588,"id":"Q5316588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd8ce3133694d441b2ea1260383c3b3cd8bd5f8","datavalue":{"value":{"amount":"+0.7518817186355591","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":"Q6535969$C7A8923B-AB9D-452B-A4CD-0E0E520F6E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe38a0e728bf9622c7159bbd25c7de22930fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":1092680,"id":"Q1092680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842dd90255d45c04c6534cceb1f7697d3f105d26","datavalue":{"value":{"amount":"+0.7434869408607483","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":"Q6535969$A4C1EA29-8AB5-42C7-B594-B60DE66C3A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884912a7f01f8251e02e172b6e13fb72bfb9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faee5ea0583eeddb5f11443b790f15dfb8187909","datavalue":{"value":{"amount":"+0.7389921545982361","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":"Q6535969$1940EB25-09A8-44A3-A04F-779F8FB3DBCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535969"}}}}}