{"entities":{"Q4637906":{"pageid":6667487,"ns":120,"title":"Item:Q4637906","lastrevid":90593708,"modified":"2026-06-04T20:47:17Z","type":"item","id":"Q4637906","labels":{"en":{"language":"en","value":"Computing bisimulation-based comparisons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6866118"}},"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":"Q4637906$4E9CA518-950D-4EF3-B305-79EFF21AC533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a008ca23a6a7e32c5f6b6976d0a1690ad6c1da9","datavalue":{"value":{"text":"Computing Bisimulation-Based Comparisons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4637906$6D15EC22-E8D2-41E1-BC36-E11AFFFE7DB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec4d891a56c175a46904ff366229f2c4863a08f7","datavalue":{"value":"1386.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637906$8A737962-6DDD-418A-8DA0-12ADF4DEFC36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"760aa2897c99c096d742e3d73f9491392cc17016","datavalue":{"value":"10.3233/FI-2018-1634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637906$0363076A-84E4-4688-8B34-D3F2E4CB1BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637906$E14CB3A5-739E-4218-BF1C-8EA38582568C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637906$318E5986-348A-42B4-A60E-F7846018C04C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551df2524c439adc42740e41cce382bed9f8f3d1","datavalue":{"value":{"time":"+2018-05-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":"Q4637906$D9E45719-E02F-453D-B535-E794FD9F02C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637906$E7313E80-4476-4428-8002-DCA03638AFAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"924ef565eddc63fd17560bc2d57624c6d1a133fd","datavalue":{"value":"6866118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637906$C403E467-BA50-434B-8037-4D0541DA8098","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":"Q4637906$12698ABA-D1E7-497F-A946-31A89C3C8333","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18e25405e5091b7caa63b9b11de3654e853914ee","datavalue":{"value":"https://doi.org/10.3233/fi-2018-1634","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637906$B6599AB0-EFE2-4FCF-94C8-402C5F5C07FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f66e5480715abda7e273f9aeb5d68af8cba140e2","datavalue":{"value":"W2787647616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637906$13E03CC0-0D40-4DDD-BE32-80FC3AF0BC48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d8e78c14f4a1ec6a5d610a8a66297904f36612","datavalue":{"value":{"entity-type":"item","numeric-id":5899072,"id":"Q5899072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c667309e0ffeb7a8fba5b6731630b5dd1abf682","datavalue":{"value":{"amount":"+0.7811199426651001","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":"Q4637906$C1B09A71-573B-4AFC-9A19-14456188A140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2b76a5d51950fb495990a2a664286dfe556a8c","datavalue":{"value":{"amount":"+0.7796666622161865","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":"Q4637906$3F41E0E2-1751-4B02-A433-CBE30E4BDB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13139c7c1e688699842b67939174ea0db8261d","datavalue":{"value":{"entity-type":"item","numeric-id":4553282,"id":"Q4553282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435cdae2d96a7707f56e6b14f934811f6a7d4898","datavalue":{"value":{"amount":"+0.7749577164649963","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":"Q4637906$0DD7BD9D-BB93-4F70-A638-E9B70F382838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522982767c75e8d14e52b4f37fe47155ca25f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c67bb224e031dbb1e3d657774218792877d76c","datavalue":{"value":{"amount":"+0.7697967290878296","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":"Q4637906$1A709985-9F4D-4A15-957B-957CE6C89A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93345928406a0c12cb352c1a3fc46e726d511cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3458888,"id":"Q3458888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20129ae0db1193f482a3d36289365c479cf75b14","datavalue":{"value":{"amount":"+0.7648965120315552","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":"Q4637906$444BCCCC-AF35-4542-AAA3-893999BE3729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing bisimulation-based comparisons","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_bisimulation-based_comparisons"}}}}}