{"entities":{"Q5394179":{"pageid":7423753,"ns":120,"title":"Item:Q5394179","lastrevid":49954267,"modified":"2026-01-12T06:52:58Z","type":"item","id":"Q5394179","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067781"}},"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":"Q5394179$23083B35-8B49-4EBC-833A-E2DDC1FF73C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c016fe5649b6237744db644bc737d13642237370","datavalue":{"value":{"text":"Automated Technology for Verification and Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5394179$7841A810-1E74-4135-984D-044332DE9FE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"157ea0e710fbc1c53bf94216a5778afbb0ad75e4","datavalue":{"value":"1108.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394179$14615C43-A457-4EE9-8F13-E10757533700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394179$22FBAC06-C068-4801-A93E-6197DAF175F1","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":"Q5394179$51E1E876-E400-406A-94FC-C57145AAE651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394179$450954E6-A2C6-4415-85BB-8D108C3962B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394179$D85E53A8-F7A7-48FA-9392-5E5688FD5DAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e7dd91420f4d6d1d0c883aed210dde40164110b","datavalue":{"value":"5067781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394179$C126D3C1-93A5-41A7-AB55-C4D1C8604C95","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":"Q5394179$41919850-9130-44AA-8DD8-916217E0FF91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e411b8b114f6e08d09c262225d3dcc3acbd7c7d","datavalue":{"value":"https://doi.org/10.1007/b102065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394179$C88E454C-3F00-4C58-8B75-7A78810E2159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394179$F187F079-21E4-45A7-8D5C-A0F977716774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394179$454F7942-FC2E-44CD-A9FB-2AF0902D503C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996fdcc556c0fdd7290578afa062b6b535f7143d","datavalue":{"value":{"entity-type":"item","numeric-id":4247288,"id":"Q4247288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e937545d9c6e0a3f013b2b28981921dc33fbea69","datavalue":{"value":{"amount":"+0.749413788318634","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":"Q5394179$A3DA6D85-97A4-4A82-8582-B9EF3BBD117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66218da336922d53308fdfae42ac6936052855","datavalue":{"value":{"entity-type":"item","numeric-id":4247289,"id":"Q4247289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca3e468e2d5d77fca73854ae44c1a08ad214825","datavalue":{"value":{"amount":"+0.743955671787262","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":"Q5394179$CF8520BC-B5DF-4E43-AC29-73B77A09E71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2129271661573b89f7b67d0a73fb819869ac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3771634,"id":"Q3771634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7228323f623204c0ef857bfdeee9a60e26f93cf3","datavalue":{"value":{"amount":"+0.740745484828949","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":"Q5394179$598DB7A7-B6C0-4B18-8A5E-7DE49D92556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095dea75abb1609a6748f356fd9a9dc46d73e6a2","datavalue":{"value":{"entity-type":"item","numeric-id":3806828,"id":"Q3806828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f48db092a9081c57733096f460c08a288e69da","datavalue":{"value":{"amount":"+0.7402184009552002","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":"Q5394179$DA263A97-9570-47D6-A457-11579DC5BF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4372080b044f41436dde87525188236550af0","datavalue":{"value":{"entity-type":"item","numeric-id":5305662,"id":"Q5305662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20c5baee9d632afcda31788e2d7c26d283f1bc5","datavalue":{"value":{"amount":"+0.7396612763404846","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":"Q5394179$8E5086E3-8313-4CFA-9E51-77B7B5293CDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394179"}}}}}