{"entities":{"Q5954637":{"pageid":8131439,"ns":120,"title":"Item:Q5954637","lastrevid":93547871,"modified":"2026-06-05T04:35:26Z","type":"item","id":"Q5954637","labels":{"en":{"language":"en","value":"Unique fixpoint induction for message-passing process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1701592"}},"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":"Q5954637$D57901F9-E32F-41C0-BC1D-3FEE5A925836","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33826423bb88dc8f6d99601c698bcc9e086a9a4e","datavalue":{"value":{"text":"Unique fixpoint induction for message-passing process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5954637$A1217A63-0172-466C-9D81-23500540BEB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29a86a1efe4958f674e633769768439972118b7","datavalue":{"value":"0998.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954637$7E3D1429-0B16-46EB-8128-60535A832666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2beb3f83c9b23cdf4817be28b196209d9cee1aef","datavalue":{"value":"10.1016/S0167-6423(01)00008-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954637$EF6BFEE0-FEE0-48FF-B10B-C8993860C177","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954637$93D22D59-FE14-4A48-AFDA-FD52E3168BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f309e4e3309c7641e0998c270afe2b333805b60f","datavalue":{"value":{"time":"+2002-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5954637$6515898D-BFB9-4F0F-8A25-4EFE2D5EB631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954637$7FA8D4D6-97E8-4D5C-9F66-C72E5FBDAB76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a204fe26654ac6951c50c9f9dea094780069c95e","datavalue":{"value":"1701592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954637$004E1B14-5477-4D40-821B-B02F5826080C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954637$093237BA-B1F9-4219-88E8-8964CC5D2FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc06fcecefd39e5227c3638cd0b0b327988df779","datavalue":{"value":"message-passing process calculi with recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954637$7B1451C8-86FA-4487-963C-2B771B300E46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954637$3CCE9E19-5716-4999-8EB7-531751F223FA","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":"Q5954637$1B8230AA-E510-41CA-B6BE-E46F60C963A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1257d4e341f55bd24dd53f62ee5c6e0fdc484ea","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(01)00008-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5954637$01E7C4BD-8B7A-487A-8E12-0D5EFD86EEB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f23e3ab9864aec4ae96e0924cce2153b95ff968c","datavalue":{"value":"W2061930075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954637$AEAE1326-4F1F-451A-9F1D-BBE0654E7CE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954637$F7F66292-B871-4BEF-9EFC-E7D3B3DB694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3acbb7ddf64a9a1150d5c16300b0a516c5fb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":6768253,"id":"Q6768253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954637$7F55CCBD-18F6-4006-8D46-C83C20BBE851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954637$1F1C8717-5020-4F9E-8B40-E68492DAE099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b58461ceef09df5bfbc9b79d50823d69a521379","datavalue":{"value":{"entity-type":"item","numeric-id":4494236,"id":"Q4494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016297f03e7d6ba13a607cf42f6d41e836a55ad","datavalue":{"value":{"amount":"+0.8332613110542297","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":"Q5954637$07FCB487-D60E-41DE-87AC-DF97960E4D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016297f03e7d6ba13a607cf42f6d41e836a55ad","datavalue":{"value":{"amount":"+0.8332613110542297","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":"Q5954637$A6877B0E-15FC-4160-90AE-24EDCE9C320F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6a69064bc76cdb24a335e5cf2c47e557ed132d","datavalue":{"value":{"amount":"+0.7947743535041809","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":"Q5954637$94D4860C-E1AD-4BE2-A23A-C76454E1E348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bed302e632ae69f9bcfe699cf108bf974352b8","datavalue":{"value":{"amount":"+0.7455823421478271","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":"Q5954637$A627D151-8DCD-4241-82C1-FAAAC95F6DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec14e4901ea245bd8ce158b1e1e23774b01fe852","datavalue":{"value":{"entity-type":"item","numeric-id":4511273,"id":"Q4511273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4dd4b5f544a1a65e331fe7a1baa478e83476af","datavalue":{"value":{"amount":"+0.7430040240287781","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":"Q5954637$B5973FE7-C3D8-4E73-960D-3775C087CBE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique fixpoint induction for message-passing process calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_fixpoint_induction_for_message-passing_process_calculi"}}}}}