{"entities":{"Q5940916":{"pageid":8117718,"ns":120,"title":"Item:Q5940916","lastrevid":97643858,"modified":"2026-06-05T15:09:31Z","type":"item","id":"Q5940916","labels":{"en":{"language":"en","value":"A fully abstract denotational model for observational precongruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635067"}},"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":"Q5940916$209A5220-3D0D-4B45-B200-53E0A7FC89BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01abcd67a58ec74c8143b7baab5e3ccd23e68873","datavalue":{"value":{"text":"A fully abstract denotational model for observational precongruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940916$D218FB98-B941-456C-B9F7-03CC9A50E110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f0715c82aa3a983106b115c4fe5262b872bdca5","datavalue":{"value":"0972.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940916$A9AB7405-316B-437E-BFCE-15607454FCF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec32f067bacdf0161dfcab1c3f4369fc63c45639","datavalue":{"value":"10.1016/S0304-3975(99)00117-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940916$6D15F9C9-E5A2-4630-B9BE-B95A9EDA4018","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":"Q5940916$6054A541-DCC7-4DEF-86CB-CE2D947E628B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940916$FFB1C392-5AFA-40DD-9BE1-FEC879C5F0E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf7ce63ce04ec48e0f26d911f7158cf68a4d465a","datavalue":{"value":"A domain theoretic denotational model is given for a simple sublanguage of CCS extended with divergence operator. The model is derived as an abstraction on a suitable notion of normal forms for labelled transition systems. It is shown to be fully abstract with respect to observational precongruence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940916$ACA40E8D-0CB7-4B55-B49B-9AEFB8AB8FFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940916$CF86B86C-2B6F-4F44-ACB8-06000B3EAF8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02a3f23e30efebb3cf12741256e857dd9de6b4b3","datavalue":{"value":"1635067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940916$127548B5-FC52-4C64-8EDF-7D667222E311","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940916$2FF6204E-EC26-4329-A871-CB6BFD0154EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608626254cf6b46c9527e4b59888e402a07015df","datavalue":{"value":"denotational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940916$3D545BB8-2937-4454-B077-A35955B570B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940916$B49863F8-1B16-4845-BB8A-114088FEC902","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":"Q5940916$8446AE7A-D68D-4155-A66E-CDCD7FB1ED24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$A61BEC7B-AAEC-4B55-AEAA-67C1413CD7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$5A73197F-092E-4AEB-9043-FC78BE7FE469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$5E3D048B-629C-417A-8AA4-47A0E578654A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$F4FC5DA1-FB62-4DAC-B62A-668E2F3EBCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$0943A7AB-2FB6-43E1-8223-8281782974C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$60F0AE75-C04D-49EB-B6B4-64C419B8F6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$D839D355-7C3C-49D7-9C85-C5AA6F273014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$D39FEC25-4529-4833-85B7-00903878D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$E20F59AB-2D96-48A9-9186-C6D037900718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$F695C624-32D5-4C64-B9A1-9969873A38E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$57F53817-613D-47F0-88B8-DB826934BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$58E50F88-EA82-42A6-81A8-7A09C57B88DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$5132BD71-EAEE-4260-8CB7-6EC452DECE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$D9B8BBEE-5CE4-4754-A536-E11D0A234685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$34C52CD8-BA31-4528-AD86-D29235D143CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$00D4B750-3250-409B-BBE5-F30CF823321E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$83B91CA1-20E7-4303-BBE7-13666B1901BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb7751347a9e393e5f51241be38fcb4ed1e07e6d","datavalue":{"value":{"entity-type":"item","numeric-id":689272,"id":"Q689272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940916$917B2A2F-D9D3-4A1F-A477-5A3591730B7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a2f37f7debea2b80fc6c481caf08f2f003deb0","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865c111665b557f2cdfd8d1725fc0670f1956ddb","datavalue":{"value":{"amount":"+0.7756541967391968","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":"Q5940916$73D9C12B-F912-478D-8580-E3A50646D85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ff147a482a33c166b929d245f43f6814e1cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":3348429,"id":"Q3348429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b1d577f9e1c9a5d61a99c263ee5b18cd09e063","datavalue":{"value":{"amount":"+0.7753276228904724","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":"Q5940916$F72D4C33-CD03-4A56-A2B8-DD9F751128A6","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":"2ffb45de2a3d997fb43927604c742e28075c133a","datavalue":{"value":{"amount":"+0.7738898396492004","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":"Q5940916$2F370722-1DA0-402A-869D-C38AB441FA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf95e82237bc767c4c1549451fe8a9609a9223e3","datavalue":{"value":{"entity-type":"item","numeric-id":4721642,"id":"Q4721642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac797d7620b9e36d1281c7e5167158d49b75024","datavalue":{"value":{"amount":"+0.7686387896537781","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":"Q5940916$EDB64BC5-F78A-4FAA-86F2-51307E36045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bae0b2aaf8004789da4d810364389bc083a9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1e62ef211ba63ba4eddcd92d6be8f8dde46c20","datavalue":{"value":{"amount":"+0.7671263813972473","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":"Q5940916$9DC35533-B76C-44BC-A6BB-7CDD08FEDC09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fully abstract denotational model for observational precongruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fully_abstract_denotational_model_for_observational_precongruence"}}}}}