{"entities":{"Q3498423":{"pageid":5528326,"ns":120,"title":"Item:Q3498423","lastrevid":50357447,"modified":"2026-01-13T21:30:47Z","type":"item","id":"Q3498423","labels":{"en":{"language":"en","value":"Reactive Probabilistic Programs and Refinement Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275639"}},"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":"Q3498423$C32022FC-5E65-4EAB-9FFB-D69A522A76B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d66d15047a6fcbb96a5ac742669ec4da642a6c46","datavalue":{"value":{"text":"Reactive Probabilistic Programs and Refinement Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498423$CC39ED49-5068-475B-B802-F602CD8313AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"994579063173f996a48ad869d6b776323177ea78","datavalue":{"value":"1138.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$0CF07933-6E3F-4428-99BA-BAB15BF7D9C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"982e751f8bcb1bcd234292536d384ae29ab7adfe","datavalue":{"value":"10.1007/978-3-540-78913-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$7351AE2D-898C-4822-B4A4-F54C2D43BE30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"590ecdf2f6090425f036c1b39890a1736ad1d5b4","datavalue":{"value":{"entity-type":"item","numeric-id":549682,"id":"Q549682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$F35C9241-AD1D-4F9B-9168-C1331B91926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$3D406893-D38E-4ECB-B117-1872CC812277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$7B75FD3A-3DE3-4E90-97B1-85556264C963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498423$C5A6C937-D7EE-4524-8B70-7605859A8CF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$02EB2BB7-8762-4A31-995F-98AAC90890B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$90C00CB7-D602-431E-A01C-C22AC9C0BF34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27f8c1f0e7fbbf19f88993bacc74ddbce3e4ab0","datavalue":{"value":"5275639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$4792E2CC-E399-47AC-AE2E-B526BEA7D8FC","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":"Q3498423$A9E9606C-6A74-4CFA-A378-EE4B6E65AD2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d46693e8cf1a99131c787d59f85068036bd0c2fa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78913-0_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498423$F50F4D45-9408-48F4-8E09-1D2D6F3A0496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4677d59b43bbeb4705bbae873b1f35d14c21ba4","datavalue":{"value":"W1538286026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498423$2107BA90-8FC5-47D7-A4A7-82A3A8ABB0CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$66507381-B81D-4F8A-B331-91CB407B778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e878bd6a0632ad42598e4d835b7bc330834119e9","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$6BD23A69-EE3B-49ED-9A11-F2507D836BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360383bb8da6b25f21760984236c3aab0e481c29","datavalue":{"value":{"entity-type":"item","numeric-id":604456,"id":"Q604456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$9D1FA76E-6541-478A-ADF1-BA8E9347526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f29bbeded03b5c34676a0e50a74637f09aaf8a","datavalue":{"value":{"entity-type":"item","numeric-id":5459189,"id":"Q5459189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$EBDC0381-BAE1-47B8-9186-01BEEAD9B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff91fdd17b290644b8158a8f8c228dd3a8f285d","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$8F026F60-054D-49E3-8493-448BB7D6FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840f10b74b3251f2ef1aa54a3b4f816266965f49","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$896AC197-FBB6-4C35-9EBE-7D5028949CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b42675bfcedccebd7b93cb4ac35227fef4482c","datavalue":{"value":{"entity-type":"item","numeric-id":5459194,"id":"Q5459194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$C6BBA833-0239-49F9-BAE7-E02F33480A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21601342169141f6541526dc9a83131125cf15c2","datavalue":{"value":{"entity-type":"item","numeric-id":3618834,"id":"Q3618834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$6CA807C9-E47B-48D2-A342-EC96D2134B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b702a8d5960e3602d9517a129955ac148585338","datavalue":{"value":{"entity-type":"item","numeric-id":5459196,"id":"Q5459196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$A19302D3-4E0A-4174-B056-B268175F478F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a9c8bff74724476a9ae598a018cc3b0afbc056","datavalue":{"value":{"entity-type":"item","numeric-id":4939620,"id":"Q4939620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$8E966EB7-702F-4A39-89FB-374BD221254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$99B6C232-052E-4EB9-83B1-2F286F21D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498423$6A716306-5A2A-434D-B744-C62E3C0308C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cda1c65822a9178e4216ca576e0f185ef95adf","datavalue":{"value":{"amount":"+0.8798089027404785","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":"Q3498423$392C6850-E0EA-47E4-B247-240F5ECA6BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c652c46d1824020f2bcef4cc2923e9667efb5047","datavalue":{"value":{"entity-type":"item","numeric-id":3521991,"id":"Q3521991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b9b016cfd24a67b1868344069104a4b26d6897","datavalue":{"value":{"amount":"+0.820233166217804","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":"Q3498423$F076484A-7D5E-4D6F-998E-DFE94662B795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0e3139d54a580adf8584ee5b3ae237d748ff48","datavalue":{"value":{"entity-type":"item","numeric-id":938297,"id":"Q938297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09fd8aec651d0846bd6860da1522d075d9990b0","datavalue":{"value":{"amount":"+0.8007169961929321","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":"Q3498423$A45D988A-8509-4CE3-9163-5A4FC0E5CCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6694b973591d0f0dcda586af2095bf8db53e4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4813199,"id":"Q4813199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d78d61db9a7c23a7654b9bfa1f958da47feebc","datavalue":{"value":{"amount":"+0.7822105288505554","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":"Q3498423$EF1AA720-669E-45C7-A1B3-3C3D85DE3E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429f664986c3991914912f223791a9bf6c6c0370","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473efb27aae4999b41478b2d1cded0a7bf57f5b1","datavalue":{"value":{"amount":"+0.7736655473709106","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":"Q3498423$5F46E87F-0B88-419D-B3AA-C8F8AA362842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498423"}}}}}