{"entities":{"Q6070796":{"pageid":13205104,"ns":120,"title":"Item:Q6070796","lastrevid":58663245,"modified":"2026-04-06T05:50:13Z","type":"item","id":"Q6070796","labels":{"en":{"language":"en","value":"Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770438"}},"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":"Q6070796$FECA414E-ACA5-4E21-8D5F-F25284FE4F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8b3b9aff0d90dacacf02537e989c35a16972be","datavalue":{"value":{"text":"Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070796$6C0FEE25-B08F-4110-B46E-F14ABAFFEC47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c3d0f13e7b4fa1b063d0b6072415197790cd38c","datavalue":{"value":"1524.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$2B7584CE-DE71-4C28-ADCF-71E83E21611A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0bb7f03f6dbe6f911a3622130da35b1b361fb1e","datavalue":{"value":"10.1007/978-3-030-17184-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$33F53F92-9E28-4F3E-8E31-A5F9A877DE61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070796$5A320F36-C721-4D99-8028-5676D647A32A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070796$9893E3E6-BD66-4B5C-A968-6B2F4E839726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12fe50ace61258eca588f9ead3403f65db03c338","datavalue":{"value":"https://arxiv.org/abs/1811.06069","type":"string"},"datatype":"url"},"type":"statement","id":"Q6070796$FF090B24-EA38-4C4D-91C7-8F66CC7AD680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$7D2BC262-29F5-4FC1-9393-9E4C881DD464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$6EF38C32-C5BC-4B41-AD51-37F2DE6F0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$E14C6720-CE3B-4D40-B8F8-CF2A91D90892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba2a5876b46f0bca86576db94254d07a8c0b3396","datavalue":{"value":"7770438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$40799D35-A034-48AF-8590-2DF0C67161A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140a86685526f7d0ed5cbf8fb56d7e4fa636f714","datavalue":{"value":"incremental computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070796$93B2B893-589D-4D1C-866F-E36D49C0AB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070796$6AAA4ADC-058E-48BC-AB49-F9DDB29DF96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070796$1F83D365-DC62-4D48-9B8B-9AE9B4FFA4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070796$D098B98E-5DD5-445B-AEE7-23886FBDB76B","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":"Q6070796$BEE454F8-2D3C-4BA5-9A04-79F11D699262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91d62a3adf39d17a81cc1307385bd69115f2397b","datavalue":{"value":"W2901959279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070796$04115335-67E3-4649-BE9D-F8EFFE4501C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a59a0c9776168c1a6d42100845d6bad0a8f945d","datavalue":{"value":{"entity-type":"item","numeric-id":1924723,"id":"Q1924723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b218540c7ff266a0026378238fd1a738da39b3e","datavalue":{"value":{"amount":"+0.7767157554626465","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":"Q6070796$2460602B-E30B-42E8-A6D6-2C3046C58441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33cf66f958016543d4a0f8c8ab4e2645346b417","datavalue":{"value":{"entity-type":"item","numeric-id":2664934,"id":"Q2664934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c418b87de8722ebc7c0853ef8dca805581e9e1be","datavalue":{"value":{"amount":"+0.7562845349311829","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":"Q6070796$295297E0-CC3A-4BA5-9D56-428C27A666D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3887e18fafd6f4baf81d360a64c7ad38213b1227","datavalue":{"value":{"entity-type":"item","numeric-id":1595470,"id":"Q1595470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7683f8315243ac7b8b85c159be317294e1255fed","datavalue":{"value":{"amount":"+0.7559563517570496","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":"Q6070796$B4C05B49-4080-42D8-BAE4-FA9BD327B59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57070d8a35b89191e124935fd8a5291c55599640","datavalue":{"value":{"entity-type":"item","numeric-id":1892179,"id":"Q1892179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab122c3053c1c13a01b4e0907bdacaffbd4fed6e","datavalue":{"value":{"amount":"+0.7451279163360596","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":"Q6070796$B3F26357-95DD-4919-9AA1-223234A99DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca0767679d5b1c984f66fc917b61dc510925e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1401928,"id":"Q1401928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ed1ae01328cc14380fc2c299949b92e1871cef","datavalue":{"value":{"amount":"+0.729861855506897","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":"Q6070796$3CC4FC8F-7534-4B10-B349-AB5C96C92D1B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070796$EE8A593E-650F-4B22-B6EE-9B0C57BA501B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6070796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6070796"}}}}}