{"entities":{"Q5901617":{"pageid":8009464,"ns":120,"title":"Item:Q5901617","lastrevid":40995767,"modified":"2025-04-17T05:50:49Z","type":"item","id":"Q5901617","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551746"}},"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":"Q5901617$39E64B94-9A6E-4B89-9B9C-9B0B68461E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d74728269e5e1f0a6023587eb4648768bbcfeee","datavalue":{"value":{"text":"Integrated Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901617$C2E2B172-1C55-4C52-97E4-E68A76C1309B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84a4b8b27e8463216ab1e1ca48ff75b8deb80920","datavalue":{"value":"1196.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$813D4CBA-F4D0-4938-A020-1493C4E66DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c402286261d69e1c8cce04c7b139bbb906490473","datavalue":{"value":{"entity-type":"item","numeric-id":3625031,"id":"Q3625031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$117C37A0-F769-4FC3-8402-76307A73B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e01d97b44e67a371a7364f731c86570940f7a1a9","datavalue":{"value":{"entity-type":"item","numeric-id":216270,"id":"Q216270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$E911DCED-54B6-4C61-9A27-57DD8D1DEAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d29c0bda4b39598f9bb256e9d47a2292fcaa6abe","datavalue":{"value":{"entity-type":"item","numeric-id":3625032,"id":"Q3625032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$3C2B9391-0781-453B-8B2B-7204F2B6D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fb4b4d39690fa5885870739699ee9c259bb6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3625033,"id":"Q3625033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$D6AD962F-B63A-49AB-872F-921416F64A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6eab0c4efb3908c89fc8b9a8b788a665bc64cb8","datavalue":{"value":{"entity-type":"item","numeric-id":216271,"id":"Q216271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$0E3B364D-E7DB-4277-8276-DDD5E55C2C3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$F36569AA-0595-4317-92FB-DFFCC6C3D932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99ce649c36f33c69e9f26f8f3ed476026a86e4e9","datavalue":{"value":{"time":"+2009-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901617$F50708C0-1141-41EC-8494-295D0F6B547C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$2E5BB7F5-F886-47A9-AE21-9942A38AACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$7761C8CB-AFB0-42DD-A6C5-46134918F4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f28f4608940b8bdc848ad5267c30d9e99b38d302","datavalue":{"value":"5551746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$18906E19-0E03-4AD5-AF3C-5535F034C0C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fd5d1c9b0c6d63b761ad02ba2e378dc0fc11214","datavalue":{"value":{"entity-type":"item","numeric-id":14789,"id":"Q14789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901617$FB33F1F0-3A0D-49F3-9209-A70551332FC5","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":"Q5901617$FDA5721B-2BA2-4C9E-8071-1FFA672B1D63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a1b0561588b9897b69e8c3c34dd8dab8759eb1b","datavalue":{"value":"https://doi.org/10.1007/b96106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901617$D4BD2FB8-15F4-4571-AF8B-7D65A7961497","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$27106F27-9C06-4BE4-A6FC-FC2E3368FC8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901617$3CC240A9-1ED4-4F5B-92CC-FFC4F26395E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da72aa331234735c6e47769cf47004278009345","datavalue":{"value":{"entity-type":"item","numeric-id":5392290,"id":"Q5392290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebcfbe1ff350454f0e114898990bc2499111a1d","datavalue":{"value":{"amount":"+0.90368617","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":"Q5901617$9CA62C5B-6432-4055-8BAE-AC6140ACDE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22965ffb14371a8d2b5e6deca6fbf1f8604086c1","datavalue":{"value":{"entity-type":"item","numeric-id":4264718,"id":"Q4264718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7450f73ac4c25cef49aee8509bf04cecefd3db9b","datavalue":{"value":{"amount":"+0.8864796","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":"Q5901617$D314FDFC-A523-44E2-A91A-4066A9D914E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d134161b67c10c46b256f4761adb38c3c619d02","datavalue":{"value":{"amount":"+0.87769234","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":"Q5901617$FA8B1085-5C80-4864-811F-D8033CFE6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a625a790945faee6b92cb8c4c4fc76e8b24feb5e","datavalue":{"value":{"entity-type":"item","numeric-id":5239221,"id":"Q5239221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45c15dd9e51b02331a6aa4fd93c7c9082afdd94","datavalue":{"value":{"amount":"+0.8760265","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":"Q5901617$AA4AA2A9-369C-47CE-8742-F4AE2D72C25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04952704c4a98dedaaecc65eef5be4ed9169280d","datavalue":{"value":{"entity-type":"item","numeric-id":2753788,"id":"Q2753788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8991ac7573fd5db1f99dce181057c0d8ba7049","datavalue":{"value":{"amount":"+0.87465453","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":"Q5901617$A900E163-DED8-44AC-B0D5-84F43BF2B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb50ac9cc7a4403ab652ac6d9a5dd35cd75945b2","datavalue":{"value":{"entity-type":"item","numeric-id":6132570,"id":"Q6132570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1948bf27a772fb3a3f697add10b8d9e5084092b0","datavalue":{"value":{"amount":"+0.87173736","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":"Q5901617$73E92B23-C669-44E7-BB9F-0E72118E3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9ae42c835adf73a53a1432239f009ea85bb100","datavalue":{"value":{"entity-type":"item","numeric-id":5224784,"id":"Q5224784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4731bcc63183ed7e9e3af6eda61042797361c6e4","datavalue":{"value":{"amount":"+0.87091565","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":"Q5901617$B1FB63AD-71A8-41A9-AF2F-7D825E8435BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d7e0b3d9d3df2135f8a8b15167642230fbaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4357065,"id":"Q4357065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716c29923b865f89308fa5b88e97056a1146d5e7","datavalue":{"value":{"amount":"+0.86765397","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":"Q5901617$66168DAA-B5D2-4480-ACA5-FA5FEB659E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34ba09275f2ecdfe4e2f0aa8e2893176bf2de11","datavalue":{"value":{"amount":"+0.86357224","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":"Q5901617$A0FDD3BB-E67D-420A-A12F-227CEFDB50B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901617"}}}}}