{"entities":{"Q1014276":{"pageid":1016124,"ns":120,"title":"Item:Q1014276","lastrevid":65954349,"modified":"2026-04-12T06:33:41Z","type":"item","id":"Q1014276","labels":{"en":{"language":"en","value":"A theory of structural stationarity in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547501"}},"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":"Q1014276$293588B5-1E15-4D7B-ACC0-30C4FF55837C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b4fbaa284094e27561dd0b0fe6e7c8f9f6f97e","datavalue":{"value":{"text":"A theory of structural stationarity in the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014276$449474F0-6555-4C10-B27F-0003912B08F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65093e30d1bbf60c6ee1d9a5774ec9c5a3e8f55c","datavalue":{"value":"1165.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014276$FFFBA2F1-315A-4371-81CE-C698B82447E2","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":"Q1014276$8D542415-F515-47E7-9EFE-E24CBF1E66F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$B06ED917-3715-4A58-9683-A89722EA8BC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f40d4a7d32e7e554cba8a4f57f931cf8b36f1589","datavalue":{"value":{"time":"+2009-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014276$24955D31-8A39-4F7B-9C39-772015F94384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014276$D0435E40-C596-4B45-80CD-E6CAB57EEE0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c594a15779a86288b8f6b5da1db36650357d54","datavalue":{"value":"5547501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014276$45583F7D-26E3-4FD1-A907-398D9F3799B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014276$173396C1-1FED-4DD0-A0B7-8EB3756D135F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$CCD9EC43-AA8B-4F97-8457-CF6005A9C727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$A44E8D0C-D697-4421-8245-704818BF8F22","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":"Q1014276$72959CB0-90F6-492B-9B3F-061690D0A0B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"530fc958685ac6393042c900e9047c90ce21b91c","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0091-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014276$F421E965-90CA-4C4A-9996-5E3B80E5783C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67740df912917631762bf45a799895b4b85d547c","datavalue":{"value":"W2091676842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014276$A509FCBD-4A93-4CE8-887A-FB7987E9FB30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db184f4cf650f16ff6a2ff6d0f9acf64a6ba5d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$F85290AE-E167-46DC-AF88-C902E3944BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$9D34A2A9-EE9E-432C-A6B4-ADBEEFD1E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af8db403322df6618093943a8a7429cb61e4ce9","datavalue":{"value":{"entity-type":"item","numeric-id":1007235,"id":"Q1007235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$56292DDB-037B-456A-95EE-EA63DE152219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d429f2e9cf7dfe13e5f9a397641aaf1ab0a129","datavalue":{"value":{"entity-type":"item","numeric-id":1606123,"id":"Q1606123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$46AA0C6F-5459-472D-9499-76E4E7FCFB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$857E39B6-F871-415A-A373-FFBE2E901DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$16AE59AF-AE20-47E6-AE5B-4E42EDE3956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$596DA13A-4EA0-4FB3-9FD9-B8614584A36E","rank":"normal"},{"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":"Q1014276$3686F4F0-857C-49EA-B7D1-3CD9947A9350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2039743f016ca9c6f042e489ce4ea595f08c51e","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$263AD836-D11A-4A86-9AE6-205B1A3B1568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5b194e03105dd1754e2c47d081fb53cabf909e","datavalue":{"value":{"entity-type":"item","numeric-id":3525146,"id":"Q3525146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$2C1326BA-897C-469E-A005-A269A66AC5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$4B8CBA36-980C-4F6D-8AAE-38CA4C05D2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31afc4c8b996cf08130904caef0646151bad8609","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$58E7F530-8160-4A48-B959-E0598A10AB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e7764a09a5d8495a08c317465036c7ce38f2d","datavalue":{"value":{"entity-type":"item","numeric-id":845877,"id":"Q845877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$81F3CDAE-05E1-4754-93C5-5F16AEA08937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$28AF32D4-DB18-4461-AFCA-F0C6C7CDA763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$457299BC-43D9-4EC8-B009-978A195EEF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ad2bb50f0fea3e5f17bc9da1717c95e6f5d08b","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$99DE204E-2A40-4B4B-A190-51017C4EEB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$60E1D036-2D1B-4FEC-8B8A-A74155A7C23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$FE6A4E85-5518-4649-96A9-DDE160025290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$F0DD0618-54D0-40DF-B554-4A66D725D367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$ADA001DC-5A14-486F-8C4D-75BA6CB70496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$BC2642A9-CF91-4F47-9DA7-0DF63B3A9828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6470e5c46fbf1619a56cd84924637618de9ae4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5900141,"id":"Q5900141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$54C54609-5A27-46D8-9128-E77C66CFCF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$928D128C-C3CB-4D2F-B40A-B254BF5953C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$4CAA93DD-8B31-4199-AE16-20C467B525A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014276$C51B01B0-394A-4CB8-AC01-181D685638E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54db45d1c0e0b65dc7a79b156807646a3cdb358e","datavalue":{"value":"10.1007/S00236-009-0091-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014276$7603307C-4616-455B-92C9-54814C1A863D","rank":"normal"}],"P1643":[{"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":"0f4376c342340a65b4e9b7a18c2ba178c9e0bee0","datavalue":{"value":{"amount":"+0.8097924590110779","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":"Q1014276$EC790AB3-2CEC-4BD1-AE65-6F10FE139A88","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":"a86c0de743d93ee6e02359a8e7f431f6f531f1f7","datavalue":{"value":{"amount":"+0.8084717392921448","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":"Q1014276$446DB077-24C7-4172-A0C7-8CD383216808","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":"49ed7a3676e95694eaa0b36c98eadd1c6450379a","datavalue":{"value":{"amount":"+0.8046990036964417","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":"Q1014276$BFF07820-8E0C-49B3-B44B-69178642AB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a378e37ce0e68c921c0e2c82ace73e104a42d6","datavalue":{"value":{"entity-type":"item","numeric-id":3184693,"id":"Q3184693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2367f74e03d2ac22441e12a1b932e84964189494","datavalue":{"value":{"amount":"+0.7963728904724121","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":"Q1014276$B39195A7-7B35-43CF-81CD-29BAA9D33B56","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":"55fa14c44d40c26d254a0cbd5cd1b8d1838e9a97","datavalue":{"value":{"amount":"+0.7962216734886169","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":"Q1014276$EE611596-3C0F-4226-870E-3A82E4D3E416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of structural stationarity in the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_structural_stationarity_in_the_%5C(%5Cpi%5C)-calculus"}}}}}