{"entities":{"Q791329":{"pageid":793177,"ns":120,"title":"Item:Q791329","lastrevid":64449867,"modified":"2026-04-11T19:57:17Z","type":"item","id":"Q791329","labels":{"en":{"language":"en","value":"A set-theoretic semantics for Clear"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850492"}},"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":"Q791329$B6D03F1E-39FF-4AC2-9794-D73E4B030472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2301278ec13bc88eb20e126fa2fdf654b7b1266d","datavalue":{"value":{"text":"A set-theoretic semantics for Clear","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791329$95C6333A-2D8C-46AB-96EF-99FF5A058A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5b8a6143387f4d34c2c4781341eff759c7017ae","datavalue":{"value":"0535.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791329$4FDC2B74-5915-4DB7-9CE0-01539C3356A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0886c2f12bf2156b4532f164426abe8ce615a3a0","datavalue":{"value":"10.1007/BF00271641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791329$C36DF8F8-2458-4238-9EEB-E339CF87F8AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$B2CD6236-EB05-476F-895B-2B9B9316D558","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":"Q791329$BD219079-B416-46CA-A70B-27C095E93335","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec7a4bd9725f0580120cc12724f300d34da6a0af","datavalue":{"value":"A semantics for the Clear specification language is given. The language of set theory is employed to present constructions corresponding to Clear's specification-combining operations, which are then used as the basis for a denotational semantics. This is in contrast to Burstall and Goguen's 1980 semantics which described the meanings of these operations more abstractly via concepts from category theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791329$2EBD6116-8764-4575-A25E-634D274DA3AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791329$59FA8136-7F2A-4601-A0B2-47BA4B0C7C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791329$4AE4CE49-08DA-48E5-AAB6-E860734D3E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea5f31cf98cfda5559fc17206ad3acdc956a1d3","datavalue":{"value":"3850492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791329$9EF322D9-1792-46F2-832B-0C42E7AFA332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44b077ed057dd64dce4a83bcd010e31566eb260","datavalue":{"value":"semantics for the Clear specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q791329$ACA6284C-9459-4E67-827A-5366BB49AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q791329$33453DC2-EEE1-4180-8302-787E4DF3F24C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$F5B61DC8-4B6F-4964-A0B9-EE6E4996E060","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":"Q791329$0040C375-0EFE-4AD4-9736-6346CB321CF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b4f7ff3b427d85f5b1839dad4d5d85eb01769a","datavalue":{"value":{"entity-type":"item","numeric-id":3936221,"id":"Q3936221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$A2501FAE-2A09-4DF0-8ABC-42AD988B5225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f43d0211f7e17ba253c0ab9a739eb489b10d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1157137,"id":"Q1157137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$75C4310C-6403-41A4-89AA-8D168975501C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$FEF235FC-C53C-4C08-B4B8-310321F3FF44","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":"Q791329$1B55EB28-551B-490A-93B5-A77D0847E519","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":"Q791329$B6B82E91-D3F7-4023-A2C5-D8C0AD0582C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94ed1966146509e4c807f693ee51c1a63a3a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3667933,"id":"Q3667933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$1D6E0A61-4003-4D14-AB81-23078AF2373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b780c3b7019027ffbb7de419b60439e18cc8fdfb","datavalue":{"value":{"entity-type":"item","numeric-id":3668831,"id":"Q3668831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$B27EE8D7-2896-4D31-83AC-1B99A3AE9C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$24923DC5-E9BE-40B0-9AEB-B0E34E076CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$158BD352-E682-4429-AF52-BC5D72E862CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acb866116ce642b1507d26463a95419186f8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1067767,"id":"Q1067767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$A1BB9ABF-0EC0-493A-85F3-FEF9F52DF51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$179EB456-5C05-4975-AB21-9FD95BE3D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6e6595ed29b704cd59029b883e4e2c6d9260db","datavalue":{"value":{"entity-type":"item","numeric-id":1054452,"id":"Q1054452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$7717613F-9C39-48C6-B260-38A2950C3F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1383e5ac677d7114e8bb8a38761cf667f5991","datavalue":{"value":{"entity-type":"item","numeric-id":3923580,"id":"Q3923580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$1041DB16-B624-4410-B804-C00544D90F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$173D575D-952B-44EB-80DE-25E2A31C7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e16f53aacdc2272655a20338ee20ff055417e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3954805,"id":"Q3954805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791329$DD6D8946-7FAC-4E0B-8713-B736A27E4DCD","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":"Q791329$88B5AE58-A2CC-4D71-A74F-D8F0A8589EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6755d6edc47ad41765a04021d2cf863d0733fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":4288283,"id":"Q4288283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185e2a0a18f1d9d47f6658ec4a5b6505866710c7","datavalue":{"value":{"amount":"+0.7691610455513","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":"Q791329$17E4AFAD-C62A-4714-A606-40662C2D5DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b08dcc09d94789e757ef938fe4909ea8a0ffb36","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac4c4c48b200d7da6f43b33be104d83016413b9","datavalue":{"value":{"amount":"+0.766444206237793","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":"Q791329$9D492EE1-6725-4352-A89D-50E1E52010CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250323e3697f8848a68d9655838719e0d8f3c118","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2e4b879ff03bc33917547c4445c0fe1fd15787","datavalue":{"value":{"amount":"+0.7493318319320679","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":"Q791329$D8CF4043-CCE0-4B7F-9EC8-B43F610BF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1780b3ae624ca214df4b6da8ece5eb84057407ff","datavalue":{"value":{"entity-type":"item","numeric-id":3725526,"id":"Q3725526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f022e6b6ce9011be468db7121cd5f679f25f1220","datavalue":{"value":{"amount":"+0.7331206202507019","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":"Q791329$9A79F2CF-2B52-49D6-A938-D27BADCDC6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da86a511fc447f64f025f1c930619b522161f355","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82724eaf6b7cc81e89af91cf8113266ac2cebc4","datavalue":{"value":{"amount":"+0.7224754095077515","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":"Q791329$0F3235A5-42C3-4575-9CF0-36BBB31EF339","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A set-theoretic semantics for Clear","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_set-theoretic_semantics_for_Clear"}}}}}