{"entities":{"Q2986965":{"pageid":2997689,"ns":120,"title":"Item:Q2986965","lastrevid":85742576,"modified":"2026-06-03T11:20:51Z","type":"item","id":"Q2986965","labels":{"en":{"language":"en","value":"Proofs from simulations and modular annotations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718280"}},"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":"Q2986965$B7A4C0F4-ACF8-40CD-B0AF-B7DF8F255838","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a95ea5be3029eb0202f9315defbe4ef55ea9a41f","datavalue":{"value":{"text":"Proofs from simulations and modular annotations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986965$1F5D240F-4B73-4E71-9CA1-DAEE856165D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1bfc55d0327cc7c51cc6dfb14ee3cdee29ccb86","datavalue":{"value":"1362.93036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$9017D92D-A348-4386-8DFC-643C5C827AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca7a7a214e322a6324dcd54bb9aff808a570171a","datavalue":{"value":"10.1145/2562059.2562126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$ED53F76C-41F6-4696-AB52-34CF670EE462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28dcf1d70b7c9b63a71911ef7cf287ac07076829","datavalue":{"value":{"entity-type":"item","numeric-id":2024375,"id":"Q2024375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$1D913B7D-A2B8-453D-A4BB-1165707CE9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$E6654B90-96DC-4214-97BC-067087FC1880","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a66987d483cf498cbb54fa8b0939eb16d8834895","datavalue":{"value":{"entity-type":"item","numeric-id":2986942,"id":"Q2986942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$A4538091-D670-436C-B211-5065EE0E2B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986965$465167D2-D628-4A5E-95B3-B4E623A2D194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$5FCE375F-81FF-4346-BD8B-33B5F4A2FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$0376CFF7-8E02-489C-88A2-642E4C31872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38d2487ee4b6d9d6363a0214eff40b18ba208076","datavalue":{"value":"93D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$D721B753-0D5A-4483-BA26-7CCD01DBAE7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acf5fb1349be0d7f8e16f42f3d5864a8f7cb4a78","datavalue":{"value":"6718280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$FA392A10-2A63-4DAE-8D8F-607EF6CF1756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986965$FD9CB739-EF40-4596-A0F3-962D6C4BA3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986965$304719DC-2CA4-4F98-B7D1-018F0436EF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5d24e9259c7e0ebd94bd4a45237872bc8a6338","datavalue":{"value":"input-to-state stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986965$3709D07C-DB81-424E-B095-2BD762DFBA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8a69c9284057281e3b835ac3d2ef1a6a82b3d0","datavalue":{"value":"simulation-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986965$F60B93EA-586A-4C5E-8973-66C7CE04D04A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$9B9E85C5-3F34-4133-A670-E1E2C140F51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$9DB2EA41-F5AF-406C-A7AF-CF87FB19F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$E17EA33F-6016-48DB-BD9B-E93A3C803080","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":"Q2986965$54C48CAF-9AD5-4AE7-9029-E6C47AE9B3E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb9357132d48e321c0d1dc1b765f12402b06335a","datavalue":{"value":"https://doi.org/10.1145/2562059.2562126","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986965$FA5BEA88-B18C-4C9C-8FDA-24EF9AF78AA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"371154deaf3e34d4a7c8309332757499c9ab1b36","datavalue":{"value":"W2154221986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986965$E36ACC32-F854-4479-BD40-FC93D9C3030E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$E1D49450-C62A-4EA0-B5A6-29B950DAB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a6d9d4c005892aa7b849b3d059eda0ed03aaab","datavalue":{"value":{"entity-type":"item","numeric-id":1298283,"id":"Q1298283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$F41EAEC3-C86D-454A-86FC-E15FAB083E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad50836f62c74ebfef5aac7467da42e2b2b5283","datavalue":{"value":{"entity-type":"item","numeric-id":5267136,"id":"Q5267136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$01E6DDD0-2F04-4410-BAED-8FE4B8125AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eba0eb74965bba287b4a3647588ff9b1b59f02","datavalue":{"value":{"entity-type":"item","numeric-id":3987118,"id":"Q3987118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$BABFD780-756B-4D65-9FC9-294BB1A829EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bf8ca5f255dfc9ef274c7c13564bd8b6dea87","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$BF8F6DD2-2CC2-418D-8B31-6BD414C625B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654fe3761ac46000e58db2921e5e9255c79eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4974774,"id":"Q4974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$572EA8B1-3B25-4340-8EB4-4C775A6353C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d4a06338875ce2a23e3113be67b69b3915696","datavalue":{"value":{"entity-type":"item","numeric-id":2985874,"id":"Q2985874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$2B9C6680-6C97-453C-8BC2-A04E18E4471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b420ec1bc0791541a1b349455776f7181d468697","datavalue":{"value":{"entity-type":"item","numeric-id":1977035,"id":"Q1977035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$8F33D095-ABE3-4A58-A923-3DC73AD11E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4803d00b49ce453c60909b7af6e4e230ddd52","datavalue":{"value":{"entity-type":"item","numeric-id":361070,"id":"Q361070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$377473F9-2F33-4815-9D1C-3A498206C816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986965$68B1430F-86EC-46DA-AC43-2127A0C3E606","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6829e6da9066687c4675538475de2fda1fa0e7","datavalue":{"value":{"entity-type":"item","numeric-id":3460584,"id":"Q3460584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8458bf342cf8ebf3acce320e2b18f361191b22c","datavalue":{"value":{"amount":"+0.855603814125061","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":"Q2986965$EC5960FD-24B1-4D77-9741-5EEE85C64851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa5dd2c9b7850609c1d59bea8a1262a6da3ab29","datavalue":{"value":{"entity-type":"item","numeric-id":2374566,"id":"Q2374566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b248f2012dd071f5c25b9259b9bdbd9770eda4","datavalue":{"value":{"amount":"+0.7904726266860962","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":"Q2986965$EA9D9B05-86BB-4884-9BBA-7A4062B2B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cd17c5ef97b336a5a39c4eafd87b8f1bcaca55","datavalue":{"value":{"entity-type":"item","numeric-id":2281633,"id":"Q2281633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75a7e09dc182c478a8eed52491a1b60b376f6b7","datavalue":{"value":{"amount":"+0.7425079941749573","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":"Q2986965$3F866852-DD61-47D1-BDB6-2706876F46A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19801ad8f3e344e4474cfb8c346fa2bd42007f20","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25b21e68f665191dcf7ee7ee089ad593cb196f5","datavalue":{"value":{"amount":"+0.7394074201583862","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":"Q2986965$D7701755-46D8-4423-8161-4354137B9C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd68946f143bc1e96b2676f9a2ff18dd985716a5","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c47bbc0243043b6adb7b95d25bd0ac996eb6a82","datavalue":{"value":{"amount":"+0.7338293790817261","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":"Q2986965$74E76889-B06F-44AC-AE5D-7C46B51F76AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs from simulations and modular annotations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_from_simulations_and_modular_annotations"}}}}}