{"entities":{"Q2871826":{"pageid":2882546,"ns":120,"title":"Item:Q2871826","lastrevid":42386074,"modified":"2025-06-14T06:07:57Z","type":"item","id":"Q2871826","labels":{"en":{"language":"en","value":"A well-behaved LTS for the pi-calculus (abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244355"}},"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":"Q2871826$20D1A049-38E4-4E75-ACB6-7970ACFD4CB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7972e2e1b035d8e912287815436ba1ace95a241","datavalue":{"value":"1278.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$5B27C078-DFB4-468D-85D1-6B053483D718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$5DC3B951-150A-4B10-BC0A-7C70545DA5E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$8CE2697A-6C14-4D2F-816D-B851C95CB302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-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":"Q2871826$B31B6EFA-7DCC-4F44-8151-CF5FD313BBDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$96BF906A-D676-40A4-9EDD-5BD8A677519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$8E360B7D-309E-4783-B788-E52BA3F78B5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba528419f0dc70a918e2eee0078f732fd0d78085","datavalue":{"value":"6244355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$7C3ED64C-4FED-445E-ACDF-E12747A2EDE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871826$34A24F3E-A246-4CC1-BEA0-E217AD9B17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871826$B2147A3D-3098-4D87-B97A-C13997CAD5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871826$F9371C6F-D1F8-4381-9099-87C3A9E9A18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871826$23AA7977-D984-4F47-A872-E85B5C984A39","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":"Q2871826$D5A4AFEC-4ADF-4025-97E6-3B06D7D86B89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3992c8f51a613bfbdec54c94f6dba7583a373599","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871826$61683F1E-0B22-41A4-B342-49AC85A0676C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2616c13bbc09013b07a1f0da65dbd7e9e973a837","datavalue":{"value":"W1993543651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$31142655-14DE-462B-96FE-881DCB7C51BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$2F620C6B-1A5F-4B2B-B638-30221E74C8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f45f5b1f682d4fd1bd2b6810b36d6364f1af18cf","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$360B193F-AAFE-4AB8-B072-7C717119A09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$1C9B2668-E287-4A1B-BEDB-12841E68FCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b0fff040e8abdd791ffbcc9c1bf14e03848eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5492811,"id":"Q5492811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$67C10BA2-A82C-49B2-9757-20464F293DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$1FA1D2A8-6357-4A0A-A27F-9121B417204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$70565EF3-7A97-4754-A2DC-0E11B3889712","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":"Q2871826$D0495383-1B58-43A5-ADCB-7B43A5AD451E","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":"Q2871826$790C7529-35B5-4FD4-AC82-7F6668743645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871826$F125E9BD-262C-4160-8E15-FCE364DDCF5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e98ba0bf9f2008556ee6e324d43e45a59aace39f","datavalue":{"value":"10.1016/J.ENTCS.2007.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871826$93570AC1-4F4A-4153-94EE-F4EBFF0F1808","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8ec7a89c0d18865b55211bc22f29847633d0fe","datavalue":{"value":{"entity-type":"item","numeric-id":5216151,"id":"Q5216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4edc78747102be376ef3a6784fb4a293624a95","datavalue":{"value":{"amount":"+0.89408284","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":"Q2871826$F76FA9E3-D228-42A7-8501-A717C0B6636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c01bb2ae839e6a6f9d5410061d60a68e838480","datavalue":{"value":{"entity-type":"item","numeric-id":2423752,"id":"Q2423752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a0c1382c54af8c8f50be200da8f420d0febb59","datavalue":{"value":{"amount":"+0.88963264","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":"Q2871826$500862C5-D74E-4578-B071-10F2A2DA73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d8c9ed73990c0931858db0f51f8ffb79094c9","datavalue":{"value":{"entity-type":"item","numeric-id":5738986,"id":"Q5738986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a0c1382c54af8c8f50be200da8f420d0febb59","datavalue":{"value":{"amount":"+0.88963264","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":"Q2871826$9BE63E60-A273-43A7-B2D4-42F2ED7FC2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bae0b2aaf8004789da4d810364389bc083a9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec9892d5cc7ec49e66e79890b0090f0f6e3fba8","datavalue":{"value":{"amount":"+0.8871163","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":"Q2871826$1605E5BA-6038-4566-8E17-FFAB6B084F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d4cd7fff3d16e88ec481184cc6b8b4e3df130","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e54f274e9b78409bef4ab1c3ebd08e24520e17","datavalue":{"value":{"amount":"+0.88435507","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":"Q2871826$AAD34CDB-5F63-47FF-A3F6-CBCF06C2388D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07fe073296063aa06c61c49bb27cf3b69653d61","datavalue":{"value":{"entity-type":"item","numeric-id":5055881,"id":"Q5055881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4399eae25c5eabfc5748bb3fd4ad3251cc4670d3","datavalue":{"value":{"amount":"+0.8841109","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":"Q2871826$516934F2-F042-40C1-809B-31D45686FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1901a23da8c4eb01d6992bcd6e29e6403e40ad","datavalue":{"value":{"entity-type":"item","numeric-id":621583,"id":"Q621583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf22eeb98058e4739ba1871b3b0f8e09dbf2291","datavalue":{"value":{"amount":"+0.8820415","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":"Q2871826$908F5602-AAAA-494B-92F6-2AEE0573D952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84378cd87a12d5500bd0dcfb1f36fe1e234b90a1","datavalue":{"value":{"entity-type":"item","numeric-id":4790662,"id":"Q4790662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7b9bf4d2360fc45de345017da62f847e990290","datavalue":{"value":{"amount":"+0.87709826","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":"Q2871826$847DA1AD-FC40-4455-A43D-318E01FC8525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338dc5f2c43dbc26f7e043d242d1f679ccf2c642","datavalue":{"value":{"amount":"+0.87218016","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":"Q2871826$B07DCEA6-ED4B-4ADA-B6D2-DC51DAF78DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb024d7d9f3bc73b22cb412e20497bcbb3e6ee4a","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9106f2c501ea2cdcc4d7f9ffadfaa110505097a8","datavalue":{"value":{"amount":"+0.8699913","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":"Q2871826$76CE2A1C-D6BD-471B-8B05-DFF089C16843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6df61b521d64e2f62e520197bb2d1762ea216495","datavalue":{"value":{"text":"A well-behaved LTS for the pi-calculus (abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871826$6F3FD0B4-5571-4422-9963-1BB00D9C26BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871826"}}}}}