{"entities":{"Q4852241":{"pageid":6881821,"ns":120,"title":"Item:Q4852241","lastrevid":41046855,"modified":"2025-04-17T23:59:54Z","type":"item","id":"Q4852241","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 810814"}},"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":"Q4852241$5E2C0DE3-1F34-49DD-8045-B0A6BDBEC6FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ecf91cf0f1424caa0e9214559f34bff5a71a1ee","datavalue":{"value":"0862.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4852241$C72C73FC-ECC2-4ECB-AEA8-BD61815C4290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e3e56ff6892f58e0d5db1323ca653283b85e61e","datavalue":{"value":{"entity-type":"item","numeric-id":2368984,"id":"Q2368984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4852241$18167121-6CAE-466F-B0F3-D00ED2A71D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa7b416a5c640fe6c918d6783f1e2c73faa78f08","datavalue":{"value":{"entity-type":"item","numeric-id":2368985,"id":"Q2368985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4852241$77650A62-BC31-46F3-968A-96F78AF800D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"070a70caded07d3199a9b728c1f2b1773cbed9fb","datavalue":{"value":{"time":"+1995-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4852241$3B94816A-039A-4A88-9BDA-4D33B0E752B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4852241$670F1533-896F-4B2C-87AF-E833177CD85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4852241$14516468-B470-49A1-85AF-4AB9A2C206C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4852241$904209F7-0994-4F77-8AF6-27408916FC2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55df6c78683b91d44ad5dd7445856ee161993632","datavalue":{"value":"810814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4852241$B45E39E3-70E7-43D5-A4E0-55110D48C84F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4852241$64BCB3DC-4FE4-4296-BD9A-0837ED47258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4852241$FD99920A-3F87-4546-AB89-077AD69983E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4852241$8E93CF1D-E0F8-4CDB-9032-1A8E84C90295","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":"Q4852241$C3613CAC-B137-44E6-B5F4-1F56D06A25F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b3029ca65beec297dc41e9de63300346466c08","datavalue":{"value":{"entity-type":"item","numeric-id":3994894,"id":"Q3994894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f42ffdbb0aab0ebdadeff1802e60531dab3d01f","datavalue":{"value":{"amount":"+0.90906686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$599C895A-95B8-44E7-A034-4F1505B2D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5ddf3fbcba7a8cf1e31b34b75d4fd65f671bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3992668,"id":"Q3992668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f42ffdbb0aab0ebdadeff1802e60531dab3d01f","datavalue":{"value":{"amount":"+0.90906686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$A8A932E7-C981-43A0-829D-7A3B3B95280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac68c520580691309e7181a62be2c5da95c423b","datavalue":{"value":{"entity-type":"item","numeric-id":4286729,"id":"Q4286729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f42ffdbb0aab0ebdadeff1802e60531dab3d01f","datavalue":{"value":{"amount":"+0.90906686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$81CFA41C-95C6-4292-ABBE-D1C5765E763E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfc94f3276f52c939ba112df89268dcad28f337","datavalue":{"value":{"entity-type":"item","numeric-id":3335024,"id":"Q3335024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f61922f0a3ec0aa85c41a3b7c20f405b235e96","datavalue":{"value":{"amount":"+0.90701675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$4B38E7F0-CF38-4E04-966E-728BE5CAF080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c728f89b39914b30d6281fc9c36691fbc1752f","datavalue":{"value":{"entity-type":"item","numeric-id":4039757,"id":"Q4039757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938ba4e23f4a4913d009bcc9e910115fa0f04e02","datavalue":{"value":{"amount":"+0.89904225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$4A16E765-AEFA-4035-A5DA-D0B855F486E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530f7d38a59df3e10274e0f922150c69bdebb7f9","datavalue":{"value":{"entity-type":"item","numeric-id":4348472,"id":"Q4348472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2fe29692db84dea70ad87e020df7f25d377a5f","datavalue":{"value":{"amount":"+0.8920863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$D88C6CC8-5B2E-4CBA-B400-B9459BB6914F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcaefa4f0008768caebe141ce2a805faf595547","datavalue":{"value":{"entity-type":"item","numeric-id":4718448,"id":"Q4718448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a546913a02f8b3162f2401825ea2b9e9fe24b445","datavalue":{"value":{"amount":"+0.89195406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$8B765348-7FD9-44C3-9F48-0352E0B26E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a850180f92538e4c5e725b89fb0e8a7168fb02","datavalue":{"value":{"entity-type":"item","numeric-id":3727356,"id":"Q3727356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6628328243f79810f4748b62c2b45d9ea68eba0b","datavalue":{"value":{"amount":"+0.89163494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4852241$EF4B4734-44D4-4790-9119-DEBF091CEB36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4852241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4852241"}}}}}