{"entities":{"Q598201":{"pageid":599977,"ns":120,"title":"Item:Q598201","lastrevid":63042063,"modified":"2026-04-11T09:58:16Z","type":"item","id":"Q598201","labels":{"en":{"language":"en","value":"Strong normalisation in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083131"}},"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":"Q598201$890A7E95-2499-465A-B12F-985647447443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"743edffac32d39172205fe19ddfd59314e8e6ccf","datavalue":{"value":{"text":"Strong normalisation in the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598201$8AD2033B-FDAC-4648-94A8-7F054FC40918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cac26038b4c19950e1185dbe62f2fd8268704d57","datavalue":{"value":"1101.68705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598201$96A7ECB8-F0BD-4AB7-B811-AA5BD1657803","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$D998910A-64FC-48AB-B593-C4B86463B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$BBB07895-805B-41A1-8427-971EA2531DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$0DF5EC60-B516-4100-B0F7-CB2E2D0544A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$D1CB991A-BB5D-4C43-BCC8-70933D4B2085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598201$BAED3F45-F857-4D5C-B810-47181F9A86DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598201$E551E075-F72D-4E66-83E0-4B77A23891BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d36941b894ad119dfaa7ab4d5dd96b1fb4a5a3","datavalue":{"value":"2083131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598201$40EE373C-E4B5-4D8F-A82E-665A439ADB91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48651fc222a35e2206fc999ef422cb5d03872abb","datavalue":{"value":"Concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q598201$7242D67F-B73B-405B-91B9-4C4DEC43F58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985094290b045b09acc2dccd8f325feea9d1a423","datavalue":{"value":"The \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q598201$33C23CED-586B-4B81-A456-DC658F842F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dc341b432b3ca65208af3fa39cb10159417165","datavalue":{"value":"Strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598201$4D0D6288-F128-4AF5-BE5D-16C238324C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d06a4412ba7c7a4b2c38ca2a6c070deb2b732a","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q598201$C454DE14-216F-4DE7-AA5F-560A1748DC08","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$991175DB-FBD3-40C1-837F-817C3D27772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d84aa7b437f79b8f353d956cbc88d6319970790d","datavalue":{"value":{"entity-type":"item","numeric-id":33861,"id":"Q33861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$FE037CCE-0A96-4361-8906-B7D90A6AC1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$93C337BB-522C-441C-8991-EE8D166F1654","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":"Q598201$0651126A-78D3-4E32-9E8E-B9FB97F30084","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e2ed29abab898382d12095eba632c509fdadacb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2003.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q598201$D853D4BA-1F8B-4F2E-A3B4-D4E52A850981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68010f399ed736be57b1d8410968a58c4e5f0c94","datavalue":{"value":"W2028016184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598201$728FF128-44FA-4DDC-BEF1-691233DD616A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$1B93ABE8-54E0-45A4-9061-96D629B14135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e8aeac9c61540d3ed061b1062da63d321b55a3","datavalue":{"value":{"entity-type":"item","numeric-id":1342245,"id":"Q1342245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$DA3C5D78-8B92-4673-AE39-B9C1C82AC29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$F0E5D8FE-5A7E-47C3-AFDD-1976E7207592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$1BB4AA0E-E8B0-4AB0-A2EF-788ABD1495EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$510282F1-26E4-40F2-83C6-6258FE560701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$281459CB-C033-4DEF-A7BD-444DA30AC9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$AD744522-CAD0-47DE-BDD3-E47784F49AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9414b6f40cbda047adefa0d8681a5a5af47eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$0347E674-3B8B-40DE-B14D-F31890485E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33bcfdad2ed96c88bb56444052a0f2151cc5cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$5BA1D2AD-80FA-48AF-AB6A-6538526663E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$C62A152F-6BAC-426A-892C-C5C9D83E3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b74851938f00bb5c8ae552b2eab3f17bbfc147","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$419A97A4-BE29-44DB-94C8-70628D64D11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5551d8a11a95169ab018d122108474ae66873f","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$E38D6AD7-49E3-48F1-B9F8-6609F1D2C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd887abcf3ca35cae9e79acb86dc1203d0dca77","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$F1ADD048-6DDF-4C24-9609-4BFD3D809428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$B3577EA0-8CE3-414F-8178-FEAE71D784F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$B463CEE8-BC45-47D9-9CAE-A8E38D930EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$7A4E4B25-03CF-48A7-9DB0-311DE5559FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$8896B8C0-F206-4805-AACF-794BA8229EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cebeaf0cede3a636af93133d4311fea8c6a1cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5348890,"id":"Q5348890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$22ED5C24-2A7C-4D9C-AE6C-6D3A7609B624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$BB9B3781-F8C1-4E33-8DFA-A027E794A5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ab20bc755a2294a3fce57d311b20f33c17532","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$003D1BB2-62FA-43A4-9169-5DEA8B9DA62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$09D1A955-DC8B-410C-8B35-F7E233343039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$EF94A43E-00F8-401E-B619-93FAB16A469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de700336e555579490af87813e35cbc5cd3fe6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5178900,"id":"Q5178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$1999F7F1-7F4D-4B74-AA02-EA4A17BAEF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$0A9AAF37-EF56-433C-9D4C-74164461AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$54DB0686-3186-47CB-B625-6C9C6DBD65D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fb5486878979db4428b757a9dae38f8d1a87cd","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$9B5F3D5A-2A13-409E-9958-E4B5DFF4B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$EE54114C-9088-4F15-AF89-496959DB2F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359379e6c15377aa22627fdf8df4d247e89ad237","datavalue":{"value":{"entity-type":"item","numeric-id":4536437,"id":"Q4536437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$8BE554A1-C318-4B3D-A833-F7E91318B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739667084d3843fbccdf70285b7c9a6a6fa9be27","datavalue":{"value":{"entity-type":"item","numeric-id":2778826,"id":"Q2778826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$1EE0BC5E-69E3-4A85-BAF9-406AB07B668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324a41917d673f847221adc6e49ee75ed1314f5","datavalue":{"value":{"entity-type":"item","numeric-id":4101795,"id":"Q4101795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$01D69261-A8BD-41AE-8148-08D3B572ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$E72DFE0E-3022-45BA-9043-AC321BF393D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$068ED596-BB30-4E91-A550-639F3FF6615F","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":"Q598201$19E542A6-8270-4038-8936-91E324BEC8F6","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":"Q598201$99980370-F1B9-4E30-A955-27F6B32A9B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$AA81C761-FCD9-4967-B720-829465222D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$F3D2991A-4FB7-403D-9415-D3CB3667760F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e02114271863ed1c3788f2d6f1de835de29e16a","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$E469B0E2-B9AE-4A83-A4D0-8E5C784EA53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$0694ED5B-F1F7-4EF0-AE1E-467860C7AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$EBB1BBFB-C18F-4B0B-B206-9FF500F3BA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8158f90e3f3633da5841c840dca1cf6d087bc771","datavalue":{"value":{"entity-type":"item","numeric-id":4484478,"id":"Q4484478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$0C60CA69-1063-4272-BFAE-1176B6FDEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$72AACC2E-4112-4E43-98F7-84EC290059CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$3A1CE081-9C1F-4F6D-841A-49A52D6039AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2836dff27e3844d47cd62ee2d62d0324a62141","datavalue":{"value":{"entity-type":"item","numeric-id":4738241,"id":"Q4738241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598201$C670F762-FB2B-40D4-A1ED-6D2EA8A65B23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a83985078eb95df66a1c4923910836e2aa7122e4","datavalue":{"value":"10.1016/J.IC.2003.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598201$792999BA-5D74-4AEB-8EF1-65320275D351","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0447b62b6ef0bd9b249c3addb35dab551a3294f2","datavalue":{"value":{"entity-type":"item","numeric-id":4903720,"id":"Q4903720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ea21511ab6e5851a352ae246078a491742cba5","datavalue":{"value":{"amount":"+0.8355257511138916","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":"Q598201$9FD3556D-72D9-40EB-804A-DDFDB1F75EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c034470ec88ac1cd5d18d4b954abaedb4018109","datavalue":{"value":{"amount":"+0.8332079648971558","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":"Q598201$56365532-030F-4BDD-99CF-9E159F0FD68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca37b8274e95e055c9c9fb7997a8fa91cf782fa","datavalue":{"value":{"entity-type":"item","numeric-id":4364381,"id":"Q4364381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc7d7fc9dcdbd0579cb2d4ad23495b98ab55d1e","datavalue":{"value":{"amount":"+0.8180328011512756","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":"Q598201$EC7C2E06-F843-4226-A7A2-0D8FEFCD0903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9dabfd933ff635a7a9e4e8a9890f93ed5414a3","datavalue":{"value":{"entity-type":"item","numeric-id":2958535,"id":"Q2958535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc7d7fc9dcdbd0579cb2d4ad23495b98ab55d1e","datavalue":{"value":{"amount":"+0.8180328011512756","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":"Q598201$F1C94404-EBAF-4926-AE7D-73B1BE97D0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef518927f60f594bbf94a2a60bd2b2f3ac9f0b9","datavalue":{"value":{"amount":"+0.7833572626113892","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":"Q598201$113C4488-42FF-4CA8-9638-C11C73057C99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalisation in the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalisation_in_the_%5C(%5Cpi%5C)-calculus"}}}}}