{"entities":{"Q4031370":{"pageid":6061106,"ns":120,"title":"Item:Q4031370","lastrevid":55227493,"modified":"2026-02-05T01:42:53Z","type":"item","id":"Q4031370","labels":{"en":{"language":"en","value":"Updating intensional predicates in Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 148983"}},"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":"Q4031370$A5ADE9D0-3097-4FAB-98A7-58634C47BCD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b2a243743467286199fec7a5c25dcab7e435fb","datavalue":{"value":{"text":"Updating intensional predicates in Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4031370$4F8A300C-A949-48A8-831E-82E1B19B885E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0858a70aa419548c7565644475ec3bd34de449d","datavalue":{"value":"0794.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$A6F92C16-8B55-488E-85FB-668D1BE39968","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55ea229eb177a853675ac068c497c044e104f12","datavalue":{"value":"10.1016/0169-023X(92)90002-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$238BA2E7-7AEE-4198-B7E8-55C4F1D764DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f5fa4e349202b183360a326accd3b7ff4c5a51f","datavalue":{"value":{"entity-type":"item","numeric-id":429438,"id":"Q429438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031370$676F6E82-95A5-43E2-B802-C192DEC6A8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7a2adfd03d0d28a29d9147eab43ca5008c3067","datavalue":{"value":{"entity-type":"item","numeric-id":1338901,"id":"Q1338901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031370$F13959BF-0C21-4EDA-8336-586D08CA91DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e581334e6cb7b4bf9007edd100bd25e637035e39","datavalue":{"value":{"entity-type":"item","numeric-id":156168,"id":"Q156168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031370$46DDF988-B993-499D-AA47-D6F39E97DE94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4031370$51BB563F-908C-40C8-BB90-9709A245B06A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$E11C4839-AD25-4702-ABD5-1E09AC93DAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$C711C48D-6888-4BF0-A7A8-5CE5360BAE74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c4416c2badb407fe91f94ff5be2ddc6b9dfdb00","datavalue":{"value":"148983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$C0CF5B40-27E8-4570-9258-4E73861B053F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908b7e177cf89eb5340294072eb76a5a25867af4","datavalue":{"value":"intensional updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031370$5026A176-90AE-4FB7-8FFF-DDDA846A54DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bdc05fb1005b2d2be1fabd50a21850bbe9fc6e9","datavalue":{"value":"update semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031370$9DC2CB0C-60C7-4282-BF94-F2BE5DDB362C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031370$E34CF9BA-6778-4645-A518-D39AABBFC48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862ccc1e6bfdca3bbe9295dc174633653ad8ac81","datavalue":{"value":"Datalog database","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031370$CF199B45-6CB7-4D19-8905-7A4A48A8AD9B","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":"Q4031370$83FC8BCB-4A96-4121-8757-8435C68A34C1","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":"Q4031370$3DBFB0F0-E466-4185-AA65-4A3C447C31D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d51fc36e6325ea88bbf784796df79cd2b16ca09a","datavalue":{"value":"https://doi.org/10.1016/0169-023x(92)90002-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q4031370$75F59CD4-0888-461E-90A1-BDF2DC4467DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4517655a92c1bf87269ce13e31326e823ee80c41","datavalue":{"value":"W2026728661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031370$9906C0C0-4E2F-43B1-ADB8-1856FBBB34BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240d487607137662386f3d6c030541410c0e76b3","datavalue":{"value":{"entity-type":"item","numeric-id":5101442,"id":"Q5101442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f84e7854432644377f3fd4a897e0b631597a28","datavalue":{"value":{"amount":"+0.8630484938621521","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":"Q4031370$F39987FD-82F8-4332-826D-1A0721A40990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b183a2f9e5d3a76f7d0d35df5f662bf103ee13","datavalue":{"value":{"entity-type":"item","numeric-id":3840929,"id":"Q3840929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f3d91fead3d300ed28f54eb211c4c4777d8c5","datavalue":{"value":{"amount":"+0.8480242490768433","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":"Q4031370$43A8AC3E-1931-4955-A432-786E89B238A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7204a829a6d3782df49ffa27b01233bb97d324","datavalue":{"value":{"entity-type":"item","numeric-id":1338902,"id":"Q1338902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0718f12a7afc6276919ca57b0a400263edd66b08","datavalue":{"value":{"amount":"+0.8236146569252014","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":"Q4031370$F2E6391F-FFBA-4B62-AB97-1C0EC0B05F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adfa0e40f8c1116d155106c1b6b53b31391cc41","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bda8c1ed847a94eaa5bf9e565589261704c4b92","datavalue":{"value":{"amount":"+0.820592999458313","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":"Q4031370$251A2D86-9601-481C-80ED-B9D272D7DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8ff8629952b7c4373523d4b15cd593ac64a250","datavalue":{"value":{"entity-type":"item","numeric-id":1319392,"id":"Q1319392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d229a1c478f2493b88d05af88629159f2f95551","datavalue":{"value":{"amount":"+0.8136472105979919","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":"Q4031370$5BF26F3F-1CE8-4DAE-A101-5D684A7B2816","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4031370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4031370"}}}}}