{"entities":{"Q2912696":{"pageid":2923421,"ns":120,"title":"Item:Q2912696","lastrevid":58064286,"modified":"2026-04-03T16:10:38Z","type":"item","id":"Q2912696","labels":{"en":{"language":"en","value":"A polynomial translation of \\(\\pi \\)-calculus (FCP) to safe Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086194"}},"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":"Q2912696$F381A5A4-B329-4FDA-8E3B-AFE575CA0F6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7c926e0d2849d44451ac2b67b29a6716d96cc03","datavalue":{"value":{"text":"A Polynomial Translation of \u03c0-Calculus (FCP) to Safe Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912696$1D7BA91E-40BD-4398-B357-C44094E545E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22f87b8a8d6ba4f3a4d311263af90d13846fd992","datavalue":{"value":"1364.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$C1B5D357-8D97-440B-A5AA-06FF10F9CCD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c71a98ac5ad1f6240ef91997472921d255f0739","datavalue":{"value":"10.1007/978-3-642-32940-1_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$4CB6AD7D-5329-46C7-9B8D-9B02C03F92A7","rank":"normal"}],"P16":[{"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":"Q2912696$43BBE9AB-571C-4AC9-82C4-145D2D6E24E2","rank":"normal"},{"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":"Q2912696$9D23B038-E220-4FB0-8D0D-2F4143E275EB","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":"Q2912696$5BA00018-BC9D-48FB-8DE7-297D7E88ED8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912696$3FE5D6F8-C102-44E9-9455-AB220899C46F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912696$0D26705C-C72C-46D9-9780-1FAA9E0DE4EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f05c5032fb38301274a5ea85eb662eba879d70c2","datavalue":{"value":"https://arxiv.org/abs/1309.0717","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912696$B63C1383-BE87-4A57-A12A-7A216328FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"977650fe1ff6bf4731114792b7c93deb5abb0958","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.6428","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912696$BF2223BE-2588-4120-812E-B29C3766AAEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$B9E0A279-AB0B-498F-A646-2CD186B97BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$0A365F93-9776-488F-9967-EA75E45F4BE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac076367bc41a599141ba76cef48e98714725c3f","datavalue":{"value":"6086194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$8666152F-037F-4D9A-A191-4B3F698CFCE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76fcc996110e26ad41f5dcf3b72d1aac3d89363","datavalue":{"value":"finite control process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912696$BEBE67C1-2CC0-4ED9-A6BB-FD2FA3392C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912696$7F8E5B65-D968-4F1C-BDEC-9E969A0721C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912696$FD3BC242-2F69-48F3-BD5C-FAC08342441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912696$6F6D31B9-C06C-4099-9305-C8DABB40D9E9","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":"Q2912696$4307B65D-A1F2-44CF-9556-CD4967F13467","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":"Q2912696$73FD1C24-A956-4C49-824B-286D2C0CA081","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a60bbacbf4c87d3c676a773ad7a478a0091db9c","datavalue":{"value":"W2015130290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912696$38A21B6D-BF35-4AC3-B9C4-B0C660F5C000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095fad5b99139cc8f76c5fdaacfa45778c591564","datavalue":{"value":{"entity-type":"item","numeric-id":2848363,"id":"Q2848363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ad51e2375b251c8bfe588a9de14415da3b1fd9","datavalue":{"value":{"amount":"+0.9909947514533995","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":"Q2912696$51216D5B-6A84-4BD0-9146-F9E536514F0B","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":"9a24da4b2088a73b5271d5ec6c31b93bcf282465","datavalue":{"value":{"amount":"+0.8704015016555786","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":"Q2912696$15CE3539-0795-4C33-8C68-4F9B067F1B7E","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":"3f50d781b77f31ab0c9cc9c304ccab9479e690e1","datavalue":{"value":{"amount":"+0.8669552803039551","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":"Q2912696$AE9D09D5-8B36-4C12-B0FB-BE77FB4510BD","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":"afa14b284c3385c5267357dc319d4b12866ab354","datavalue":{"value":{"amount":"+0.8587070107460022","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":"Q2912696$F2A0B008-72E3-405B-BE38-7728D5AC19F6","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":"163458df719b7cff97b296a36ebcc92d1ad2c22b","datavalue":{"value":{"amount":"+0.8354019522666931","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":"Q2912696$B12D4FAD-5A53-4C9D-AAB8-136B68600831","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912696"}}}}}