{"entities":{"Q1276245":{"pageid":1286995,"ns":120,"title":"Item:Q1276245","lastrevid":70050519,"modified":"2026-04-13T12:06:30Z","type":"item","id":"Q1276245","labels":{"en":{"language":"en","value":"On transformations of concurrent-object programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243210"}},"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":"Q1276245$70DC6F5B-8F77-40CB-830F-6063665C2F95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7da68347a20c621cc6a18a260d4779643bae211c","datavalue":{"value":{"text":"On transformations of concurrent-object programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276245$961CBCFC-E1E0-40F7-B17E-67B3CE4EF50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb37667c992cd5a3320ea8daf7c29b4101404ef0","datavalue":{"value":"0915.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276245$AAF3321A-E5C1-4A10-9661-22EFDF778F83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a58d1c4edbe3b482109361904389d5b32d92ac77","datavalue":{"value":"10.1016/S0304-3975(97)00222-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276245$94EE07D7-47F8-4D25-950D-4EC930912C17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$6083819E-15A0-4B19-8284-AFF6CBD91D8C","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":"Q1276245$9646AE08-7CD3-499A-BFDE-BCAA69E9B3A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-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":"Q1276245$B15A3146-E623-4057-A407-0745A5BAC034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276245$0CBA63E1-0CC5-4606-B7D1-D1EBA716CD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc98c0f20d7d9bb23e739a356b62734287f9e67e","datavalue":{"value":"1243210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276245$C601847C-9BEA-4D74-80F2-13A15CEA1C02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7cde9cf28828a1432afbc1b11fceee14755ab6","datavalue":{"value":"concurrent-object languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276245$6A961E37-AC22-4FF6-9AEA-0A780A5F824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276245$AE018366-CEBF-42DD-9D26-81DD42368329","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":"Q1276245$CCFF33DE-6F22-4F99-ADC4-F2C1A8ED304A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$0331B052-7A04-49AD-AE0A-E5C5AC0B5C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$193B9714-1307-4440-A50E-E6E33D9268E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$7955F059-0CB7-4DD7-84AB-FED20C5FACDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dc1cb9846d67b7e8df0d43bfe9d7b665444633","datavalue":{"value":{"entity-type":"item","numeric-id":5044731,"id":"Q5044731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$B1260EA5-DE1A-4429-9D0D-0B43F3B63F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc28da17ee7a3507f099a8d339511f2126252f89","datavalue":{"value":{"entity-type":"item","numeric-id":5096733,"id":"Q5096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$D590BCAF-5183-4114-B00D-B4B5ABC4C1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440648957f50d01b9b970fae682cab6f3d1f5f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1274970,"id":"Q1274970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$36DE4D5C-05FF-4B26-A73E-1EE78939E545","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":"Q1276245$4B231F11-B6E8-4D92-9B60-9ABEB5576D6A","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":"Q1276245$D404B4BC-6F08-463F-B58C-9FA104772851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$EE47811E-1BF6-4DE4-ACFC-55C298943072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0e5555cc7dd38ef891c755b0d225dbf55eb79c","datavalue":{"value":{"entity-type":"item","numeric-id":5943122,"id":"Q5943122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$0C9CC029-1DC4-48A0-B127-C575EAF6B88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$2B055BC8-1475-44C3-B8FC-2091713964BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$43CE3317-0BF2-4D7C-8858-D7E4A653BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afb914a4d040203ef2e139a0192319c6fee9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5096237,"id":"Q5096237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$0E39968E-D110-4C26-9FE5-FE5592AF445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276245$7956DDF8-0905-48C8-B7B0-FE40949A0175","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99009c1d3f5c60e6ef04b7de0e8f17b7e8f6d687","datavalue":{"value":{"entity-type":"item","numeric-id":6104370,"id":"Q6104370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73af04485b92987d75beeaa6fd5af1f1466cd7dc","datavalue":{"value":{"amount":"+0.9845890402793884","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":"Q1276245$A83DB51B-291F-43A2-B47F-0ED371D8AA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68cead2a29571c17b35b41977a137d052eae595","datavalue":{"value":{"entity-type":"item","numeric-id":3830521,"id":"Q3830521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394f34b2c9494d2270a648fb624302dc579586d2","datavalue":{"value":{"amount":"+0.8647619485855103","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":"Q1276245$A8873BBF-0049-4FF4-9A86-94EB23E88C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69893b09cd363e12307f0fab2a195914809fec","datavalue":{"value":{"entity-type":"item","numeric-id":1284702,"id":"Q1284702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8b4d8d8b043f63053d5819791fa7e4670d56b8","datavalue":{"value":{"amount":"+0.81388258934021","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":"Q1276245$A784EEF7-6B86-44CA-8A8E-1DB54FFF22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee36c5d4de83322c98c54ae98864bf21e0b8724","datavalue":{"value":{"entity-type":"item","numeric-id":1274970,"id":"Q1274970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76015d675a80a8d74b50fa91a2a285825a253d72","datavalue":{"value":{"amount":"+0.7956004738807678","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":"Q1276245$4A0A51A7-DAFB-4525-B85B-7AF0CBC450D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c1ab14352198e4b2415fe7227cfc1cfdb57495","datavalue":{"value":{"entity-type":"item","numeric-id":5096733,"id":"Q5096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bdd4026859c97b9844bc7d6b63f5a6ae21336b","datavalue":{"value":{"amount":"+0.7881422638893127","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":"Q1276245$818DBBA3-2C1F-454B-9511-17E8561697DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On transformations of concurrent-object programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_transformations_of_concurrent-object_programs"}}}}}