{"entities":{"Q6938459":{"pageid":21134376,"ns":120,"title":"Item:Q6938459","lastrevid":84106904,"modified":"2026-05-10T05:53:10Z","type":"item","id":"Q6938459","labels":{"en":{"language":"en","value":"Formal semantics and verification of procedural SQL programs implementing materialized data integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8084712"}},"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":"Q6938459$F0AAB450-7522-495E-B9DD-32EDEA8540F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13f862874ee9d1cf2b3168228b2e7a669eeb79cf","datavalue":{"value":{"text":"Formal semantics and verification of procedural SQL programs implementing materialized data integration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6938459$AAFFE263-D250-4BF7-B037-2B83C8CA3723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6660d108cc0b47b3f7538c39df0354b3d63a5f2","datavalue":{"value":"1571.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$1EE3C4EC-6BFC-4FE8-BB60-DB3B79B0B809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c2ee7935be0fedb7f54d960013a9c77be8ae0be","datavalue":{"value":"10.1134/S1995080225606083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$97020543-0330-4CF8-9339-054BFFAE72D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e139b84d9488d244b11fb32289b79f20b3086e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4440852,"id":"Q4440852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$C4EBF51F-43FB-4484-9E48-87011BA077F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$A60E4A09-A3AF-480E-83FC-24A63176C351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5524f65dba04a4e42636027eef156c68c8569d17","datavalue":{"value":{"time":"+2025-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6938459$1C55EDC5-5E25-4D03-BD38-72D0CBF4A2DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$179918FF-1E36-4DE8-925A-4B646AEF9620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$ED6D7EF8-3C25-46E9-BB65-F805C1BE3E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$7D58D857-56EB-4961-8A8D-278DCBED0679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd24ee6e3a72bf454daf5b8314d10ec9ffc8f4c7","datavalue":{"value":"8084712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938459$7FF34BFD-FDA5-4F4A-B92E-7D9C212D3D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f322ac32929aec50320f5162bdae3d319675449","datavalue":{"value":"procedural SQL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938459$FEFA6199-F97C-4DF1-BF93-585C73AD6DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b33d2d70d2a91b9a0789f1b8db68d5610ccb98","datavalue":{"value":"materialized data integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938459$3437EDF5-E232-4572-B467-35503214B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938459$2DECD842-192D-44C7-8B20-11562ECF4EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938459$FBA1F717-68A0-4AAF-8EAE-3573468BE6C6","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":"Q6938459$8DC956EA-B2F9-4F41-B4EA-42F05A54EF4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34b476d4c8d7d31aacb054912c5dbab93fa98e9","datavalue":{"value":{"entity-type":"item","numeric-id":2214328,"id":"Q2214328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$4931CF3B-4D93-4BD8-AA11-235B78EA56A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cf798912c37ddff3246b3788a111399396e0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2263116,"id":"Q2263116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$960C0DBE-62A3-4B04-8394-0B56E745F210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$37B65B20-0C48-437A-9ABD-92B1328BD894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fca39fa51209d938c87e8b54dcaa0a5c3ae104","datavalue":{"value":{"entity-type":"item","numeric-id":903517,"id":"Q903517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$3CC99F2B-69E2-4B80-ADC5-B59DCD91C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938459$35E047AB-2BD4-4EB6-9EC4-C55998CBC049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal semantics and verification of procedural SQL programs implementing materialized data integration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_semantics_and_verification_of_procedural_SQL_programs_implementing_materialized_data_integration"}}}}}