{"entities":{"Q3608458":{"pageid":5638364,"ns":120,"title":"Item:Q3608458","lastrevid":50591438,"modified":"2026-01-14T12:15:46Z","type":"item","id":"Q3608458","labels":{"en":{"language":"en","value":"On Bisimulation Proofs for the Analysis of Distributed Abstract Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523442"}},"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":"Q3608458$AC963E36-6F00-4F8A-9EB5-8E6839EE07C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd75befd3bd740a0bb588633ddbd72b3dcde68de","datavalue":{"value":{"text":"On Bisimulation Proofs for the Analysis of Distributed Abstract Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608458$C76D38D5-08FE-4EF2-B440-3702C2D4654A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4e84db9b60b2973ba8a7732d20bc7c9d27b07db","datavalue":{"value":"1211.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608458$9608D4CF-49CB-4387-9C27-CAD3D4F8EF5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573898c142a8f9d56aa12512f97767e4820f1777","datavalue":{"value":"10.1007/978-3-540-75336-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608458$2F1028F3-4A31-45B6-8E17-D4D50E825357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$93994CDD-FF32-4173-9A3A-6D643A885E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$02317F64-593E-42AE-8271-6AD657F784EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608458$FB9D6B88-3069-4114-A908-820F0356BFBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608458$8B38AD78-F45D-4CEF-AA04-893EFD8358E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc1ca138e7ac9c90284415b26bfbb68460f77b07","datavalue":{"value":"5523442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608458$64A679E7-8F09-4B64-821F-85035ACA0C71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$1A439FE4-E38A-48F1-B325-BA55F7587B9C","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":"Q3608458$81931E88-A820-428E-B742-C9AF03E2C1B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4388de7a95bff1fef4630927a9ac537dbf42f3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75336-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608458$D7CED9D2-EF25-4DDE-9669-96FFAA73B007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"739b27fa3e83c9f850431a2e348488d2628f73d6","datavalue":{"value":"W1492584023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608458$68E150C3-859C-4E0D-8070-79F365441809","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc054749522860d7c2f7554f0d2a72e08e47179","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$CBC7E540-3BE1-4388-B29B-C0A705741A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58059443e2f37e2ad65e4886ad3cd9229d03ec","datavalue":{"value":{"entity-type":"item","numeric-id":4415246,"id":"Q4415246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$C756682D-2E9C-425A-B7D5-686E2900A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f7d697c553cca5167f24089905babc27f46c11","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$7221B7CF-E4E9-4EB3-A724-9EF5797D893C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83aff07159084ff4cc72479cdef41368d646789","datavalue":{"value":{"entity-type":"item","numeric-id":5178879,"id":"Q5178879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608458$1688FC59-D58A-4659-AE11-0FDBD832AE17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d610390b86a9dd7f8a73bf9cecbeb7e467c000","datavalue":{"value":{"entity-type":"item","numeric-id":935472,"id":"Q935472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb4982fce6b4cf11a09dfcd8899a87752e89bfa","datavalue":{"value":{"amount":"+0.9709280133247375","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":"Q3608458$0337B563-3E4A-41E1-8ADA-1359BB984A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dbe743dc63cac85bd03cc1ee83a41e148f0814","datavalue":{"value":{"amount":"+0.7652001976966858","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":"Q3608458$E7E208E8-A639-4EF9-96ED-EF18906D078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e4a698b8106135a63598d9b6bc6844a7a234db","datavalue":{"value":{"entity-type":"item","numeric-id":4449205,"id":"Q4449205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dc96a3053a1986a441168f1752b8d14e002a5b","datavalue":{"value":{"amount":"+0.7598007321357727","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":"Q3608458$10EC18E5-0FE5-4792-A0E0-F7AD80C13DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bc19299bce6778ca982794761b1108f676e40a","datavalue":{"value":{"entity-type":"item","numeric-id":3000603,"id":"Q3000603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c991750b3af07beb8c0e388536d70c27a5e7f483","datavalue":{"value":{"amount":"+0.7537273168563843","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":"Q3608458$8857F22D-83FC-41EB-B667-C18E76C29E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af508f53d0599ac2c25d74917c10e869786980","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8fdb22f7184d876d8cdd173b54b0c3277e73d7","datavalue":{"value":{"amount":"+0.7510472536087036","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":"Q3608458$801C3CBD-E261-40D9-9961-82E7166DE20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608458"}}}}}