{"entities":{"Q914399":{"pageid":916247,"ns":120,"title":"Item:Q914399","lastrevid":49384255,"modified":"2026-01-07T01:52:15Z","type":"item","id":"Q914399","labels":{"en":{"language":"en","value":"An operational semantics of occam"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4149586"}},"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":"Q914399$8DE57914-0FEA-4ED1-849A-21EBC8779D1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"969c78ca6683c1cd779a4aef257b7dcdf03254ac","datavalue":{"value":{"text":"An operational semantics of occam","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914399$6551E548-E2DE-4246-8D69-7A50FE1EE2C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89b4e7abaefcf84de6f20a0d8f3a056e38de04ef","datavalue":{"value":"0701.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$6E1ECB04-0524-415B-99C3-C5BD2EE4A85E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4a1014ef6e6f6a4f26f95cbe4ed6b1396d196d","datavalue":{"value":"10.1007/BF01379186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$F2CE472A-92CA-4C01-B626-4710077D0166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d2d57b6870537e68192af8c3d8ab1af2f360794","datavalue":{"value":{"entity-type":"item","numeric-id":914398,"id":"Q914398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$86F48D32-DB15-42EF-BC06-F10B83FC9C75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$9370AF15-46C3-4605-BA3A-639F44237193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q914399$7E43B6A4-A87A-41D2-A5E7-6ECA26C33B70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$79B9FF55-6AE7-4F31-9453-C32AE20E57D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$2CEBB1A4-FF46-44AC-A51D-92C813EEC3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$60F8CD8A-54FE-4E29-906F-CDFBFB5A55FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f3094d6fd30036e37592f2a1b2aa40479853512","datavalue":{"value":"4149586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914399$D051B040-8122-4D5E-8148-D2931BF63D72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q914399$BED3EF95-A45A-4369-BE9B-F6CDF7276A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906870a1877aa4e12ce1c215dd9a2b51f1c08a97","datavalue":{"value":"refusal and acceptance sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q914399$B3CDAE5D-9122-4E74-9BBE-9DA84619901A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba3546296ea3fcdf2cca5a76075e6743a6ab86a","datavalue":{"value":"syntax directed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q914399$CE96EEB5-6CF3-49F0-A3B2-881EF13C47F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91b883af2d15784e10822fe65218c345d1ae0c4","datavalue":{"value":"priority alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q914399$B4AA40FC-02DF-48D8-8E0D-A81D096AB797","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":"Q914399$82E12AB8-A9D3-4A1F-9D4A-5C45996DFF2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$648DFD3E-B92B-48A6-BF63-BD90798C5B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1aa4578e8410a1ce8610e5daaba122563b22e4","datavalue":{"value":{"entity-type":"item","numeric-id":4743724,"id":"Q4743724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$2A8E5055-A1D4-4276-B133-B9A4B2A0280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$886F496F-6894-4EEA-BE5E-D6147337C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$3EDDFC61-6D9B-4385-9AA5-F9BFD421C9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df320826ebfec6482ffa848c070a7d2963212cb","datavalue":{"value":{"entity-type":"item","numeric-id":1346713,"id":"Q1346713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$C38B3FA6-AE64-436E-99C9-66BD83E23B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a0b30fcfbf66ed216e5240290803033a09cedd","datavalue":{"value":{"entity-type":"item","numeric-id":3343420,"id":"Q3343420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914399$159CA388-924A-45C4-B06A-72E8F59098A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330a1c24f4259a70a9aba61862e0bcdd46a4cd75","datavalue":{"value":{"entity-type":"item","numeric-id":5887515,"id":"Q5887515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb8873ad51e915765521bad4e2ebfa77d9897f7","datavalue":{"value":{"amount":"+0.876416802406311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914399$2ADDDC67-0876-4E57-B12D-DCADAC9BD059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7d4b669b11aa55c1a6323bd393c288d1d3598","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae295cf4b3bbb49bcae41d7aed2bf83bacf3716","datavalue":{"value":{"amount":"+0.8493856191635132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914399$9C1AAD60-1525-4C96-9C22-4A4EB6EE316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1385c3a1671973491d8ace4c359563907bccc3af","datavalue":{"value":{"amount":"+0.7833848595619202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914399$50D2118B-E6C1-40D3-9882-771E12A0B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21baee9b5cafab58ece7dc694eb2e286cd8a0ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4225172,"id":"Q4225172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94f64432802e9584b362d13556d0ad7c60b622e","datavalue":{"value":{"amount":"+0.770399808883667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914399$080C8590-818E-43F7-B7FB-BDABE8EF1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d27ba690c0e8dd0aeb27aff1de4308921faba7","datavalue":{"value":{"amount":"+0.7677987813949585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914399$D81AAA0B-B106-4679-AB13-5ACB819196C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:914399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:914399"}}}}}