{"entities":{"Q1978016":{"pageid":1988758,"ns":120,"title":"Item:Q1978016","lastrevid":46897740,"modified":"2025-12-25T19:47:29Z","type":"item","id":"Q1978016","labels":{"en":{"language":"en","value":"Inference of monotonicity constraints in Datalog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456915"}},"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":"Q1978016$8A99C277-DECE-4C5B-8A44-3E3D099AF0E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4913ee6b9a8fd9cd3d37617ad37ae3d1fe6a967","datavalue":{"value":{"text":"Inference of monotonicity constraints in Datalog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978016$9E66683B-343F-4D63-BD6F-8A67726DD307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc396409c5bc86684db11dde9e9df18945e5f71","datavalue":{"value":"0942.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$42571CC6-48DA-4DA6-B2F1-CDFB61EF0BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b276fbf6c68b15bfcf4c474acce1f2553adfe63","datavalue":{"value":"10.1023/A:1018994409271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$7B046AAC-EFF3-44A2-910A-8823D7B5109D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff272536738664d4f47691f3d560260c71fc64d2","datavalue":{"value":{"entity-type":"item","numeric-id":1378376,"id":"Q1378376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978016$71B61D2B-65D7-48E9-A5A4-85D1208A24D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978016$203BBD36-886F-43C0-9DE4-D10732A44315","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978016$F1BC186F-163C-4949-95C0-2DF216FB402B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978016$C45D441A-3565-4BE4-A20F-FC06E755BFA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$15D349F2-6BD9-413E-8CD7-5DBD60325FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$6F169EF7-1FC1-4B91-828F-ED4A5E4F263A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c9e3a8f59c431b138f8be65db24b2cb3aeae82","datavalue":{"value":"1456915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$7CC34688-72D9-4365-8B6F-4E05346FA926","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978016$0A55EF72-881D-49D0-9B9F-56AC27BA4F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978016$8F6020A4-3833-4B51-BF8B-9EBE750882D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fafd4af0a8c84c9a3a1295034de1800992fdd9b","datavalue":{"value":"function-free logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978016$D160BF23-DC72-4798-97B8-20034C664445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff0a24d2ad2fffc9698a9cb166c717c88786686","datavalue":{"value":"entailment of monotonicity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978016$6B36AEC0-1CE0-4476-8E10-16A97A32354E","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":"Q1978016$F33ABAA4-70DE-4FB2-8E22-5D81F447860D","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":"Q1978016$78F3C226-5CBE-418E-ACD2-A370F5FCDCB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65dbe2a0b56413e21bbb1fcf9fb1c906a8d7e65a","datavalue":{"value":"https://doi.org/10.1023/a:1018994409271","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978016$C1C83054-AD9E-4FB0-B9C3-E975139BC0CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df59297d79874b36abc7a9d7792c9ac61d2d49f3","datavalue":{"value":"W1559764429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978016$8DA1AB8A-6697-4856-8956-4FA68F1598F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de928cb5a9d79115c6b118ff316f0f68671049e","datavalue":{"value":{"entity-type":"item","numeric-id":1208438,"id":"Q1208438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a272045defc070fefa6746eed2d9b6d256aec057","datavalue":{"value":{"amount":"+0.8076210618019104","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":"Q1978016$BC0669D8-06EE-4B87-A65A-45859A3FA98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a601c885b2983d7b576b99d690406f335bfbda31","datavalue":{"value":{"entity-type":"item","numeric-id":4707762,"id":"Q4707762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c8a1cc4f46b88f141836cf0522b4d70b441f34","datavalue":{"value":{"amount":"+0.7810095548629761","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":"Q1978016$E9A0EE9D-23EA-406A-BE29-4F468C850F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f3a71f5560948c3be7531fb69ecf4c5feb57d2","datavalue":{"value":{"entity-type":"item","numeric-id":676422,"id":"Q676422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3d353f77602f87e8fef03e0f4545f0f51d0c24","datavalue":{"value":{"amount":"+0.7579076290130615","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":"Q1978016$947299C7-B129-47B8-9303-B1E8F9650DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f1259e684c25f8e04cd61bede83aaadc09d685","datavalue":{"value":{"entity-type":"item","numeric-id":2982016,"id":"Q2982016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0553b33ae630f43ce256f718b0d3e4c4cd6caf27","datavalue":{"value":{"amount":"+0.7577796578407288","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":"Q1978016$88A89437-33B3-4AAE-BFD5-7A2CD17DCD8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978016"}}}}}