{"entities":{"Q453545":{"pageid":455312,"ns":120,"title":"Item:Q453545","lastrevid":51563495,"modified":"2026-01-18T19:29:05Z","type":"item","id":"Q453545","labels":{"en":{"language":"en","value":"Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087635"}},"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":"Q453545$EDF52038-2A0C-4638-B80C-8B989D3BE04C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51ad2ad8351d2ac06c05a0729be1570a2d3c829b","datavalue":{"value":{"text":"Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453545$0F1B69F0-029D-4B0D-8EEA-492CE5934128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c257f13fcd63e06e59e11b74f3eff98a00b21430","datavalue":{"value":"1290.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$7DC79866-B6C0-4931-9C12-DDDF6DC104CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90895b93f6477dbed2fd5c5f6a5817499c9aec93","datavalue":{"value":{"entity-type":"item","numeric-id":453543,"id":"Q453543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$35A9800C-9939-4161-83BF-EED9229C8AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$9766402C-D69A-4308-85C0-61417F8D6175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$E69E7E53-5FC4-4C0D-9524-9C345368B734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453545$26D9628F-00C3-4C26-9285-D5AAFF8F5CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$4C128EBB-F168-4850-9081-37B604C16D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$7208DA53-F8A9-427C-AF43-3E7180B30085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd3e955ed2ad9b3f4831f726ad7777e97f19051","datavalue":{"value":"6087635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$5FADEB8D-B12E-4F1B-8B44-0CD522A44CE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d0940a41baf292237b489a7f78599817f35753","datavalue":{"value":"probabilistic LTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q453545$0CBEAC79-546B-40CD-93CE-3622CCEE6FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a1274bdce5ebed6d187a0fbd8790569e7f984c","datavalue":{"value":"probabilistic bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q453545$9488D999-6FA0-449D-89DB-F91CA2C9D4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca026ddf0dcdf9632686a250fd95abf25839569b","datavalue":{"value":"probabilistic simulation preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q453545$509801F8-125E-4993-8374-66F07C9F95A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q453545$18EB4785-2DC7-4F97-AC82-24E5B64D5A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5dda6eddc3af43051cf2e4950044c022ab5ffd","datavalue":{"value":"simulation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q453545$2D300EAF-5AB7-478C-BCE6-516BA0992FCE","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":"Q453545$25B88757-98F4-47DC-94DE-E9AE7AA836FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b503b7d68837a6eacf77a792004b42d1320a05c8","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0147-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q453545$2FBB04D2-FD9A-4DB7-B1FE-302A338A9240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18d2aa0d0f41a66f6fd5cad2a4d0fe92144e2b6a","datavalue":{"value":"W2145454356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$3669CF51-A86C-43D3-97F1-B1944CE06B58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$6903A408-ED0F-4CD3-BD71-1F1AF5F03424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$3FC10D78-3852-4649-99D6-09EFFB04CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8109e943f5c69711df441f6afdcb1d6ee7b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$F58C3A62-4B29-4868-9763-61FB53767B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$CCAF81E1-21A4-42CA-B3C7-898540D4EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$96DA756C-08A2-4247-A271-051E63BBD94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$D169741C-8425-4684-9211-009A3DBB163C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$AF598E92-A594-438A-935D-6D6C5C18E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$9F5DD853-6CEB-4594-884A-80FFB183498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$D6090CDC-0A57-4DCC-A6F4-422E02C805E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$B2F9A17A-CD90-46A6-B2EE-070E181810E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3349d98487c183203fbd7365efbb609bb808e8","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$96A51559-86FA-45D1-9EA8-233C428F47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e1ccdbc38c3442b9b00c85a553a140e256864d","datavalue":{"value":{"entity-type":"item","numeric-id":1049401,"id":"Q1049401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$396EB865-035E-4E54-AA2B-A13083786DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$CF62B068-AFFE-408E-A786-6E7C6B2F82CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8d9315c5891d32d45c12916adfcdec972dfa25","datavalue":{"value":{"entity-type":"item","numeric-id":3541022,"id":"Q3541022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$250B70DE-01DB-43A6-889E-E807EF425D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d291d754d0cd452557c8352d0248f0cc56e3bef2","datavalue":{"value":{"entity-type":"item","numeric-id":3623003,"id":"Q3623003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453545$39201861-2F53-47EB-A5A4-7284067C828A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a239450703524ca92fea55f797df3a0bb4c703f0","datavalue":{"value":"10.1007/S10703-012-0147-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453545$2DE16DFA-DDF8-4134-B48E-4D4D8CEE9DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827a057f6ccc2e999f2798b8eb857bc3816480c9","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e33125fb0e0604e79e01b32c9d6f6a9410190fd","datavalue":{"value":{"amount":"+0.9854438304901124","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":"Q453545$7461F3A9-07C8-4455-9998-FF07508B20FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813b2958678f240016aa003d0309d31a53d469ec","datavalue":{"value":{"entity-type":"item","numeric-id":2633253,"id":"Q2633253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e17333256773cd05b63f465d0576318daa3edf","datavalue":{"value":{"amount":"+0.8474517464637756","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":"Q453545$F6FEFD6F-3D74-4901-89BE-866D222B2661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a891728df5723943b77f7af401f6fac27a3b5b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05618c220a1201b34ea03daa97467fd2038545f4","datavalue":{"value":{"amount":"+0.8296100497245789","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":"Q453545$06D8CF7C-1FDE-4A02-9BA7-6939DC856D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59fcd5990d17143e4f36296d4d904cff771706b","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b247e54aea47110f529d380988a8a6733bcfdb3","datavalue":{"value":{"amount":"+0.8123723268508911","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":"Q453545$D999BF6C-4E4E-4DCE-816E-8E895A901121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a70a53dde9cf11af16cd2b6364a82d0b481487e","datavalue":{"value":{"amount":"+0.7976399660110474","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":"Q453545$6D9CD3DE-B80C-4633-B944-8713120F98F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453545"}}}}}