{"entities":{"Q3770004":{"pageid":5799910,"ns":120,"title":"Item:Q3770004","lastrevid":51978182,"modified":"2026-01-20T16:30:07Z","type":"item","id":"Q3770004","labels":{"en":{"language":"en","value":"A Proof Procedure for Data Dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028953"}},"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":"Q3770004$87A6DA59-DC02-4438-85E2-8A1AFF40379D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89096e5a7bf8d8640043a6d7349708a89fb1b5d","datavalue":{"value":{"text":"A Proof Procedure for Data Dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3770004$D6D0FE18-3AC8-4214-B637-6E2B1FB3C2FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac032380545fdc08513a6e6f85b999c3b50ff03","datavalue":{"value":"0632.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$7435076F-FBD7-4ECF-8DE3-F25CDBA56914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a093d7b2b237eecacd43b3a75a9a9bd00f5586fd","datavalue":{"value":"10.1145/1634.1636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$C5E38B2A-6753-4299-AF5D-6041E6A200D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a696c697891e9b316032d402a47064b1a07081b","datavalue":{"value":{"entity-type":"item","numeric-id":676416,"id":"Q676416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3770004$665F32B3-235C-4F1C-831C-88019E09B03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3770004$FFD518EA-E732-47B2-9F61-E54C1BEBB3BD","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":"Q3770004$AE6166A5-825B-4A39-AD37-E63FA7317A8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3770004$741DFB72-AFF9-48BD-B4E9-769A2DFF6F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$6515331A-93AE-477D-9D09-B37D3932307A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$37C0E0A5-BE60-4610-AA0B-D6938F0E6147","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7522e153f70e757bd21e20f3e61277ac02e4ec","datavalue":{"value":"4028953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$DF5D70CC-227B-4841-8966-F2CFAC4E1EBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770004$B682BEC8-EB4D-4A71-B8A1-C0DB724C76A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa2342b676651b9e51f0a31a259682300ec5ede","datavalue":{"value":"data dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770004$E0893CDD-8BFE-48DB-89A0-C98B3D29A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be8fdc28dd9941fde5fdb901c959b72edfb19b8","datavalue":{"value":"logical implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770004$4266A1BA-337A-481B-85DB-854720ECC81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770004$1D97B753-7D27-40AB-B4DF-313721B5060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770004$37248296-66D9-4C1D-814F-AF6196A14871","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84186261b523750498629d58a0f1e00bb1e8881d","datavalue":{"value":"Q114614168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$7222D419-3139-410B-AEC5-AF95C243B586","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":"Q3770004$58CBEB0C-42A3-49EA-84E8-0B56CC7154DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfb9e05e2a55ec16301003af27aec272a3d2ab9d","datavalue":{"value":"https://doi.org/10.1145/1634.1636","type":"string"},"datatype":"url"},"type":"statement","id":"Q3770004$86307620-9647-4B14-9A5D-2E0BF43944C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"882bc68b4f83b18cd56fc56d993068cf4973a6a6","datavalue":{"value":"W2028222220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770004$86506549-4670-4EBB-8D61-371A0A414320","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd0ac28807dd85c0e6aa811ac35f1ce4fe1352f","datavalue":{"value":{"entity-type":"item","numeric-id":1403338,"id":"Q1403338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c3d24a6f706df63859d7e3c34a789ec58495c1","datavalue":{"value":{"amount":"+0.9006918668746948","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":"Q3770004$D5996959-BFC4-404C-BFF7-03E80C4A7BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66d9aac0a74b3e34453a8d35f9f8e4b202f5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3334109,"id":"Q3334109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d43210762cdc4e244f58f84c5bcd77c6d4ebddf","datavalue":{"value":{"amount":"+0.8691207766532898","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":"Q3770004$BBC8B365-D095-473B-AA23-21FDE5530099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7932e06d6e5c83b25b1a3311ba54bfd7b0c452e","datavalue":{"value":{"entity-type":"item","numeric-id":3835056,"id":"Q3835056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e608e6b798620e93cff02e11de1336bc8a9e82","datavalue":{"value":{"amount":"+0.863220751285553","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":"Q3770004$68042289-A15B-4F2B-BC45-909C5135FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2799f96c6b8fab02e4e0c5259402a630f6a7f11","datavalue":{"value":{"entity-type":"item","numeric-id":2639634,"id":"Q2639634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be47251bff4ca60ade3946a9d4b2601d0841e9a0","datavalue":{"value":{"amount":"+0.8450854420661926","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":"Q3770004$C2B39B04-C49D-480C-9FA5-32825A3AB3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc5fecde0251984819e266a2531cf676528b0ec","datavalue":{"value":{"entity-type":"item","numeric-id":3989947,"id":"Q3989947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd28032b36ccb0f01a05bca51b964438f977587","datavalue":{"value":{"amount":"+0.8096882104873657","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":"Q3770004$5B3E9630-E381-4DE1-9779-FD303BA2F8D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3770004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3770004"}}}}}