{"entities":{"Q4370249":{"pageid":6399848,"ns":120,"title":"Item:Q4370249","lastrevid":46996065,"modified":"2025-12-26T00:37:43Z","type":"item","id":"Q4370249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104375"}},"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":"Q4370249$9DC554CF-1C32-4B7B-BA90-56434E512320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9d6b96ce847885d07361fa3bd516b4b43bbb52","datavalue":{"value":"0885.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$A144816D-6CF1-4054-A3F1-B0984F3001B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-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":"Q4370249$D7105127-824C-4656-879C-CD239602A465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$23719EAE-8F1D-4D11-86C2-1A5322BD0D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$2145283C-1597-4450-8456-643006F4122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$764B716B-A9B5-4703-8605-FCFFEE0CA984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$DCEA835B-C359-4988-8344-E904BE7EF842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c4cc4811c857d8d5969d9940af5fffe0a4c45d9","datavalue":{"value":"1104375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370249$2E6C38E9-A22A-4630-93B3-724E6DF5C18D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$1721451F-7E21-4EE8-B2AD-08FAC55E67B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$FFD0287E-2906-4D48-93C1-FE729E5D80E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$01D7204C-9A02-4397-964C-41F471293C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$67339583-BF13-4F46-B12C-B50181CDCFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7010d5ee074fd1c09798f56d675198e633ed6e2","datavalue":{"value":"expectations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$39E44C74-974F-4607-B335-AC2F986FAE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b676ee9057711aa8d30a34b88e09d1deb1744e9","datavalue":{"value":"probabilistic temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370249$3E73B9D8-28A5-473D-987D-51D68C35E8DB","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":"Q4370249$A7824EFC-107F-456D-9C2F-25EFE800FB4E","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":"Q4370249$54732F4D-BBEE-4780-AE33-2573FB62F8D5","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":"Q4370249$6BE56914-D536-4C9F-80D9-5E5A46F0369A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac11ee7a9415a3a0d42c06d93773f69cdd301c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934885,"id":"Q4934885"},"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":"Q4370249$9C60A18E-C36D-4FDE-AF63-A5C5E1104C6C","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":"dcdb53db43977731e3ac2f4bfb81211edc330d74","datavalue":{"value":{"amount":"+0.769736647605896","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":"Q4370249$79AF8175-3AB9-49F0-B6F8-9788857AF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebec14dfa1224b98993c517343dcbce6fcb6a43c","datavalue":{"value":{"amount":"+0.7511634230613708","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":"Q4370249$F676BADE-B4D2-4D23-8AD6-5D635F2931E9","rank":"normal"},{"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":"f03539360861985fe60fbbd25acd78d2515692ca","datavalue":{"value":{"amount":"+0.7446066737174988","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":"Q4370249$181C5CC7-7C1E-4E3F-8AF7-9BDAE9E2ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc832fd7897639e51abe17b8da38b5c5b6b5d64e","datavalue":{"value":{"entity-type":"item","numeric-id":3546336,"id":"Q3546336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ab28d1c3769e73c1f9c2ef65feecdaad5cc227","datavalue":{"value":{"amount":"+0.7356762290000916","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":"Q4370249$631888E9-D70D-4799-8D52-4F1C1D44E9C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370249"}}}}}