{"entities":{"Q1090101":{"pageid":1100853,"ns":120,"title":"Item:Q1090101","lastrevid":66912138,"modified":"2026-04-12T13:41:32Z","type":"item","id":"Q1090101","labels":{"en":{"language":"en","value":"A characterization of passing compatibility for parameterized specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007701"}},"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":"Q1090101$72C4FB6B-78AE-4375-B2BC-4BA76AD312D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98c7165fcf500812a255af8e6853f07bfa8b9ce5","datavalue":{"value":{"text":"A characterization of passing compatibility for parameterized specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090101$2287CF33-DDE9-4347-9141-6FD917DEEFA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c8091e513687968772648f683aa0101e52adbf","datavalue":{"value":"0621.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090101$C39A1870-464F-433B-A989-C3A98327ACF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67039dac9a1c4971ab2864027c21cc2a5873717a","datavalue":{"value":"10.1016/0304-3975(87)90054-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090101$DAAB8CB7-35BF-4E5B-9B45-DFEFCD0ADABF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$F0311E0A-34B7-40D4-9E6F-79E0E71C14FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1090101$D78610F2-6265-4C4D-9E37-70516620EFDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80efb5ac90514bc1729ef430cbb11aaea9c50ad2","datavalue":{"value":"Semantics of parameterized specifications and parameter passing may be expressed, at the model level, by means of free constructions and, at the specification level, by means of pushouts. Passing compatibility establishes the equivalence of the two semantics. In this paper, we prove that passing compatibility is almost equivalent to persistency. That is, it is proved that, except for a trivial non-interesting case ('trivial inconsistency'), passing compatibility is equivalent to persistency. This is done both for standard and parameterized parameter passing. Moreover, a stronger form of the Extension Lemma is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$47E143CE-C81D-4D0B-9223-6B20AEBEB62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090101$455A36A1-F049-4F4B-90E2-307850B6487A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025c6d21ab2d58255bec278797d3cc8de39b5077","datavalue":{"value":"4007701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090101$3674655A-9D6F-42FA-A02B-231038C4B99D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dfb3a27ce8e713a3a19c7fd161107a8af15bde","datavalue":{"value":"parameter passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$5E75512B-2564-4A7B-9BC8-A2CAEEBA1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82580506876beea7c37364c41ce320dd3741bc2e","datavalue":{"value":"free constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$C03BB7BA-05AD-413E-95C3-393F90B3A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39cc7b263a34ebcbfc3b70de9b3b0a8338f53ba","datavalue":{"value":"pushouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$7C3D58AB-6E70-44B8-A755-241F3A965FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$372FD4D6-CB08-4EFD-A7DF-A47B891EC2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9e058dbd663cc456437c0f8d93ee3e608ba0eb","datavalue":{"value":"persistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$13292E6C-0857-4686-BAB9-EF57BED8D049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915820e9e61ff5139cab7f611828a3043d2ec32","datavalue":{"value":"Extension Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090101$8B8E0D08-0D91-466F-BB6E-A3C361F9A9AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$535874D9-28E8-4A78-AE72-65668F5470C3","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":"Q1090101$3C9808FF-4FDB-411E-8800-D5B069853AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71abdc02e85d1ec1e27741ba6f3c2e18469ac864","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90054-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090101$410E9E18-BB7B-4D6A-B280-7152EAB48DF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"084216a33b4defa7b8fbdd07650708a6857ada82","datavalue":{"value":"W2033019614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090101$07388D4C-8AB9-4593-9C6E-F262CFE0F9BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$81126D99-335E-4FE2-A30C-7CE86279F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$E6DF7420-442C-4DD8-AA9E-0D376F01B8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$C72B023F-3694-4C96-925A-D2DB58D7AB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349532c118a3f683d6a4558f520406ba42210f52","datavalue":{"value":{"entity-type":"item","numeric-id":3917480,"id":"Q3917480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$C9FC623E-424C-4AA4-8F42-51DAA9FDE167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee2ab2bfe369cc3a73971160f426fcfd3db215","datavalue":{"value":{"entity-type":"item","numeric-id":3341871,"id":"Q3341871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$99AC9D0D-F116-4E62-9288-3FAFAA18ECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e182eb40d684fddf2159734e8fbee75a0fe49dc","datavalue":{"value":{"entity-type":"item","numeric-id":3906461,"id":"Q3906461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$F5A32099-2400-45D9-888B-37FDBB652E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$394E0332-BF5F-4F22-80AA-E016D688D701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c017de94be929303e103db5a7762532c2f6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4749185,"id":"Q4749185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$FFF8B19E-8B15-4C83-AB18-CCE5A6E3BA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$4CAB5770-8EF2-4120-BFEB-6C8AC7515A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab34621e4b6eb3bcc6ab0fc906eeed087aa36b2","datavalue":{"value":{"entity-type":"item","numeric-id":3707390,"id":"Q3707390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$D0EDADAC-C568-4241-A872-054A9831DADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$621FF161-D81B-4610-B87B-E478E48E11F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090101$FC3E6C28-E6CE-4BB1-A43F-6FDD6DB9BF16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb540f95069c4836f907cbbbffd90b3c6d49ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3707390,"id":"Q3707390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478731e4a7f86ab50e375b91b7563bf5f8d75ab1","datavalue":{"value":{"amount":"+0.9158563017845154","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":"Q1090101$2C54D3B6-903B-4497-81B4-1DD16F649B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2b39343588611291d3345fedeaa40732cf64f5","datavalue":{"value":{"entity-type":"item","numeric-id":4856663,"id":"Q4856663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bac6169b13c9c446b2ed333cf49aa25ced2091b","datavalue":{"value":{"amount":"+0.8385069370269775","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":"Q1090101$49F6152B-DF97-4837-8CD3-3A6159105F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c81f2f45db513d54efc978f9da136ce8de453a","datavalue":{"value":{"entity-type":"item","numeric-id":3971251,"id":"Q3971251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969e3eb5e72ebcfb47e88fa99e88b507e48272de","datavalue":{"value":{"amount":"+0.8357980251312256","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":"Q1090101$ED696BFC-C6E8-4D9D-A988-7EA4F4608EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3e7255ae6be4460c3b14d67fd07aac34fdb58d","datavalue":{"value":{"entity-type":"item","numeric-id":3741027,"id":"Q3741027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41865131473699e749410891c8cdcd5a2d838c36","datavalue":{"value":{"amount":"+0.8071929216384888","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":"Q1090101$B3C42B5A-F777-4837-B696-C074CED8FD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311c432aed829c112862d74c98e3047ba33c5a7e","datavalue":{"value":{"entity-type":"item","numeric-id":3034806,"id":"Q3034806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bd25128f07650b0e6d23ec5752a1cac4677df0","datavalue":{"value":{"amount":"+0.7837613224983215","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":"Q1090101$0E987BC6-E157-462F-BB9E-AACAB4D252FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of passing compatibility for parameterized specifications","badges":[]}}}}}