{"entities":{"Q43930":{"pageid":43986,"ns":120,"title":"Item:Q43930","lastrevid":105428495,"modified":"2026-10-09T10:09:57Z","type":"item","id":"Q43930","labels":{"en":{"language":"en","value":"Program-Conflict-Analysis"}},"descriptions":{"en":{"language":"en","value":"AFP entry Program-Conflict-Analysis"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e6405e2ef62aff4c00e24174afc0514c467499de","datavalue":{"value":"32219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43930$B26274E9-3209-4507-A013-BC4B7D25110B","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"3aeefa7f0d8ec8a664baaa4d8d84195ef53cd464","datavalue":{"value":{"entity-type":"item","numeric-id":3522072,"id":"Q3522072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$518878BE-682F-45CA-BF3E-F79AA2D289C5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$6C31D539-DF22-45B2-A31F-CFF34399BA19","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"23d4c494a1ea100f2ad04225f02983e14d154aa2","datavalue":{"value":"https://www.isa-afp.org/entries/Program-Conflict-Analysis.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43930$E7E1F1A3-10D3-4578-953F-F67B9791B749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43930$A16231DD-A249-4E32-B940-990142D77C59","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$A913DE20-4CF8-447A-9259-A1DDEF08A8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$F27A10EF-C39D-4CEF-9BCE-0AC93D8D5C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$F209550A-3B64-4AB0-A01B-B1F419096D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$F71CB539-3ED1-4447-A714-1E367320B07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$5C2E36FB-71D8-493D-AEEC-4CAC369BD85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$DEA9B67F-8FCE-4193-B589-7303F881A997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$C59C03A0-1B85-4CA6-A48C-8B7CD248A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d10dd4c1e681284b989794c202c9ce3e607c552f","datavalue":{"value":{"entity-type":"item","numeric-id":40543,"id":"Q40543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$9B6B0453-5756-4CE6-839C-CD78687FC80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$4BA09F7C-D1C1-49C0-955F-1E32B154BFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$4F8EAA12-B3C5-49BE-A391-21F0044AFA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$0E0ED0F2-510F-4DBA-8065-C02798F52F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b44b4a0b6eed96cdc70d2d21fc12542b8ac5ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":53723,"id":"Q53723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$BEC69804-0497-488B-BD16-1B8CF91E871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb0918295880c75ce7e6107c7f8260e1eb005ccf","datavalue":{"value":{"entity-type":"item","numeric-id":40284,"id":"Q40284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$9064D9E1-5C02-4506-9BD0-4AF8772C2232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aedeaf0144ca38f7cb9a3b8f0e43e0ed5b0f0353","datavalue":{"value":{"entity-type":"item","numeric-id":40283,"id":"Q40283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$1AC7C634-432D-4501-8200-001181AF478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bfac5d1c4cf880c034d2e48d635f0290d93ae797","datavalue":{"value":{"entity-type":"item","numeric-id":5974534,"id":"Q5974534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$069814BB-6016-4D7A-AA22-4BBB2F09708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37c4bd9e3a1e8f671d27130134b89693886108a","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$6E5B51C1-E9BF-45ED-A8D3-337D19CA864C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$402DB145-D626-43F7-BAC5-592FD3C6FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a6b3afbae34fa8787f588fb396a49e46edb996f","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$B80E35E2-9A49-4859-A42B-F46AD6909976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf0907811d55462bac441aac2faf4731da29b6c1","datavalue":{"value":{"entity-type":"item","numeric-id":40307,"id":"Q40307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$39D9C922-55EC-4400-8458-E12E8B053C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1997006c9a6be2e9f2f1327a6900b63434f9dea1","datavalue":{"value":"https://isa-afp.org/entries/Program-Conflict-Analysis.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43930$A2CFA9A2-9535-420F-B105-9BD44D257828","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q43930$2C33A190-6F91-4DC6-BD32-80E918B10065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"eb081b607ffc4ea4085bec45026f2cb296a29134","datavalue":{"value":"Markus M\u00fcller-Olm","type":"string"},"datatype":"string"},"type":"statement","id":"Q43930$551897BF-0E2A-47F5-94C5-979E5C9B6BB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c2bf2035e66328d789f565a96e75b81498d5293","datavalue":{"value":"In this work we formally verify the soundness and precision of a static program analysis that detects conflicts (e. g. data races) in programs with procedures, thread creation and monitors with the Isabelle theorem prover. As common in static program analysis, our program model abstracts guarded branching by nondeterministic branching, but completely interprets the call-/return behavior of procedures, synchronization by monitors, and thread creation. The analysis is based on the observation that all conflicts already occur in a class of particularly restricted schedules. These restricted schedules are suited to constraint-system-based program analysis. The formalization is based upon a flowgraph-based program model with an operational semantics as reference point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43930$0E0FDD4D-9031-4999-BBE9-E402E9B77212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$1C40C1F3-6C76-49E2-A90C-1C9D2192950B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$C6652F9F-9510-4CC9-85BD-84CBF560F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$C13B0A59-7C95-4967-8E0A-B6C7828ED431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$7C23BC05-572F-4061-8D11-A6AD99134070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85e494dbd114e7fc613fe2fb4b3a0f92bf6245","datavalue":{"value":{"entity-type":"item","numeric-id":3525644,"id":"Q3525644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$293535CA-F317-4072-A4D4-2FC68E6B8B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5881a69b64a29febdbd33003c939b85963256322","datavalue":{"value":{"entity-type":"item","numeric-id":2762527,"id":"Q2762527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$F231154F-2D93-4876-A48B-BDD5AF691F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdd205986e6dccca71b0c50736abdc08318e362","datavalue":{"value":{"entity-type":"item","numeric-id":1884938,"id":"Q1884938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$DBD5FBEB-2F94-4BE0-B75A-FCC564869667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f0ab0a8c783338fb4ce65d97b7e35d81579254","datavalue":{"value":{"entity-type":"item","numeric-id":5176023,"id":"Q5176023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$A90B404F-91F0-4553-B875-34BB3F77ACE2","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":"Q43930$60693480-06DA-479B-BDD1-CD125840D26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401e5596bb83d08c64b9b2703f78c873736313e4","datavalue":{"value":{"entity-type":"item","numeric-id":2712587,"id":"Q2712587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$06C1933A-EC17-4143-960E-59870250A315","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae1dad72a2794d066ebdd561ca36b0481c57e68a","datavalue":{"value":{"time":"+2007-12-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":"Q43930$BF7BE6FD-A46C-46B9-860F-2152B7331928","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd73ff4e9f08b2626765a3bf7f0ad1f06d3f5400","datavalue":{"value":{"text":"Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43930$B6226E1A-79D3-4C40-90AD-4391629453A2","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$12C40747-1C90-46CA-871D-6827322B3529","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"b721b89857a714d14089f2631e7d6953fb3d481c","datavalue":{"value":{"entity-type":"item","numeric-id":7360799,"id":"Q7360799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43930$9ECE0FE1-9A39-4083-8839-88B23C457B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program-Conflict-Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program-Conflict-Analysis"}}}}}