{"entities":{"Q615236":{"pageid":617012,"ns":120,"title":"Item:Q615236","lastrevid":63195666,"modified":"2026-04-11T11:14:49Z","type":"item","id":"Q615236","labels":{"en":{"language":"en","value":"Finite axiomatization for symbolic probabilistic \\(\\pi \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5832602"}},"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":"Q615236$5BBB2608-AC20-42DE-A069-157693CC5AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2edad4a453e67a3f54dac3e1262dfb1cf3d1e6e5","datavalue":{"value":{"text":"Finite axiomatization for symbolic probabilistic \\(\\pi \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q615236$BF021243-9F97-49C1-A337-F22EA5ADAFD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f92c4c72cb1c24cf44a211e2986ccaee362951a","datavalue":{"value":"1202.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$A4EF8546-BF39-41D3-9CD9-A65A44576374","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2ccd250df2979e12e8ab152e5336c2c8ac3f55","datavalue":{"value":{"entity-type":"item","numeric-id":441757,"id":"Q441757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$6C965BD3-C3C4-40E5-A835-BF191B6476EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$92C8D03A-1181-4722-B193-30B0F6D0E731","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a036cd754fd4ef8a20030da34ded58a95d4433bc","datavalue":{"value":{"entity-type":"item","numeric-id":407428,"id":"Q407428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$37EE25C0-5D4F-4AD9-86CD-9813D9E12C22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b67946e2143b9ea1c92b728f3add2d4b10d7f9f0","datavalue":{"value":{"time":"+2011-01-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":"Q615236$CE3855EE-A6FA-4CFA-AB02-6EBFE5819631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$0A1F56FD-B905-40E5-BFCC-ECFFC121EE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$8AC42D75-C96B-4FCD-88D6-1FDB9AEE4032","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a82168072356a9e7dffa8edc327139764876109d","datavalue":{"value":"5832602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$25D707DF-B4AA-4338-9348-57B9B24E70C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554161029d662c20a4ad281dd06a5f1338f846bc","datavalue":{"value":"probabilistic process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q615236$1CDF1E9C-3233-4B98-BC59-81B611EE0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q615236$E2F144DE-B400-4784-ADA2-85D92EFBE266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50995c35cf8f618870cb3d3e0ece6f60dbc0cadd","datavalue":{"value":"symbolic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q615236$7FB9D41E-7D8B-48C2-B328-6BED308B4C68","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":"Q615236$AD763559-603D-445E-8F52-19A7CDDA0102","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d7033583415d4d86454ef7484554c8ff8c2773f","datavalue":{"value":"https://doi.org/10.1007/s12204-009-0536-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q615236$3BABDAE7-7154-4CA9-8418-3BEA0B13C981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cec8d27b14640727df71d7a6def23b4d55dd0a1a","datavalue":{"value":"W2009408173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$E7AA9350-D64F-4EB7-B604-D9AF34EA6ACA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ae2ba15e2889c187a1a746a8779f54b34abaa","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$BA352627-8C61-4EC6-AE95-7A3C21A65C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbf27f3f83083d39e3f89783b078b08273a7263","datavalue":{"value":{"entity-type":"item","numeric-id":4791835,"id":"Q4791835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$93E03A39-F68B-46E4-9802-E7708926D86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$14B51052-9A1C-42FE-90A1-CCFA8229FE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04276c9be8b758e9ab2edb240e0ca02d5f7f4634","datavalue":{"value":{"entity-type":"item","numeric-id":606996,"id":"Q606996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$ACCF7E7F-8C3D-481F-B2B5-AB1BE8EB2CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$CC9AB896-78A7-4906-B4B3-6A53F7AE8F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$A9CB0D08-A170-4AEF-895A-01888A2CC71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff6c54c954f01a3c43555a87753546d4981b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":615236,"id":"Q615236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$B856E8A0-7BD3-4B6F-891C-3552221F59A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f37781aa914c1d87d854c93e84c935e8c635ef","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615236$A7A85231-0E1B-4E4F-BE42-E7FD8A54F13C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a195d9ae417a9b7e207e2776faa0f7d37eaa65cd","datavalue":{"value":"10.1007/S12204-009-0536-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615236$510E2ACE-C0A4-4545-8B67-630ADDB3472D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a480789f173c062a23ed88678e013af5b800c6","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf1269f0fc963cda85b07161d654d78ae639976","datavalue":{"value":{"amount":"+0.8407725095748901","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":"Q615236$48B27A77-F4FF-41C8-8D2C-B155A3004F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e32d32a39f64502db2d0ed8b533d9c558a2ed03","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a3a38339cc7307a57cc85cd7626847fbb18afb","datavalue":{"value":{"amount":"+0.8379185795783997","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":"Q615236$F542949A-4F9B-41BA-8E35-267613B1D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e661a29a4effeea05cfd1984e7fd2f36c8e13368","datavalue":{"value":{"amount":"+0.8137204051017761","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":"Q615236$F374C1CE-3A78-47B9-882C-42A7B2AE881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27533cb97ddafef16757071b7b33c4a9e128eab","datavalue":{"value":{"entity-type":"item","numeric-id":1899914,"id":"Q1899914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da0d2aace5dca75a4e107987567150a84e9ffa8","datavalue":{"value":{"amount":"+0.8095412254333496","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":"Q615236$CFD3BC86-C014-4A8D-AC72-69474FECFE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53780b2aabe51dfa7f619fafb9a362a52b7e25","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64895b19232f74af3f9773e27599bed881644857","datavalue":{"value":{"amount":"+0.8074679970741272","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":"Q615236$14B0236D-1CAE-4EB6-B67F-5FEED976A313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatization for symbolic probabilistic \\(\\pi \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatization_for_symbolic_probabilistic_%5C(%5Cpi_%5C)-calculus"}}}}}