{"entities":{"Q1167528":{"pageid":1178277,"ns":120,"title":"Item:Q1167528","lastrevid":66421956,"modified":"2026-04-12T09:57:46Z","type":"item","id":"Q1167528","labels":{"en":{"language":"en","value":"A methodology for programming with concurrency: The formalism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3772911"}},"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":"Q1167528$B4A6DBF1-1D19-4B00-B624-C2BE2548B15B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8c1724c42ee9214095c47bb39556fcb6c07e1bb","datavalue":{"value":{"text":"A methodology for programming with concurrency: The formalism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167528$6397BB58-B238-4107-999B-8C584A8C389B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e19bca92e7991a5ffbd0a47adc52a83bde1b562","datavalue":{"value":"0491.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$8E0062B9-575D-4096-95FD-AC821F69EBB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b7252a76e2446b4b0ca74c46a01da7040f1af8d","datavalue":{"value":"10.1016/0167-6423(82)90003-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$B1640B1F-CFFB-48E9-8834-E68FE328AE2B","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":"Q1167528$F3410C98-7B54-4AE6-ADD3-CFA036EEFCB3","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":"Q1167528$FB1FC31D-66D3-4C6D-A598-5BB6BA9D3ABD","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":"Q1167528$E2F8FF39-72C8-406E-9DD9-B989E6D3B005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$5BB7B5F0-C8B3-4EBE-8BC9-7C903CA75564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$03D84F02-D5DB-4802-9CA7-515B3B616196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$7A55BC7E-7BBC-496F-AF06-491256EEB9B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dada5c542b9df8ef39304421267f38292128d5cd","datavalue":{"value":"3772911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167528$7AF47977-69C3-428A-BFDA-805AD551989F","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":"Q1167528$5EB2AA71-27EA-43D3-AAF9-3C7E55C0A261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology for programming with concurrency: The formalism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodology_for_programming_with_concurrency:_The_formalism"}}}}}