{"entities":{"Q5953448":{"pageid":8130250,"ns":120,"title":"Item:Q5953448","lastrevid":102107783,"modified":"2026-06-06T03:29:57Z","type":"item","id":"Q5953448","labels":{"en":{"language":"en","value":"Bisimulation verification using the up to techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694302"}},"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":"Q5953448$33FD976B-B43E-4088-B572-CF972009727B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1959d5c4c65d96d1a8b81e1f3184b10c273e2234","datavalue":{"value":{"text":"Bisimulation verification using the up to techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953448$13FC5091-B803-433F-8358-F93823D65529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3faa59892dc9df358a05f8caf5a19bb9e83731c5","datavalue":{"value":"0991.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$40D37BF4-2B91-4C93-91D1-A7EA4FCF7352","rank":"normal"}],"P16":[{"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":"Q5953448$B141B6E0-FDA1-414B-8ACA-F935F8DA5B48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953448$3D3075B9-09F8-4263-A35C-F2EB6DC6C316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953448$0691D5D9-7119-42D4-9B41-2BF5420006EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$B1A3C691-1080-4FB6-B1A1-F17A6722368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$36A7964D-E91D-4F0F-88E3-801262AA52E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85caaae07916dd3ca2842e722c41223ef2793a88","datavalue":{"value":"1694302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$6ED70E00-02D8-4485-B499-2D20C9822BB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953448$3226763D-63E0-41A3-8F56-E526449510F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b1858972f4f94ca72a826b558f66de58979c7f","datavalue":{"value":"bisimulation verification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953448$C7393B38-929E-4150-9EED-B9FC6C2D1326","rank":"normal"}],"P1463":[{"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":"Q5953448$F4D8DA0B-2CF7-42E8-BF5C-F2FF694DC4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953448$9E868396-9878-48CA-A59D-1AF8D9D8BBB0","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":"Q5953448$2479CCE2-83E4-4FCA-BC67-60AE60F5D944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"535cda4042729faabcbf2ac1484db8f6851537e1","datavalue":{"value":"https://doi.org/10.1007/s100090100041","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953448$ED980BDD-7122-4742-B59D-F1C687961052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca02ed64dd596df526135399c63a545a83278c45","datavalue":{"value":"W110424133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$3763D441-7AC6-4187-874F-C3A4781AAD5A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e84362092b7c8270e7497cc6e09b5f7de1a60d74","datavalue":{"value":"Q126577090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$D63C07A1-0DFA-4751-A884-13EBC55A14D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57497f9c00f74df3ccbd7cb8745221239ea89bb1","datavalue":{"value":"10.1007/S100090100041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953448$2F238454-BDEC-49BD-982E-183ED55D4875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9acb994eb7676fd8861221e3748e34dc9dcf79f","datavalue":{"value":{"amount":"+0.8385363817214966","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":"Q5953448$6EAE07DB-7B5A-457F-B123-5B4DA527BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03d26c9759c2c94179f35906e23145229ee7f85","datavalue":{"value":{"amount":"+0.8356877565383911","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":"Q5953448$4871847D-7C05-4220-B6B9-28A7B6B768C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5045462f827472d7b283222f2c3cac07e80797","datavalue":{"value":{"amount":"+0.8296477198600769","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":"Q5953448$2EF1E1AB-302D-46FC-A8A4-453C364F2AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6178797147d9e809f6a7528f794f2291d89f81","datavalue":{"value":{"entity-type":"item","numeric-id":3190111,"id":"Q3190111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cd897f70bb581db140091c4df7d8b8c8e52b12","datavalue":{"value":{"amount":"+0.8125366568565369","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":"Q5953448$FB0011BE-1B02-4A81-B32C-F74E00D18B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c531bc0ca6368ced7bca9021fde05cce34473bdd","datavalue":{"value":{"amount":"+0.7937771081924438","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":"Q5953448$CF1EFA9C-ED6D-49F5-A99C-417A7B30DE95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation verification using the up to techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_verification_using_the_up_to_techniques"}}}}}