{"entities":{"Q1198952":{"pageid":1209701,"ns":120,"title":"Item:Q1198952","lastrevid":47109172,"modified":"2025-12-31T17:14:26Z","type":"item","id":"Q1198952","labels":{"en":{"language":"en","value":"Structured operational semantics and bisimulation as a congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 93302"}},"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":"Q1198952$7BF220B6-44B1-437F-88AB-F466487EF224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ac8af3749bc45c940449108afa1a94ea7b683c4","datavalue":{"value":{"text":"Structured operational semantics and bisimulation as a congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198952$303E6B1A-42FB-4B77-B975-3A6180CC2D9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43711e32fa1a99ff347618a295e5a242be129d34","datavalue":{"value":"0752.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$945F2232-3AF9-4111-AE53-9359BD79F48D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c1684ad4352fbaae88ffd36cb39d72b51478635","datavalue":{"value":"10.1016/0890-5401(92)90013-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$27860D11-E546-4BFD-9D37-7141D2F4977A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$2D121AE9-1F3A-4264-A434-539F76E340CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198952$0717F14B-F3A9-491E-8302-84F1E5A54B2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c99c83b03f2052bec138bd99e3c0ce63315c72c3","datavalue":{"value":"https://ir.cwi.nl/pub/1495","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198952$2DD21330-EF1B-409D-ACE5-CC0076B22AF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$D484908E-5CC5-4A71-87EA-E22CDB62889A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$9034BBB1-4EBF-44AE-9B1A-4EFB72C1F0E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a900791475146dcf89f6718c8c1e52d557c5fb2b","datavalue":{"value":"93302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$038F66C5-773F-442E-9525-7B267A4B9551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d66bf2a1b1e1bbbf069d7f47610759328f5c326","datavalue":{"value":"transition system specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198952$0B8BCC52-F6D2-40BF-9E78-A444E2E8A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198952$4D8BF1FC-0FBA-4BB3-AF2B-745C6B060BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198952$F3DA9085-20EF-4ED7-A1C7-480181E38DC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$30E5D6D9-9F61-4D16-9DDE-DFF7DC318F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$211D9EA8-0918-4F68-AFBD-EB3C277B2A11","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":"Q1198952$CEC8107A-CC24-48E8-B657-786BF32AD739","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"779c90eabeb1a67800aecea9e3af07a944413f88","datavalue":{"value":"W1999706742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198952$312BA2E4-D214-4495-9D66-F066D6E557D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$602C9DB7-DED7-4D52-9014-DE8F3DB90D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$1A3F94A7-6BBB-4F51-9BDB-602BBD4EEB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$52E09563-FDFF-430C-ADC2-4071F114B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3692b296a33e238e2bac956eca17e6b4d638ba1d","datavalue":{"value":{"entity-type":"item","numeric-id":3776606,"id":"Q3776606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$8A5CDA06-F631-49FC-8C66-470E6922956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$7370E7DB-5BCB-4DA1-B754-F6307739564F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$530708A0-2C9D-48B6-9763-62F86E6AC02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$D3D91B59-DF5D-4EDC-BD53-C45DD87FB146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$98663F7A-CEBB-4BEC-90DB-53FC405486CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$7FA966FD-7674-48D9-80E8-D1141FB6AB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$360EA3D1-0711-4CB1-8030-086E0B99714D","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":"Q1198952$A098BA4D-4755-4CFF-B062-1C9393798D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$C6C7256B-0A8B-41AD-B14E-8A3B2CE584CF","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":"Q1198952$31376365-708A-4DC8-B2F6-0192BBC17E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$D46A0C98-DE98-4ECC-B5AF-23A9A9BB8862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$2E321366-D96D-4FFC-B1ED-C3DDCB00DA01","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":"Q1198952$8F0F2CB9-A157-41B4-A856-A50EE3A8F7E5","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":"Q1198952$CBF46A92-7464-47BE-8C6D-FA7CA5B1130A","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":"Q1198952$B889B480-E005-4E4E-A4BC-98E25D17DCAC","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":"Q1198952$0D03B035-7941-4819-BB90-6F4F91DDF79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$BF9C1F74-9080-4FE4-99BC-1B7A68450FE8","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":"Q1198952$A58DE4A3-D21B-43E1-8D26-9608E9C76F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$83423C92-F6F0-4FCD-BBB5-03FDAC209EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$973CFCDE-0AB4-40EC-B1D2-70C65BC5C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$315948FB-2BB0-4D61-8F04-85CF0B16CFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198952$0C6E4089-B29B-461D-AB51-B50195A98E68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e254d3dc28128dd2a1604d4dfe58be0130aa8d","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e36c4894d0891ef5c3410ec3dc223aab701078","datavalue":{"value":{"amount":"+0.8687865138053894","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":"Q1198952$C011C6D2-DECD-474D-A096-0D0C3F1EAEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29becb5bd10583c5f6229ac851c6c7d86cae46da","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718e1c1da3401e96ac7b0d57399c41776e11a80e","datavalue":{"value":{"amount":"+0.863689124584198","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":"Q1198952$36A9B0A8-4CDD-4E74-830B-057012062194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a3f795f890517bb2e1907fce75143ca7b9ce71","datavalue":{"value":{"amount":"+0.8390735387802124","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":"Q1198952$BFF10AD6-6AD1-4F89-8B09-3D16EDFC9440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fc933934099fc702f7ade85c62ea1c18c9b13c","datavalue":{"value":{"entity-type":"item","numeric-id":4490742,"id":"Q4490742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05be313555a39b44175cbbd96e7551f3badf3af7","datavalue":{"value":{"amount":"+0.8302550911903381","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":"Q1198952$29EEA5EA-1ADA-417F-8F3C-EC853F75A6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1718ba35b23c682b9f0af9f9203843aaa0f49a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5900559,"id":"Q5900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05be313555a39b44175cbbd96e7551f3badf3af7","datavalue":{"value":{"amount":"+0.8302550911903381","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":"Q1198952$9716D37D-A03E-44AC-8A1F-2309C6D1BC2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1198952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1198952"}}}}}