{"entities":{"Q3012928":{"pageid":3023652,"ns":120,"title":"Item:Q3012928","lastrevid":51286256,"modified":"2026-01-17T14:47:44Z","type":"item","id":"Q3012928","labels":{"en":{"language":"en","value":"Probabilistic bisimulation and simulation algorithms by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918153"}},"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":"Q3012928$0C8B81C6-6E3F-48F7-BE0D-5B9B1D120D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f0a56ad8ddc00bdac69b0a58622078decfd204d","datavalue":{"value":{"text":"Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012928$3DD6DED1-3566-43D2-885B-3B5AC6C8EFFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a44493d0c949eb2ed78f00db2e6cfe7d28015df8","datavalue":{"value":"1333.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$EB012673-878E-4CA2-B5A7-758FC3F85DA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539da153874c0c15aec7ecbcda072b2de2689b77","datavalue":{"value":"10.1007/978-3-642-22012-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$CC707D0C-8748-46F7-B32E-EA2C47772113","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":"Q3012928$137C2649-DFFE-48B7-BB6B-529BA900C50F","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":"Q3012928$8AEDAA80-5B51-4215-9D63-44D043434E8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012928$52DAD82D-D1A4-42A9-AA6F-037271336A16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012928$6C327EC4-40EE-47AF-B4D1-85268923FB72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$2BCA0CC8-12FD-4AC6-BD8D-F3CD21E4DBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$5C8C5B90-837F-44AD-82C2-F2D314DFD1C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3da07ed8ccf45a34f5149278c34270155c7724","datavalue":{"value":"5918153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$2A7FF6AA-F17B-4686-9C01-2FC9B5158D9A","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":"Q3012928$43632440-1BB4-4E2E-8D94-FECFE88864F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f000e979ad98bc4079af3ff7a3e5258363179ced","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22012-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012928$D06CD774-846B-4097-9D7C-0C104931F429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca6e6e69f3b69e56b0e56fe916afe8e6e02343e3","datavalue":{"value":"W40031358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012928$8C44C18C-EA69-4DF9-B2AE-62865931456F","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":"Q3012928$57FED4BE-D2F1-4BB4-BFD5-4ED346EB1BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012928$8BE69D49-A01E-4F3E-809F-3A6A3433D075","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":"Q3012928$88C14B90-7CDA-46E3-A383-CD9DFBFD2B1B","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":"Q3012928$9B424241-9630-4C60-B30A-559FF7BE6170","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":"Q3012928$C4831E04-B28C-45AA-BDD8-74E48841341B","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":"Q3012928$EE51C64E-0A5B-47F8-8AA2-16949628A08B","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":"Q3012928$4358708C-9AF3-4A69-B75D-168178A9052F","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":"Q3012928$4FE0C77E-7C0C-4305-917D-A0EBAAEC5C58","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":"Q3012928$BE4288F6-D85C-4DEE-8722-EFABB03007FE","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":"Q3012928$0C147CC6-F170-463F-B8CD-6235C6A2815B","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":"Q3012928$1C660DC0-CED2-47B1-8FF1-56CF8EFFCB6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a388d0e831d8d5d5fd021dbc4e0647c3d7adbde","datavalue":{"value":{"entity-type":"item","numeric-id":453545,"id":"Q453545"},"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":"Q3012928$7815314B-BBED-47DC-A843-7325718F3A2E","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":"5d5bf77d34a195f96735a716070218b9be7146fc","datavalue":{"value":{"amount":"+0.8442084789276123","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":"Q3012928$25AFFECB-8FF0-405F-B705-26670BFD069E","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":"d26cf61aeb5a0d7deabb54c34ed4ceed20d38802","datavalue":{"value":{"amount":"+0.8379480838775635","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":"Q3012928$6318E26A-A081-4633-9702-DDBEEF943D67","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":"0f050a250f854963c558cba43924de98399c76a7","datavalue":{"value":{"amount":"+0.8250145316123962","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":"Q3012928$566A21FB-9403-4473-AA49-F91416C8DD38","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":"f27205bd164b26e465e0bc949c201fec0e48a0f5","datavalue":{"value":{"amount":"+0.8176732063293457","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":"Q3012928$6D1A96A2-483A-46E8-88DA-3663F63C4F10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012928"}}}}}