{"entities":{"Q1024120":{"pageid":1025968,"ns":120,"title":"Item:Q1024120","lastrevid":69632043,"modified":"2026-04-13T08:20:15Z","type":"item","id":"Q1024120","labels":{"en":{"language":"en","value":"Interpolation in computing science: The semantics of modularization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565221"}},"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":"Q1024120$AC91522D-0CA2-434E-BFFD-96D716FE96A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d9680d28546584c4ef2c465340e35f20072ca8","datavalue":{"value":{"text":"Interpolation in computing science: The semantics of modularization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024120$3D4129C7-4900-4732-940B-FF61892DCD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d2e048f1a16b08e632b9b38425089ec19b7fcef","datavalue":{"value":"1184.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$BB9F7D99-54D0-4394-A07F-E764166B6CDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$80F0D061-E6B8-41C3-B89A-B7DB672C9710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8df8d61f5f88fa082eccb52e10b8436e8a182238","datavalue":{"value":{"time":"+2009-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024120$F1403664-7CD8-4275-9497-5F9F18E32D51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49603984a0da9170289f6c4998392da38e2e3073","datavalue":{"value":"Inspired by ``Module algebra'' [\\textit{J. A. Bergstra}, \\textit{J. Heering} and \\textit{P. Klint}, J. Assoc. Comput. Mach. 37, No.~2, 335--372 (1990; Zbl 0696.68040)], the author introduces Theory Algebra (TA), an algebraic theory of logical theories with three operations: union, hiding and application of interpretations, where a \\textit{theory} is a set of sentences and \\textit{union} is, accordingly, set-theoretical union. Furthermore, \\textit{hiding} a vocabulary \\(\\Sigma\\) from a theory \\(S\\), \\(\\exists \\Sigma \\;S\\), is defined as \\(\\{A\\mid S\\vdash A\\) and \\(\\text{VOC}(A)\\cap\\Sigma =\\emptyset\\}\\), where a \\textit{vocabulary} is a set of predicate and function symbols, while \\(\\text{VOC}(A)\\) is the set of predicate and function symbols appearing in formula \\(A\\). Finally, an \\textit{interpretation} is a structure-preserving mapping on terms and formulas, mapping predicate (function) symbols to predicate (function) symbols of the same arity.  The main results are the following.  Modularization: For theories \\(S\\), \\(T\\), \\(U\\) and an interpretation \\(\\kappa\\) (and further technical hypotheses on the vocabularies), if \\(T\\) is a conservative extension of \\(S\\) and if \\(S\\buildrel{\\kappa}\\over{\\to}U\\), then there is a minimal \\(V\\) such that \\(V\\) is a conservative extension of \\(U\\) and \\(T\\buildrel{\\kappa}\\over{\\to} V\\).   Factorization: If \\(T\\vdash S\\), then there is a \\(U\\) such that \\(T\\) is a conservative extension of \\(U\\), \\(U\\vdash S\\) and \\(\\text{VOC}(U)= \\text{VOC}(S)\\).  Finally, with the \\textit{export} operator \\(\\Sigma \\boxdot S\\) being defined as \\(\\{A\\mid S\\vdash A\\) and \\(\\text{VOC}(A)\\subseteq\\Sigma\\}\\):  Normal form: Expressions built from theories with the operators \\(\\cup\\), \\(\\exists\\) and \\(\\boxdot\\) can be rewritten with no \\(\\boxdot\\) and at most one occurrence of \\(\\exists\\) (or no \\(\\exists\\) and at most one occurrence of \\(\\boxdot\\)).   The author notes that while TA was developed with predicate logic as the underlying logic, his results will hold with any logic which satisfies reflexivity and transitivity of \\(\\vdash\\), preservation of \\(\\vdash\\) under interpretations and the deduction and interpolation properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$6BFC5FB9-BE11-453D-9558-D4BBA204A67E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$CF9A57D3-311F-4949-BE37-8AD1F694D05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$D02FCC28-A67F-43A3-BB8F-165024CC57AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$EE37F8FB-111B-4AB7-B40D-D766EDD0749C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c655ec774c1403befa8a499d65e3b7cfc66be00","datavalue":{"value":"5565221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$38E50392-3235-4E8A-BF2E-AB68F66211D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$B8CDD96B-1726-4127-8989-4527C0D2ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81a4f4e2e082d62d8600422005ffa1905b7ab49","datavalue":{"value":"modularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$9C7FBA1F-86B4-49DF-8ED4-C498E114D35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e29b1f24557ed049671b29517b6f58d84445ca7","datavalue":{"value":"hiding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$BA88E495-6C43-456B-A1B5-E273E109BC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$9399D988-4057-4BDE-866C-1AB3112D208F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc3338cb6d62752a5b6f6092fb7e6af612d6c7b","datavalue":{"value":"module algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$BC98F62B-3C4B-4B6E-8B1A-66CA10A43D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5c72bac25a0804a0c2173434facd7e33000ee9","datavalue":{"value":"theory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024120$03AA4D3C-10C0-4EAD-A9FE-310C1404104F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$A9DED370-C10F-4E98-A09F-6BDE1A51955C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$EEA6FE3A-508A-423C-8D08-09AD15A186EE","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":"Q1024120$696741BF-E729-4F13-8D16-3FF5C008E94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c63563a02b54a782a6ea4ac5d801bd3cde73d09","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9358-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024120$41E125E4-9670-4437-A996-D9041B5E5DE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58811d69bb51f5559e72c2837588dd5fef1cb5ce","datavalue":{"value":"W2057205217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$FCF009F2-9986-46B0-B235-15D052B603B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$42BAAD89-4229-4E19-8F30-99B7E32B7137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$B45E38A0-5FF3-41CD-88EF-84D3443B1C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9127a08ce1284444c7abbb6644461d8d97e072","datavalue":{"value":{"entity-type":"item","numeric-id":1607048,"id":"Q1607048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$41480EDD-970D-4D8F-B118-2CDB4DFA13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffe2ef5037f63c850f1f2732c0cb047d5a4a8bc","datavalue":{"value":{"entity-type":"item","numeric-id":2736585,"id":"Q2736585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$B644F3CC-E629-4181-9EA1-8B076700B219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$11F428B1-2DBD-4FF3-828D-5939C0D5F5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$0302CB06-6AE2-48FF-84F0-9605AAD9B64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$A36798E5-C86E-4AF5-BA79-18E2036D8754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85a6ad201ac72d0bfeeec0c3fa68b0cd85212e5","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$64A16D4C-2C22-494F-839F-FD55755D8846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bd5a2d091665bb9748f0afc8044d78bb7ada5","datavalue":{"value":{"entity-type":"item","numeric-id":1173754,"id":"Q1173754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$D3AA94E8-7406-42A6-8A55-F81C3335020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56470015eb82b30d071fefcd404e5fe1edd734dd","datavalue":{"value":{"entity-type":"item","numeric-id":3982061,"id":"Q3982061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$6F22FD68-F4FB-40BC-B028-F8B44346D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7852072e0891b24fd5794e21b6a9543907c78b","datavalue":{"value":{"entity-type":"item","numeric-id":5394141,"id":"Q5394141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$A97AF89E-20BD-44B3-AE4F-F25479A755A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a9f7cf9831d70fffb32aba8273953d1fba5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4291868,"id":"Q4291868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$3B57B265-D7DB-4E7B-A19C-96706184178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$2DCCFB5A-2615-485D-B18E-DB5EC1BACE05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"510250fcf72311910c0d631209c3209ab799a55b","datavalue":{"value":"10.1007/S11229-008-9358-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024120$AB948633-350A-4680-B317-10937870FDD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78829c21b4f9e3193e0fa304034a7fab0cd1144c","datavalue":{"value":{"entity-type":"item","numeric-id":1006639,"id":"Q1006639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0c93e52f690c3eb7c4c204ac7f9525701bd268","datavalue":{"value":{"amount":"+0.7874012589454651","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":"Q1024120$4C130F49-2EC2-4E57-821B-85E9C9F8D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e063612b0ccb4d80c9a636a5476a8e6c753dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4708921,"id":"Q4708921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acd127dffa11ee851d9317b36415acbe7d05c4d","datavalue":{"value":{"amount":"+0.7696700096130371","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":"Q1024120$998E0D73-AAEF-4556-9385-63713EABEFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df7f192dad680c0045399cb9ca3b85d5e2c7823","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0684e7edb47b656e681b5f49f0e87b1cfd3990e8","datavalue":{"value":{"amount":"+0.7683685421943665","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":"Q1024120$762BD1FE-F12B-41E8-AD45-A665B4048A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10bcc0727a371681d8e34611f400d5be44aa5e3","datavalue":{"value":{"entity-type":"item","numeric-id":2716926,"id":"Q2716926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c06bd8fb5b696226403e1559f8856a52dbaef29","datavalue":{"value":{"amount":"+0.7677945494651794","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":"Q1024120$CB44D476-E305-4820-9D2F-C05A3462F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bbd5ce78d31dee32443a513f32a0ad30a7c649","datavalue":{"value":{"entity-type":"item","numeric-id":1024116,"id":"Q1024116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359653e2c0aba1d174e7f2d165008b5e2b570339","datavalue":{"value":{"amount":"+0.76759272813797","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":"Q1024120$C7A8CD2A-3BD8-4584-BCF7-60EAB8996BD0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024120$04F49BD9-9108-4D86-AED4-8BC47F39C57E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation in computing science: The semantics of modularization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_in_computing_science:_The_semantics_of_modularization"}}}}}