{"entities":{"Q710674":{"pageid":712523,"ns":120,"title":"Item:Q710674","lastrevid":51109721,"modified":"2026-01-16T17:39:37Z","type":"item","id":"Q710674","labels":{"en":{"language":"en","value":"Termination in higher-order concurrent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804233"}},"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":"Q710674$501B320D-2B93-43F6-B3C0-6D8197D3FC65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bcf6aae575676089c2197e90268f31f8cf312de","datavalue":{"value":{"text":"Termination in higher-order concurrent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710674$2A82A78D-6ED9-434D-AC71-B3ECBFBB667C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c07e74334c954433f2adabf4ea77157b1e0d3f4","datavalue":{"value":"1205.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710674$3FD84547-27E3-4EBE-9327-6C78CE1D6A14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$889D8732-8C1E-4A70-8854-82F699180543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$CFD53DD3-18B4-4E37-88AB-A1EAD4D0C2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$A6CEB22B-DD47-46D5-A667-48F53EDDB9B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$49E96CBB-7AFC-4016-ABB5-B335EF7273E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710674$30006F8F-06DE-49BC-91D5-D71150865AB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710674$94848569-1D27-4497-B777-BAB127A0460E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0284a5e2a4a5c26e43e9e609b8bada7a7460ad07","datavalue":{"value":"5804233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710674$7184210E-4329-471E-AEB8-5AF66A3383D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$2388DA84-3B98-43A3-9510-1200BB790725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$9627241A-188F-4F21-BE06-7B892030AEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$DD6BCF1D-C1EE-4381-981D-39E6B2800CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$E1C7ED3D-E67D-47CD-9A47-B2133933B70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9a2feca583978dc12c99fbf46c0f7689c90a84","datavalue":{"value":"higher-order calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$524A5CF1-1C9C-4E0A-9B7B-AF441DA3BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q710674$9B144072-7C27-426B-90C6-04B47F1B4212","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":"Q710674$381F44A0-AF7B-43EB-BF14-11550364A773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42a32b944a5d4ce0b450d537567c4fe510b6e00b","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q710674$DCC8590B-1767-447B-86D2-5FB8BECE80DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc76535cf5b67b59f32dcf3d21528104c133e72e","datavalue":{"value":"W1974475317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710674$01E3CE4F-DC61-4C0E-8987-46CCFFEBA8A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2e91bbe1a801c680d97d5016ef3d40afaaf9fa","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$E9BAB104-C5CA-43CE-BA98-BD852E67B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada6c58c7a3f2ad7371062a6e28e49d1c7955299","datavalue":{"value":{"entity-type":"item","numeric-id":2491640,"id":"Q2491640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$D02CC878-68A2-4482-B67B-08E73F253892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$F8330978-64F5-45B4-9DBE-401958FCE951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506a10c0f3a7ac121ee4b1d0f066e733e6b4fa27","datavalue":{"value":{"entity-type":"item","numeric-id":3400914,"id":"Q3400914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$A7A89FDF-9C91-470A-8247-91AE7D949257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$9420FDE9-D00D-45E4-8CDC-2ECD1837CC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$94919B82-0748-4BAA-8A6F-3899662AD3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09004ede4a1cbb641b5507bc7222c782135c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$7C684098-D686-4202-AE38-EDF00BFFD4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$6E4B9331-1654-4869-893C-54F76ED05446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710674$AB47923D-641E-4EB4-9763-785E487E6C34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba46d6505df45c6716fbcf891ce512d654758779","datavalue":{"value":"10.1016/J.JLAP.2010.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710674$C0A2E512-C710-451C-B8B2-4B7BC719379D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71cc2a5d5f90211cc13f1c802d72aa31ec55427","datavalue":{"value":{"entity-type":"item","numeric-id":3400914,"id":"Q3400914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a62fe9e67fa338d5d084c8768295e1382efdbc","datavalue":{"value":{"amount":"+0.999805986881256","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":"Q710674$F2778BF4-77C1-47F5-BAF2-2C5090057C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e98b0bebd43cf0ceb86eeca995139e5aea0b589","datavalue":{"value":{"entity-type":"item","numeric-id":979082,"id":"Q979082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cb9651b9c3cec3670c56ee77bc0fdd1a49a04a","datavalue":{"value":{"amount":"+0.830314040184021","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":"Q710674$B9283B53-9C7D-4773-A6A8-C636C9F2379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3031f2fb1fd56567d63427db9bf23fbc3c82d4","datavalue":{"value":{"amount":"+0.8223891258239746","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":"Q710674$32A6F711-2919-472D-A016-93B0593927A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4ad310d3addf28e9833dd052a38a8fcf7bf267","datavalue":{"value":{"amount":"+0.814578652381897","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":"Q710674$512E1D93-F977-4A51-B48F-107F7084DEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1953aabb204f3e733c6b45ec26665e7883eecf","datavalue":{"value":{"amount":"+0.8145273327827454","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":"Q710674$D9E205D6-9967-4484-AC37-DCCF017BF1F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:710674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:710674"}}}}}