{"entities":{"Q1350504":{"pageid":1361243,"ns":120,"title":"Item:Q1350504","lastrevid":67664148,"modified":"2026-04-12T19:13:16Z","type":"item","id":"Q1350504","labels":{"en":{"language":"en","value":"On the operational semantics of nondeterminism and divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984042"}},"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":"Q1350504$41609652-D641-4812-8524-BDD14B08EE5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"babe277dcc50a872d366a15210438f4d43242f52","datavalue":{"value":{"text":"On the operational semantics of nondeterminism and divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350504$9F64500C-51D6-4A25-A558-6487A403FA41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917c9312f06d08dc1257bd92ca77c4bc79545409","datavalue":{"value":"0871.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350504$F4D5899A-D762-43FB-AEAC-FD05AA3E49F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f152976b4daed47fa886a85fecf7806a073d5f56","datavalue":{"value":"10.1016/0304-3975(95)00166-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350504$3A8364C3-E16D-4124-B513-29E77AD5F728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e6a0353a5a7b0d82ef9ca7c50f143590a03fea","datavalue":{"value":{"entity-type":"item","numeric-id":1349019,"id":"Q1349019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$F9972BEC-AE3A-4C04-A1A5-9D92A22ED6AA","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":"Q1350504$EC4002F5-A629-400A-9E86-95109BE435D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350504$8E1D5511-4484-4EB7-805F-529949847077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77fa1feac01814a8e25db48ce8ae5b6f21503d2","datavalue":{"value":"https://nrc-publications.canada.ca/eng/view/accepted/?id=956a76ec-3741-453f-aaf0-49146ebc0966","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350504$88BB6A01-46AE-4819-A59B-68941293A611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350504$A6BED2E3-EFDF-4D77-9643-4FC8CA3862EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932e83d28215963ff6a17ad9095a57276b91cd37","datavalue":{"value":"984042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350504$F179F3A9-0530-4162-A056-800A8C2E7CA2","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":"Q1350504$26959B7B-1526-429D-9506-D6BDB373BACF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"553dd814818a4fde6792cb9bca4d0a50bdc2a359","datavalue":{"value":"W2028257344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350504$1D244528-A09B-4A13-8DB2-5EE873CC7F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$8207A65D-85EE-4A3F-9219-D45B9BBEF04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$5A2189E1-25DC-48FF-A1FE-B8D4DC615AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$0C224130-A6AF-4451-8554-0FB4E1955292","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":"Q1350504$A1DCD9E8-CD24-4903-BBC8-852FD98CF806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$D8349007-5A56-46E2-BC5D-D140563A842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$76298943-FAFE-4CD1-B34B-FA3A72404C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$EA4985EB-ACB8-484D-A600-5BF593012B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e6006731b72d6e5b89c6e8aff14f50b9c45e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4721641,"id":"Q4721641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$6E8FA79A-CF5C-4366-9CF2-F1CFC7DB5822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2b44b60586c1690d2325975d3904a56bbd41e8","datavalue":{"value":{"entity-type":"item","numeric-id":1177152,"id":"Q1177152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$18E03B44-C26C-42AA-8A41-1075610DB741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$1993DA6F-370C-484B-9AAA-95B818F3FAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$B6B74E4D-F63F-41E5-86D0-A1A9D74D3320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$0CEE56CF-2547-462C-B92E-857D55C69150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$4BD0D46D-3D3A-4769-87E2-C3B950B5DBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$38D79D8A-4851-498F-8D7D-47AA9FF1E4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$2E7D530B-C2EA-4D5C-9283-2BA0E9CB9912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3767f159e590433061833f579e59e4c5a397569","datavalue":{"value":{"entity-type":"item","numeric-id":3713571,"id":"Q3713571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$2BA3F259-D5AC-4B1E-9172-E1EC99A375A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$95D94C7A-B7CF-471B-947F-C8A9736CC859","rank":"normal"},{"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":"Q1350504$DD8C7FCA-EF64-4464-BD4D-42F7BD71ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ea6ae70a04b528383fca9cbf3b2ee6f0c2d31a","datavalue":{"value":{"entity-type":"item","numeric-id":5511418,"id":"Q5511418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$CB7D2C84-6BF2-4050-8964-55F6A49FA4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$7D898165-AA26-428E-A132-4E7DC9DD06D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c270fdd77426ff2327a9a0debd66a9c08950db","datavalue":{"value":{"entity-type":"item","numeric-id":4056011,"id":"Q4056011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350504$E2299274-7A22-4A4B-8942-E294A269734D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112b277a7725be0d9d7f768a039dc932ec525b62","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51ba3e514d690c4e383db212ab5860a4ba022c1","datavalue":{"value":{"amount":"+0.7344750761985779","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":"Q1350504$4D97E7CA-2DB0-43FE-A1FB-62F86DD4E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb61175823c80c8b9b506bfac4bf494a3d92ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3736899,"id":"Q3736899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcf9e53445415d0d18c074ff81d25bfc510c3df","datavalue":{"value":{"amount":"+0.734422504901886","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":"Q1350504$77107A60-3F20-4110-9A18-56E010730722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd568911a6f81dfa2e89d2d22b7fafd5f5c408d","datavalue":{"value":{"entity-type":"item","numeric-id":3731021,"id":"Q3731021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a04550dc70ead6a3530781f37c387d57e472457","datavalue":{"value":{"amount":"+0.7289302349090576","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":"Q1350504$C967FA95-954C-4522-86F6-A8099B35BA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49260e725f47eb03e84b3cd0cf748e18a840cc","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69e3d1c629bca9ef14120667be2381fd82279f6","datavalue":{"value":{"amount":"+0.7287298440933228","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":"Q1350504$CFB474AC-C1E9-4308-A3FF-6D6B3A666ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519390c447d906e8c8db35bf9c952ca560e2e3ac","datavalue":{"value":{"entity-type":"item","numeric-id":5887521,"id":"Q5887521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17644ab6d44bd6ea39499ce9ccbab0d76204f4f4","datavalue":{"value":{"amount":"+0.7273155450820923","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":"Q1350504$3FEBCD4D-4AC4-4F01-B6C0-6192D87D1326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the operational semantics of nondeterminism and divergence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_operational_semantics_of_nondeterminism_and_divergence"}}}}}