{"entities":{"Q2848363":{"pageid":2859083,"ns":120,"title":"Item:Q2848363","lastrevid":42265955,"modified":"2025-06-03T22:06:42Z","type":"item","id":"Q2848363","labels":{"en":{"language":"en","value":"A polynomial translation of \\(\\pi\\)-calculus FCPS to safe Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211837"}},"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":"Q2848363$F97256D8-3D2F-42B1-88F5-0125CDD944FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c996ddedb859df36a68af2ee1202c72930dbf44a","datavalue":{"value":"1274.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848363$893845BD-F4A0-4707-A772-918F000A357E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54f59038825c7127b564ec63314b517aa0ad3954","datavalue":{"value":"10.2168/LMCS-9(3:18)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848363$DFF21869-D7D8-423D-868C-9B8DE0089F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$B980194D-0B3E-4C14-9DE0-5537F80BA774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$56B5E7B4-B4C0-4066-9A24-EDC431E72213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ce09348b00e3b40812a6f179c6621bdf02ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2842105,"id":"Q2842105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$A6ADEE08-E5C3-4BDE-86E3-1E8AC678FF67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$C1A96E63-BC62-4512-8107-F2BDC0828793","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848363$A25E69FA-AC04-4CD0-85DB-38A401DC6560","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848363$6A50DA30-9A10-4275-982B-3DFAE290E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848363$B2BCDA4B-1B42-4CA7-8E9B-C9D828EFA449","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3c8f2cb59c853a5df1bc3e6ecc8045ad85bdf5","datavalue":{"value":"6211837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848363$FB40AA9F-BF3F-4DCA-841A-90EC66BE4334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848363$9B461625-A916-4BAF-ADC3-AB28389F233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d0264ab36b9012f95beb86fff3237ce17f8aad","datavalue":{"value":"finite control processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848363$C036C5A2-CEC9-4F72-BBE1-690DBE96CD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848363$E6408B42-D18D-4643-BF59-4689B2E9D062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848363$9AD7BE65-923A-48F3-BA50-34288ED6BA3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"966f5e8a97ea12124cd8285b1340644dc996b569","datavalue":{"value":{"entity-type":"item","numeric-id":16570,"id":"Q16570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$60470BCD-D085-487E-8278-8F567D28D8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848363$BE006A8F-A278-4854-921E-326AF62C8E16","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":"Q2848363$C9C7B612-6DEA-48AA-B744-51448E8D2DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88546406218c0ada73912c9c9f4f776bf009e166","datavalue":{"value":{"entity-type":"item","numeric-id":2912696,"id":"Q2912696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdafc5955e6888e0bfd0e32faeafbc4777f0a91","datavalue":{"value":{"amount":"+0.99664944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$F4841DAD-BCAE-4DD4-8756-741EB668315B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe9598c3b23312565ffe66fa825c31fa16d2142","datavalue":{"value":{"entity-type":"item","numeric-id":939164,"id":"Q939164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d0c6c601bf1418c23b3e52cdae79654eda35db","datavalue":{"value":{"amount":"+0.8854038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$482F0E6C-72F2-4A79-B297-FE7B02D65006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a378e37ce0e68c921c0e2c82ace73e104a42d6","datavalue":{"value":{"entity-type":"item","numeric-id":3184693,"id":"Q3184693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdfe55122d9ab92319c8311010f309dc42bd061","datavalue":{"value":{"amount":"+0.8820418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$EB0E8497-F3C1-4963-985D-1926C502AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46be5bdbb80e71459a77b9f6a7336266a77b7799","datavalue":{"value":{"entity-type":"item","numeric-id":5464478,"id":"Q5464478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34023a8acd0082362fafad8bf1a8293d7b8fd7b","datavalue":{"value":{"amount":"+0.8792263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$7E58C50D-5367-4A87-8347-364812717F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86a6ee1b0cd29a9ff2d1550638fd28faaf75c30","datavalue":{"value":{"entity-type":"item","numeric-id":3525146,"id":"Q3525146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993dc172241d7096c15e490f493124fdd54eb8ef","datavalue":{"value":{"amount":"+0.8769178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$49133FD2-DDDC-4479-A63B-BAC26BBEF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35596c4fd1ac8f9f96216abaf2bce6404f23b08a","datavalue":{"value":{"entity-type":"item","numeric-id":3452474,"id":"Q3452474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55721bf80096e02887f0e54cd529e0b62be4691f","datavalue":{"value":{"amount":"+0.8670616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$C4CB57B1-BFA4-471D-B6A0-399643D49CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b0d6cf9e16791ac75f034ce0fec5531a5f841","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99963b11c1ed77b3cf077a6e49aff71b9040f88c","datavalue":{"value":{"amount":"+0.8635203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$CA10134D-ECDE-415D-B1FF-D1C1CE5DAAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90b61a735826e80e6e0633dfe5abd088bc60913","datavalue":{"value":{"entity-type":"item","numeric-id":2835404,"id":"Q2835404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673d4f911c8c2914f8ba2511d4dbc80e09463f45","datavalue":{"value":{"amount":"+0.8621006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$3BDB0ACB-DFE3-474C-9143-CCE3BC721C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7dde6ffff2e187bfa8dc44f49decbb6c595d79","datavalue":{"value":{"amount":"+0.8561698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848363$78C45383-64CC-472E-AFA2-7AFC0CAFEA1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a512c709497ce3c57e356e2149bfd92299c637a6","datavalue":{"value":{"text":"A polynomial translation of \\(\\pi\\)-calculus FCPS to safe Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848363$FFF16942-CC0D-4855-983C-86871A359CDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848363"}}}}}