{"entities":{"Q1791148":{"pageid":1801890,"ns":120,"title":"Item:Q1791148","lastrevid":72966318,"modified":"2026-04-14T09:04:31Z","type":"item","id":"Q1791148","labels":{"en":{"language":"en","value":"A Coq formalisation of SQL's execution engines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946975"}},"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":"Q1791148$DA54D2EC-0BB1-439D-9CEC-14A3345D5122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b9977ba0017173a1c134ff81e217bcd61f218b3","datavalue":{"value":{"text":"A Coq formalisation of SQL's execution engines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791148$A4898B07-86C5-45AB-9B80-9E371447972B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6808d3b7babb708b88f5688546ff8693a52c6a","datavalue":{"value":"10.1007/978-3-319-94821-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$54D75BE3-804D-4BAD-A0FD-3503215B542C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$2AB04410-DAB1-4C8B-B5E7-8956B5626A47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791148$E6E515FA-6069-42F1-BD0F-ABE1D8F8EFC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$574D3AFA-86FF-4F54-B624-B9FC586FABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$10BEDB1C-C08B-410B-B103-720FBC64EF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$9A4CA989-85BA-4BFF-90C4-5AE91391F7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e6bcc499465164f1ac540bf73ef7eb996169861","datavalue":{"value":"6946975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$4FFE8D2E-39D9-4B8C-AB16-17240AF653F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$B36C1EAE-FC98-473E-8B0D-D2BBFAB24CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$42656B55-5803-4898-971E-CC8D92EF3B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d4f45e09f56e46b50a1f7f006f338d92c90d838","datavalue":{"value":{"entity-type":"item","numeric-id":40390,"id":"Q40390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$75A3FE01-522A-47E1-B9B1-B63551C7C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22b18cece7429ddade63900cfd7e134b1ffa11ad","datavalue":{"value":{"entity-type":"item","numeric-id":40391,"id":"Q40391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$3911A00B-8348-4244-84CC-03FF025305B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99a52005aa724b06d0b4adc32b5c339fca615b02","datavalue":{"value":{"entity-type":"item","numeric-id":39200,"id":"Q39200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$9A755130-A486-48AF-BFF6-933691F4979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$FB7D7E33-E963-473F-B93C-B1847FA950AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6cc8b602290f72455ceb0d513144a2973b9cf741","datavalue":{"value":{"entity-type":"item","numeric-id":33310,"id":"Q33310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$B972BF7C-90FE-42A7-80B4-5C0A9F0702C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$0759DB8D-D9E1-421A-B98B-87E0DCFA3160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$35B3D327-429A-45C4-9AF3-8DEDC1D7127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6afb9e05f24776a03d7fcd415baf7b99112468c9","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$9C91F945-A00D-4E8A-9E77-2C0D611424D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b44edc7668d754ae0495e0a158a96df3a466cb06","datavalue":{"value":{"entity-type":"item","numeric-id":40389,"id":"Q40389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791148$79EE42A2-F6F5-43D9-A5B6-3EEFA2807641","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":"Q1791148$0B26E50F-BB11-4F6E-8BED-50F5128DD04B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daa42862c8415b42ba56c0643dfd87b37405f391","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791148$365D7653-314F-43E3-9DA1-69E76D46FAFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2222ae2e8531caf9b32df5e66d0fef0fca26dd75","datavalue":{"value":"W2810289772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791148$7BB433D4-1B60-4615-9FB8-FC80163850D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9b569a333d923902d3c074455ea123a9538411","datavalue":{"value":{"entity-type":"item","numeric-id":5410700,"id":"Q5410700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d6f4253062e55f805871d4289d23daf66ab9ee","datavalue":{"value":{"amount":"+0.8239957690238953","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":"Q1791148$D1DE33E0-EDAF-4C45-8CB2-49ED5353A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d8313658e95b15113e09c4e0131c11cb8c6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743df2c312dcc1556943bdcfdb98ca46fba037ad","datavalue":{"value":{"amount":"+0.8169609308242798","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":"Q1791148$8CEAC32B-0E01-43D2-8705-876BE8DA0CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81112f804b1d3742fc6d6a1ac1752c6bf80624a8","datavalue":{"value":{"entity-type":"item","numeric-id":2102947,"id":"Q2102947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f805d37ae0cbe04637a9405cd764786879f5cce","datavalue":{"value":{"amount":"+0.7757391333580017","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":"Q1791148$67CA72A3-A5AA-4CBA-9693-C699820A3613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5d3a9bfaa35aeb9a6c1d64c9f4dc2c86ed3ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4357063,"id":"Q4357063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef950aeae58a3cf20c140d7989b64c348228291e","datavalue":{"value":{"amount":"+0.6864328980445862","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":"Q1791148$2041E309-0434-43FD-BD55-EF8BB4B37E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e85992e3bd6072b693be519c2115b4868823a0","datavalue":{"value":{"entity-type":"item","numeric-id":4559800,"id":"Q4559800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91417fc8eaa50c124659aa0d74f8b5b66e969a5e","datavalue":{"value":{"amount":"+0.6847935914993286","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":"Q1791148$C18ECB26-A8CC-4733-A483-6A3E477FD6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coq formalisation of SQL's execution engines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Coq_formalisation_of_SQL%27s_execution_engines"}}}}}