{"entities":{"Q4934885":{"pageid":6964467,"ns":120,"title":"Item:Q4934885","lastrevid":47436313,"modified":"2026-01-01T18:12:47Z","type":"item","id":"Q4934885","labels":{"en":{"language":"en","value":"An expectation-transformer model for probabilistic temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394711"}},"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":"Q4934885$2346196E-10BE-4665-BBAD-D16D50B724E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045d680d703e6a50ad1e05b1b1ae452f99e373f7","datavalue":{"value":{"text":"An expectation-transformer model for probabilistic temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934885$AFC04A8A-F3D1-4229-ADBB-B0EB51539094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3a04b737c950cc12039b06b70d3ae2a4eee53f","datavalue":{"value":"1073.68679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$60F5FC11-4188-4AE6-8494-CCB18A34BF79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934885$481C468A-A17D-49F1-AA1C-E2A1F9B10E84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4631d481432f5c7ac8c53eb738b3030863363f7d","datavalue":{"value":"https://semanticscholar.org/paper/8c917d7598ca3fb612ac7813a07695e4fd791bb4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934885$A1AC8785-C130-4808-9574-3F710D87F099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$6AF0010F-D12F-411C-A989-E33B47F3C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$613C7F67-E6FC-4306-A440-7C4488778B88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d8e8118d53e0384d9a7c61921d8618a74f9ceaa","datavalue":{"value":"1394711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$DAD5B516-E433-4383-97D2-455420101EA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934885$3D534C0C-EE14-41B5-A689-08DAB9F00BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934885$FD8134AC-E40E-4D8A-AC97-BD8F1778E51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934885$C5706476-3245-4B52-854E-2FAF7B8FD8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934885$1EDDA7AC-6207-47F5-AFDF-4CCE76CFB904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934885$416F0319-E299-4736-A051-D6BB8F0ABFB4","rank":"normal"}],"P16":[{"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":"Q4934885$81E40CAA-F17D-410F-80A0-BA24B1413187","rank":"normal"},{"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":"Q4934885$876FA006-A4F0-43F1-8402-95E957DD05B5","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":"Q4934885$B1A78F7E-990C-470A-8263-DA61D8FA062F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dd0cf550afa849a1adbddf5c9dd25b5f1616243","datavalue":{"value":"W2059634198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$917DE25D-8F95-45E7-9171-9FFFF4881DEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19e0ca0fde8bf512d95d89b1ce62420ff5cf72bb","datavalue":{"value":"10.1093/JIGPAL/7.6.779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934885$B5106D9B-FAC5-4872-9133-01FF47DA14A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934885$DE9901B2-9D60-4784-B74C-0C28A92708DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc9961f2ac33adac47e6e6d07ba7514378985f7","datavalue":{"value":{"amount":"+0.8335368633270264","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":"Q4934885$805C239D-EDEA-4A23-8248-D7DE24B39FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d97cd4c7b38b22eebe17791ffb484080af339d3","datavalue":{"value":{"amount":"+0.8277701735496521","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":"Q4934885$C45C66E2-1063-414A-92CF-137BDE650BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dfe2207e1105777479a600fb753b60d6f3597e","datavalue":{"value":{"entity-type":"item","numeric-id":4370249,"id":"Q4370249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf079df6527782d4a83946a6a6338df10db5b0f","datavalue":{"value":{"amount":"+0.8224414587020874","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":"Q4934885$2B8B6D54-A66D-46C5-9B88-EAB03B8882B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6557d6216f1aad8b129721844a1e22f2f249388","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf079df6527782d4a83946a6a6338df10db5b0f","datavalue":{"value":{"amount":"+0.8224414587020874","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":"Q4934885$A814FF09-F4DE-4040-B602-DF2738FDC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a9b9e61fc0687d32ed878e6c13f00a8e07b96a","datavalue":{"value":{"entity-type":"item","numeric-id":4255558,"id":"Q4255558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632c2684d7f7e31613e4b989b13c5b955686f062","datavalue":{"value":{"amount":"+0.7919086217880249","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":"Q4934885$53B779DD-0499-4399-BF40-C64DECBFD6F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934885"}}}}}