{"entities":{"Q520250":{"pageid":522017,"ns":120,"title":"Item:Q520250","lastrevid":62457543,"modified":"2026-04-11T06:13:27Z","type":"item","id":"Q520250","labels":{"en":{"language":"en","value":"Deriving bisimulation relations from path based equivalence checkers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699557"}},"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":"Q520250$CBA853A3-B208-46EF-822C-271638BE5BD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f133ab1dc6bad29e3594c1cff899c78523db171","datavalue":{"value":{"text":"Deriving bisimulation relations from path based equivalence checkers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q520250$2D40D4A1-9C87-43CD-8622-E784F66D9A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"816737ac3d8370ffe01f94020cec87e1b9dd7ee9","datavalue":{"value":"1358.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520250$3E7F2D65-14F6-49D0-B620-647A3C1FA43C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0be4b05bf1fc8a818821e37d12c779d91f21909","datavalue":{"value":{"entity-type":"item","numeric-id":520247,"id":"Q520247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$138171E9-CAFB-4CBA-A4F5-C4DB4D995E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a77b47a62c0942dc9e69c32f223b7c78be35efc","datavalue":{"value":{"entity-type":"item","numeric-id":520248,"id":"Q520248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$C983793E-4BB5-4CDD-A12D-4171E2B53AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cfe2109b2edd5da02f43be28d824dbd2b10519a","datavalue":{"value":{"entity-type":"item","numeric-id":520249,"id":"Q520249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$F891524D-CFDB-416C-B45E-E30F3A82F634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$3C94AACE-0A02-43BA-ABD3-E3BC216D47A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q520250$D17570D5-5260-4562-A6D5-52659DF5447F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520250$915FB42C-FE8D-4B12-9E91-0C14F6962E9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4687d64bba0dd6c720854940f4374ad16f8e1fa0","datavalue":{"value":"6699557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520250$1B60A5CF-16DE-4D8E-93BA-D46800CAC2EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q520250$6A3303B7-8128-4B6D-9BCB-CD8211B4A474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc2746a4b9fde5e19d5cda484a643230f9a431","datavalue":{"value":"bisimulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q520250$8EE1CF27-D08E-484D-B7FF-DA36C2587600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5086316de58bfdf0f9162d7ca8213246a9e3a2d","datavalue":{"value":"path-based equivalence checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q520250$101ADC28-58EE-45C9-ADDE-E63B78D9E3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3514ac3c6b6f443123ef3d24e72e22d6592662","datavalue":{"value":"value propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q520250$41E6DA85-6B08-4013-B45B-CA227534C1EE","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":"Q520250$178E3298-40FF-4289-AB55-9E9C08B6DB6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01069bfb4e778f21fdf2a93e2f6180097254bc7e","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0406-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q520250$AAD3BBEC-9B2E-4862-9C0E-94CEA0849E2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1672ebdaa8b5aa317f2c6e41f67ca48d1762ac69","datavalue":{"value":"W2559705703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520250$3D6F9BE5-C7BC-4B42-8CD5-0439A8384F1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$00C0DCF4-DE0B-453D-9B27-0E9C4819080B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816da822097e8984825727782b96f7c2a862f08d","datavalue":{"value":{"entity-type":"item","numeric-id":3512510,"id":"Q3512510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$3CC054B0-2DFE-4818-BC21-1C3464FB99D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e0528a13942bf283b1a6d6a2065193360b74f","datavalue":{"value":{"entity-type":"item","numeric-id":5178851,"id":"Q5178851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520250$1B9C128E-C66D-44FE-9ABD-155FBCAA9717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e67b983280097a9be9ab89f4327ac61021488717","datavalue":{"value":"10.1007/S00165-016-0406-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520250$AC00898C-2423-40D6-B58A-86D9CF5DB2B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5386af5c77ae129861b417cd884e0275d27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea44dd888215239dc9a3c690720c8938036fb9b","datavalue":{"value":{"amount":"+0.6811078786849976","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":"Q520250$EA5C55A8-07B7-4BBB-8B1B-98F0E6375FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57833c07d14ebbbb8657494dc142f18b5825a257","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ca9b9703e68619f982151920e23b9795576a73","datavalue":{"value":{"amount":"+0.6775014400482178","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":"Q520250$FA8AF61D-520E-43E5-8EF6-5A469CDF3D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0ec9d5db3aa6d1ed205d3453432734328a42e2","datavalue":{"value":{"amount":"+0.6704707741737366","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":"Q520250$93007855-0E4B-4F0F-87A9-6D284E0B3F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e504b0a4c3171e53ee52b3bc4222f5fcf3052d","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d166a0c2e7cb5eb04355384517ba62a0dae15d","datavalue":{"value":{"amount":"+0.6684728860855103","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":"Q520250$C74DC184-E5E8-483E-A4DC-8DB69CA9BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16401bb77e1dc3e7645e93b504292751fb6c3bfa","datavalue":{"value":{"amount":"+0.6662737727165222","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":"Q520250$08234784-ED7D-4FAC-A352-0F105DF3188E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving bisimulation relations from path based equivalence checkers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_bisimulation_relations_from_path_based_equivalence_checkers"}}}}}