{"entities":{"Q5370907":{"pageid":7400481,"ns":120,"title":"Item:Q5370907","lastrevid":41562847,"modified":"2025-05-05T22:10:52Z","type":"item","id":"Q5370907","labels":{"en":{"language":"en","value":"Analyzing divergence in bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794691"}},"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":"Q5370907$A3C8BE99-C3D8-4953-847D-C860FA1E312D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c7db0db5cac005f39a48fbd37ecc8ed6017978","datavalue":{"value":{"text":"Analyzing divergence in bisimulation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370907$2D3FC727-D3CC-4615-850B-19CE3CC7FC7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba5c2f5eca9979a9091d6c66e616459cb4a0d4e","datavalue":{"value":"1380.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$69D944AC-5B50-4B18-88AE-14ED2BE8058B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f113ddc7177c238ad1caa5067ca9acd8ce3fb43","datavalue":{"value":"10.1145/3009837.3009870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$E7E9308C-EEAB-4C9D-B853-13FF577C7EDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac275a8feab82f92f50b0b4e88a8f9919fd0ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1652983,"id":"Q1652983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370907$DDCC757E-D140-4078-A279-9F837DEAD039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370907$7F2EBFD6-DD7B-449D-9194-A2A0442A4AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370907$898DEF0A-38D5-40BA-9BBC-60A68EE2ED39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370907$A665C976-1086-4CD0-94CC-2C4B873D1553","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370907$8D541B89-7B0B-46ED-9896-5DC720358DD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$60A185E9-AAC9-41BF-BE14-018141F7FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$456BA3E8-0A70-4EAA-ADB0-DABD29192B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfdfb2be953e45cf532917d334871aa483265ad1","datavalue":{"value":"6794691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$107AB1C1-27DE-438E-9BFD-E80D1246A2E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$9C15D375-B5C7-40A6-8530-C33CA6C60E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e28abc9ed4103b97c3b983522b8597ab9f30596","datavalue":{"value":"co-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$987F01D8-A5D6-46F5-ABAA-F075446CA313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$47F589A8-BBFC-40C3-8C10-8875B903E731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$B0F19B0F-A562-4B76-94F4-E86BAE252C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$3B697CFA-0E94-46DB-A31B-0BA1129B7DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370907$3F104C23-0B5D-4F81-A920-09553354B937","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":"Q5370907$13A1091D-AE15-41B0-B469-DD5E69B54204","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c0e531ccbceffb27c133d80cec4c7a51ef2faa6","datavalue":{"value":"https://doi.org/10.1145/3009837.3009870","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370907$93E83E50-F5DD-4761-BB67-2E7735CEC0E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55c53cfb92f5d5540038efd40434cca624c6d8e4","datavalue":{"value":"W2562650109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370907$F237736F-5B03-4FE1-B0A1-FF5830533153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f097f27c5b326f30ddcf220d83726ec398abecbd","datavalue":{"value":{"amount":"+0.93288755","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":"Q5370907$CD696BF4-E5CD-4BD3-AC6F-63564458BC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7a54c0d42aa98c67e8d5e88724ed4b86d4affc","datavalue":{"value":{"entity-type":"item","numeric-id":1652984,"id":"Q1652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b477b0746d09d368a12a5b9adeea1079193c5b","datavalue":{"value":{"amount":"+0.8949517","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":"Q5370907$61E317C3-D3D5-4E9C-A60F-F48E7631770D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ad47b1b22c6bbe24a04823c105714842dee926","datavalue":{"value":{"entity-type":"item","numeric-id":1575240,"id":"Q1575240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aac4026a7554610fc8ae1aa318394dc9c8c2f36","datavalue":{"value":{"amount":"+0.8845396","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":"Q5370907$EF53A285-231D-4FCF-97E6-D5F82747FA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70cf56778072ee8d3c6b6580d00638f2b3a424ef","datavalue":{"value":{"entity-type":"item","numeric-id":4799358,"id":"Q4799358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ea1de34394c54984abec6a6e260f9f1dc0087b","datavalue":{"value":{"amount":"+0.88428605","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":"Q5370907$7C75E0F5-8328-42BC-9287-755B3AE76033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947ca883a7131fca1df295055475a4d7f83737f0","datavalue":{"value":{"entity-type":"item","numeric-id":1892889,"id":"Q1892889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b8dc94612a295de883fe33e0359229a66e16c5","datavalue":{"value":{"amount":"+0.87713397","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":"Q5370907$7628B160-6FBE-4A99-A50A-0EB1B2336FE5","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":"0282ea98a24946360ed483d2e974b966fe3907eb","datavalue":{"value":{"amount":"+0.87467015","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":"Q5370907$5218BEB5-9CB8-4171-AC46-C79C4D7C61E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c277a9e44ff7251fa2eb7f0fe1c2b35b8752f2f5","datavalue":{"value":{"amount":"+0.87278014","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":"Q5370907$47721B3C-C41F-4880-953D-888C0B3F2D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c812b6f3243f2d611781467a17d62586ccf92f0","datavalue":{"value":{"entity-type":"item","numeric-id":5739448,"id":"Q5739448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fea84a251ab866a57e81ede9ebee02e890b3d2","datavalue":{"value":{"amount":"+0.8707097","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":"Q5370907$7C1AA865-6B7D-4085-AF04-482293AAC1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55542af15fa94218fcd43aa12793c35899d92569","datavalue":{"value":{"amount":"+0.86882496","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":"Q5370907$CDF7D90F-D70C-4987-A90B-C46DB1F7F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff37cd269de13ffe127f4729cd0e0a91ff6c112","datavalue":{"value":{"amount":"+0.8677042","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":"Q5370907$6FDAC6E4-711D-4EC3-A492-450DCE7CCC2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370907"}}}}}