{"entities":{"Q4650346":{"pageid":6679927,"ns":120,"title":"Item:Q4650346","lastrevid":48411031,"modified":"2026-01-04T15:42:06Z","type":"item","id":"Q4650346","labels":{"en":{"language":"en","value":"Abstraction, Refinement and Proof for Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133316"}},"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":"Q4650346$D16AC654-661C-47BA-8EE3-389B27DD6EC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a91da6d9a3a0d7af61d1229db1d3a0af0ae5efd","datavalue":{"value":{"text":"Abstraction, Refinement and Proof for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4650346$877AB6EB-89F2-4423-8F2D-5FADA3BC1F29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f59ee28d93e26cffd7636f1f8bcf2c1fb023158","datavalue":{"value":"1069.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$41FA6887-BA85-4D6A-9B34-CF2CE17D051F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38f3b852d4de7de31d4f9ce9c9ddd8cbda2b99a4","datavalue":{"value":{"entity-type":"item","numeric-id":2725940,"id":"Q2725940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650346$525FF8C3-A2EE-4311-A838-C06E76F784EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5596d9d431c014306023aa27a7b00ce60a426d45","datavalue":{"value":{"time":"+2005-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4650346$9F056B88-AEE7-473E-80F4-1D9BEA9220F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$2F9A4109-7168-4B57-98A6-254E5C920A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$4324738B-40AF-4889-AC54-D501F1292CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$5B1B5996-CD38-4731-B209-D36D2F6547CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$6B610B26-9964-417A-A5F5-535FC2B14C69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a01144cfd13c1ae4c89af51a5942148ed09e4807","datavalue":{"value":"2133316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$E46F6ADA-39BD-43B8-B567-DDA5220BEAB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feab0ab079dfef6c1cd9d362f4e00dc170c8ca24","datavalue":{"value":"probabilistic computer systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650346$71373FDE-C1F3-406D-AE2C-D8F580C8E0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20aaa17a1fdc7ec10d78eda00b04257c20a61bc","datavalue":{"value":"refinement programming models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650346$315BA64B-3480-490D-B2C3-90AA75198F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5230b4ce9aa146e5a8fb410024efd285767ebeb6","datavalue":{"value":"assertion-based program reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650346$0BFF93C1-98A4-4BAB-B34D-CB1C5F1DA72E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650346$6F426370-8768-45D5-B53A-E3A9050F2E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650346$1751125D-DBE9-4EAC-BABA-EB9755CE3894","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":"Q4650346$47A4D213-2EC4-4697-A0F0-3C08A22C177E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5791dd60ba85753fabd8e7f2d92da31deb598e10","datavalue":{"value":"https://doi.org/10.1007/b138392","type":"string"},"datatype":"url"},"type":"statement","id":"Q4650346$39518A74-F4AC-4C76-B885-8B270BF14258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"382918322c08f41cf1d87ce9d9cfdf59c2909485","datavalue":{"value":"W1734364899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$8C82A002-8C58-42BF-AAE0-BC7D378A5369","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae838e0f0a0224a01961b0f1e6cbb152e5aa1fa","datavalue":{"value":"10.1007/B138392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650346$A26F55D5-9B47-45B9-8960-39771EC6B3E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ebf9744fbfb3e147c3786315c60a34c6c54e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abceda61e1e23b72b5dc63e3bec7d515b441f0a","datavalue":{"value":{"amount":"+0.778639018535614","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":"Q4650346$6B90247B-2DD1-48AE-A725-9561EA554697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c887a47a3129f524c9ede9425e0ea3fefecf3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892727,"id":"Q2892727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00ffb40b79f82bc01d45ec331ca53d557a3aea9","datavalue":{"value":{"amount":"+0.7773504853248596","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":"Q4650346$98EB1B3E-F469-4CED-912E-CFE81BE8B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff56d47be152074daf9fa303e945edef8f71d05d","datavalue":{"value":{"entity-type":"item","numeric-id":5497245,"id":"Q5497245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3173dab1a37c40dc66b1fcd8a9f898d674d26efc","datavalue":{"value":{"amount":"+0.7649564146995544","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":"Q4650346$8ED77204-3063-413D-B12F-DE8673C75F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fabffb97414819dfa09f8d83abf23af76d0943c","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0527f68bfbfa9837c34e81bb4fd9dfdbd1123f","datavalue":{"value":{"amount":"+0.7614825367927551","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":"Q4650346$980B9F89-041F-4C7F-8C96-33006CAC15FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92466333a2dc3690fe3bbb80844d55b18e8dcdfb","datavalue":{"value":{"entity-type":"item","numeric-id":2937733,"id":"Q2937733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899f9f2f1051b0eec942c26cf4516eff10e2ef17","datavalue":{"value":{"amount":"+0.7600044012069702","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":"Q4650346$BB25614F-9221-4C96-8BB7-11E57AF5A9A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4650346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4650346"}}}}}