{"entities":{"Q5491868":{"pageid":7521428,"ns":120,"title":"Item:Q5491868","lastrevid":96296525,"modified":"2026-06-05T10:53:09Z","type":"item","id":"Q5491868","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061539"}},"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":"Q5491868$A693C71D-5943-418E-A7DB-716D8BE20A46","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":"Q5491868$C1E3A111-D7DF-4CFD-A162-02575934C624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d3f06b9000ba41471de77324fb9ce22c1b39fab","datavalue":{"value":"1170.68513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$D0E18A93-1E4E-4CFF-858D-28C9950D12A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$9E9F32C6-E75E-40A5-BAE9-A37A0942010F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491868$91AD4D91-DCCE-4A2D-879A-BFAC1408D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491868$1C7AA07A-C195-4303-A57E-7972F1DE7120","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":"Q5491868$0734EE0D-4857-463F-9CDA-F96279860A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-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":"Q5491868$21D447B6-8476-438E-ADFC-7793A424078F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$6CB5C9D9-6264-46A9-AE45-C75ADA3B912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$846A682E-0882-4828-AC38-3E2E8A956FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$838302E8-FF1E-4338-A972-C76B9508128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$0C3C2AB8-88BD-4326-AE13-501A2CDB461A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"791223f8b15c7bae08e6e810005c6dc20488aab4","datavalue":{"value":"5061539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$8025B14D-9B0E-48D6-938D-B162E69C44FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491868$18F13FE9-A910-4012-B4FD-9F6FBB48B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbe91994a2d8180cf916433d746ac6263ed82d2","datavalue":{"value":"Zeno behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491868$25A922FE-3B53-4A3D-8CAE-74DCD9EA0479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491868$823B2A90-2176-4307-AFBD-816928E195D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442941db659c1897feb2452db07c63561dea7409","datavalue":{"value":"physical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491868$132E24E2-6330-4BD0-BDC8-E5E2FE7898BA","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":"Q5491868$07544178-45EA-4531-A843-3EF2C28A41F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"605bdcc41e0013e6bf8b8d47371bf369caf2fa7c","datavalue":{"value":"https://doi.org/10.1007/11562948","type":"string"},"datatype":"url"},"type":"statement","id":"Q5491868$9827BF71-D876-491F-B3CD-7CE19506DD8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491868$DF3FD103-59B9-4DAD-A488-39FB028FDCF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf636b69ea12556217bf458f90cfbe4f6af08a4","datavalue":{"value":{"entity-type":"item","numeric-id":3426789,"id":"Q3426789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e44a7bd01847e8071ccdc843b5df6e44158f05","datavalue":{"value":{"amount":"+0.9912651777267456","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":"Q5491868$2B613221-CE65-4282-B631-F9D69CDA6FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c082568b5bef6cc4b14fca77ec45931c03801160","datavalue":{"value":{"entity-type":"item","numeric-id":3522911,"id":"Q3522911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bb7c8e9802915e3b40cdd669674fa10df7470b","datavalue":{"value":{"amount":"+0.7490105032920837","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":"Q5491868$A474C11F-5DC2-4633-9F26-F3248C760835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b4c0407a803de87539aaaa3e2e2a19274b81c","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c29bfa4067bbc46c78a3cdbbddbf43662b009e7","datavalue":{"value":{"amount":"+0.7397998571395874","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":"Q5491868$C04DB810-0BAF-4BF6-82C6-FEEEDFC0CF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd169c146c93114a40372ce7a38c2a44824381","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5281c8bc9def05dbe6c50461c9cd1e1668350d82","datavalue":{"value":{"amount":"+0.7361787557601929","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":"Q5491868$774EE6DF-8608-4A26-9FDD-A60472C81146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ea9d45a81c12c48a6712fd1d16b7ea361b64d0","datavalue":{"value":{"entity-type":"item","numeric-id":3498491,"id":"Q3498491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74094e3cc0e0a3129d01d5c9895a3e8c73c5a06","datavalue":{"value":{"amount":"+0.730205237865448","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":"Q5491868$D6295324-C991-4975-BD77-A21F313F3104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5061539)","badges":[]}}}}}