{"entities":{"Q5458443":{"pageid":7488002,"ns":120,"title":"Item:Q5458443","lastrevid":92626430,"modified":"2026-06-05T02:12:51Z","type":"item","id":"Q5458443","labels":{"en":{"language":"en","value":"Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262495"}},"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":"Q5458443$B4832DF5-4F6A-47FE-8570-5E58AEAACBF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1759bd7cefc9d599cbd9d892af6bdce66988c1c","datavalue":{"value":{"text":"Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458443$6E5149BB-5688-49BE-BE29-C0B7B684D9D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cea72ea2a310f9c4f022a7992770f03dfaca154","datavalue":{"value":"1137.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$82A08DD0-A54F-4979-A788-89F2A7A97D1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa40e86bd7ddd35b13b3308a6196929a4c640f64","datavalue":{"value":"10.1007/978-3-540-78969-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$03F4E571-F0A8-48D3-8175-0E2B94D4402A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$50EF9882-BDD7-4638-888A-C528B2E240CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73479b70458c0789796858f4b05c9d38291cce00","datavalue":{"value":{"entity-type":"item","numeric-id":2037427,"id":"Q2037427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$0EFA4D2D-7EEE-46A3-B737-5AE461501AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2f350b0ca7d3bffc2448c6acb1fcdb3a057978","datavalue":{"value":{"entity-type":"item","numeric-id":2304531,"id":"Q2304531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$721852CC-87E7-486E-8E6E-196DFAC6F1EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$F20D84D5-1DC7-43AB-AABE-2B11CBC3E23B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458443$5FF0069C-1CC0-4A36-B4A2-8039891ACAE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$FA9112B3-6A17-43A4-9D25-DCE9107081DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$4D737FAD-F5DD-4E60-AA46-6C3E524AECD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52dc16dc8a325ebbcf8f526e342a8df03a8435c1","datavalue":{"value":"5262495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$96ABE1E5-4568-40E8-B729-8812B2B283B3","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":"Q5458443$C92C9E2C-EE1A-4F39-B0E3-6836FA806471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c544b84b56b21b2a70ab4c3572fff1be0603f55","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458443$5CC89387-F499-4F02-A218-2094E05A378D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3c15c3e1be41809a876600b4a83dd7e415df957","datavalue":{"value":"W4235665075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$4364C104-3951-4019-8FB3-F76F71EF2D4C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9a7f6af1754c2e47c3a6a685560ee6e6d4d9f67","datavalue":{"value":"Q62048183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$91AADA46-0359-4801-A9CE-2FBC780BD20B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$311CA6AC-AB45-41D6-B7D5-4D1E399934CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$5CAC5E04-1558-441C-A316-B60043C3DC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48339e8e1acf4c076e8367e351fc24f244c30377","datavalue":{"value":{"entity-type":"item","numeric-id":5475769,"id":"Q5475769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$038E6B29-A411-4FB1-A2E5-58E6523B0A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc4e81b20f8546036523a450cceb6c505dbe33f","datavalue":{"value":{"entity-type":"item","numeric-id":3007261,"id":"Q3007261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$3371F90E-7323-49EA-A59F-FB6AAEBF8F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d136bf4127b0e030fa9bb965222410121ad4e90","datavalue":{"value":{"entity-type":"item","numeric-id":3430666,"id":"Q3430666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$CDD24D9F-B90D-4675-8263-2023B2C0F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd58b44b465ac87cbfe56d155513913ba5ac7605","datavalue":{"value":{"entity-type":"item","numeric-id":4452636,"id":"Q4452636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$3A90F3CF-7A2A-4D0C-B14A-F962F0A0AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb530ca19c32d1648faf59b727d4a7ba1ce564e","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$F5CEC405-4766-4E66-9F44-7B57B18EB95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$EAF42897-3610-415C-B8F1-DBC5510408B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c29da5a9b5198339818ec2591e1df738b908b7","datavalue":{"value":{"entity-type":"item","numeric-id":5458443,"id":"Q5458443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$EB9030F6-853D-4FD3-BB1D-3BF0DCC3D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d65a7a9cc970755851e412a21170da535828b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508941,"id":"Q4508941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$36F45235-BE4D-4383-9156-69DB329FA9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21137ab7a471f67814fe16d1e705bff9ccd4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5925716,"id":"Q5925716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$1E0F7295-5A3E-4CAE-94EB-844AC28A8F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458443$0E7CB66B-D4AB-4BFA-A241-E035D10A2AA0","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":"Q5458443$B816587C-5623-499D-8D68-6B29A02C1EE8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"377e03d1c3793b90a64656395c6fb6df9e1d7827","datavalue":{"value":"conf/flops/NievaSS08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458443$73460204-E4D2-4ED9-B028-A963107EC8A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c7ef99f75fdf2453eebbf55ff3988d217e1bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2436517,"id":"Q2436517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422b34dc542cb7e4db0081b5660b1a9014aa8e91","datavalue":{"value":{"amount":"+0.9079362154006958","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":"Q5458443$9A41D62C-A8F0-4EB0-ABF7-9C817C437B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bccdc2357921e4712c6d583bd3fa0a5797b8aa","datavalue":{"value":{"amount":"+0.7765998840332031","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":"Q5458443$BEAFC36E-F4E5-48B1-A859-2F124240C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89061b07a1b51c6ad89faf251c49e8724c1d8cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4940936,"id":"Q4940936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7251af3c7e55cd9349f67a9e4fcd813ed284c38","datavalue":{"value":{"amount":"+0.7459930777549744","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":"Q5458443$9C1C38C6-1A05-4E87-A041-BC03AF900EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab358f093d103972a3c22298b5526bc0e64a79ff","datavalue":{"value":{"entity-type":"item","numeric-id":4452636,"id":"Q4452636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290b6b4d6e5e657e34a784e64b48da24c29a70e3","datavalue":{"value":{"amount":"+0.7437077760696411","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":"Q5458443$07EEF044-DDE1-4B9A-B5E2-4BDFC3E8ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4a033cabfe0472fa19195157b673e43e483662","datavalue":{"value":{"entity-type":"item","numeric-id":1370625,"id":"Q1370625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f554c9982d8eba31c55d5c42711c6c1b8c6c93c9","datavalue":{"value":{"amount":"+0.7379858493804932","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":"Q5458443$30CDCDD6-F1A1-46BA-83C0-3F35DF324DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation","badges":[]}}}}}