{"entities":{"Q5716584":{"pageid":7746138,"ns":120,"title":"Item:Q5716584","lastrevid":48627739,"modified":"2026-01-05T10:44:05Z","type":"item","id":"Q5716584","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245531"}},"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":"Q5716584$55D44C36-8278-47EE-AA58-A5049C84ADA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716584$F0FE13FB-0799-4A73-B04F-D98D543D24E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7299e4418497c7cd1398f9591189a55144d4c99a","datavalue":{"value":"1081.68618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$3CE5A854-C8C5-4658-A942-2BF0C0158255","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633354b8994b9ca427b5ed3fbd4e2f5ffdb2f67f","datavalue":{"value":{"entity-type":"item","numeric-id":2864390,"id":"Q2864390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716584$8A6EEE1D-B24D-4746-ABCF-0BE0ED6D5943","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":"Q5716584$85F6F51E-3D3E-47E3-996D-B7565EF0587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014acc7b1b8614b0afa05b6bd97bc5b41631ca24","datavalue":{"value":{"entity-type":"item","numeric-id":275999,"id":"Q275999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716584$D85E8F7C-C53E-47E7-A8AB-21B36AE865C1","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":"Q5716584$B646E97D-5635-4BD2-843D-F7419E6819C6","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":"Q5716584$E7EC023D-5A81-4385-AF39-75B6EC739B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-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":"Q5716584$F886EC1B-EF5B-425A-947A-0BBF28FFAEE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$B98C3BD6-4B42-4CD9-BB4C-EA58B1E0899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$3882AAA1-4F2F-485F-998B-FAC5E943C607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fee72ec55cd34d4a057a1a476afe56adb28581","datavalue":{"value":"2245531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$014B74B3-A383-4270-B9C5-C891EC911DB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4b08125757b22ef19a65f23e3cc9de4e44badb","datavalue":{"value":"Time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$92D5670A-4A4A-4CF4-85C4-4909C2FA7950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$FE958E56-99DD-4BB9-B523-D042AAEA5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacfb25172436ec00e22746d2f4bdcb36580a8ce","datavalue":{"value":"state-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$D3034121-1D7E-45F0-B133-E2AC7077D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9dd6e0fc19aaece40ed9f89a3eb46ef2791462","datavalue":{"value":"DBM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$DA80ABF6-811D-4C1E-BA5E-692397C88A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f2a96a2b64089759dd2d2593ced2328c88f9b6","datavalue":{"value":"polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$07AD056A-B2D5-4F6F-9999-0206187F35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$8B1A2A10-BFE1-4793-A4D6-585FDCF610B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a225dc541f6ac8b24764c3f02a6a116c405fa924","datavalue":{"value":"stopwatch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716584$6FC25750-81FF-4179-9880-A58D214894E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a762ac5a2bf8760e4df585aefb94ac66afede9fa","datavalue":{"value":{"entity-type":"item","numeric-id":19687,"id":"Q19687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716584$1AC38320-BF6E-4E6E-8DFF-93AF9E9DC130","rank":"normal"},{"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":"Q5716584$B7A7A3E6-D4B4-4590-ACA1-E00F3A253B3F","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":"Q5716584$A0160266-D56D-4270-A57E-D7A47CA6D3A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716584$F85B43C3-6227-4DC5-ABAE-74031B9FE947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$CB6B5297-B948-4BE2-821A-3B10C00C2294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716584$10D2D438-492D-4DEF-A6CF-7C705A9A9CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d0961d8fe3de888ef799801e16872648060ffd","datavalue":{"value":{"amount":"+0.802951455116272","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":"Q5716584$B06194AB-49D4-4D3C-8004-9BDE53C8D6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bd1e05de3c258330d6a8d54fcda309fef49413","datavalue":{"value":{"amount":"+0.7721043825149536","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":"Q5716584$22479BC6-52A6-4AC3-B3CD-8FCFB179F649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3387f8608a84e2bc67f20a2e2557a60aaae3d2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3599214,"id":"Q3599214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec7426f1d14763615505871c9df972dcd5ecd99","datavalue":{"value":{"amount":"+0.7675750851631165","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":"Q5716584$8AC43805-1D2E-44B4-B96B-F887CF78B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bfd9f0c258d4f7bbf54383f521865099a8e19b","datavalue":{"value":{"amount":"+0.7649703621864319","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":"Q5716584$B116E93D-70FE-4319-B40B-8BF968AB2049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e1287cd8ece78a86410ee95caeb6abff2582fa","datavalue":{"value":{"entity-type":"item","numeric-id":3122573,"id":"Q3122573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a591162b4fcdb181d475d3947e1e531523ff8509","datavalue":{"value":{"amount":"+0.763547956943512","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":"Q5716584$CC3F37BD-4926-44E4-A233-9E45DAABB7B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716584"}}}}}