{"entities":{"Q286953":{"pageid":288720,"ns":120,"title":"Item:Q286953","lastrevid":52540565,"modified":"2026-01-22T22:17:30Z","type":"item","id":"Q286953","labels":{"en":{"language":"en","value":"There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585357"}},"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":"Q286953$0566069D-C651-48CC-8BE5-ED64FFB57F14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"776b68999462c8fc66308bb668d19e278bfce937","datavalue":{"value":{"text":"There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286953$A5827567-CFBA-4CA7-8FC8-3315FDB6918F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41923fbaadb919099f88b7bae1af1d9db63cf7b8","datavalue":{"value":"1336.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$A43BB445-9407-4BB9-8E33-6C0A5CA61192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c13e7dec1fa47875fbb5417cadbed8d42cccfab","datavalue":{"value":"10.1016/S0020-0190(96)00177-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$3A8C3019-4AEC-4145-8C2C-A6E521BC108A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac2e89e9107743fab57865e3e267af8569426f29","datavalue":{"value":{"entity-type":"item","numeric-id":286952,"id":"Q286952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$5C5D5775-1E88-4840-B5C8-4AF9175EB0D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$6C215927-8C01-4A74-8C6F-FC7E0C1872FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286953$DD76B72B-D3D2-43D1-A049-0A8710005D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$CB32F539-5132-4345-90A5-DA2D735B5FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$10CD07E0-AE98-40DE-ACB0-ADC5A962EC89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e52121b99626f1d2e97e8751b585340bedda9ad","datavalue":{"value":"6585357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$C0E4B3E5-1C39-4C56-8CD3-487FE976F0DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$6EC9EFD5-4C4C-4043-BB93-AA5C3102DE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$3ADB29D8-2810-4BD5-97D0-3F34C25E4B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$1E88FE19-17D4-4AE4-9FDE-8F58007A4EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d452d330abc5e5a41d60ea6b343eecb6218bb74b","datavalue":{"value":"fully abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$08817B30-E63E-48BE-8818-99425E54B6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$A708AFA2-700D-46B1-8E60-A7206A9762A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40eda1ce33b3fb5cdbf6c2f4080f26c9b02f7faf","datavalue":{"value":"infinite computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$F21C8F0C-C7ED-4FB5-AF72-9A36FB61789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q286953$66BD85DB-33D3-47D1-93F8-25E5E80EBCD4","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":"Q286953$91539385-1E42-43D3-BDEB-F3C2A0B52417","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$CC233767-A935-4818-A9CD-B0FC63A6FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1251d9543db4c7b0418fa8b729f9c35fb031ba","datavalue":{"value":{"entity-type":"item","numeric-id":751807,"id":"Q751807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$33A6A7E1-AA6C-4869-B016-F6C2AF6CF454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a7d2271103bc419f2e0878c24590bb8c77ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3945564,"id":"Q3945564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$EFB64A03-A2B1-4805-AC9F-DC326ED96289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$09AC7030-9CDD-4493-88CC-CE5316CD9058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$7D9AB1E6-BE9A-4A73-805D-82E437D3188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc3f4ed9f8d6fbed1e4020250b6643a9a22741d","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286953$A61B2B7F-499A-4294-AFEB-54DE1B15309C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a07b90e3e01c8faa7643c03b0c167761974fcbe5","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(96)00177-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q286953$ECAF4028-71CD-43A0-9D93-7E2B5A5A4662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17412c9fc587aaedcc683d21c625103912638ea0","datavalue":{"value":"W1987915730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286953$F382E2B5-088D-4C23-B42C-40FDFC06FCDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f92a45f159be251ed93348d45e4f3a3a03f105","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08456ee7d2ec7eb66cbeb9b5283018b9ff9595a6","datavalue":{"value":{"amount":"+0.7898623943328857","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":"Q286953$1A6D15AD-92A2-44DB-B9FC-0A97B2AFE56F","rank":"normal"},{"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":"dc0913f6444b8460ee3f16774d55b3c7f582913a","datavalue":{"value":{"amount":"+0.7793369293212891","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":"Q286953$B51FA142-D869-44AE-A915-642323270A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe56bc0b16f676fd218cc20ba8ceb177122d848","datavalue":{"value":{"entity-type":"item","numeric-id":4281486,"id":"Q4281486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac7a5e01d291f2adab7fb8d8ff4836604323aec","datavalue":{"value":{"amount":"+0.7748989462852478","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":"Q286953$C0FB13A4-EC2E-4AD3-9BAB-E3C60E1382D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d54fb7e26b42cd1a3563fe57dab8070416afa48","datavalue":{"value":{"entity-type":"item","numeric-id":1575887,"id":"Q1575887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3eb3582426b477268cc9bfdcf30a0cdf160262","datavalue":{"value":{"amount":"+0.7744894623756409","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":"Q286953$B399D387-43D9-420D-84CA-753B613B2008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccf917ee0994faa5593abf83b3886c739515591","datavalue":{"value":{"entity-type":"item","numeric-id":4222765,"id":"Q4222765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29279739915f79ea5f9899a33b80047e4f0d3eaf","datavalue":{"value":{"amount":"+0.7641032934188843","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":"Q286953$4F101BD1-C656-408E-B4DD-6EC60A2232E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:286953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:286953"}}}}}