{"entities":{"Q3306500":{"pageid":3317208,"ns":120,"title":"Item:Q3306500","lastrevid":45922261,"modified":"2025-12-20T13:35:36Z","type":"item","id":"Q3306500","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7233822"}},"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":"Q3306500$CF87D655-E7B0-4E40-9FF8-F620F2B14B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d083dea2d311e70d85316abe79a2b4eab2c4e43","datavalue":{"value":"1449.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306500$BD3CB6F0-6760-4371-A2C0-940B6DB4B144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaaeb06a7bd7b4e8b63dea1d6ae51fe97fce9feb","datavalue":{"value":{"entity-type":"item","numeric-id":351982,"id":"Q351982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306500$1B58052D-1CE7-44E7-9E92-E169EC3F3DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1ade97e2849ae8b0da1ca24a345f59deae9153","datavalue":{"value":{"entity-type":"item","numeric-id":724761,"id":"Q724761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3306500$C843D491-3C5F-4BAE-9370-98249880BCE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a0601910279d3cd6e6f45d9bc6255b7f45b2ef8","datavalue":{"value":{"time":"+2020-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3306500$A4D9BA6C-8BB3-4689-B455-0852EF51EE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306500$735A1C92-B041-4EB8-8A45-19C4CAFD9362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306500$5305EB85-AAC6-4568-B8DE-E0975F185BF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eff0db0f03526e5f0971412be62514e571053d3c","datavalue":{"value":"7233822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3306500$A1D9B520-2BF3-4A58-BEA3-5CED49F85657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306500$D8F5DDC3-F099-4A0F-90A5-54CAC79AA8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306500$18BF9635-5404-4C9E-9645-5559E362609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e0feb877fdb6ad66a3d9c99ec6e9040dd0be73","datavalue":{"value":"bi-abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306500$C37FF76D-0D70-46F9-A483-DCFAA8E64AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3306500$6EFB2258-D39A-4014-A181-21BFC3E6F721","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":"Q3306500$5CDF5782-D777-4CCB-883D-2B6194336CA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd73f8ec777547f730b48085988a891eaed6322","datavalue":{"value":{"amount":"+0.89549637","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":"Q3306500$AAF9CF2C-82F7-4CEE-BA3E-6DA7BCE2F2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e2c51e9fdb9b7cdb86b7ac25b5a77637f4f4a7","datavalue":{"value":{"amount":"+0.8909241","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":"Q3306500$5AB5F6FA-20E1-42D2-B64B-9A26DA557A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28a28358356e931ca995f53b57ba656f58046f","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae2bb2ea6f54375f8b4ad48fd4a3cdecb3059b5","datavalue":{"value":{"amount":"+0.8852142","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":"Q3306500$1D1C46C8-0DA9-42B8-85C6-245E32269176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea7737f361acbe728b0bc86abe74425bfc1b809","datavalue":{"value":{"entity-type":"item","numeric-id":3651508,"id":"Q3651508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38384057eadd289df7c58defaa4e36c68087bb1e","datavalue":{"value":{"amount":"+0.87589556","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":"Q3306500$FB91E3B7-E49F-4403-B490-9460C8C578A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d3c9e0a0602f2b92fda11efa4cd1f6313cc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f87e626e4a328d9544c912c4c43877a04d2808a","datavalue":{"value":{"amount":"+0.8701446","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":"Q3306500$960F80FB-81AA-495B-9745-3AE81084C54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f13bba1c52781c29ea1adbb3af4570aa1717ee","datavalue":{"value":{"entity-type":"item","numeric-id":5851843,"id":"Q5851843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64d7fff7000cb798a8f4d0fe5c60e54c88f2086","datavalue":{"value":{"amount":"+0.8652655","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":"Q3306500$66FEA60C-22DE-4FD9-BC4F-E365AF8CA98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dd2a45421c1a3f7c022a032e1f08fc5f5765cd","datavalue":{"value":{"amount":"+0.8635339","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":"Q3306500$9852E69E-ADE0-4A3E-90FA-D844364C73DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3306500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3306500"}}}}}