{"entities":{"Q4598248":{"pageid":6627833,"ns":120,"title":"Item:Q4598248","lastrevid":58298706,"modified":"2026-04-04T15:15:36Z","type":"item","id":"Q4598248","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820296"}},"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":"Q4598248$51E3A252-01DB-4870-88CE-B60932380078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"885f948e4eeaff91a0071c3418224e10d8691f33","datavalue":{"value":"1388.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$6F631FFD-C792-4613-BB96-34E9AC4AD7EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598248$77898A46-685A-4411-9917-3249495F53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598248$2AFE92D0-1D4F-42D2-94DC-FBC65842BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598248$E6E64FD3-BF47-4A94-8176-56F1863EE88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598248$4FF3AA9F-33DB-4521-87FF-6AB5B8D5A69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598248$03BA8124-DE6D-453D-B801-0723F953E574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598248$901A0F5C-08BA-4832-8BBA-E30C38967011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ff5b1080820880697153b1b295f92c6104e1a93","datavalue":{"value":"https://arxiv.org/abs/1602.05681","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598248$0A15C438-BE21-49EA-96D6-FD43E9790F40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$B5274F5D-8BCA-4F48-B9FA-F2DA9BF5ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$B0AE77D3-1472-46DA-8018-4FF049E57C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$20524DCD-8DC8-4DBE-8223-FCB7D6825F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb7d243a9981c77e4a9817dd0464a89952b94a1","datavalue":{"value":"6820296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$E0F3531F-B309-492F-A2B5-FD69310C7C8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598248$D8D54E12-7740-472B-983D-BBB9B11CD18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c8805c38c878c2e61b6f983484079d4aa20d0c","datavalue":{"value":"accuracy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598248$B9E311F2-06AE-4718-8A34-BEEAA058D758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598248$FE8DD4D5-45B9-4602-8DAE-9DA55D8CB20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598248$557FB880-36B0-4685-93AA-B8CBD85A6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef932e659c91079b206e03569f1663044d794f51","datavalue":{"value":"union bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598248$012D8230-B78B-492C-93C5-76C70B710E0E","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":"Q4598248$48B3110B-9374-43B9-81AE-1277F442A943","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d63ede4b769dd2321f8e9f2ae6b73fac96ed27c","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598248$E6FE2BFF-8B39-4676-BDAD-E1684340CEFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbdb40a81b6014efb5689ef43c266240910e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":4903724,"id":"Q4903724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbc0423c3e08b68479df460f643b30d23c4ea66","datavalue":{"value":{"amount":"+0.8817715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$D1D50398-0BA8-4069-9236-211CBE9C4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc65be3beedfb53af76df6487d073ee78feac8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4259971,"id":"Q4259971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a586e7812e13c5474923fdc8941b42e4a9d8aa3","datavalue":{"value":{"amount":"+0.8649155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$B0479CCD-F5A9-4C75-AE9D-F7BA96EFFEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fe11f5e3eed14f03a2fcff09caa7ff8e54dbc5","datavalue":{"value":{"amount":"+0.8587876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$CBF4F60A-EE70-4E6F-9AA9-3906EF55EACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7761e53489b7c8fd78b7eac0279009b6b2082","datavalue":{"value":{"entity-type":"item","numeric-id":3691055,"id":"Q3691055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cd1491bcce5484a77327abc4556ce3299a4707","datavalue":{"value":{"amount":"+0.8569648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$64ED766E-EF63-40B2-A8D4-75EC9C720060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75775e895d2970575daab34c06f5c12812be9493","datavalue":{"value":{"entity-type":"item","numeric-id":1698759,"id":"Q1698759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fe1bbfbae03976c31b02e3bf75e3c6b4ae06a0","datavalue":{"value":{"amount":"+0.8536339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$D50329BB-A50C-4AFB-B308-705AC63000EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb0af3f560220db2025a07873e9e1ac205017b7","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b3a391ed3688ab0987b3831a3e6468292febc3","datavalue":{"value":{"amount":"+0.8526945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$38AEFA82-8481-4BA0-8559-818B35632676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab2d1a611f67d730cf7a27111da5d73cc0560c5","datavalue":{"value":{"entity-type":"item","numeric-id":1326573,"id":"Q1326573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18cd79ef99e917af875c3cdbbce5092b20385b2","datavalue":{"value":{"amount":"+0.85052836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$99BA0511-4244-4BC0-B6A6-3EA320B4713F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797c3cbcbc7028ff9e73a59de1a6f06f1a184d34","datavalue":{"value":{"entity-type":"item","numeric-id":1813949,"id":"Q1813949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c352e28cc7497ae076dae44e1c3b9a43684f63","datavalue":{"value":{"amount":"+0.8495383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$913F2F45-0AC7-4B40-9D8F-D6F6B646A3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7edfd1c7d4d09e65dc9c239c9ea7bcc5d745e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694701,"id":"Q4694701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8991d6bfbdc49808b20c55f401a5b3ff2cb6eb","datavalue":{"value":{"amount":"+0.84823155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$AC91F8AB-CE35-4E16-AFA8-DE91C1626E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40985376da7b1e94294f68498d0761890141b60b","datavalue":{"value":{"entity-type":"item","numeric-id":702093,"id":"Q702093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eed68c055b618cb9f3d3d73d4c94d391e332e4b","datavalue":{"value":{"amount":"+0.8480091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598248$73104EE9-F73B-4FC0-8AFF-53160EB2718B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598248"}}}}}