{"entities":{"Q4592728":{"pageid":6622313,"ns":120,"title":"Item:Q4592728","lastrevid":58297329,"modified":"2026-04-04T15:07:37Z","type":"item","id":"Q4592728","labels":{"en":{"language":"en","value":"Fixpoint semantics and optimization of recursive Datalog programs with aggregates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803837"}},"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":"Q4592728$DA104E2C-328B-480F-87A3-F0CCEB3F0C4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad5ff958a9d2db4bd57ed62199251ea6c39f095c","datavalue":{"value":{"text":"Fixpoint semantics and optimization of recursive Datalog programs with aggregates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592728$1E051534-FD42-48A4-BD1E-1824BE6695B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6216fcf77d2bc6e3d38237327f7395b4a12ff0","datavalue":{"value":"1422.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$54305133-2811-4C35-A8A8-08DDC70118EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8395e87d54fc0d8407a64391fd49ed3ad8286ee","datavalue":{"value":"10.1017/S1471068417000436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$AB79E90E-08CA-4AC3-BF54-B57F02C02DD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"222e73af1bd82e81f1c3cf2681afba0100e392fa","datavalue":{"value":{"entity-type":"item","numeric-id":199228,"id":"Q199228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$B7638989-D7C8-45FE-B00D-8CA549EB963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1503e9f1d58ce543f0fc9bb6fac9df3bb4d18b2b","datavalue":{"value":{"entity-type":"item","numeric-id":726337,"id":"Q726337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$82991F21-6856-4150-93C3-0B7E53057027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4203d1b42ff085ce0b82efa8db654f8e4bbd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":4559829,"id":"Q4559829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$A6062C81-509F-4CF2-8C9C-3102D3C0F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2adfda7e2d90dc8044cf15d5d446307ef02ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4559831,"id":"Q4559831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$BE722F21-4935-49A0-B772-C1B6D10D55FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c160f3bb8fec5dce7e6bfcfc96e96fc51c9d57","datavalue":{"value":{"entity-type":"item","numeric-id":4559828,"id":"Q4559828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$313DA1F7-27E0-4124-8532-C93634E11566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f063e2b5da58bb59d17461c54b8c936083d90d8","datavalue":{"value":{"entity-type":"item","numeric-id":4559830,"id":"Q4559830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$1F0BE3BA-2FF3-4366-8242-7E661D9B5295","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$6B0649A4-455F-4231-9DC7-BD0DFAB90F8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592728$C087883B-412E-462D-9F07-E88951735E83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f77002e7852ce4eeb8121b41d1f7c49c7895092b","datavalue":{"value":"https://arxiv.org/abs/1707.05681","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592728$A0CEABF8-CE7E-49FF-9A43-0E128FABDED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$0443A5F4-B1AB-4059-A495-1ADA2509047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$A46FC605-0961-4962-920F-1914FE321671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$AD04EA5E-B33D-4B37-A62F-1DF42E8FDE62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dfdcf3b373110ce17f2c14633213ceb79864dbb","datavalue":{"value":"6803837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$3063C516-94FC-47ED-89EE-C29262C14F04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592728$E65BC007-8C16-4F3A-8F8A-FFF0184785C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592728$EE30A321-4094-4AE6-BFB8-D36EED90E96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592728$F3EF607A-F6C7-4080-8F49-3E52A1153E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592728$DBD2C1FF-DF76-491F-9281-CE087460F859","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":"Q4592728$947D2F82-E4F7-4BB0-A37A-DCAAEE14F17B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b41efbbcc81bc015cc77f5e4a1b7d93ed9ce59","datavalue":{"value":{"entity-type":"item","numeric-id":4452592,"id":"Q4452592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$09E5B640-0AB0-484C-83DE-01F21EDA5B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$1DFF9521-1BC2-439B-983B-745955996F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7430c1b71ea751c54d078b5bfe083c1d3e4efb66","datavalue":{"value":{"entity-type":"item","numeric-id":1859985,"id":"Q1859985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$BB3D6685-81CF-4613-87EA-0A8C8466A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85dbe35336bf63e0eb65f2a52bb62ac859b42dce","datavalue":{"value":{"entity-type":"item","numeric-id":1900929,"id":"Q1900929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$B69EB163-76E9-4A64-938F-1F1BA1E5B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614e3105c95f588131b97303d8b492178b2a78f2","datavalue":{"value":{"entity-type":"item","numeric-id":2931266,"id":"Q2931266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$4E2CAE9C-A585-4B16-836E-86B014129F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c59fa7f4b294e799acc01364c759f6d2b2ef8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5398299,"id":"Q5398299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$F6094DE8-5116-4148-83EC-E4C32204FC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c4b6001cb9d69cecf26763d1651c3d8c4ef295","datavalue":{"value":{"entity-type":"item","numeric-id":1924786,"id":"Q1924786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$61A64DB4-0CBE-4E57-AA4F-097AAD87AF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$BE32FCB7-7D52-4C90-82B6-2F8163188796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daca2a79e7566c449a29f626072fab84a88f0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3432855,"id":"Q3432855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$7493CF6A-F4E9-4811-B9E7-323FF3A91205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9dd8248290f696e1b24404045c010f655ff5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4930773,"id":"Q4930773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$9B6AE42A-2BC4-4471-AA87-9966881A5A73","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":"Q4592728$E8192E90-4AC9-4851-9A25-FDC231EAE7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfea2af600fad5f786275f5d6ea03d272147ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4342504,"id":"Q4342504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$5EB0201C-0C32-45A2-BE2E-ED4ABFDAAA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f7d39c31a96484cc9f2d7c6803c766a34511f2","datavalue":{"value":{"entity-type":"item","numeric-id":4592996,"id":"Q4592996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592728$C4F6D1F5-5344-407B-B371-D899907C4900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fdc71a6e79537152625d9daaf176df6ddb0fe89","datavalue":{"value":"W2964250337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592728$53E47435-AD3E-4BE8-BFA8-DAD56CACAAA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4411043d5fcee49c14de936808bf195ea50a3519","datavalue":{"value":{"entity-type":"item","numeric-id":3003251,"id":"Q3003251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fefc0d0d5880104038e2eb4dfeab52260d48b0d","datavalue":{"value":{"amount":"+0.8037149310112","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":"Q4592728$AC07C145-CD9F-48B9-9EBF-5D2C3E2A3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d578ff68eb19c12537c1a901197922360974c7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2872498,"id":"Q2872498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3398c3bd9b55b6a9f4bc7b1d90ccdbe958917d","datavalue":{"value":{"amount":"+0.7854992151260376","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":"Q4592728$055A1CE0-3F4B-4F62-BEB9-B7EE4AC4EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e20506ad864bd1e9d18b9c00716f526c3c75416","datavalue":{"value":{"entity-type":"item","numeric-id":854685,"id":"Q854685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d841626723efda6ef529674c9a7d167486c9b16","datavalue":{"value":{"amount":"+0.7698440551757812","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":"Q4592728$F7A3EA83-6DB7-47E6-B341-B181FB291AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e700986ed20a6ffa1257a3d15aa0a70847f9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5394125,"id":"Q5394125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fc7bae1e369873a8f66b6e89539b300f51294b","datavalue":{"value":{"amount":"+0.7638540863990784","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":"Q4592728$EB25E19F-A6F9-4867-94F8-831B4B49F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d001db3a3ee9714753bea4b1ce7d23a755fc","datavalue":{"value":{"entity-type":"item","numeric-id":5688928,"id":"Q5688928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a1db4890aa64f4187e917548cef424a8e977cc","datavalue":{"value":{"amount":"+0.758866548538208","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":"Q4592728$DDFF57C0-980E-4509-B786-FE682CD19F94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592728"}}}}}