{"entities":{"Q406457":{"pageid":408224,"ns":120,"title":"Item:Q406457","lastrevid":77612486,"modified":"2026-05-06T09:39:20Z","type":"item","id":"Q406457","labels":{"en":{"language":"en","value":"A relation-algebraic approach to the ``Hoare logic'' of functional dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341215"}},"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":"Q406457$0A9796F8-63BC-4123-9FF2-F2B759E25B65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15f4bff5ba5b6eb0f36e538005b3638f04dab84d","datavalue":{"value":{"text":"A relation-algebraic approach to the ``Hoare logic'' of functional dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q406457$D7289495-D75C-44E2-AD4A-9D69ADB14602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13712a5e8e624aef3016fd1bfe5656bf7ad1f237","datavalue":{"value":"1434.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$0DED1692-F624-4E51-9902-0E097610C405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$B5AFBF05-972A-42E5-A898-8C90C1B1C7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-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":"Q406457$DCE76236-81D7-43BF-BBE9-C671A8D49096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$7D46C9C5-C5C8-4FC6-9AD5-1B91650DED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$080F8C6A-775D-4A9E-9B06-6C8101549127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$A4024B16-20F3-4AA3-A160-D23762CC1345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$98507585-A801-4FA9-A8F8-C603EB72A386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"288b99b7f5021fa0efaa43504733e59d2ac6830a","datavalue":{"value":"6341215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$522904B8-1AE3-4B71-96CD-5ACE194F8D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d07c9af099669da048ed98874d3d15d0a44e496","datavalue":{"value":"relational mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q406457$92A03993-0624-4B63-BD29-5F1F30A4A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a952853d24022f2c8c6f5cfbedb9059f2ceda6fe","datavalue":{"value":"program calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q406457$A6B96959-77F4-4D8C-89D7-D52DA888667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aad2aefb682e348b4b2b206b10fe6a00df417b2","datavalue":{"value":"data dependency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q406457$0E8D8D37-DA72-492C-A990-0C9AA022E432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$49AF1DD3-41C7-47FE-A46D-0164E7916916","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$85A1CFE8-C34A-4C6E-9908-81695FC4C7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$29DA0E2D-77F1-4CAF-9F36-2B6B59B45440","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":"Q406457$950A2EDF-103B-4B86-9BF3-CC4C6F3EC2B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ef7c83e9f689d255e21400868efce5e00f19bb0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2014.02.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q406457$2AC1938C-DDCC-4702-9FD7-DB4823366B21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"123a947e883033d3cb907f574b77925371f8d5d6","datavalue":{"value":"W2053332285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$7E7D76A7-EA9A-4AD9-8194-414507AD7FB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c810b02ee8a6c67eea82cbfc28e13fc143e4e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5310665,"id":"Q5310665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$0D969939-A27A-4D39-96E5-C21FA5C4DBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f97b51450c11a6143d494eb632146023d711e1","datavalue":{"value":{"entity-type":"item","numeric-id":4783298,"id":"Q4783298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$CC756724-39D1-4D55-9188-719DC53EEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$0AF5C0A9-211A-4D5D-9BC6-0EFDBBF48A5E","rank":"normal"},{"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":"Q406457$4104878D-ECFF-459A-8B99-31FEC8ABAB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$90183ACA-1E4F-48DB-95D8-C3C470B526F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$5EC7A424-EF33-4DD6-B96F-DA2F79F669A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$612A0EF2-78E9-4712-BD52-B4590CF61DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817a925eb5294986b9f403eea65fb6d1c9bdaaa9","datavalue":{"value":{"entity-type":"item","numeric-id":797985,"id":"Q797985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$DEF863B0-7E32-47CF-9076-558ECF7DE59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$77DDCA7F-12DC-4BE1-9B9C-40404A8A56DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$79A7E23F-96A2-4D51-A221-BC167BFBFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$8921E116-51A8-49BA-B9C2-818278AB7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$488046D6-C6DD-4695-8FE2-56DAEB5F2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$9CD60AEB-7BC8-41C4-905D-D72A73D8F94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0b15dea7fbfba14e25199ac1cdc64432928913","datavalue":{"value":{"entity-type":"item","numeric-id":989553,"id":"Q989553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$4C9B555B-02A1-4B8E-8F7B-D247E95787C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$6738BB69-6D36-482F-80A8-AA2C13CEECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$201719F4-8BC1-4656-8965-47038AD9F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01849a0de03f5f533950cb69ab6932d9a012c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4381704,"id":"Q4381704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$CF987FDA-9066-4B60-BD04-81AE6F77B20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$263E66F7-AD3E-4BB6-9913-680B2E9CF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b030100759d3b3e19ca7db1915e59f096b081ff","datavalue":{"value":{"entity-type":"item","numeric-id":4362888,"id":"Q4362888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$C6484012-2811-41C2-A768-77D84BF089CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39043bdab6df93d587e4c6ef8e20b4099fdbf9ca","datavalue":{"value":{"entity-type":"item","numeric-id":2844206,"id":"Q2844206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$8580B787-B8FC-4CB0-ADEE-BE02442971E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469e5cf3abd485be9772c723d91186d8c3a6ff2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941862,"id":"Q1941862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$EBF75916-3995-4224-BB3B-7867EBC01C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d2a6517336d3d2cb981742a1a9d799d7c09306","datavalue":{"value":{"entity-type":"item","numeric-id":2908554,"id":"Q2908554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$491689F3-64CF-422C-A922-6E82F10C7666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbe69edaeee7444f78067ce3467c01cbe05c93e","datavalue":{"value":{"entity-type":"item","numeric-id":383785,"id":"Q383785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$BD77FAF6-344F-4FFF-895A-69779C6172F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f710fbf4740ee4e9c4e100a18b69282e795733f","datavalue":{"value":{"entity-type":"item","numeric-id":2908570,"id":"Q2908570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406457$65D90EAF-098A-4F4C-84A7-275E0A0D7420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9242e75a04b78eabb33b15554ecbf357e532a3b","datavalue":{"value":"10.1016/J.JLAP.2014.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406457$CC7D4BF8-EA84-44DB-B63D-77559EF93619","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463a3273610ccdb4902683872bc7e0d24054e319","datavalue":{"value":{"entity-type":"item","numeric-id":4271915,"id":"Q4271915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8fa0d5cd859295c8c4d15f4f3eaec0f6b15a6e","datavalue":{"value":{"amount":"+0.778515636920929","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":"Q406457$3827BD04-064A-49F8-A010-6E105D6BBDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03795220b343d7be6d8ee19c98943531fc72f23a","datavalue":{"value":{"entity-type":"item","numeric-id":3704923,"id":"Q3704923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff0e60991c37e072c4feeb3a746b4d6843ca5ed","datavalue":{"value":{"amount":"+0.7785153985023499","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":"Q406457$8EB066C4-29EC-4BCD-A987-E681ED2D185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9be26cd5d452588cec160cb57c1f62f842c214","datavalue":{"value":{"entity-type":"item","numeric-id":1823030,"id":"Q1823030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88db238217173cebcc3f2d31a1c355404838c262","datavalue":{"value":{"amount":"+0.7695358395576477","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":"Q406457$30504D0A-AAD5-4EC8-89D0-76B74A15AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01e6dd923ea5fc555553a7b0d5e46cd3a3bb8ab","datavalue":{"value":{"entity-type":"item","numeric-id":2290483,"id":"Q2290483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5232a63cf6bb9d38570a8d215e92d086a9834f45","datavalue":{"value":{"amount":"+0.7557482719421387","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":"Q406457$A22C8431-82BD-4C79-836D-D189B19F4304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fce76cd403cda4709569afe76f6c184bfbaaf86","datavalue":{"value":{"entity-type":"item","numeric-id":3706523,"id":"Q3706523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3675bf01a1b46a6db04c404d93e9ee14b02bfe","datavalue":{"value":{"amount":"+0.7502100467681885","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":"Q406457$EA9DB20D-59C5-4CAE-9607-5DB6B8927421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relation-algebraic approach to the ``Hoare logic'' of functional dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relation-algebraic_approach_to_the_%60%60Hoare_logic%27%27_of_functional_dependencies"}}}}}