{"entities":{"Q674194":{"pageid":676043,"ns":120,"title":"Item:Q674194","lastrevid":63622080,"modified":"2026-04-11T14:24:40Z","type":"item","id":"Q674194","labels":{"en":{"language":"en","value":"Symbolic bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985986"}},"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":"Q674194$F5060672-ADFE-4766-B68C-46C341C5BAC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1581874f5194b4e33e61a70734d9806e846ec57","datavalue":{"value":{"text":"Symbolic bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674194$625408A9-80F2-497D-8D45-6BA1BC66FA4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4062bba9c7e394aa71954301c9e98ff560e71688","datavalue":{"value":"0874.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$99176DF0-D6E0-40C8-9EA0-AF851CA798B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b256c00b54cc1b65ac5598018442fc5f1c904cd","datavalue":{"value":"10.1016/0304-3975(94)00172-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$D4D98E29-AF65-4329-93A1-5A4DFC14164F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$3A0FE625-AA43-4392-A39B-2283EA1E811F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$37702956-A7BA-4A95-BB87-06F3094EF8BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674194$F85B28A5-4BAB-417B-B23D-E6A50367D2C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$AFE570BD-6893-4E99-B85B-BDCB2F794F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$169CD6A9-EB67-414F-BCF6-2F92350396FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d1d095506089c226c65d4e94a52865b976d43d7","datavalue":{"value":"985986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$92E2CF9B-4D43-406A-AE3A-6C463FEB7BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q674194$A14C5091-8CFB-4D8E-9417-70132FDC8C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77160b29d6b4d7383748baac6cc2f8cf9d1f51d5","datavalue":{"value":"value-passing process languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q674194$3CC32A55-B2B9-4E82-B4EC-966D72E4C5ED","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":"Q674194$35627020-4531-4A18-8C3D-74A0E2031099","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$BAE1A9F6-FFA4-4ABF-9B0E-27B0F4546F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$FFDFE87C-8844-4313-B918-C6250A97E9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$4DC4E771-1BF7-4720-9D2F-0369F6B2CA60","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":"Q674194$ADCA27A9-1347-42AD-994D-B8B6B186CFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$FB1786A6-EBF5-4F59-B498-54A1C7202E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674194$2ED7126E-1E01-45AE-8A3B-9DD8B3253581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1696c2bbd268e90afb5eed2cf3b2f1cfa89e9989","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00172-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q674194$0389B222-A257-4EDE-BF5A-B93063FBC802","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f48ec84a9f5df60741a6b2867aadaba85f990c61","datavalue":{"value":"W2913663755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674194$5FF88265-10A4-4DCC-A7C2-1BB413FF7146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f38d179b84e88851f5fe5f5e98bb319ebc93d1","datavalue":{"value":{"entity-type":"item","numeric-id":2760244,"id":"Q2760244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754d126618499f540b3db409b52b48ec2697d82a","datavalue":{"value":{"amount":"+0.8848375082015991","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":"Q674194$996FEFDF-1A91-4079-BA3C-6696D0A6E2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc26d4dee458877bff4d05a9af78fdd49268fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":4222870,"id":"Q4222870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b7e2ed4990c1d98864dec8444c211c8c176ec9","datavalue":{"value":{"amount":"+0.869611918926239","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":"Q674194$E2A267F7-7F58-460C-A93B-17CBB11FEF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc897b623a6f8cef7ae042f1104ed9c4f267f","datavalue":{"value":{"entity-type":"item","numeric-id":4203808,"id":"Q4203808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87e20f91be7d456b43024e1a199620b0be00d3d","datavalue":{"value":{"amount":"+0.8372227549552917","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":"Q674194$CEDE4356-7CA6-49FC-9106-833940ADAB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e70ca2d3cb3bd1162104d05de51e0554453a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1962485,"id":"Q1962485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6583d4e6b74a2fc7cfb32187b41af29dd7be08","datavalue":{"value":{"amount":"+0.8313780426979065","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":"Q674194$274A1F7E-2510-4751-9E4B-A368B5B0E6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_bisimulations"}}}}}