{"entities":{"Q6488159":{"pageid":14066928,"ns":120,"title":"Item:Q6488159","lastrevid":47833051,"modified":"2026-01-02T19:59:54Z","type":"item","id":"Q6488159","labels":{"en":{"language":"en","value":"Termination Analysis for the $$\\pi $$-Calculus by Reduction to Sequential Program Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669398"}},"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":"Q6488159$287E7144-78CB-40BC-9822-43DD6E68BF62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66421969718b9ed3039ab21c1a1281045189504","datavalue":{"value":{"text":"Termination Analysis for the $$\\pi $$-Calculus by Reduction to Sequential Program Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488159$01DD0374-82D2-40A7-891E-A44699A48394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3158354ee2f6e6292ddf88e957b6a51d5da394bd","datavalue":{"value":"1520.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488159$E77FD1C9-5524-4D61-996D-63C76BC805C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"912cb24f3eac77b189abb6c2557f97657259bde7","datavalue":{"value":"10.1007/978-3-030-89051-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488159$A715E903-9DA2-4E07-90D8-E0ACE4E0DFFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"926236ea07d19a78512cdd52f6df19346428a380","datavalue":{"value":{"entity-type":"item","numeric-id":6488158,"id":"Q6488158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$330EC1E0-E282-4C7D-9BB3-DCF80F7950DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d3d7aa83fa0c9f50cc044d83fafe93fd20cd8f","datavalue":{"value":{"entity-type":"item","numeric-id":1079883,"id":"Q1079883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$FA8D3FD5-5459-47BB-92AD-F65D6FF01115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$BCDD2F48-642A-4823-BA59-D408BBFF1D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0581f98edb9409b3644da18bec1ac1e018640b3","datavalue":{"value":{"entity-type":"item","numeric-id":2145346,"id":"Q2145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$82F2FED5-8E8D-44C7-8AAA-B4A68EA06C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d5e541856222db48de28512fabd6428d088740","datavalue":{"value":{"entity-type":"item","numeric-id":6041008,"id":"Q6041008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$71A06176-2060-4557-8E82-A7201954C915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$19067980-2F8F-4870-A48B-1EAF752A7B3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488159$F4577078-9226-488A-9CD9-98422B3D996C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488159$D3A4A482-A3B1-4EAF-9789-CEFF1F69E99F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb173d83ba73c980b75340722bb20440f7e9cad","datavalue":{"value":"7669398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488159$4A37944B-8015-4B32-8A47-780692182F90","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":"Q6488159$FD05B559-9252-4FDA-B5D4-E0FE178BE122","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4aada9bb4386e6cc6a2385aa9cefbf58bcfc708","datavalue":{"value":{"entity-type":"item","numeric-id":2233448,"id":"Q2233448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$8195B475-8276-49FA-B43A-6C91F6610FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db38860c9475bbef0c662118d0893b33f8916213","datavalue":{"value":{"entity-type":"item","numeric-id":6176119,"id":"Q6176119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$723C908F-1979-4FB7-A0AE-0D04A46F2290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30456fbff3fab9b7db51bf2eb451861fd4063750","datavalue":{"value":{"entity-type":"item","numeric-id":4986741,"id":"Q4986741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$42254946-3ACE-483E-BEB7-4685D879E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$4F1B6991-8DB7-4373-8EF0-D9CB4CE6A50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db65470a7463e2b5434913efc5d0f584c1f934d","datavalue":{"value":{"entity-type":"item","numeric-id":5919002,"id":"Q5919002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$E5B05EA8-F533-4171-B604-4A98FE53EE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348bec4658083bdfef92d458459d305fea8d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$7909C0A6-F062-4D03-A7C7-7955A320F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b4349c6f67935f364c1462adbb8e18dca6abf3","datavalue":{"value":{"entity-type":"item","numeric-id":710674,"id":"Q710674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$C3016DED-9189-4F5F-9A89-32EBA25B1AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2e91bbe1a801c680d97d5016ef3d40afaaf9fa","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$874D023E-6D0C-4311-9BA5-F40EC99930E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9c1a283ac586a13f0aa6ed9f45bb4b26c3373d","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$9E1CD1D9-25C5-4F67-8211-149D65FFF308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$3BCF6696-ED65-4D2E-BB47-1112D22E873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba554edda49550d189780f0d698446ece61df57","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$7037A5E4-55E2-407B-8804-66851F01B198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$E5B3DA7F-326A-45CC-9AF5-5CC1BB8DC941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488159$2F220050-F049-4FA7-A658-82F20D429719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5741c40611bf7c17db4a50cc61f129f2ede0f57a","datavalue":{"value":{"amount":"+0.8244865536689758","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":"Q6488159$BA6CAD99-47DA-44BC-B41F-0A7EFFC07A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0962bc26afa572a31765bd5d1ef3818ce3088fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36acb799e55b0189881db8553d1d938075ab51fa","datavalue":{"value":{"amount":"+0.8147631287574768","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":"Q6488159$D3710420-601E-4BC7-8180-7AAAEAEF49F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919d685ed0b0c03abaae9fde65e13c9a7d27b693","datavalue":{"value":{"entity-type":"item","numeric-id":3184750,"id":"Q3184750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b979bd27d9d974899bb50a669692983096e37f","datavalue":{"value":{"amount":"+0.8117519021034241","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":"Q6488159$34F52A46-3DF6-45F8-AFFB-AD0736FE166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad463672501466a55e714ef0439d9d7bc464dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2971078,"id":"Q2971078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30781d878d9e792bc1d32b55043a1d90f1a58ffc","datavalue":{"value":{"amount":"+0.8114632368087769","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":"Q6488159$D0F089FF-F948-4D0D-B29E-544400AD54D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70446e1388c63fc87663a5ad0509e33bfcbc18e0","datavalue":{"value":{"entity-type":"item","numeric-id":4484478,"id":"Q4484478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcee698b3ce6669fc8e95fa54a8a57393529d7f7","datavalue":{"value":{"amount":"+0.8098028302192688","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":"Q6488159$8D4B989C-D8B5-436C-8CD5-0CA93F49C2D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488159"}}}}}