{"entities":{"Q890611":{"pageid":892459,"ns":120,"title":"Item:Q890611","lastrevid":65155116,"modified":"2026-04-12T00:40:37Z","type":"item","id":"Q890611","labels":{"en":{"language":"en","value":"Revisiting sequential composition in process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506925"}},"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":"Q890611$39C1C8B3-E066-4FDF-B00C-E320B9E53DC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05b98a41c2139ba97542ddd634347ec0e4c5286e","datavalue":{"value":{"text":"Revisiting sequential composition in process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890611$F48FAE04-5B89-4AF4-8F40-A617D4D07C3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6f18dca4bc47355fc113b4508d0fe55a64cc292","datavalue":{"value":"1330.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890611$3332AB81-90C3-4836-8F5B-8E3366927B89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$9ECA6302-46C9-4E03-BCAA-444899A6D654","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$28A1C4DF-EAB4-42AF-B0B0-4A9B69A60E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890611$B9CDCF4F-3D59-40CB-85FF-18F10D82A062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890611$2BAF1F04-32E5-4A8E-A1F1-FA57E18A14A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56350a9f4e8abb4210fae35e9ad5f3aad28a03c7","datavalue":{"value":"6506925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890611$AE48EDD9-EA35-491D-8276-F2F81FA2D029","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$ABFCECDE-CF4B-4A72-9DC4-C132FC6A937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$C364D59A-EC2B-44A4-8820-4C1B0F53EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$1DC41EAF-8AB7-4900-BD87-A8E6740BF31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$C1CCA0BB-5329-47B7-98A9-110F850B50F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$85BB4748-F688-47BA-B622-ECCC38D8215E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q890611$17103BC0-EA54-4A15-BAFB-F483DF916B38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$33F88795-FD14-40AD-828F-C518E0CDC5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$B14716BE-A256-4F04-8728-8EB259C51C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$3A5AADC7-A0D3-41C2-9803-BA53B50D531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$9F9DB518-0735-4BAF-AA75-24DE3F2FEAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$407AFB45-A9E0-4458-B518-503D41E7897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$B408E503-1D2B-4563-8E01-4BFF6E1BE5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$F2FD3967-7316-4CD0-B207-2F9F540FACA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a904e7e0f6312a484ac8ae14b477df45c7ed0b19","datavalue":{"value":{"entity-type":"item","numeric-id":19067,"id":"Q19067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$E0203728-39E8-4333-9A02-2AAB2329FCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$A38C5997-580E-4BA9-A129-BD5D3FD675A3","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":"Q890611$38C19627-694B-4CF5-8E95-9DB4C224F46B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ffc00efdb57f785644629b66918c24b6edc8ff2","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q890611$4D5FCC7D-09D0-4C88-B877-E28D2B11CFF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f470d9f3aff1f36ef981a7c3480a006d883f8188","datavalue":{"value":"W1411866384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890611$76F4DEF0-045C-45B2-B91E-68D8BE373C98","rank":"normal"}],"P223":[{"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":"Q890611$20423AE2-0F03-45A1-8CA0-0CC8EA6DF1BE","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":"Q890611$1A636069-2500-4CF2-BA3E-EFA72832C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$149BC02D-FBAC-46A3-8AB7-F6A9F89538A4","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":"Q890611$2648D260-BD40-4CA6-A20E-7D9E43E9E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$34164881-B091-4CA3-808B-EE15900970DF","rank":"normal"},{"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":"Q890611$B0B80EE4-280D-4344-BCDA-1847BDE158B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$B862B2A4-E9BD-4931-AB90-C9C2224C56F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$A7021DB1-5FBA-4253-95DB-5BD25757451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$29897F2F-1575-493D-8138-53A10BF53B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$D77CC25F-3DE7-44E2-B65D-E32653348296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fe3bec3ba361674ce583ec0fe305884fc85a8a","datavalue":{"value":{"entity-type":"item","numeric-id":3065018,"id":"Q3065018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$43A20BD4-F3A7-4B0B-B8AF-4E58FB5C6C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$6F5EE8B6-3D6D-44C8-A6E8-61C10574F28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$376583F0-4776-41B1-BBF2-78F8674FF0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$02AD5E65-93BA-4161-AC7F-A3C9A3E51878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2354c5b955a2cf077b08442398b818f10a459e","datavalue":{"value":{"entity-type":"item","numeric-id":2870196,"id":"Q2870196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$A29F2C3B-D3E5-416B-B273-C170F50BF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$DB3747F0-D17D-4B95-AC1B-4AFB4FE8B1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5267fc1d11c25dd2dba00cf39924a4f728fc42","datavalue":{"value":{"entity-type":"item","numeric-id":2365760,"id":"Q2365760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$5F83C301-68D1-4022-8AA5-56466B93C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ada06802ec5e36bff22b7fae7f7777edcf65d99","datavalue":{"value":{"entity-type":"item","numeric-id":1342519,"id":"Q1342519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$2D1DEB51-6E82-47C2-BBD8-562DE56AFC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2b108e51a9b4eb5389f20e9af0e62be989b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1917085,"id":"Q1917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$25B035E1-784C-4FA8-B2A5-27F1F232677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b00118c50d906501c3ee5320a86446c88da086","datavalue":{"value":{"entity-type":"item","numeric-id":4222918,"id":"Q4222918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$F8DAA3CB-97B4-4E06-856E-82083FFF8D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$F780DD52-4117-4A64-8D06-AE47F1AA0C12","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":"Q890611$C5FD3960-6C22-4196-B804-7EFBE2A01682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880dd72a6b73f3051f9222a5858c78a6d5e7ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2760242,"id":"Q2760242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$2CF7FD77-85ED-417D-906F-ADFB1F9E0807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$4B765DA1-46C8-4B29-85D6-9853592678C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57bc035b899f3ad938b63ea4494e767e7b7ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1333405,"id":"Q1333405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$717275B8-D931-422E-80F7-875041E89DB6","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":"Q890611$304FDB5B-03CF-41D5-B4E1-6AB9EAFC1B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c952363e0dc611091f991c1a819edf1d2d2d801c","datavalue":{"value":{"entity-type":"item","numeric-id":1391791,"id":"Q1391791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$D8CAEDA7-58D0-4EC8-94C3-509EFDCA02F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0942ee95974c142ca870a8b6319eb989c0118cb","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$B81B2605-E23E-4220-A77F-0F5147725562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f289ed1e4904e505d352c419dd38aa1403fb38c","datavalue":{"value":{"entity-type":"item","numeric-id":4738368,"id":"Q4738368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$DF3A9C44-4242-4145-A171-632D9FDC8B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$AA63EA6F-E3FB-48DA-AFE0-5B6C85E2493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f591237a7b965744d09aba483f5977a72592ee","datavalue":{"value":{"entity-type":"item","numeric-id":3994745,"id":"Q3994745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$4E6989D3-D8BF-454C-943B-8695FAA3773C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555c47ee53a1161cdab77210bb68822d53f6a746","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$9FC51B4F-3136-45C4-9EB6-C133C3B93653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$EAC6BBF9-B8AB-4ED9-98CE-F04F757CBC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547492730baa47262e4d2bccadbcd20990e2c65e","datavalue":{"value":{"entity-type":"item","numeric-id":4268485,"id":"Q4268485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$340F9908-0924-41DA-BD76-0C73B52C3A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ac023d74182aef2cf4209c39ff4931dae22d07","datavalue":{"value":{"entity-type":"item","numeric-id":914399,"id":"Q914399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$B50426C6-09CB-4C58-AC42-068EA4BF1F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfded374fb2b7c4afce4fd84e02f5175c0a7edd7","datavalue":{"value":{"entity-type":"item","numeric-id":5887515,"id":"Q5887515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$A2B9793F-8C6D-4A1E-9575-9313E858F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a9ff85488e4141698f1e4fc413c11477c143d1","datavalue":{"value":{"entity-type":"item","numeric-id":1102258,"id":"Q1102258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$F6D2464C-8D95-438D-9E55-8071456FF1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b23a7076154f4bc52b8f85396a2401b824378e","datavalue":{"value":{"entity-type":"item","numeric-id":1001805,"id":"Q1001805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$6DC5BBE9-25F4-42B1-B83E-5B49D70AB728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036954c1e0afef5a0a189419bfc12a9872fbe3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4798036,"id":"Q4798036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$39F63B91-3F0B-4370-A701-E22F8CD2CDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$837EE20B-25CB-4125-B8CF-5043376FAC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6474388d0228cc5e8f2fe428633d439480105e9","datavalue":{"value":{"entity-type":"item","numeric-id":706498,"id":"Q706498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$30F740C5-20AA-4E22-A9E6-934CEE90B614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d65d46ec5b0f49257f44d4644c0fce60651137","datavalue":{"value":{"entity-type":"item","numeric-id":5717491,"id":"Q5717491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$E748E0C4-6D01-4DF4-9666-57E498ACE307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$1A7C65F2-7867-4BE0-ADAE-6B2E0C8C62A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594bbe0de00808e165e0f6c0bb86088b61a969f0","datavalue":{"value":{"entity-type":"item","numeric-id":2892733,"id":"Q2892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$3BAF5695-591C-41E9-8B3A-5B9FF7B3FFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff26acfa4f7a81a69ac1d22f5faa8f8ec3f24299","datavalue":{"value":{"entity-type":"item","numeric-id":3694680,"id":"Q3694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$0FBD5740-DBCC-4C9D-8FA7-90E8E86672AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12773d3f7af80842ad6150da90dfaf1db162137f","datavalue":{"value":{"entity-type":"item","numeric-id":5946027,"id":"Q5946027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$4A0CE3D8-7044-4467-BB8B-B2C094AC6E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b079574d6510604340e7a2a98410a380271116","datavalue":{"value":{"entity-type":"item","numeric-id":4942013,"id":"Q4942013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$14EAB776-C6CC-49D0-9077-F8335C66E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$13979858-5178-47B7-BE32-5F366C988189","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":"Q890611$D8EC3437-57FA-4E2F-9A0D-317571DDCE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$1EBFDD94-AE84-4EA2-81CF-17960D2D7F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fa74182997188dd8dd253d53ba13a1b0c51360","datavalue":{"value":{"entity-type":"item","numeric-id":2486401,"id":"Q2486401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$E9A937D2-60EF-41C1-985E-43AD4659DB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f8b7fd8474cfbe63d4ded4b019ceae248601d4","datavalue":{"value":{"entity-type":"item","numeric-id":4992500,"id":"Q4992500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$CB7B0C9E-0CB2-436F-A92C-BF5484F1B084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a341192848aed8017149ed83637212823d171d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$CF7B4246-4EC1-41A7-AA70-6920646FDC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b0d359af541fcf6431bb8dfafc17e65ec401b","datavalue":{"value":{"entity-type":"item","numeric-id":1970200,"id":"Q1970200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$A0373F9D-C2D1-4BC2-B3BB-B1989AB7CC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c470b811b3ae857bda9e3928eb08971e10759b3","datavalue":{"value":{"entity-type":"item","numeric-id":3546331,"id":"Q3546331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$FF42F415-EF34-4279-92DB-561FA7CE1AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$D2708F49-292D-4400-B36C-41F225B2EFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87399f514a98a29d2a75960b3dce2f00aed4ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":4422085,"id":"Q4422085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$28AA7EF6-C9FD-4CEC-9066-211424D5239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c4799a7e9dc9b98caf61279e6118fd7ec3f411","datavalue":{"value":{"entity-type":"item","numeric-id":3355228,"id":"Q3355228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$FC65F6F4-24E8-4805-8536-C80FC1B46AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$555E52A1-7C0B-496A-A925-05E162AAC1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e33eacecfed4076a01e6813873f36c890f39a54","datavalue":{"value":{"entity-type":"item","numeric-id":4038693,"id":"Q4038693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$38F09377-8153-4A85-9D14-9EA223319F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$4AC76842-8258-449D-9FE4-EE6CF221D2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890611$6E37C8AE-E0BE-4B06-AF44-57FF6DFE4344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a4c7d141070bc8dc71b1a4cb00a0b72c6927517","datavalue":{"value":"10.1016/J.JLAMP.2015.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890611$72699255-5817-4006-BD59-52BA96BD2E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b43384c29d35ff6356aae78e1f8d18a760b097","datavalue":{"value":{"entity-type":"item","numeric-id":2870196,"id":"Q2870196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3b00f9177e51d20b30bf389d277d21309152eb","datavalue":{"value":{"amount":"+0.7419605851173401","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":"Q890611$C75911E4-63C4-4CCA-A7ED-A6464B8C226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292fb1ceb1a02f009e163ffe212ae86db576c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5014795,"id":"Q5014795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952776d3e04bed0ffc4d86097fe5b841e1577660","datavalue":{"value":{"amount":"+0.7042509913444519","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":"Q890611$701D0FDE-5698-4C11-BE82-B69C87334C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae6bb6199a740166cfd3493f0583ef6266234ca","datavalue":{"value":{"entity-type":"item","numeric-id":2767985,"id":"Q2767985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc1a9cacd90765e2da88d3dec6e2ad1b8b4cf3b","datavalue":{"value":{"amount":"+0.6947683691978455","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":"Q890611$77905EE1-2273-4507-8775-51FCB3D4FCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d76233e5e55b7178aa59c0fe8cd3f4705897997","datavalue":{"value":{"entity-type":"item","numeric-id":2747396,"id":"Q2747396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171538ca6447b435861dde80f8c4a4d671adaf39","datavalue":{"value":{"amount":"+0.692474901676178","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":"Q890611$00FB86FA-FFA3-48C0-A476-8DF3FAE7824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58cdd3592df7e1631bda3c56179a324faae408d","datavalue":{"value":{"entity-type":"item","numeric-id":3026331,"id":"Q3026331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3cf23efd4f8d8ea9ae751d2a8fbb3b61e44c12","datavalue":{"value":{"amount":"+0.6921148300170898","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":"Q890611$76279E88-1D2D-4799-A8A4-139CB9B86925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting sequential composition in process calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_sequential_composition_in_process_calculi"}}}}}