{"entities":{"Q5394189":{"pageid":7423763,"ns":120,"title":"Item:Q5394189","lastrevid":96129458,"modified":"2026-06-05T10:29:05Z","type":"item","id":"Q5394189","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067788"}},"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":"Q5394189$82080099-AF62-40B0-BD17-4A860EEA019E","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":"Q5394189$65DEFDB4-F943-476A-BF64-F5A4483F6319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e8b91a9551a636bf58753e226afec086f3ca360","datavalue":{"value":"1108.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394189$105CABC4-A6D6-42DE-BE50-F3843A9217DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394189$5AD8BFF5-9E81-4685-95A4-C1B2793022DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbb4817d47b3532731d0b0d3160450bd0effcbc","datavalue":{"value":{"entity-type":"item","numeric-id":453476,"id":"Q453476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394189$721A1194-1183-48A3-8833-ACDD09436ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394189$EE802343-FEAD-40C9-ACC7-211CAE45C967","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":"Q5394189$B199F23C-4BCE-4B2D-B475-B1D77A5CA11A","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":"Q5394189$16C26A83-BDC3-4A2D-A8D3-99A5C694B77C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394189$B0CE0003-5708-45EE-9B98-C01188248A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fa53339e338ab901ca4d8f24a1fdad80ad66f8a","datavalue":{"value":"5067788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394189$2A7E9945-9249-4B41-892A-EC2241B002FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394189$93B13B58-813B-41DE-8A40-3F049C6BAB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394189$A7F2C764-6885-4D9B-AA8B-1BEA655F05F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394189$70EE15FF-8CF6-4AF5-9E36-F449126A9F89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394189$32BBBB41-85E9-458D-92D1-78B0B572E4D9","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":"Q5394189$3E74B12B-FF30-4F5F-977B-1166A6597364","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":"Q5394189$A41D3C8A-2A6D-4A86-A440-234C9B637726","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394189$AB5708E2-AE16-45DF-98FA-D521BBCB6DF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394189$7D2605FE-C19F-4A3D-BAF5-FC7473871365","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edbbe1aaf14e5eff262871340f841024cec4bef","datavalue":{"value":{"amount":"+0.7972229719161987","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":"Q5394189$65759A86-368C-4677-977C-8573C6CB36BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6d130c003cef2f7fd52130eb81a6630070f98","datavalue":{"value":{"amount":"+0.7951415777206421","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":"Q5394189$A39C16CA-7D72-4D5C-B84D-0BFE54411030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d56eb9e642f2aa16d9c668de2327fba7725ea3","datavalue":{"value":{"entity-type":"item","numeric-id":3510873,"id":"Q3510873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44c5f47aae72946ec121bf2e439204d5c4a42d1","datavalue":{"value":{"amount":"+0.788527250289917","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":"Q5394189$55B82DFA-4C4F-4FCC-9086-3B6F7D30C19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ec3a92630700a9437b9bdcc180f98b75856e6","datavalue":{"value":{"entity-type":"item","numeric-id":1595250,"id":"Q1595250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a8e61d0a28e27e3a6c4b4d6f7c2669ef4a2fee","datavalue":{"value":{"amount":"+0.778178334236145","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":"Q5394189$A8F52E33-D121-45AE-AD43-9090A01C63D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f31bc5ee363ae455432d9f97fb1e41ae881ace","datavalue":{"value":{"entity-type":"item","numeric-id":5716576,"id":"Q5716576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac8848b202dd018bd12e13dd5f12d34508f7e19","datavalue":{"value":{"amount":"+0.7738484144210815","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":"Q5394189$9E24863E-C66C-426F-AB00-9C2C5BFA8EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067788)","badges":[]}}}}}