{"entities":{"Q3833655":{"pageid":5863561,"ns":120,"title":"Item:Q3833655","lastrevid":54476555,"modified":"2026-01-27T03:14:11Z","type":"item","id":"Q3833655","labels":{"en":{"language":"en","value":"Maintaining state constraints in relational databases: a proof theoretic basis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110170"}},"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":"Q3833655$7DA42D17-A07C-455B-8D7A-77DDDEC980D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d0af2595f17e08573d742eb30fc37b4b562cc3","datavalue":{"value":{"text":"Maintaining state constraints in relational databases: a proof theoretic basis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3833655$34C7B09F-4349-42DD-94EA-1EB261F4F701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c0ca75a5c80d681bb8eb5fbd58131e0468ced54","datavalue":{"value":"0677.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$6C3A1686-427F-445A-A422-C4BBC60E6265","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7769ba7547ea65a7c25e57cd03c4bf59f16e505a","datavalue":{"value":"10.1145/58562.59302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$16339173-0009-4B2A-BC4E-B0C19C9159AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833655$9A04E85D-3A80-46BC-B7A8-CB8DDC5D9872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833655$D7F7A86F-4E7A-4AA8-8E32-90E77D90E6E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833655$34C81E7B-C683-4332-BA39-01EA4C85F04C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3833655$C362ADBE-C0D9-4901-85A9-1AFD1C6D1E9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$35A44592-8DF3-47FB-8E04-8A29B8B090D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$58C138DD-4E50-4162-8969-046D64E21503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$9A6CF24B-3688-46A8-AA4E-A7F1E0689787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a10810f32b6c56bb6e888d8257fd25276057a3a","datavalue":{"value":"4110170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$8368B31A-313D-4349-A7A1-AC14D2BA06A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6cd56e5f9d08ccf4307b134fe4f82fff76e652a","datavalue":{"value":"query formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$1CBC6033-E8FD-460C-A78D-876671C1328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759a0214df8d3bfba2a5ae91a42bacd1cb2a9051","datavalue":{"value":"algebraic manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$4E48F71B-0D27-4042-95F1-3D96DCDB8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e9a3c8a28fdaf0da9a392efdb67c7ebc4f35ae8","datavalue":{"value":"expressions and their representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$36621929-CDE2-4621-9C26-9E28C238C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec697aebd1e8ded19761878ad5527bd5d2044b1","datavalue":{"value":"simplification of expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$70142C5D-0C2B-4FC9-B2D8-BA728457CCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$74CA0223-C510-4F63-B198-488F8C5F4570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43964923b95c5265a4c81faa5a0c1a0052f8904","datavalue":{"value":"deduction and theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$13F6546B-0E37-476A-BCB6-47220FB873D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$EAECA62F-0059-4B7E-8BA7-119213A28E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$8033FC4D-E60B-4281-BDBA-8903B6A21214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$38EEEB50-A1D6-4982-8595-1573648BA5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66af1b96bc40b8a6f4ff6e82bfa891c8d52e6710","datavalue":{"value":"dependency statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$C9F73797-D69A-48FE-A42A-A83028A3199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$0FC71CD3-4958-457E-B681-B38DC8757F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$55198174-AF2E-4213-A3D1-2932EE520C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd02c0c4cd88bf32f0b507a5c512ad6914c3d82b","datavalue":{"value":"integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833655$35533275-8240-4656-831C-40499471B45B","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":"Q3833655$D0A83B76-599C-4ACF-B233-CE44F9F5C852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aebd611857c92975ddacff6af09bfecc27b3ca70","datavalue":{"value":"https://doi.org/10.1145/58562.59302","type":"string"},"datatype":"url"},"type":"statement","id":"Q3833655$28EED3B8-8F42-4923-A4D6-8C28D3C0930F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09026bf37e1813711c068bf6b2cb5d2482d3f40a","datavalue":{"value":"W2090409094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833655$6B85E66C-8943-46E3-84A5-647390DBCAAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7c76d399da2c127e49117ced91da97fc2673ad","datavalue":{"value":{"entity-type":"item","numeric-id":4329266,"id":"Q4329266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6dfbc57f10ff41bbfb271a5567dc549254bb0c","datavalue":{"value":{"amount":"+0.880452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$F2672F6F-5A7F-4BF7-98A9-7BBC7D7E02DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebffe7b0cd59f2bebe6db11b698c5b98df648ec","datavalue":{"value":{"entity-type":"item","numeric-id":1097050,"id":"Q1097050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0226a41aec9e267d20d8c7c0dfbb1aac651541","datavalue":{"value":{"amount":"+0.8728436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$EB513051-80F0-4468-BD72-E9F8890FFDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d8313658e95b15113e09c4e0131c11cb8c6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7da195fe686c1acce8d3367cbb71394b161727c","datavalue":{"value":{"amount":"+0.8615284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$179EF995-D73F-4734-9832-2CE826DD02CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e8954347c9083d8dd4c7dc6dc6c0242ebe711c","datavalue":{"value":{"entity-type":"item","numeric-id":5095627,"id":"Q5095627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca290bbb99f9d05d5973acc7c74b8233664b2497","datavalue":{"value":{"amount":"+0.85415995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$301B1D59-58CF-45BC-82A0-2D63D9ACF841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c0433ac7021a2e225670fde6abcab922229ffb","datavalue":{"value":{"entity-type":"item","numeric-id":3706527,"id":"Q3706527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c1c372c494c186f0ebac8756f4b58b56309025","datavalue":{"value":{"amount":"+0.8524346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$2EC8E942-7259-49D3-B9BE-35A7C15F8F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346b5f00643fae748e1bc6e16fec5329fdce8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4472216,"id":"Q4472216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3390d97623d531f347720fd24948ef8e2d3e58f","datavalue":{"value":{"amount":"+0.85161936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$2067E8EC-F1C3-4B08-A7C5-252F70F7EFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0819deb17284ae696ab95b266fd2839a405b9311","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad9dc683f63a5fb8ea7179073c55f67fcd74e14","datavalue":{"value":{"amount":"+0.8514509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$67B5ED06-5B0C-4204-AA09-EA36DF4E2AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd08ac6d0a04565c246d80bb1cb98c89382441e","datavalue":{"value":{"entity-type":"item","numeric-id":3520999,"id":"Q3520999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7336e96c5251f2d861589b2a6175a7ce668ec1b0","datavalue":{"value":{"amount":"+0.85029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$9173E06A-5DBA-43E0-88DB-D831BB1894A0","rank":"normal"},{"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":"40a94cabfb9e540c2a30cbbc4966dc86cb684888","datavalue":{"value":{"amount":"+0.84621614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3833655$420CEE0F-66F8-4B0E-9179-8E86F6865CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3833655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3833655"}}}}}