{"entities":{"Q754631":{"pageid":756480,"ns":120,"title":"Item:Q754631","lastrevid":64086615,"modified":"2026-04-11T17:33:11Z","type":"item","id":"Q754631","labels":{"en":{"language":"en","value":"A note on the proof of a concurrent program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648092"}},"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":"Q754631$C5E07EC6-8201-40D7-B7BD-646D48C174CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"135588493d83492ace5e497c04278ed779716784","datavalue":{"value":{"text":"A note on the proof of a concurrent program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754631$318121B4-28A9-4C73-9E55-82DEABCCABD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47bc863a734d6b02d2c61f2cb43892e0366b500e","datavalue":{"value":"0416.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$9BCC5BC2-87D5-4653-AF53-98E2C237A299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981fc855701836142ebbaf327940a603f60b2695","datavalue":{"value":"10.1016/0020-0190(79)90047-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$83872A93-0973-4CC5-BF60-048C0C0E71A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754631$DF907EB0-B76C-4CCD-A21C-57B1ACF828E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q754631$A8A6854A-334C-4AF6-9711-7F89FC17166B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$A09E90D9-0826-4B6C-94E4-5B20C958751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$578E6736-42A2-4801-B608-44EDA58BC6D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72fa96c9a38e716e8b94eb960781d25c1b6d255d","datavalue":{"value":"3648092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$82A4C348-95F6-42F5-8181-333201673C0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q754631$729D2F8C-4B12-4CF0-995D-1B9684B1C46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q754631$9022ECFD-1594-4228-AF79-467E3D2B300D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754631$01D860BA-0DFD-4CD8-B6DE-D870D7B84995","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":"Q754631$A790E3FA-372C-4582-9C38-7B44C2A111CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fb209c004f6809b7d5d676f05cd82e6a5db851","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90047-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q754631$FE9A02AB-06B1-471B-B214-291AB66DF422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68a47d55ab625f9a8f4ddadcdfc16dc9ca5f1e03","datavalue":{"value":"W2005945927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754631$A72FAD2A-0B55-44FD-A232-78CA0F44564D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a308e30505dd380998190c7f81f45679fe7a55a5","datavalue":{"value":{"entity-type":"item","numeric-id":3292915,"id":"Q3292915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754631$3A1AA2CB-3F05-4C90-A6CF-15F908430B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9002c6ee03c89bc48bc9e3b89404864edba99f","datavalue":{"value":{"entity-type":"item","numeric-id":1250433,"id":"Q1250433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754631$91BB61CA-0826-4791-844F-FC41D0D5D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699684fe91b2fa5fca851f4fab48f6fea1875a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1254857,"id":"Q1254857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754631$26B9D1DC-6849-47BF-A05C-C5A76A0EABC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the proof of a concurrent program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_proof_of_a_concurrent_program"}}}}}