{"entities":{"Q1050768":{"pageid":1052616,"ns":120,"title":"Item:Q1050768","lastrevid":69717840,"modified":"2026-04-13T08:55:17Z","type":"item","id":"Q1050768","labels":{"en":{"language":"en","value":"A more complete model of communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3810903"}},"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":"Q1050768$46451814-B63A-436D-A442-DD68BC1DA310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab2428743d08b19bcbc6523dd0947123e01af2e6","datavalue":{"value":{"text":"A more complete model of communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1050768$790FB628-A7F5-4170-B516-3A138CC09AFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"849195814f2e21b0ba2f1e3096f6c04c98823746","datavalue":{"value":"0513.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$729D46C3-10E7-4722-AC9D-1F9052FDE9E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1504775d319c5b188376cf332613bda98b06c2d8","datavalue":{"value":"10.1016/0304-3975(83)90081-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$2BED0DA9-3C05-458D-A26B-DF6EE1C0FBDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c2d4777f2744b402998b7945adfbeb22c23961","datavalue":{"value":{"entity-type":"item","numeric-id":1026046,"id":"Q1026046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050768$23A06A9A-3DE5-4FDA-83C5-522B61E170F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050768$113BAB39-0430-4661-8968-F49A551B8CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1050768$76C0DDC6-18B2-4B5D-84AC-9D387F6E0C8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$49D1F4B3-E437-4CB7-B4CD-A8A19CFCD807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$8FEA1BA9-9E81-4FA4-A081-77F99052E1A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11a7fd89bbdae07121e6d64b95567d912eebd34","datavalue":{"value":"3810903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$F879116D-8767-4423-8D0D-B61875D8F381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664530abf9cf14755bab0d7c66ca6a123ed8b179","datavalue":{"value":"calculus of total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050768$4C30AE53-8F36-47B8-A67A-65EB6A14E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b372100788f2f7988d67083edc1543133552ef24","datavalue":{"value":"predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050768$14EE8340-041A-4CB7-BAF2-57019596259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050768$3E759693-1CF3-4E4C-899E-E87155EB2294","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":"Q1050768$36D09956-E64E-4D21-8835-0B65779B26F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99765dabf77c550fa34931489c3552f6c74dd035","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90081-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1050768$6A8DE3C7-6F2D-4DA4-AD8A-0D60221EC61E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bedba9de0353285d68ab5dfd1ec9af1702cc7f8c","datavalue":{"value":"W2152279394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050768$DD8EDA29-F240-4B1F-8A4E-C95380771797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050768$FF9A8E5E-61AE-4881-BFF5-D7C33001944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050768$12F19E8C-B72C-4C18-B40B-53710BCEA788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050768$02A1D174-A7D9-4E45-B528-073F73E3102D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A more complete model of communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_more_complete_model_of_communicating_processes"}}}}}