{"entities":{"Q2866317":{"pageid":2877037,"ns":120,"title":"Item:Q2866317","lastrevid":51890366,"modified":"2026-01-20T11:54:14Z","type":"item","id":"Q2866317","labels":{"en":{"language":"en","value":"Notes on generative probabilistic bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238173"}},"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":"Q2866317$D182167A-BBEE-4FE1-B0EA-5B1588B7C149","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42fed2592356151bc3f758a5ef733e93f7651b8e","datavalue":{"value":"1277.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866317$A4EF5B4A-F5F0-42D0-995E-7EDA3CE6F96C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$D24F935A-F7FB-4818-ACE4-4EDB1A059F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$0DED3203-1EDB-4EE5-AD9A-12966A9BE114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866317$EF21D15F-C568-40BC-BAB7-40B4554AEFBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866317$64D73E13-2B25-4F4D-AD40-42E6FBB75B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fad89265c77d47bec1bff99d33d86718ed15453","datavalue":{"value":"6238173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866317$959A0992-52F3-4BC5-8790-AE3D2966505A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$97274677-E976-4C26-ABB1-CAB04C08E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191268879e9472ef96692833aa14df78c1b601ce","datavalue":{"value":"generative probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$792F20F3-C805-4636-AE74-4CA5DE2B77EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$96A56DBA-6240-4166-9ED0-6C8115CC6830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$136FEED7-1128-4A47-80DF-C4A23DD14237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$221DD0D4-6CC7-460E-A20F-44834839E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866317$C6471674-250F-46DC-842F-C6CBA7B5C9DC","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":"Q2866317$FCBB8E0B-4B55-4A72-A33D-805660C7901F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b574f362c8950f49313380cd19da57c0584aee5f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866317$D2E43D98-6CAC-4CDC-BF1B-CF48C4B8308F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937889b65132af05aed05b4a1c91b00a95f1d879","datavalue":{"value":"W1999675231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866317$42B8F122-499F-45A7-AF0C-5408F28319EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$85CA43C3-9DF2-410F-83CC-886DCB007526","rank":"normal"},{"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":"Q2866317$A75C2570-4090-4D8D-B8BB-21FCA2016F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$66A6E2C9-C4E8-4ACC-9DB6-367FA550B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$148796AE-4E0A-4B2A-A658-B174FA57FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$2EF07F17-48AD-4F02-BF1B-2306AA78DA6F","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":"Q2866317$E491B440-3964-4910-837D-C147C3D49671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc5fb0376bd23f0d02b623cc2a25ba1ce77316d","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$40C0BE75-C5FA-475E-B2BF-4C0DD3748C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7f41066e9f4c31755bb0d6f58077d78d50178","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$A82886F0-AE48-4CAE-97B5-E9B072F4FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$7CB946D7-E056-4448-94A4-AC42848C0C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6db4c4ba4aab57d75f901fdc419b5157f0d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2852097,"id":"Q2852097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$7C5B1C07-3733-4EB4-8039-ADB948F94B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d849fb1349f204194ae932b827b64352c2f610","datavalue":{"value":{"entity-type":"item","numeric-id":3591399,"id":"Q3591399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$1D50AED6-615E-4D16-829B-B4AAD3D94114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$98138D50-642E-4770-A6B1-256C0B53CDC8","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":"Q2866317$028B0F3B-3C48-48F6-A9EB-03C03826E76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$100CF288-9393-4735-8087-2AB3073728E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac49c5ce4683becb4e0e8ec24d9d44383246ef13","datavalue":{"value":{"entity-type":"item","numeric-id":5705909,"id":"Q5705909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$B588D77E-5FE6-409D-BD50-BC3C2F904A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$66E0C25E-AFBB-4FFF-8C92-344802EB35DB","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":"Q2866317$DC490274-A4AD-4BE6-BB02-C048A6836EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866317$16AE56AE-445A-4B1F-82AC-143738696AE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f8528b33c36c7edcdee5765bc9d77f3f8f45d52","datavalue":{"value":"10.1016/J.ENTCS.2006.09.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866317$7757A926-9E1A-4468-AA02-73E0754804B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c36c1a39a278340411e37e644aaa300bfd84cb","datavalue":{"value":{"text":"Notes on generative probabilistic bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866317$5F6053A5-8656-498E-976F-FC1C4B86296B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778176e9d9e57f36fd4a6974b2815dbb11b1e11f","datavalue":{"value":{"amount":"+0.8343565464019775","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":"Q2866317$E82BB60E-6F25-4208-A518-BBC64F26D500","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":"4bf5312181916c55e972a16b80ed04e678af3eed","datavalue":{"value":{"amount":"+0.8342037796974182","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":"Q2866317$F7A8910F-1903-408A-9E49-9101BA11C6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2589c32cfebca0392446455c7409bf5ab5e5b598","datavalue":{"value":{"amount":"+0.8336036205291748","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":"Q2866317$8134B76E-97F8-4528-A8F4-3D533786BD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca1e0a88af466e9bcc68f3143b766645ff47dc5","datavalue":{"value":{"amount":"+0.8280794024467468","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":"Q2866317$BB33CFF3-CBB6-4330-B37D-599647BD8E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca97d86c011d368fb310e0765ddc5f5c6848b24","datavalue":{"value":{"amount":"+0.813991129398346","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":"Q2866317$B787D8F6-142F-47EF-8DEB-5280065DE9D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866317"}}}}}