{"entities":{"Q3612482":{"pageid":5642388,"ns":120,"title":"Item:Q3612482","lastrevid":49687936,"modified":"2026-01-09T02:05:41Z","type":"item","id":"Q3612482","labels":{"en":{"language":"en","value":"Deriving Bisimulation Congruences with Borrowed Contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527227"}},"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":"Q3612482$2ED87DA1-5AFD-4408-B14B-59F871FF81C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5885551d4b2a0a3b83e7fa341e29cceca02ade08","datavalue":{"value":{"text":"Deriving Bisimulation Congruences with Borrowed Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612482$170446A8-0B58-421D-B8C6-559A225D9F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e554f79bcdfcd402265e6c9f2739f63d7a28d4e2","datavalue":{"value":"1214.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$77186B23-FDDD-4930-A03C-1587EC7873FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13577e7fd0f942b7cb0f1a3061e9472d38247583","datavalue":{"value":"10.1007/978-3-540-73859-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$5025154C-5D0E-4F49-B9CC-3CF872A6F37A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612482$B2567E23-7782-4C17-92F0-96036733623F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612482$8D645E67-9910-4752-9F08-6E7AED8B652D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612482$16E2B747-E535-48F4-9DEC-19F33DB72471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$DDD2FABA-ED7A-40BA-BEA0-49D97DF8936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$1292B91F-39E2-42F1-A786-7A9340D4CB73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b38521ae0f24d2a5ed694f3b2b127bfbc2c441","datavalue":{"value":"5527227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$3679F9B9-8507-4A75-9C36-937B673925BE","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":"Q3612482$85209F60-FFD0-41C1-B617-DC079DD81112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"977f11f33aaa30db87f6b21b03495f0e673b2734","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73859-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612482$DB098EA9-DAE6-47A3-8CE1-9B5885D64F7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16ea7cccd34345c59495439fe213177b5e500126","datavalue":{"value":"W1493819340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612482$0875553C-C459-4EFC-9DA1-EEE32AABCB71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29429483644eda9b2894cff3a1c351cd74a8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b4dc0a073dbf8ca5c457e2dbbfa7b74dec5d26","datavalue":{"value":{"amount":"+0.9301837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$8F38930A-7950-4967-B312-5E73BADC7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5f205f93b9e0fd967ce91bb1607df41d851ad","datavalue":{"value":{"entity-type":"item","numeric-id":5458376,"id":"Q5458376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1dafb12dadbaa33d11ae521ea9573fb6981e13","datavalue":{"value":{"amount":"+0.901348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$B66F4D1B-3B87-4935-8602-803C193332A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805fd498e975befd0874b632c720fefda73835f8","datavalue":{"value":{"entity-type":"item","numeric-id":2842606,"id":"Q2842606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a174fbe0a20192275d981af31b5b4abf289c31","datavalue":{"value":{"amount":"+0.895614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$D43CB881-B953-4E23-8E30-B91FDC25AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6055432f92dbd61138ae030f5a84070b99daf9ec","datavalue":{"value":{"amount":"+0.89512074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$21DC3509-8B4F-4EC3-9996-4E2507DF6910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa87973c80015342030889cb0458567e2dde269","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13d81b897f69d6ee4032b73178bf196295029fd","datavalue":{"value":{"amount":"+0.8941399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$4AF4A465-40A8-46AE-84E1-CA4CADF3B25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a418ef6f055116d855fe043d0f39a75e7edae57","datavalue":{"value":{"entity-type":"item","numeric-id":2892783,"id":"Q2892783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83bbeee6addde5c779d91c0f14df461fdaff9b6","datavalue":{"value":{"amount":"+0.8934151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$DF7CFBC2-150B-467D-830E-BB39772B4F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d2b022dc8d91caea99bf4f5f0c7e8adbc32004","datavalue":{"value":{"amount":"+0.8923472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$0F4F0952-6E9B-4F04-A29A-618093A0FDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6741a1fe901bd7d54a0a9cb83126e526be43fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5897490,"id":"Q5897490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0259561f7837678dd2e5abcad8c0041616fe458","datavalue":{"value":{"amount":"+0.8900589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$3285079F-BB1D-4751-9CC6-B73DC24BE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b7b944a70399e648c5ffd39121fb92cfc226d8","datavalue":{"value":{"entity-type":"item","numeric-id":5452714,"id":"Q5452714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283ea0dffd757b0de76b0f21332ec897d86e1685","datavalue":{"value":{"amount":"+0.8871381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$08E78FD4-4010-487B-9650-CF9CFCB8C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315b376fd50a158cc04e07ce0524d8a8de5e9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac70ace35ac32745eb4b374091b1b3b1ea3693b","datavalue":{"value":{"amount":"+0.88649946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612482$072F4F99-3209-49A4-BB43-31C3CE96CF03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612482"}}}}}