{"entities":{"Q293405":{"pageid":295172,"ns":120,"title":"Item:Q293405","lastrevid":60705444,"modified":"2026-04-10T18:37:45Z","type":"item","id":"Q293405","labels":{"en":{"language":"en","value":"A non-SOS operational semantics for a process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590773"}},"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":"Q293405$3123FFC5-F12E-40DA-859C-09B10561B574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"905d07d8f6384cf30a585d627367de74a52d72d7","datavalue":{"value":{"text":"A non-SOS operational semantics for a process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293405$9A701F09-BFEE-4C88-82DE-8AF0BFBEC21A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1e8a16f5327f9f81a5122c93786453b2955fe17","datavalue":{"value":"1339.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293405$D51A9915-383A-4D3F-89A8-8A3FF43371B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"660bf6603ca406ba8ab11f648a874558b393a63f","datavalue":{"value":"10.1016/S0020-0190(98)00135-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293405$24468257-6E34-41A7-AF0A-616DCDF7BA98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1539d6d2cf8efd5a784490d4265b687f8e66","datavalue":{"value":{"entity-type":"item","numeric-id":293403,"id":"Q293403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293405$AE3C88ED-EF50-457A-8EF8-1CE9B3A8C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3c4529b5ee032c6aae7993a30ed28543c441b5","datavalue":{"value":{"entity-type":"item","numeric-id":293404,"id":"Q293404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293405$E326B0FC-BA7B-4AE4-A86A-6354CEB9AA7B","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":"Q293405$0451D1EE-3C06-41C5-AFA3-01716058A329","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293405$574C4612-70E2-4BC3-A005-3D0FAC610EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4ebd88c98b381588fbd18591c3a61d443eefc20","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098001355?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293405$38721B68-233D-45B7-B1D5-3FDDBBF48AB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293405$05ADA1C6-1D29-4D8A-AC39-237DBE64F5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293405$470229C6-022E-4BFF-91DB-DD15866B1021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc7cc07724ccc335dd74bc1f765226fcea64e3bf","datavalue":{"value":"6590773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293405$72D17B73-FACE-42F0-8C5D-B4AA7FC263E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4aa2bfb6dcd7942590b81c87a1e66053a66e1c","datavalue":{"value":"structured operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q293405$73AB1947-DAEE-4FCA-9B5B-E652C94501D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q293405$104F55C7-8FAA-4B13-BA4A-9F07CF9FA218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q293405$50BDBD14-FB63-4352-9C79-CF3287C95DD7","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":"Q293405$911B7F97-C6BD-49DE-AE56-57445D787675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293405$FC786470-71E6-46A3-BEB0-E7AB4A940C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293405$B860CB16-B49A-4171-B8D0-D963420E0EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293405$DEC63300-9098-4103-A72D-23624348E5CB","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":"Q293405$C9F95E3E-D76B-4B44-BE9C-9F92C06B2FEA","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":"Q293405$AEA88A93-387A-4A17-B901-1AD774B6A35B","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":"Q293405$B88CB002-131B-4D89-985B-7A390E8A10FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94bf866516dd2f7ba57c29638658a875d90074","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b8dcdd42c32c934b3531f51fd67b72667f9a12","datavalue":{"value":{"amount":"+0.758053719997406","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":"Q293405$510E5ED7-1359-4A48-9FCF-9B3C15A901C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bbe022d4d8693173b8c388870da0cacceb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4029584,"id":"Q4029584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d38c888d7e3070be549bd7799110b476bc48b4","datavalue":{"value":{"amount":"+0.7510387897491455","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":"Q293405$51ACEDA8-0416-41A7-BCFD-CAD4D3B6877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5964fc0b7e9a9a03bb67c8efb216a91f5597f555","datavalue":{"value":{"entity-type":"item","numeric-id":1357807,"id":"Q1357807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d38c888d7e3070be549bd7799110b476bc48b4","datavalue":{"value":{"amount":"+0.7510387897491455","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":"Q293405$D362B6BD-F351-448D-A3A3-A14EB9853CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77028034a1327f3a2935ef65767fbc7de44d44af","datavalue":{"value":{"entity-type":"item","numeric-id":3787441,"id":"Q3787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a117bf9e7237f73f9eebcecee1d759e034ad65f2","datavalue":{"value":{"amount":"+0.748290479183197","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":"Q293405$20565D31-29A7-4EAA-B971-29A75A7D2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f33d11939c62fa3318591a1533b406fc8a931af","datavalue":{"value":{"entity-type":"item","numeric-id":4896650,"id":"Q4896650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e367e35b23c9a449d87414df2fd381e148351312","datavalue":{"value":{"amount":"+0.7368838787078857","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":"Q293405$1AF763FA-BE7C-474F-B0D7-74F298940495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-SOS operational semantics for a process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-SOS_operational_semantics_for_a_process_algebra"}}}}}