{"entities":{"Q444504":{"pageid":446271,"ns":120,"title":"Item:Q444504","lastrevid":61864467,"modified":"2026-04-11T02:11:31Z","type":"item","id":"Q444504","labels":{"en":{"language":"en","value":"Static analysis of IMC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065766"}},"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":"Q444504$CA51EACA-87D0-4140-A8CC-33E5D93C6AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e94a59674cbd0360bcbc73a2f2821b7205e9317","datavalue":{"value":{"text":"Static analysis of IMC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444504$0EE3D488-2DC2-4509-AAC9-2BE1E1C4DCD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ea4f007823ed2836de2fcb938bb636ebc5661ff","datavalue":{"value":"1243.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$549A00FC-AA81-4B6F-9C46-72DE6E3BA641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5deb182e107e834f68ef7a93841d825a137a5b6a","datavalue":{"value":{"entity-type":"item","numeric-id":444501,"id":"Q444501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$CA9F6016-3B3F-4C0D-A874-F6330355184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$3DC1C615-ADCE-4608-BDC7-DC25A79CB42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77919425578187861f2f6650a097ee9ac30e1c15","datavalue":{"value":{"entity-type":"item","numeric-id":444503,"id":"Q444503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$58718136-8F0E-475B-A877-A785E819645F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$22CCF396-1DD6-453E-8A14-DDDEB487361E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444504$6D4B04BC-B000-4A05-A257-202D35E91B66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$5F648D45-7428-4B9A-A648-D75B163AB03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71265f57188881f3ffff01bf27a3ea6ae9ff3edc","datavalue":{"value":"6065766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$8C23B663-F244-47CD-BD94-B68868ACD36C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q444504$E7F9B584-FEBC-4CA8-B4A0-151A9A98E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q444504$FF2D7B1B-5139-4D05-B284-8CDEAAA6A90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6536cd3c7fea5edb750837d3a48ddaf4ef4ddc","datavalue":{"value":"pathway analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q444504$D1A4FA1C-A672-4F20-8618-E73E36875634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd1272ef5fb66e0112fdadac3b13cbb28185d6a","datavalue":{"value":"IMC","type":"string"},"datatype":"string"},"type":"statement","id":"Q444504$FCE6A212-3B89-446D-BE6A-09A3902EDFD8","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":"Q444504$FB014A0F-391C-4057-88D2-A1FF0FFEFACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"300e9cfd709f5ae0376e02657e48634cad3c1dd9","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.03.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q444504$152766A3-AC06-401F-8C99-80027275B329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9407dcab232b459d4878a50d405448d1b4ecaaba","datavalue":{"value":"W2026788619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$A79D7E71-5E5D-4D94-8B07-E357B184D689","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5cfa4865dc4fa7ec139d716848d4a48c453e9780","datavalue":{"value":"Q59416325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$A7AAD3D0-3906-42C4-B54F-4B0AA61DAF4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5e9cf473b3b16efb4b16ddc513b4ae6258f6a1","datavalue":{"value":{"entity-type":"item","numeric-id":4547767,"id":"Q4547767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$4B7144B4-F28D-4078-8503-4366EE65DBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$1AAAF9FB-259D-4754-BFC7-9E68060EF150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$8519AC43-21A2-475A-B642-C715A44FE6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$7309D050-3A5D-408A-AC82-1233D3BA7B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$2559A960-3E6B-4B03-BB3E-4F65D37AAADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d60acd2371885d349952307da6978502740c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$0B0D9315-5EF0-4515-BAB8-061662041F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$063E3659-9FF1-4E28-8AF7-19A23E31ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9f3f386d53f9f923c0a9fd7d9cab5f07df0763","datavalue":{"value":{"entity-type":"item","numeric-id":3593080,"id":"Q3593080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$FCD8400B-51FF-4E6E-AE01-827385795F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6098764f0c09265c50b719a5c96a6bb70dfba1","datavalue":{"value":{"entity-type":"item","numeric-id":953532,"id":"Q953532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$715C5802-2FD0-41C0-ABD0-3FA7D06AEFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$72FBBC2D-43A6-4DB7-BF11-0275CF79A3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289195d055fc07e1f781db93cbc585cba472ef0e","datavalue":{"value":{"entity-type":"item","numeric-id":3172877,"id":"Q3172877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$BECD0844-87AA-4F4B-BD81-40245FE0E69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e625f666bcde7c93c8d1941da0c32e6b521acc","datavalue":{"value":{"entity-type":"item","numeric-id":444504,"id":"Q444504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444504$2FFA7C1F-5E9E-415C-9821-60901D1F17B5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1d4988afd911b3e73983a6ebc994df94b54ddf75","datavalue":{"value":"journals/jlp/SkrypnyukNP12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$500836BB-C73E-444B-8468-2D146ACFEA45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfe028507deb779e3c4e6e584c580b384605af06","datavalue":{"value":"10.1016/J.JLAP.2012.03.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444504$9B3CC2C4-8DE3-4C5F-B91A-7E265A150AC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457316d914ac916a1a9a3ee4a091be9c5a9f2de9","datavalue":{"value":{"entity-type":"item","numeric-id":3172877,"id":"Q3172877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6440a11dbea9c7f272d76d583c1e30a5e8ec689","datavalue":{"value":{"amount":"+0.7656593918800354","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":"Q444504$FAC423FA-A907-42A8-BD93-8375A4950E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae47f5bf9e7dcfa84434fcc32ca5f37b0902d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3176390,"id":"Q3176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f229b23cebe199c581cdf3147b7b9261ffc246","datavalue":{"value":{"amount":"+0.7492640018463135","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":"Q444504$69853D0B-20AC-4DEF-840E-021F00251768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb884e1e74db5df3cf025232ab92443b4c905928","datavalue":{"value":{"entity-type":"item","numeric-id":5312978,"id":"Q5312978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a6e9afb2ef77090b37e7f14d66176218b64e2b","datavalue":{"value":{"amount":"+0.7321063876152039","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":"Q444504$DDE1B2C9-555C-4194-92DC-5DC12A51DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d53d9f92071ebd5fb71a17a9a624a85b784bf11","datavalue":{"value":{"entity-type":"item","numeric-id":820124,"id":"Q820124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c32d109738fd456c016f2a7bbae56aa60649076","datavalue":{"value":{"amount":"+0.7320749163627625","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":"Q444504$7C2689D1-2D69-45F4-9207-369C5F6623B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35c20d747fd50d14252e9129a4cf0b14cd79d50","datavalue":{"value":{"amount":"+0.729117214679718","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":"Q444504$327C533D-029C-471F-9A51-7DEE91E91108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis of IMC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_of_IMC"}}}}}