{"entities":{"Q4494380":{"pageid":6523973,"ns":120,"title":"Item:Q4494380","lastrevid":47028699,"modified":"2025-12-26T02:02:14Z","type":"item","id":"Q4494380","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487855"}},"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":"Q4494380$669271FC-BB95-49E7-8470-DB5482D3EBB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76916de6559404f00850f0fee627551c83957088","datavalue":{"value":"0957.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494380$6C3FA4BD-B215-47C5-AB6A-15485F62572D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494380$40644653-0361-4200-8342-F4BA7AEF2441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494380$522BB08C-4241-4B5F-9F4F-EEAF249C6EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210e7976308ee21bb2aa513e045ed6ffb121106f","datavalue":{"value":{"entity-type":"item","numeric-id":1398675,"id":"Q1398675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494380$44C7E383-4CAC-4EA9-AE4B-A8C58F31FF22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5011c400ff39c5228080e8c105c8dfa3b1b63ac3","datavalue":{"value":{"time":"+2000-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4494380$2E23F729-8614-4071-A464-1F1666E1A096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494380$24FE733B-C69C-4BF7-BDC7-795D45C8D28E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c60e43aa56c3bdb135574f1e2dd65b1a084e35","datavalue":{"value":"1487855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494380$610BF6BA-0062-4B8A-961B-9B63CD5654F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494380$563EBE1C-0545-45DB-9557-C4157801259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494380$A04516C5-C3C9-4479-9613-E4F1658116F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f9e074d6203722720d59c13fdcd82e46b5f530","datavalue":{"value":"automated validation tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494380$A5DB2C82-6A46-40F1-BFB6-4BB6AFC3CA7C","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":"Q4494380$EFE61F31-22E3-4CFD-90BB-16FB66100198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda73c2ef565154d313aed2d3f4538f831774883","datavalue":{"value":{"entity-type":"item","numeric-id":1398676,"id":"Q1398676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504c305bcf71f5b56e3353259cbf1f493e1536d1","datavalue":{"value":{"amount":"+0.9777666926383972","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":"Q4494380$C7F97A9B-2319-4001-B9A2-FEDD061329DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b2e629dbf403ec7df3d1367365338e45791beb","datavalue":{"value":{"entity-type":"item","numeric-id":1878929,"id":"Q1878929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7841a7c4713532f06ed1438cd2fd8c4bc6ff7350","datavalue":{"value":{"amount":"+0.7786807417869568","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":"Q4494380$10CA6C13-90A5-4932-883C-F371D3434DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d53d9f92071ebd5fb71a17a9a624a85b784bf11","datavalue":{"value":{"entity-type":"item","numeric-id":820124,"id":"Q820124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f601674c0102670b5c1afeb7ccd9eb8e78bdaf2b","datavalue":{"value":{"amount":"+0.7535639405250549","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":"Q4494380$2C5E4464-A1D5-47F3-8CC8-88422A6C5B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb884e1e74db5df3cf025232ab92443b4c905928","datavalue":{"value":{"entity-type":"item","numeric-id":5312978,"id":"Q5312978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dff07e60b58893ad1bae250078c21e934f861f8","datavalue":{"value":{"amount":"+0.7534887790679932","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":"Q4494380$23F15E6B-3C27-4F80-B841-75AF92E03A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc43bf7a2e1ff5888f3ef7d828a5316536fd6d31","datavalue":{"value":{"entity-type":"item","numeric-id":3648690,"id":"Q3648690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529d14c7f01083936bc115236031d10ec84393be","datavalue":{"value":{"amount":"+0.7226807475090027","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":"Q4494380$9380A6C0-5E19-4BBC-BED9-77A047E56942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4494380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4494380"}}}}}