{"entities":{"Q3118994":{"pageid":3129710,"ns":120,"title":"Item:Q3118994","lastrevid":86262260,"modified":"2026-06-03T17:12:11Z","type":"item","id":"Q3118994","labels":{"en":{"language":"en","value":"Introduction to bisimulation and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6012499"}},"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":"Q3118994$1FBFA535-6BE5-4E7E-9115-E011F0ED296A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef8c340639963268ac4deb08b93c63681efb6bdd","datavalue":{"value":{"text":"Introduction to Bisimulation and Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3118994$9EDA5E54-F1B8-416D-8093-8627DE8EB412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86464b7ebfc625f632a15e23f756cb61ed39e750","datavalue":{"value":"1252.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$A7523275-6448-4222-A7A2-22ADAFED483D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7930eb6c37e0afdec3bd8dd2b61e3b007a2230a3","datavalue":{"value":"10.1017/CBO9780511777110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$239BAA1F-2CBD-4891-AA89-F53B964F2546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3118994$F75E682E-557A-480E-B7A7-FEBB04931AFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5756a7890be8beb6e8cfe5a567e07d02b03079fb","datavalue":{"value":{"time":"+2012-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3118994$963A6E6E-80C5-4B10-9656-23CD40134F5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$5D9F308D-5DE2-4FC8-8359-0B87EA31571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$AE029ECD-73A1-4FC2-B9E9-4FD4885D29EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$1C935059-6D83-4090-B963-CFDDB86886D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b15e94a7595f811837cbaaa6645ae0352bd4ce2a","datavalue":{"value":"6012499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$AEEA54E6-9EEF-45A3-A3ED-3C1E86D4E05E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$BBC18C8C-B62C-40FC-8EC1-F35149D460DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$3A853EAD-1B4C-4967-A353-08DCC926B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$6F78F278-7BA3-4343-BF3D-32AB7BC19D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$5EAD1B34-6D8C-437D-A096-AC6A6B6586F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$AC840387-E859-419A-A14A-8793EA31C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e2aed90d41b1210f2443a09408d2bee50c3d6b","datavalue":{"value":"testing scenario","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$A06A6CBE-D9D8-48CA-9DD7-F73D2135CBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766fa595379e7bb0187846f18b0c65a7178167a5","datavalue":{"value":"weak equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$5008EF01-AB43-4BBF-8361-97971C1AB4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118994$4A67FF34-7CB7-48C8-867F-7DBA1F47AEE1","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":"Q3118994$761BBD48-C31B-4E31-9CA5-BFF32377ED7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31ba159f6575b467ee09b5767cab441139e3e157","datavalue":{"value":"https://doi.org/10.1017/cbo9780511777110","type":"string"},"datatype":"url"},"type":"statement","id":"Q3118994$AEC0B423-110E-452B-B361-12EEA38EB3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd76ccebecb311e40391c08be04d8f9d4117d517","datavalue":{"value":"W369805404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118994$5B224FAB-AA24-4A6D-909C-8D97F67DC93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43d794470b4a2f633b0501f6c3dc699900011da","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec3d2d49849adc7bbc72cce790fd16c41b75feb","datavalue":{"value":{"amount":"+0.8258230686187744","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":"Q3118994$C8CCD4B4-2EB2-496B-956F-5916E2733A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0829288b8c477a4ec9f3dcde5bd4bc639d22db3","datavalue":{"value":{"entity-type":"item","numeric-id":897107,"id":"Q897107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f35ac8693ecbb7952f6f361a5b7b9a68f76a4c","datavalue":{"value":{"amount":"+0.7933646440505981","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":"Q3118994$23D887F2-11FB-4919-A691-7BA901B58552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962e504be732005538e19ada17ee099a873b84ea","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550b9f88eaccb62fcec2563d750a6944642c40b9","datavalue":{"value":{"amount":"+0.7444539666175842","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":"Q3118994$AEF49F36-C039-4959-8F69-5BA15628B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203b5622731250926e249e14d57baa573ec3054b","datavalue":{"value":{"entity-type":"item","numeric-id":2280213,"id":"Q2280213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4c30ec90850e3c5652db5ac97a68a51cfc174f","datavalue":{"value":{"amount":"+0.7416900992393494","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":"Q3118994$DFF5D9B4-CF14-42B3-A135-A521C2631E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cde9f4b027573ff449239da0f9b107f282a9274","datavalue":{"value":{"entity-type":"item","numeric-id":5262977,"id":"Q5262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8305ac52d1af283a63083504420fce788ec64769","datavalue":{"value":{"amount":"+0.7402747869491577","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":"Q3118994$C335F17C-1781-4693-8481-52814A32B863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to bisimulation and coinduction","badges":[]}}}}}