{"entities":{"Q2971078":{"pageid":2981803,"ns":120,"title":"Item:Q2971078","lastrevid":52774703,"modified":"2026-01-23T11:40:53Z","type":"item","id":"Q2971078","labels":{"en":{"language":"en","value":"Termination in a \\(\\pi\\)-calculus with subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6700192"}},"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":"Q2971078$0E8EF1BE-A0F8-4D10-93CB-A96AA5F9E54A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eefd78f8da7c0bf4225b4c293f5e9a1626dc329","datavalue":{"value":{"text":"Termination in a \u03c0-calculus with subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2971078$D1C09DCB-BE86-406B-97B8-7E7938D190A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc8e3752fb56e506fc376724ec12be1d67cf1acb","datavalue":{"value":"1362.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971078$8445A3E9-5EDF-4272-BA95-F865143B6F58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503a6408ff468f370c7de541afadfd5d9b396f2b","datavalue":{"value":"10.1017/S0960129514000620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971078$7DE5EFCA-FFB1-40EF-9028-09E16251EE4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"122e8108fe3df246e83e6a6268ba70829b4bd0fc","datavalue":{"value":{"entity-type":"item","numeric-id":347362,"id":"Q347362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$96AA77DA-0FF7-4619-A72D-BA95B9A7B278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$300628D8-339E-4B06-8ED8-83299DC0DC40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$0BED5F98-177E-4972-A513-261507621FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c8949104cb3355067f12c7ef2dbd734933f3b0","datavalue":{"value":{"time":"+2017-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2971078$B99074A1-F822-4F9F-8413-9CF0220CA120","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971078$00D4A934-2D23-4E6D-9627-D3D45FA3C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971078$CDAEB3AC-3F0F-48DC-B28F-566D10040535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e33129d72db22fa92b570b20f8dd4ebf3e479bf","datavalue":{"value":"6700192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971078$746E284A-C13B-4523-BB66-1437407F7C98","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":"Q2971078$863EA43E-F5D7-4F01-B0F7-302442A027AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1efff7be4e917b7fdc5c57ea58a22ee7c8d28fb","datavalue":{"value":{"entity-type":"item","numeric-id":3584940,"id":"Q3584940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$11FA663E-24DF-4B9D-AC8A-90A935F0EE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb96ab2a0b646838a26bf27cdab66bc182f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":3184750,"id":"Q3184750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$3099BAB7-B2B7-4327-A37F-8A7B0937AE6D","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":"Q2971078$E2C1F398-9367-4358-887F-E7216138C4D2","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":"Q2971078$92D9089D-841F-42E6-92B9-D955D6A5AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$E6D7EAB0-773D-4CC9-B008-9B46BB25ACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4210bba19cd160e5cca228bacc9ef6fb4cb9132","datavalue":{"value":{"entity-type":"item","numeric-id":1854358,"id":"Q1854358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971078$048045F7-2AFB-422A-BF2E-27A48E2C54E4","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":"Q2971078$E83EDF19-127D-4084-A2DB-3E15B70A9695","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":"eaffcf9cdb241277e27653e0c422b07219c3cec6","datavalue":{"value":{"amount":"+0.982735812664032","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":"Q2971078$4D648CC0-E7F6-40E4-8DD1-6DFCD070811D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f06302d6a1b8414f1365dafd671f44841201a31","datavalue":{"value":{"amount":"+0.8757759928703308","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":"Q2971078$15F62355-4E1B-49BE-BBD2-C8711CBAAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d3cc4157295937f457d9619d07b80bb41030e9","datavalue":{"value":{"amount":"+0.8727760910987854","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":"Q2971078$8403B1F4-E1F2-452B-A27B-EDFB89B2C14F","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":"052cbe730d56ce4a9c0b994b76ea9b323aba7a01","datavalue":{"value":{"amount":"+0.8499888777732849","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":"Q2971078$4BE4F0AA-9160-4A69-A00E-DADFFEBE0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fca2fd65dbef145fd488f6eee13675c9d47dcde","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052cbe730d56ce4a9c0b994b76ea9b323aba7a01","datavalue":{"value":{"amount":"+0.8499888777732849","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":"Q2971078$9918B133-BF8C-47C8-A777-BAA27F1EC19F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2971078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2971078"}}}}}