{"entities":{"Q5394178":{"pageid":7423752,"ns":120,"title":"Item:Q5394178","lastrevid":96129359,"modified":"2026-06-05T10:29:04Z","type":"item","id":"Q5394178","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067780"}},"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":"Q5394178$431F1C1D-66CE-4AF1-8C54-29012583CB05","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":"Q5394178$6B9F54BE-6357-4F2D-BE04-A897BA9D6357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d883cc4c73d33f3e6c8396d88ba00e24fb153dc","datavalue":{"value":"1108.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$C9D26F1F-7573-4A2B-BD62-013F52389224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"808d5ab3cb24c359a8ec45778c4c24162906b962","datavalue":{"value":{"entity-type":"item","numeric-id":5394177,"id":"Q5394177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$8E3A4A5F-762F-4500-991F-AE6A5F16BBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f36e985f30519ab01216432fe7411613449b9c2","datavalue":{"value":{"entity-type":"item","numeric-id":658667,"id":"Q658667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$CCAA0630-7916-48E5-BDED-C0316E4EE61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57be145d04cad4048a7785fbb1a18149356abb7","datavalue":{"value":{"entity-type":"item","numeric-id":1148780,"id":"Q1148780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$83911ECD-CB0B-4525-9183-503C9037E086","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":"Q5394178$B0861F2E-FA5D-487E-971D-386023061FD7","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":"Q5394178$A2872A34-36F8-442C-82FF-E6F684A22CC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$F32EA2CA-C27C-489F-BBC8-E2A897DC5E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$BB0C49E5-B39B-4A86-B48E-8E4D0C141096","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0af6ed2741444abe9cd96e54cfb9d91723d6e46","datavalue":{"value":"5067780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$A043B4E3-568A-4EDD-8FB3-C4450A07BFFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66af2584c085b19aed7fb585fb6613e1c09c5e57","datavalue":{"value":"Bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394178$C65634B1-35D9-4114-A32E-42D425BB17C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394178$A03996EB-7AA3-4E33-BF8B-2AE90ECD4796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394178$394395E6-6503-40FF-BD0C-93D68167FDD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$E8309025-9F7B-448E-8FAE-EB7EFBC6D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$DB280ECF-B028-48B7-B612-BBE10ABF2094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$A2BE7B63-20B7-4FCE-BC9D-C843089F76C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a688e68ad9837af6ba5052320c75a18e89949be","datavalue":{"value":{"entity-type":"item","numeric-id":14122,"id":"Q14122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394178$A1A3D1DE-304D-4A82-95C0-CBD4D8289FBE","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":"Q5394178$F0054760-97C0-4C30-B98B-9B59DC64DC8E","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":"Q5394178$4B1D206F-5A2E-43C0-8AC4-8F3CD7273BBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$085B4A8A-90E5-4856-A4F8-60B1EB29547B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394178$DBB9E27E-119F-4518-8B7B-7D1F88C51973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf194da3e5139b91f0e72248975037b8e824fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3097968,"id":"Q3097968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3ff378dc7c3dc6d5af5648044599b17228aa0a","datavalue":{"value":{"amount":"+0.8341907858848572","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":"Q5394178$BB38AF53-F826-44DC-B0D0-5F688732C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8540a29c3fb7bd77b1d3cc719c320dd87f1cc694","datavalue":{"value":{"entity-type":"item","numeric-id":5259305,"id":"Q5259305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc676d3d991e362dc96385c79adfa50e6bc1af22","datavalue":{"value":{"amount":"+0.8019815683364868","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":"Q5394178$050BD445-6F20-40E9-8143-CBFC5597CA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddd81f46a2fe4055a1ee4a87a4a19e634a6d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066134,"id":"Q3066134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f50ff31abedccf41a949caaab9f1fcec50c0b37","datavalue":{"value":{"amount":"+0.8008630871772766","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":"Q5394178$F590A764-5AC0-44FA-9D64-31B081DD7C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29658251053c1ffe190b271fde5d58686104de89","datavalue":{"value":{"amount":"+0.7995175123214722","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":"Q5394178$82D203F0-9F0C-44E8-B648-E75BD6C62E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598cd64b7f66a59d073b7a5d822c86ab67a93f6a","datavalue":{"value":{"amount":"+0.7994385957717896","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":"Q5394178$9EBDE300-6435-4342-B37B-1CFB56AD491D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067780)","badges":[]}}}}}