{"entities":{"Q1121676":{"pageid":1132425,"ns":120,"title":"Item:Q1121676","lastrevid":69695763,"modified":"2026-04-13T08:46:44Z","type":"item","id":"Q1121676","labels":{"en":{"language":"en","value":"Full abstraction and limiting completeness in equational languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104401"}},"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":"Q1121676$F4618A63-B14F-4CE0-A718-73516625462E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d386bff63797929ee75f65d7ec2cceac4cebd1e7","datavalue":{"value":{"text":"Full abstraction and limiting completeness in equational languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121676$9EC07B87-B2F0-4008-88B0-F5C6052379F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b7e44e75eb21e48cf07dec0c1522e176c3b7ac","datavalue":{"value":"0674.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$F8CCD3B0-3496-48D5-ADFB-196A785CA107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03490bef036e576eb1ad5127770c61d8bb16755a","datavalue":{"value":"10.1016/0304-3975(89)90139-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$794FE82E-FFD6-4022-8E46-D758554BCD39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2875d8c3bf5a90838b3f77794d93fe24e6c0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":685422,"id":"Q685422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$7A8B868A-4CA4-46DB-A668-2B87C611420F","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":"Q1121676$315706FB-00E1-4DE1-B35C-E673EDA20F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121676$859C0A2D-1F2B-4348-BE52-251F116587D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92e48376bd28d84cf01bba71e89c2e5d3c61dca3","datavalue":{"value":"http://hdl.handle.net/2027.42/27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121676$DC2C5E7B-3185-4CFA-9EDD-965308B380B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44b739b9858ee5ad3b3ff747584d5f3f84b763cb","datavalue":{"value":"A notion of full abstraction for equational languages is introduced by the author. That notion has the property that each language has a unique fully abstract model which can be characterized as the final object on a suitable category of computable models.    The author also describes two different techniques for proving limiting completeness with respect to regular systems \u00e0 la Hoffmann-O'Donnell and to information systems \u00e0 la Dana Scott.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121676$6A927D83-0513-4D35-8CCA-584A3918193C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$1CEC5C12-A069-4CA1-ABE1-8E7AA7FC3348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$77569C96-3D34-43D7-B684-B3A0A6627837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$B85C5708-D0E3-4641-97EF-F5364E8324C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$F34F750C-ED5E-40C8-B39C-1CCAC71D31E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c5fec478cbcd50e4e39e91e7c84c33e0f6dc1e4","datavalue":{"value":"4104401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$C2458EEC-AF8F-40FE-B679-1C35407BA688","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121676$3CCC1E0D-75DA-4CCF-9DEA-17AA3F233221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab2f7411dac495dd858c700025452f87d217f5ee","datavalue":{"value":"limiting completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121676$8B2F23C5-1582-40D6-8894-C0252173404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed650460bb1982789f02aaba8968eaa24a0493","datavalue":{"value":"equational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121676$603E633E-47E9-4A09-8D90-AB2476177481","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$7175ECC8-69C6-4709-B05F-B78DF8DDA7A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$53744B57-46D3-448C-89BC-6A48625172C7","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":"Q1121676$639FD62B-7760-43D2-BA75-B6D7B6D8B994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bad6c61957b3e6f0e2879a7d3fa034c677948f0e","datavalue":{"value":"W2063982351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121676$36627E59-75DB-4B15-A02F-B3E41C7294EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$C97C585E-F42A-416E-9BBE-EF7C2F44428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$E3B523B0-ED28-44A2-9D06-8AD3251D3BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972bc1fa971fc360b4e9b78570fbe5c71387879c","datavalue":{"value":{"entity-type":"item","numeric-id":3939197,"id":"Q3939197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$EDE9605F-E5EF-4509-8B66-D88D1929DD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$DB222B27-4CB4-4829-9E12-E64DFB82561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$09AA78BB-C813-4FC4-8B8A-209C18FC3BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c13b7dc1ec9779b586f48b9496b9f2cc616b30","datavalue":{"value":{"entity-type":"item","numeric-id":3938467,"id":"Q3938467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$2250D1B2-41C3-4FB5-8EA4-2A6969E120E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$973183F2-95D0-4FB0-A21C-91B1F321A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$6FACF68A-389D-4357-9FD4-88AAC883EEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$E9129E27-CF0C-4C0D-9F77-0368356DB42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$376B2D5F-22D3-4B28-B342-9D49AD3D5A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$DAD9889F-27C0-4305-845A-A2BA152EA5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$87DD70B1-34ED-45C7-8E37-DD3E1B4367BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d512bf90ee6db3a4baa20c6eec43f385f28cf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$F37B9E94-4A2F-49B5-ACF5-4E869E85F6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4a81eda070c978bbd2c9bef29ea1181fd9aaa8","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$2E1789BE-0ABF-4A1F-ACE5-6E737EEFA46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$DEE221E3-D7FE-4893-BA4A-F5966C0C59CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$0202F183-DA92-4768-811D-09893114470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121676$33107581-3223-48C9-9203-56945B2A14A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad79f3156b04fb162cb12de8cc9e4440bf95044","datavalue":{"value":{"amount":"+0.83186274766922","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":"Q1121676$B51FA5A1-27D1-45AB-8A5B-CF63179BC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145a65668a14470253fdc3b66e6f3e95ddf77a3a","datavalue":{"value":{"amount":"+0.7989840507507324","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":"Q1121676$4D090E6F-C41D-4F9F-8456-270DA88659B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2444c5eedfdbf9a8da3e76368e541e2ce5f09b4d","datavalue":{"value":{"amount":"+0.7812520861625671","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":"Q1121676$F00C5DB3-50A5-4775-9488-650FC1FC82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c4fae42894996d62bdc1b24c20fd91d2b85957","datavalue":{"value":{"entity-type":"item","numeric-id":1892888,"id":"Q1892888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb27ef2b67eac70887b1b4b508a307868a22958","datavalue":{"value":{"amount":"+0.7710443139076233","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":"Q1121676$64D6840B-D0BC-450A-9238-4E6CBB662570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee0a6d242cd817f33b11fe929ac968e03092e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5741574,"id":"Q5741574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da719d5a7646e2a295993006bf7beba765c768b7","datavalue":{"value":{"amount":"+0.7707429528236389","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":"Q1121676$149EC9F4-7161-4D1E-A99D-4E93A47186DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction and limiting completeness in equational languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_abstraction_and_limiting_completeness_in_equational_languages"}}}}}