{"entities":{"Q5901608":{"pageid":8009443,"ns":120,"title":"Item:Q5901608","lastrevid":50649608,"modified":"2026-01-14T16:44:08Z","type":"item","id":"Q5901608","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551731"}},"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":"Q5901608$85FF9721-F337-47FA-BB3E-98A975995C91","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":"Q5901608$4B33717C-6563-4C1E-B5A2-F6C507A14B1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"545947635fbbb83b55ccc3e30d88d3a6e50c729b","datavalue":{"value":"1196.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$CDA50996-0EEF-4BEE-A185-ADF847709CC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901608$7B050A28-D024-497F-B35D-E748E1C422CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcef273d942d0b5f60b03bbbcafe5ea38575a6f8","datavalue":{"value":{"entity-type":"item","numeric-id":333314,"id":"Q333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901608$8D7680EC-D51F-4CF8-92A4-BBD0A82DC190","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":"Q5901608$FCE42B47-E4E1-40D0-8F49-20E52D93E52C","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":"Q5901608$BF5CBE1E-505E-4E19-9C21-F307BC6AF337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$1DD57D0C-8AA3-46B3-A836-1B7890C18AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$D0906F80-4BBF-4113-920B-AABD8C2423A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$A8A8240E-72BD-4502-8111-50C4DAB3B3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d3ca9d0d39f271099b91f70b392a2607c4935ce","datavalue":{"value":"5551731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$00A84475-2DD3-49AA-A897-F1C87EAE4028","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":"Q5901608$FC5ABFAD-7F06-4342-A72E-8DECEEBCA4EB","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":"Q5901608$4F999B9E-57F1-40A5-8F82-E831AF2149D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$94B03017-8D2B-4BBC-BC4B-14513BB53311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901608$A9F3F7B9-976E-4020-9840-73395C9DEB61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce733e633a940d03123e9038a50f4db25a92935","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b778917e7e571c1593e3421098b3f5af5d77fd1","datavalue":{"value":{"amount":"+0.9440842866897584","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":"Q5901608$DB20C4E3-5780-4235-BA89-7A25A3BB60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0379f0494d44812d11bd8ba87de8c6460e80b2","datavalue":{"value":{"entity-type":"item","numeric-id":4472199,"id":"Q4472199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19187535d72b9e407711b10d9a442f0069691550","datavalue":{"value":{"amount":"+0.8329447507858276","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":"Q5901608$C371691B-3111-4363-96CE-3FE11567C3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e979b87b2589c308566051a74637c5687381a","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f34b0b9560c29b90ec5d364c6555a29df5e3e","datavalue":{"value":{"amount":"+0.7952796220779419","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":"Q5901608$D2E69062-F47A-49CB-B3E1-1C46876EEFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d03e7db8f8f5deef4b4e2c5061ad6be71c03a96","datavalue":{"value":{"entity-type":"item","numeric-id":2642989,"id":"Q2642989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e038e5f2ea48d9ac46bfc772c9e78d62c4c74b38","datavalue":{"value":{"amount":"+0.7820256352424622","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":"Q5901608$01347DF9-429C-4C86-9689-952E47C838CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8354ee7b50d0df20111f46fc0bee00dfb009044","datavalue":{"value":{"entity-type":"item","numeric-id":4494259,"id":"Q4494259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdb3bfdff1e3c5c5306f61c8c6a4c03ea110b8b","datavalue":{"value":{"amount":"+0.7764047384262085","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":"Q5901608$2415F9EF-5254-414B-9348-43850E45264A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901608"}}}}}