{"entities":{"Q1884881":{"pageid":1895623,"ns":120,"title":"Item:Q1884881","lastrevid":73263636,"modified":"2026-04-14T15:11:58Z","type":"item","id":"Q1884881","labels":{"en":{"language":"en","value":"Linearisability on Datalog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110978"}},"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":"Q1884881$C79DB085-ABFF-42B1-B538-0AD074D2E13B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0766e82d99570a8bf528bd5821a177b39f503e1","datavalue":{"value":{"text":"Linearisability on Datalog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884881$4634ECF9-AC6C-4352-838D-08F9093DEE03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2f619938e87626502a3d704389ed760faf4f984","datavalue":{"value":"1068.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$B95C7A9B-257B-4DA9-B302-752514F10BB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9255730128703613a17bd1125f76030ab4c5a595","datavalue":{"value":"10.1016/S0304-3975(02)00730-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$5BDAB1BC-EDB4-4F26-A382-AD598118717C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc344ffb9f54d04a2fdd2418198db129910e72b1","datavalue":{"value":{"entity-type":"item","numeric-id":169898,"id":"Q169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$4323286A-6523-4503-AC7A-3738190EABC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58871c670c69f2cc533ac95412a0280e43615982","datavalue":{"value":{"entity-type":"item","numeric-id":253994,"id":"Q253994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$9E93FF6F-D69E-4A31-A6B2-114096C4570B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36388bd54a9e27c6dc605780ab4e2512fef7d078","datavalue":{"value":{"entity-type":"item","numeric-id":269328,"id":"Q269328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$3FC030A0-FEAF-466A-B458-6B45F354BF54","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":"Q1884881$78CE1143-2B08-459F-8BBA-AF460BF58743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884881$F5C20226-0194-4C11-8F35-0BAEADAFE37E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$8E517A02-FE89-41CF-B240-3F306A38835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$9DEF1FD2-AB02-44B1-9B15-0CEB344F7A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a5fbbdb04b2baa86cc00c2d6e14c8f51238c0dd","datavalue":{"value":"2110978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$E6CAE8A6-2EB4-4D59-864A-DB4089182522","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66e2b04c20dd8604424317ed54fc5de69e54d6d","datavalue":{"value":"Datalog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$77DF530E-B008-4ECE-9E17-C57130A6E4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f022f0315b72a5b3a5898b8e6cde2024bb232a0d","datavalue":{"value":"Program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$BD8EE2B4-1978-40DD-95C1-D0602CAD2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f35b0412d71fa0c3ec5c8d59712861eb9eca71","datavalue":{"value":"Program optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$DA52E15D-1492-4410-9785-588A9FEDAB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bc001022173ed460e1eb1b48daaaba68dd646a","datavalue":{"value":"Linearisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$EE8076A7-030B-465B-A43E-B3A103155207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec553300dbf8615408f16ab2fcdf33df3471e59e","datavalue":{"value":"Deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$AFB019BC-2645-4F86-8CD3-7AFA531A093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd666d5795f67f6ebc905bdf33ece513581890e2","datavalue":{"value":"Database queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884881$A0ED896F-628C-4E71-8101-1E4253EBE9C4","rank":"normal"}],"P1463":[{"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":"Q1884881$6AE8C595-1770-417D-923E-4F7C733527B9","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":"Q1884881$7235F6B2-02DA-4B95-80C5-DD2B1702199F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd380f7998c351b14c62fb1b5076eb9a69565d","datavalue":{"value":{"entity-type":"item","numeric-id":4271089,"id":"Q4271089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$9E30E1D3-A570-4CB9-8004-EC7D6A0A6481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb036d38e70240af3bf7776793a1271108a47ef","datavalue":{"value":{"entity-type":"item","numeric-id":1813949,"id":"Q1813949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$2F38E6BA-B97F-421F-AFA9-8EFA31FD6DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aca387e341fbb9b8bdabd6b9c61c6e540a4bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$266EB08E-A31D-492E-A3F6-0DC30BE3343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445ca81f1046c8b5bea1a2062f174b139078383","datavalue":{"value":{"entity-type":"item","numeric-id":1217591,"id":"Q1217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$7F9C0462-A9F1-4EB6-8F3D-029DCCBCEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cce4ba54f548d25819dd8aed778052c1664924","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$02933429-8AEC-46C6-8CED-442FA80B9556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc421beaf448c0aac0777c13814d1b2fe09c3d56","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$888A11B6-601D-4E56-87C6-F9766D553B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$551D8AD4-495D-4804-98C0-769E53A9B563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$C07575BC-EA5A-4178-9249-AA83D7D4D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$F6FD4AD1-2DE5-4FC0-8A77-4E451AE547C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5e5a302b3a7732e95bd95f23bd26edbdb51b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4038669,"id":"Q4038669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$AC712608-82FB-4863-9696-E4D4F2B56518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858c055a7789a65c0f5f58e60f86f450d09283c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286919,"id":"Q5286919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$F9FAAFF8-712B-4D3D-BAAB-D06D6AB9152B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c2acecd84117ef0a97458c75118a92d7d5c0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1900919,"id":"Q1900919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$4CDBBDDD-CBDF-4EA4-9DEE-47DDD6C7A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc3d89a265c0fbf05cbcc30aa42dec8f0736b15","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$DBA8685A-8899-4480-A8E3-1AF012276D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0978a96d0c7eac5a04d9f1e9c0fbeb4fe2b622a4","datavalue":{"value":{"entity-type":"item","numeric-id":5286915,"id":"Q5286915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$E4082B55-A800-435E-B068-D46718BC6381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884881$278DCEEB-1EE3-43F3-9004-443F3F0A94D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98013ee25c6438b4754e74a02b8e799894ca710e","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00730-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884881$ECAA3081-A3D3-4D5E-88A8-0E87748B3E07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc2403ae3c79b499dba2148bccf720bf4db1881b","datavalue":{"value":"W2132872141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884881$83291C56-0D53-49E0-9723-84A03672B310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bd497c6c5f9414681196eede8a77fb5f7ddf1f","datavalue":{"value":{"entity-type":"item","numeric-id":4035347,"id":"Q4035347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868466cad90884e9c1ec0ae4ed39f0c724ce66c7","datavalue":{"value":{"amount":"+0.8771582245826721","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":"Q1884881$CF8527D9-E462-453C-9439-43D00FB922E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4b3c73b22429cee38600ae79ea12d83fb81cba","datavalue":{"value":{"entity-type":"item","numeric-id":2734948,"id":"Q2734948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e180cbcfea3ab9788353d9a289c34c53459eb056","datavalue":{"value":{"amount":"+0.8771580457687378","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":"Q1884881$929C2D52-F8E8-46B4-AE6F-FEA7630D2EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016672153ebe26a927dc46ae8ea11c2d67d798ce","datavalue":{"value":{"entity-type":"item","numeric-id":3125088,"id":"Q3125088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a55fbdbd5b87b4accacfa53842edafb63bb4b05","datavalue":{"value":{"amount":"+0.7969483733177185","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":"Q1884881$3DA59412-946C-436A-A2B9-8DAFB77D4339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1866c1ee7cda308ef5648b1b42d95b2f0860b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":4305302,"id":"Q4305302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c54b424eb680eb44fad92a5725cd5faecbb953","datavalue":{"value":{"amount":"+0.7910707592964172","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":"Q1884881$888DEB78-EFFF-4850-A4E5-ED78237F6974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7091a469894af87effa2a3128da7706d30d55795","datavalue":{"value":{"entity-type":"item","numeric-id":1887164,"id":"Q1887164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec0295e8e1b50e09e158f96b6a73d21634d7cb7","datavalue":{"value":{"amount":"+0.7868287563323975","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":"Q1884881$E55133D1-E070-487B-B6EA-C331CC3B20C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linearisability on Datalog programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linearisability_on_Datalog_programs"}}}}}