{"entities":{"Q1391099":{"pageid":1401839,"ns":120,"title":"Item:Q1391099","lastrevid":71052660,"modified":"2026-04-13T19:10:03Z","type":"item","id":"Q1391099","labels":{"en":{"language":"en","value":"On the decidability of process equivalences for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177748"}},"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":"Q1391099$91BAC7F1-F9AF-47E8-9A3D-310791D6AEEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d646608279364973b2bade9d72a1cbca16301b","datavalue":{"value":{"text":"On the decidability of process equivalences for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1391099$03AC387E-9882-4498-9028-2CD6474E6AD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089b32363befb917fb196c3ac78d6bd6109d41b0","datavalue":{"value":"0901.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$72037EB5-368A-434F-A33B-3DBCAE2B14C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd6ace87a7396f35e2521a5b82858c8bb32b8a7","datavalue":{"value":"10.1016/S0304-3975(96)00325-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$C1CD7C7D-25B0-40DA-811F-700629120179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$CC68263A-7D99-41A1-8823-A0A748E83B78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$D15CE228-4245-471A-8B5D-1F4F47CB01A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-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":"Q1391099$5C5E5C27-4307-4B6B-9B60-9E30321DF943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$85240734-F445-4C41-9118-5CF26B2F88BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f45da08986d43c0884d3a1e684a5d582385c15","datavalue":{"value":"1177748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$1E07AEEA-1C7B-43E2-9CDC-7A8FDB90A3C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391099$26E4B2DD-2579-4486-9A05-AA89165A428D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d28809450cf4bc6c2edd8dc9a00c8cd1409f51c","datavalue":{"value":"Q56019901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$F14BFFAB-288E-44AB-BC6D-986649624C87","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":"Q1391099$8C0C2B11-F387-4579-A653-F6712EB2F411","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$9221CF5D-AC0C-4522-A3DF-59475E5AB9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$95E1F10E-8068-4F53-A7E6-F8FFF08D664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$6D027035-A350-4F74-9EC9-879C7DC10FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$DADF1F63-2F0C-4D69-A593-A3009F3DD52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$0E60B59B-E455-4D4B-937D-70AE80FC4675","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":"Q1391099$E555E125-E05F-4BE5-A31A-4FE2450CFB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$7328A0DB-C6F5-42E7-856B-9A37DF091638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$7951CB64-C199-49BA-A38A-203D48797A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$CC8A8702-222D-48AE-8A50-5E8250A82215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e702400d80318b7f723da1016b209ad740011327","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$EFD9E43F-F440-4E93-AB33-2053408B96E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391099$5FEB942A-2726-43EB-B323-55A8D11101BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e5751c32b25e0480a7468e6aa81e65d98fe028","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00325-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1391099$7F703DDB-E7FB-4C31-B65B-0B39DA507C10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfea7f710170a0645384868a9a8b94fe19f999ea","datavalue":{"value":"W1965072559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391099$D8D8CF02-5ED7-40D7-8E10-21C8CB6C7331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79fb211c79fd02cc14628c0e6b23553932af541","datavalue":{"value":{"entity-type":"item","numeric-id":5096384,"id":"Q5096384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84eb3e85341da59b9901a66ee38128c3afe01c","datavalue":{"value":{"amount":"+0.9983545541763306","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":"Q1391099$B41DD182-78B2-44C9-96FA-0BB542E76554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb0ce59f4acdf7219238aeb4281a191e9c8cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":4917084,"id":"Q4917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbeb2b497276b48ef97147aa452198e2bc911fe","datavalue":{"value":{"amount":"+0.7913806438446045","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":"Q1391099$DCDD0ED1-98AE-405E-B4FF-E5B2573A4F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f7b37129505716277210d94e42ed15037df964","datavalue":{"value":{"entity-type":"item","numeric-id":4349577,"id":"Q4349577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d884e087a4a7cc75426e8c92c0857438f33c0e4f","datavalue":{"value":{"amount":"+0.7818308472633362","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":"Q1391099$BA0570FF-F37D-4065-8E93-ADF36F77B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2ac00035bff00d8ae119912bcd2e320b8a4ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e0878050ef30291931bb84a81b0eb655503e43","datavalue":{"value":{"amount":"+0.7759271860122681","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":"Q1391099$822A4587-798D-47EC-B8AA-CF0B4B08F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a28c1e03d2ae69bf72523e02b5e1d9266f7768","datavalue":{"value":{"entity-type":"item","numeric-id":3190129,"id":"Q3190129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b6fd447de8a9029695aa2311b2823f94ec6967","datavalue":{"value":{"amount":"+0.7647300362586975","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":"Q1391099$1328EB84-750D-41FD-9401-D0FCB5A9D40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of process equivalences for the \\(\\pi\\)-calculus","badges":[]}}}}}