{"entities":{"Q1167527":{"pageid":1178276,"ns":120,"title":"Item:Q1167527","lastrevid":66421947,"modified":"2026-04-12T09:57:46Z","type":"item","id":"Q1167527","labels":{"en":{"language":"en","value":"A methodology for programming with concurrency: An informal presentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3772910"}},"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":"Q1167527$A0E10047-A10C-4564-B2EC-CA971FF6FF7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60eb69c66f262328e0f2004cbb56c576bbd9dc87","datavalue":{"value":{"text":"A methodology for programming with concurrency: An informal presentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167527$4FDD37A7-356D-4C80-9197-1DCE8FD4D5A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39fcbead63338714024d1e6b7296d77a06e6ee37","datavalue":{"value":"0491.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$7CA02BD7-FEE4-43E8-9AB8-514936DA9B73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed9515a61d0cd074d470df8756172f5ce51a9b52","datavalue":{"value":"10.1016/0167-6423(82)90002-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$2EC5D51F-A0BF-4270-A94C-73AEBC0B5106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb70dca4df364772ba1a8a49fd3075ccc08e3e3a","datavalue":{"value":{"entity-type":"item","numeric-id":582034,"id":"Q582034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167527$DF48FFD3-F661-4877-AF97-54E14F283E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797df0a473afbed23917f097577319b472ccc881","datavalue":{"value":{"entity-type":"item","numeric-id":640291,"id":"Q640291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167527$4CD5115E-1632-49C9-BC61-69668427D2F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167527$1D94B1BE-44F0-4E36-8EFA-5A2F7E803D3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1167527$AF0D944C-8361-4871-8877-3BE7BEEA845B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$5EEF17BB-D792-475A-B926-95DE0CDB92C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$FAC095EC-4118-4E3C-8275-53647F72E9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852008ff3ce78498970cd7751de945e258f9083c","datavalue":{"value":"3772910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$DE78E306-5E6A-4A6C-8F27-D11BA9AA3160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3faf292e740a06b6804efee0d51063b54182cc69","datavalue":{"value":"correct program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$6B1EA614-4C13-4219-B63C-BDB986E33720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0a2740f7b18dd0969560d2d6c57a1e175621f1","datavalue":{"value":"semantic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$143381EC-D320-4F4E-84E8-83C06B9855E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$96EAAC12-0A0A-47D1-A5B5-5C4DEB866011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a96562d20b6d18a822a0190f022d3b56deced21","datavalue":{"value":"primitives for synchronization or mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$4D3688CB-17F7-4423-B88D-9E46403DAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e118877cb6721a3d4c6a2b4e9298008ad4e8576","datavalue":{"value":"proofs of parallel correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$58F46881-80C1-4339-989D-840E587709C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035e13f6b02a79015335b0978cbf5adacf0421dc","datavalue":{"value":"freedom from deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$169B2C39-CB04-405C-9BAE-16A7FCD80183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31936d24885062d566f4f810268a09ab0606e6b","datavalue":{"value":"starvation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167527$0F8ED701-E136-447B-82C8-723AADCB6AAB","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":"Q1167527$10BF17B6-BCB9-4B5A-B049-4B3281077677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e758d56ecdca955c8c3e94368ab4cb8444fb74a","datavalue":{"value":"https://doi.org/10.1016/0167-6423(82)90002-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167527$CF063E60-8FD3-4E06-81DD-6BF90C6C91E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59ded612dee0cbd39c2171e79add09013e0963c8","datavalue":{"value":"W1969429016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167527$F02B98B1-3914-42E8-9942-D29658F1CC86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology for programming with concurrency: An informal presentation","badges":[]}}}}}