{"entities":{"Q5927980":{"pageid":8104782,"ns":120,"title":"Item:Q5927980","lastrevid":47588650,"modified":"2026-01-02T03:59:40Z","type":"item","id":"Q5927980","labels":{"en":{"language":"en","value":"Theorem proving techniques for view deletion in databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1579152"}},"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":"Q5927980$6213A952-059B-4CD5-BD8C-6AD5E5BEF0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23ea8c5dd2c86c23980e645e049ce297124921f","datavalue":{"value":{"text":"Theorem proving techniques for view deletion in databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5927980$AF8A647C-6EF1-432B-AF5C-E82B49882F11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70da6bc08a237360090bd5e6f6b0f1badb311860","datavalue":{"value":"0967.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$57F43F8D-7773-4360-8467-26B88BDA4323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e7babc33bdfb2d05f3a9f08cc0c8b417a47a42","datavalue":{"value":{"entity-type":"item","numeric-id":167056,"id":"Q167056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$B4853D55-4F24-43E4-85A7-325BAA491B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$E9C266F4-F507-44E4-84D0-F1BA44E6C08D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$9575FFF3-651A-4AF3-A6B9-6647A06417ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5927980$594F7D0E-89CA-4C4E-84FB-1A15EBA6E209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbe5e386eff38516d78b5d5b704f1d21ce7082ae","datavalue":{"value":"https://semanticscholar.org/paper/b8fd970e267dc8f7c16943dab739185d2c3c5080","type":"string"},"datatype":"url"},"type":"statement","id":"Q5927980$6776067D-0988-42C1-ACBB-D2D1106E121A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$A497022C-752F-48ED-B405-973C2B650657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$F8E0B43C-EC0B-4E92-8C79-F60A43749B46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"717bc97e139da20ec13ea37689b0db302f0ffc44","datavalue":{"value":"1579152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$1E1CAD57-CD0D-40FD-985E-D12B0AC36D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ed3473036960fbd41a46a9cc7f1be3096b7680","datavalue":{"value":"hyper-tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927980$602AADF9-F775-4D26-9F7B-2D18FF31A910","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$1C680BEA-65BE-42AE-BA97-B01ED431D45D","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":"Q5927980$3BC51BB4-FAC1-4A86-88A0-969B208DA63B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"400580c7d046c8d565bb437181d2de4daa2fe513","datavalue":{"value":"W1985214226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$8FFB17E4-0B46-4486-9861-7F5FDCF6F194","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e95e31c01ba60dbbb94408e0bd5686a9e3ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":3489445,"id":"Q3489445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$E2C8A6E2-DAD5-4E13-8778-2366E9B2BDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$272C0701-F491-4402-8081-8994A2270C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf3cf52bb5a6aba0ee07edcba771851bc6cd7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4940932,"id":"Q4940932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$56278513-CF16-4069-8887-F0707385DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de4e4a966afb109d1ea456671d91de9c45f1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4835515,"id":"Q4835515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$7014CC88-985F-4C0D-9C13-5113CAC801B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$031E42D1-8268-4B51-89C9-B584B29FF46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159ff6671cc3ae9f3bb67dc43e29b9ebbf67da2c","datavalue":{"value":{"entity-type":"item","numeric-id":4610316,"id":"Q4610316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$B2F02BFB-5061-40FD-8B6C-CFCC8CCF18E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$E2CBEB4F-C3F6-44E5-BB81-6FD4A8195412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3a57f9c14ff1fbe1b20e0c45aedc0125c5f1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4246965,"id":"Q4246965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$4BECEC85-A087-463B-8C46-8E961045D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6480e2a885f5d2e73184cc8bbed4b0ea103f0249","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$63515DA2-C4CD-4119-ADEF-D666E775E155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$A71214FE-4085-41E0-B7C9-4179D372F7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4ac292ad02cc5c58f61f5094cb1164c9f02d13","datavalue":{"value":{"entity-type":"item","numeric-id":3949998,"id":"Q3949998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$1D489BB3-43AA-414E-B8AF-8F9AE74F2D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582827071a4c0894ab634f47b6d26df2aa11f65a","datavalue":{"value":{"entity-type":"item","numeric-id":4694705,"id":"Q4694705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$0CA939D8-F616-4230-A490-B53FA086A65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$3F411A73-7BCC-4868-BBE9-BDB0EE6774C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$87C9322A-27B5-41F1-9B9B-3B0DFDDE0D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ff6542c741a1422e8ca014146872fdaf700f44","datavalue":{"value":{"entity-type":"item","numeric-id":4023583,"id":"Q4023583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$5D2F5A48-BD61-4578-8B1C-FC08CF49F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccacf57e44feec87e4952adcb18588307f121d1","datavalue":{"value":{"entity-type":"item","numeric-id":4698061,"id":"Q4698061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$7E181E7F-592B-4D6E-BC6B-7168158D785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff6268ee5f77f8f9d7918e687326f6d443c5b3b","datavalue":{"value":{"entity-type":"item","numeric-id":918229,"id":"Q918229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$BEF433FD-0AA7-4474-B9E7-DB11E29B5A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ccf88dae5bb2899ee550eae5bb16978f64d4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3988794,"id":"Q3988794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$67C83DC1-7200-4F1A-B8BC-B7097DE90A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5135904f5253d59388a3570abf1c243ddb820b93","datavalue":{"value":{"entity-type":"item","numeric-id":1181487,"id":"Q1181487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$46D09219-1CCD-46B0-B46E-6312BCCB7D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$C54BE8F2-7D42-4C99-B890-F4CDEFA5497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$199729BE-ACB4-4050-A722-410F3E6755D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$E7852836-B2DB-477A-8F4D-8C8D6D95CD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf094e5acdb2735390bab0d7bc1af9fe86b667db","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$B81FE268-6952-4F22-A0B9-34009C6F64A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$93535E59-55C8-43CC-8B68-4B1B21970E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927980$22288171-7123-4336-B441-F3AEA6DFC97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dbb7c5f87c4ab6bbf332a0f8a9f374691fedc2c","datavalue":{"value":"10.1006/JSCO.1999.0358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927980$9E2E179A-5925-47E9-8B68-4130D4C7D869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb50d4928df63033ef2308d350ac8a9f9f0928b","datavalue":{"value":{"entity-type":"item","numeric-id":4940932,"id":"Q4940932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f396e7d55e1c5a3abe73477af2c83a136d716c","datavalue":{"value":{"amount":"+0.8891476988792419","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":"Q5927980$43E9A164-CA78-4B56-A277-4A2F9114AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d56211e70ef58b4e6f8c97f77b51540233eedda","datavalue":{"value":{"entity-type":"item","numeric-id":1815856,"id":"Q1815856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354481436cbb81c60825a9cbd3d79f95c4bace59","datavalue":{"value":{"amount":"+0.8070959448814392","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":"Q5927980$DD67B67C-B3C9-4766-B25F-BC33CB65B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a5c750f1a88e8ea87e4507111b1371c83cd27c","datavalue":{"value":{"entity-type":"item","numeric-id":4694705,"id":"Q4694705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1910188a8f6a78756e55ec77f86f4a8876fd277a","datavalue":{"value":{"amount":"+0.7992327213287354","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":"Q5927980$0A9DDFEB-116D-428D-A581-C6EEDF7F0A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ab23a2693c85b2210e38f0551ff2c047b271ea","datavalue":{"value":{"entity-type":"item","numeric-id":5445305,"id":"Q5445305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a36565030168a0e00a2dbbc4e851fc51a84ce34","datavalue":{"value":{"amount":"+0.799232542514801","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":"Q5927980$14852FB3-A97B-4E72-85EC-5CFD586408E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8ff8629952b7c4373523d4b15cd593ac64a250","datavalue":{"value":{"entity-type":"item","numeric-id":1319392,"id":"Q1319392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f65285077ce225d24e6ddac51a322caf0d2a71","datavalue":{"value":{"amount":"+0.789727509021759","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":"Q5927980$202233E0-B929-4163-94DD-AEF774F1C775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5927980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5927980"}}}}}