{"entities":{"Q5491871":{"pageid":7521431,"ns":120,"title":"Item:Q5491871","lastrevid":49937830,"modified":"2026-01-12T04:36:14Z","type":"item","id":"Q5491871","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061542"}},"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":"Q5491871$4890D5E0-66AE-4AA0-8FBB-10400B1DAA72","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":"Q5491871$99B0D9D9-BC6B-4AAA-8F24-94FF02108CAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8041f2bc1dec43e131291bc5302ecff6e33f20b1","datavalue":{"value":"1170.68537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491871$DF8F87D2-4803-4C84-98B8-DD3B509F78E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491871$EC84A990-9343-4855-812D-7200C19F33E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491871$3487E610-8D5C-4282-9115-9547D702553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491871$F5498006-47A0-4244-B85B-2EFA50FE6A4B","rank":"normal"},{"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":"Q5491871$58BC2517-FC21-4CED-BF8F-C5BD6DF5D4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491871$990E01C2-379A-4F9E-8A8B-CAA7780F17CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491871$4016B67D-BEE6-4084-AE0F-6BD948C51A18","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":"Q5491871$67A3C2C1-A853-4745-8A24-B18F0E09ED0B","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":"Q5491871$863C2629-EE80-4252-8CD2-B2A510BC7B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491871$6B2D97AD-A45B-4AF1-81C8-72D964C99CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e91a437ab15bc05bbfeb07f1f15cb95494c23fc","datavalue":{"value":"5061542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491871$1683B167-557F-4C9F-A476-468D1FCD05D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c235699715ec819ff7057898ca1070b2bcef698","datavalue":{"value":"Time Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491871$11FA54FE-840E-4EBC-8D03-64068E5D7979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcc851d0c04a7f46fc1e2f511bbe9075a2e6214","datavalue":{"value":"Timed Bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491871$1FF6BDA2-0F00-4509-8F32-94B3FD99B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49392b486c9c83adb01ff946f2bdf90fd937ec98","datavalue":{"value":"Expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491871$26683B57-1F9A-4F7D-B353-78B0FE8089BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491871$8FD6257C-262E-48F9-B08B-6D1AF8120100","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":"Q5491871$CDF45A06-B21D-4EEB-A47A-263F09011280","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":"Q5491871$372B84F3-7FB9-4B27-A20B-F7FC8D8D7D11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491871$077F8661-41BE-4A9D-95F3-F1C2F688754A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1180e3f7f25b77d9e3ab64f008c19e231da95a80","datavalue":{"value":{"entity-type":"item","numeric-id":3612926,"id":"Q3612926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8074ff251752be762c590373e0ad9b10772321","datavalue":{"value":{"amount":"+0.8596118092536926","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":"Q5491871$88262455-4264-4E18-A27B-26527B9B141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8bd4af8175780cfafc05e13f19a4e2dccfbdfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3601860,"id":"Q3601860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b3bae3053ba59d6be1ef1cfa570255f2abe406","datavalue":{"value":{"amount":"+0.8511804342269897","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":"Q5491871$3A5B537A-9F87-458E-A463-C2482583E99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a9026e95e5448039fe980373df00bccc397ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2664520,"id":"Q2664520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b999920ea1ec9abdbf702ed6511a2a6399c03c4","datavalue":{"value":{"amount":"+0.8325170278549194","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":"Q5491871$F5641EC2-29C6-4F1C-B552-BC837BD5C09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017d4e2685d527f9eb8e04021947486efe77c7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5eb718ca6336338e4514d2356202dcef67dd18","datavalue":{"value":{"amount":"+0.8279234170913696","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":"Q5491871$5C5CD68E-39FB-4844-9A00-7E3DE9035E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3395e797eb52fac16c9e63a80de669b49b6c5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5305757,"id":"Q5305757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df24f976eb806bf22511326f3d772cf82cd30504","datavalue":{"value":{"amount":"+0.821912944316864","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":"Q5491871$5AB75865-6B49-4D75-A937-91579002807A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491871"}}}}}