{"entities":{"Q1975973":{"pageid":1986715,"ns":120,"title":"Item:Q1975973","lastrevid":46923618,"modified":"2025-12-25T20:59:19Z","type":"item","id":"Q1975973","labels":{"en":{"language":"en","value":"Deciding bisimilarity and similarity for probabilistic processes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1441903"}},"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":"Q1975973$ADE0D839-0D3A-4ED2-B48B-E66D01AC7528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fdab75de05c6b590b072180f8064c935b7a2b05","datavalue":{"value":{"text":"Deciding bisimilarity and similarity for probabilistic processes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1975973$1D70B4DB-3D1E-44B4-B3D7-B9520F454710","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7a71de8252a4d4ce3f48027c114af57c4bf288b","datavalue":{"value":"1073.68690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975973$8AD28682-2D49-4929-9D3B-6BB8479FEE31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$65AF23C6-4C36-47E7-B6D6-6F5049E3F3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b0d1a2d5e7640ede885a46935ea5c538f76b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1975972,"id":"Q1975972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$C869F8BF-5B5D-4A31-B3C4-3E34463225BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$0655D5E7-AABF-4AF0-BACA-C97A0ACD090B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$0C0DADDD-CBD8-469C-9FB7-EB192242BAC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1975973$E4E768AC-AFE4-467A-BA12-ADB710153276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975973$93CACE77-9122-4F34-BCD3-2926AC1AFCF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bebcd6040368a142b8bf5170feee7dfebf48b93","datavalue":{"value":"1441903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975973$17DDE0D1-651D-498D-A73A-80B9564B4D12","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":"Q1975973$F8F6846D-D08E-49AF-B273-AA50E43E7DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e74bb5b8dd972e04e63bb2dc48690b7593e62c23","datavalue":{"value":"https://doi.org/10.1006/jcss.1999.1683","type":"string"},"datatype":"url"},"type":"statement","id":"Q1975973$8384874D-F575-4AD8-9A51-D7F003A59A9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5ddcb545aff3b758076e539db7b6cc86c78a945","datavalue":{"value":"W1963619740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975973$118ACE72-8298-412B-B0F7-6EF95290E3E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c24ea925c1d72b08f750cc9960d8b6c67b38f","datavalue":{"value":{"entity-type":"item","numeric-id":1899914,"id":"Q1899914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$0FDF681B-6B5A-4955-8969-0B59EE30B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$9EC52257-815A-4D0F-BF7B-EE9B655D46C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088b32c44048c251fc5ff6645f61a3bd446aa88f","datavalue":{"value":{"entity-type":"item","numeric-id":4222911,"id":"Q4222911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$0C64FAE6-A9B9-4377-9DE5-CD1F337C9406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$95C4826D-B57F-4175-B20A-DB1DEC20D4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$1BA4B7D5-7D8D-453F-86C6-391883C3A42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c237eb4487c27fb633352bf121e725afec1e6c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4038695,"id":"Q4038695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$4D93A91E-8AAF-40A4-BE58-E9ACBEBAAE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdf0fd443743e61bb3484b43f4300cab298e502","datavalue":{"value":{"entity-type":"item","numeric-id":5204359,"id":"Q5204359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$11BF0EB8-40F8-4F20-A0AE-89EAB3EF68C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854bf29386092635a477e0881f3f0c76f5ed2664","datavalue":{"value":{"entity-type":"item","numeric-id":5624995,"id":"Q5624995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$6B58B030-6D43-466C-98A8-6DFA0AC14D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f494b826ef52cad5b9a7d9db328cf2f05835dad3","datavalue":{"value":{"entity-type":"item","numeric-id":4255553,"id":"Q4255553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$2E89C6E9-C14C-4EB9-B5B5-03E52D497BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf0b507843c2215e82bddf09a9a50f6a0f5c027","datavalue":{"value":{"entity-type":"item","numeric-id":2365568,"id":"Q2365568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$869B6DE6-FFE3-4476-8597-5D5518099FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$A7515B08-578F-450E-BE37-A65535B25C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$EAAEA057-FEB9-421F-B304-A49388BD61AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3544ff5c3325f5ac1e5dcd2fd92020bf1b6189fb","datavalue":{"value":{"entity-type":"item","numeric-id":3292914,"id":"Q3292914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$DE0DF7CE-C798-43F1-A261-632174191EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$F840F3FB-6F30-4D39-8493-F2DD171E9EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$F07F85A3-4EEB-48F6-B721-ADF51FCAD651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$AE261B2C-DD01-4C91-855C-7469758A696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$3289A177-52B6-4AE5-9522-BB5796957DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b7afd97fc9823e2db5db740eb0f3a0426fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$4E862E47-6E1C-4999-86BD-3B6A591AF23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19ad20105c30936c93f5697cec437ce6d4a0cf","datavalue":{"value":{"entity-type":"item","numeric-id":1251587,"id":"Q1251587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$FE1DD658-2452-4C77-B7F5-48EC1464D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$5E1FAA34-7163-4A01-BE3E-90747B9A8D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$E23A8101-67D0-4691-9AF4-444B7B7FCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37bb3fcdb01eab86b5965d3e2e5e4cd4b4a245f","datavalue":{"value":{"entity-type":"item","numeric-id":5678421,"id":"Q5678421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$C2316F64-3547-41BC-9C98-BE18137BEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$B781D5E6-BC7C-4ACB-A740-23CD8EDD3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$AFD47D17-24E9-435B-9D43-15E0D257A06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$10D4C00F-7A77-4523-A389-DAEE6EC16F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$95B5634A-6484-4537-BAC4-E767844C78A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54edf4f219cc341320e452ee26091fbc705bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$0DC781D8-833E-4BC1-8244-9471CCF159C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e96e02a00cd876cf01a1d0a9262643789d291f","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975973$F9AA2D51-0AF5-4F6D-B1FC-2BA40FBBF09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c963b9a60c9fea01e0273f2d75451849744cd32","datavalue":{"value":"10.1006/JCSS.1999.1683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975973$5744A60C-A96A-4583-92F2-A7FABCD9A31B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59fcd5990d17143e4f36296d4d904cff771706b","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec46cb1ea1f4b55c526a45cfc7c644bd9eb0308c","datavalue":{"value":{"amount":"+0.8699191808700562","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":"Q1975973$FB1899A0-E5BD-40C9-96FA-B5A48E880731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27866ed721803aeaa9558fb0be624e583324e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15b0eb99ad671281df3fb85825bbd872d91dc2e","datavalue":{"value":{"amount":"+0.8625671863555908","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":"Q1975973$DBF0118D-7BC1-433E-9B32-5419A4CFFEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813b2958678f240016aa003d0309d31a53d469ec","datavalue":{"value":{"entity-type":"item","numeric-id":2633253,"id":"Q2633253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826f18ce82ed109fdf582e3d8cd49a225589fbf6","datavalue":{"value":{"amount":"+0.8587624430656433","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":"Q1975973$1161D754-8EF2-44A5-A90D-08FE28ECBBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849bd2bc7c75067eb4ac5fda99ab36eeae680a08","datavalue":{"value":{"amount":"+0.855760395526886","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":"Q1975973$E80A2FAB-94B9-4876-98AE-5BF4A6E2540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552c48f1c538e252112cef596595d2b8f3a84bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8273d6acd7d94dd818cadde44f78f1907acf8683","datavalue":{"value":{"amount":"+0.8554954528808594","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":"Q1975973$A8960529-BB8B-413C-B19B-6AB21BFD8B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1975973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1975973"}}}}}