{"entities":{"Q5738963":{"pageid":7768515,"ns":120,"title":"Item:Q5738963","lastrevid":41676286,"modified":"2025-05-07T02:32:58Z","type":"item","id":"Q5738963","labels":{"en":{"language":"en","value":"Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729772"}},"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":"Q5738963$76AE53C6-8EEA-4145-8023-341CC35E618D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42d69338969088001882b3c721ea9ab106f0cdeb","datavalue":{"value":{"text":"Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738963$14B8CF9A-1D64-48F8-9A30-6F21AFC0B7EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"357e1d62171f0a4a278c452fd94e84305731c1df","datavalue":{"value":"1365.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738963$040C481F-0562-4322-98D8-D6BBF5FE2999","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f91e8d966735b69ed1eda5dc9bc61053f7e30b58","datavalue":{"value":"10.1145/566385.566386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738963$1485949A-3B64-41AD-8E43-C62726EACB21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738963$542BE4B8-5A75-48C6-B2BB-A97BFC5DE8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738963$6678B205-B3FD-4353-AD03-7278942F5007","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738963$667402AE-4926-4A47-9030-E7CC88CB0E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738963$BDBFF429-7419-4B45-9EB8-C65D2DD2BB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738963$9819990A-B198-4132-A918-57901AE07DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f60a2426c07f37315c08b7e581d8245cb3d73626","datavalue":{"value":"6729772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738963$C9E5026C-FE51-4446-B9DE-932A133E4E09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738963$A6C39C2E-C486-42DE-A754-75E45937F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"034b1f20f955a75dad08aad9ad5e5479036d2a1d","datavalue":{"value":"ST bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738963$F5E19B6C-91CE-4C67-B8FE-2EEDE881ED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738963$09472E3F-0881-4B40-AC65-7200D5B8998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bdce5d56df85d2f98b468a4e596f40dce6733c9","datavalue":{"value":"noninterleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738963$97D1C3D9-04DD-4213-88DA-A0E2CD4F5BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738963$29C042B7-DC4E-40EC-A99C-88764DC37AAA","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":"Q5738963$91D34C3F-F597-43E3-83D2-185B11508B74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a46b5a53602845a25ecd2da3ff9efedc59490e88","datavalue":{"value":"https://doi.org/10.1145/566385.566386","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738963$A17D0580-B0D0-46F4-A264-C99F4D34243E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6cf499cc12d0a32489e20d7190127217bbc163d","datavalue":{"value":"W2055350841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738963$4CAF1CDA-089E-418C-9B7E-6BBB4561E448","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60548dc1901036f342fae8aed2e3341447a62583","datavalue":{"value":{"entity-type":"item","numeric-id":4499198,"id":"Q4499198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35d27d02e08793b8c97347dd24ac35f907a9b46","datavalue":{"value":{"amount":"+0.95877045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$5F8136D5-1F97-47FE-83FF-36ADD62D171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa13a48cbe0e9c6fd2b4d96bc5f01fd70e1955f","datavalue":{"value":{"entity-type":"item","numeric-id":4941915,"id":"Q4941915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabd7f8a7a1a41ecb81d37a6bfd3a90eb97c9493","datavalue":{"value":{"amount":"+0.90046144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$1DFDBF5A-1096-46FA-9863-0902E4F5A7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1ef3d018ef77712d76cc9eeed5f4eac1e2f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2870192,"id":"Q2870192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f694208696a332076c89dca6fe1ea1440fa4eca","datavalue":{"value":{"amount":"+0.89535177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$C2F265E0-92AD-43F5-ABDF-200398CDB8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c11c2893ec774da3b7fd321f03174a7c84672a","datavalue":{"value":{"entity-type":"item","numeric-id":2365760,"id":"Q2365760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3a4f2c00344715972b2d6a2e4cdf88ae8c8250","datavalue":{"value":{"amount":"+0.87642914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$6B0A4523-D303-4C30-962C-0D40A5B68C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957428ac12454c8aa957859ee2819c75a065c267","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3a4f2c00344715972b2d6a2e4cdf88ae8c8250","datavalue":{"value":{"amount":"+0.87642914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$7E040B72-2F8C-441D-88C0-B1DFF7785458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768305c3a9fb9fdae475923e2b36dd9d0056098","datavalue":{"value":{"entity-type":"item","numeric-id":5415608,"id":"Q5415608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1f9e034c677f929c374429876c69827cc8ce85","datavalue":{"value":{"amount":"+0.87393576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$C4065BB4-C22E-4FCA-82C6-8CC9B2ADCED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762696c99c796f3de44ee819962b6ce1982dffb9","datavalue":{"value":{"entity-type":"item","numeric-id":4222868,"id":"Q4222868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881eae6f9589186710ace5b6a1145e211943606b","datavalue":{"value":{"amount":"+0.872015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$EF349532-DA92-43EF-AAED-5A77CE55D146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327245deae8fcce3a87a19959f78bdd41102aa1d","datavalue":{"value":{"amount":"+0.8716744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$49C7EACF-FBBD-47E6-AC21-2B0D2D90BEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c62997c11bde954006c7eed5f367f9573483c6","datavalue":{"value":{"amount":"+0.8703115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$01D8AF5D-2C35-44BB-A52F-647B5FA88035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f544cb5e8e3063980ca87667ada56082083e853","datavalue":{"value":{"amount":"+0.8676002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738963$16EE8D42-B6F6-4322-84B6-EC79537B7513","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738963"}}}}}