{"entities":{"Q1285660":{"pageid":1296410,"ns":120,"title":"Item:Q1285660","lastrevid":70583985,"modified":"2026-04-13T15:35:16Z","type":"item","id":"Q1285660","labels":{"en":{"language":"en","value":"Non-interleaving semantics for mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281129"}},"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":"Q1285660$71396BE1-18F6-464F-8783-592D141C4DCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dd8228cd93aff0fcd65133bbc9d45bb70119dc7","datavalue":{"value":{"text":"Non-interleaving semantics for mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285660$915342B7-A365-4619-BEA6-6FE9357A0133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51eb314874442c3749600cb067c6efeb619bbdc","datavalue":{"value":"0914.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285660$31B3A0B7-DF42-4FBE-A0C5-D5C3160366E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c94e26d29e143291aa751b4a5d03fbebb2f81568","datavalue":{"value":"10.1016/S0304-3975(99)80003-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285660$0519BD98-2BB8-4E74-8BB5-63D91107F10A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$06C01343-F233-4431-9DDD-718122281880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8cc20251caa9024b82592803a89bf37c2a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":1044844,"id":"Q1044844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$D8A7B01F-5204-4F7E-8A7F-E0A76510F100","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":"Q1285660$4A1422AC-E916-44C4-9ED3-8D51748D57D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285660$14AD6B1F-F871-462A-A582-CC6EDD5D28E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285660$3E7C170D-871F-4468-B3DD-FE3B25ED965B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d2743f628073166bd90478d821b9f637286976e","datavalue":{"value":"1281129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285660$F33AEA5B-E953-430E-8D37-3BEDD118066F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2846404e39f2305ac3f3d41c6401cdcdb0d83c64","datavalue":{"value":"mobile computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285660$7D1EBFDC-5222-4F7C-80CE-D41C9B9F7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285660$1E45F133-798E-473B-BF21-D95E7A16BE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285660$6261FE3B-BECB-48F3-84F7-467533C91B9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$CCA2DEA6-7C94-46F4-B07C-6EFBC7F6EED4","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":"Q1285660$60BCE57F-FF67-4329-A3EE-614028FACAAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45364b23cfb476d0c6ddd41c177fb9453a90bfb0","datavalue":{"value":{"entity-type":"item","numeric-id":4818860,"id":"Q4818860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$66BA444B-A779-4AF1-AAA0-0135735299FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$35EC7B4F-7B82-4997-9414-538C0CE30655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$67E589BE-2D8C-42BE-BEAB-917811457CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$CF67D497-169F-4618-AB00-FFFE4A7A297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$C80B58B9-0502-4874-8ABA-98BBB3FEE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$407F2F84-7DE1-4831-ABB2-75F28F4B904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e083e732af78b724da42f4cc617f1b06ac2c42c","datavalue":{"value":{"entity-type":"item","numeric-id":5204353,"id":"Q5204353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$D1505377-BB19-4180-A051-A34BC9A92F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$36B6FD81-B11E-40FA-8571-1972B9281A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db95b5bb0cb81f961aac507b872151e1a12fb75","datavalue":{"value":{"entity-type":"item","numeric-id":5096391,"id":"Q5096391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$A42BB4BF-81E7-45C8-BDD9-32538689742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c9182edfb2df25135ab0276d49e9a668c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1342503,"id":"Q1342503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$80FEF24F-38FE-4611-A11F-F7462CC811D6","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":"Q1285660$C24F1EE2-CAFE-4FE7-99D0-036D9544A057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc511ea0e64c1b7fb20a80d054f299abb7532827","datavalue":{"value":{"entity-type":"item","numeric-id":4260379,"id":"Q4260379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$8CDFD28A-D5F4-4403-9D86-3CE412958B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$613C5FCF-8B1B-4441-99C7-33ECCCBDFAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$3B730731-1C63-4A0D-A917-28345678F79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$A8DE225F-353E-4286-9740-F257FD03752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d312b45ad6afce0c0207a5812d0708d5bf1adc","datavalue":{"value":{"entity-type":"item","numeric-id":5096915,"id":"Q5096915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$DBD51A02-4045-477F-B3A1-E495FA4A0D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$BFE324FC-FB90-4CE0-B20C-3E08662C7899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b765b1710393bb28a6bbe6965bb707b247f24e","datavalue":{"value":{"entity-type":"item","numeric-id":672123,"id":"Q672123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$8B80DC79-4614-4325-A23B-D816423EA327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$8E4F155E-FF4B-40A3-9818-9F5B16FE9AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285660$AC677772-7084-456F-A3FB-55ECDB667038","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c57a76b39ad3e161a41635744491f1496f21c62","datavalue":{"value":{"entity-type":"item","numeric-id":4645219,"id":"Q4645219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f96d9b598b3284fe53c0b461d248d83c8b7181d","datavalue":{"value":{"amount":"+0.9100698828697203","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":"Q1285660$FC320462-5143-401A-82CA-FD932F706A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8116d3f802174ebe95e067d19d4890eaea9d67c6","datavalue":{"value":{"entity-type":"item","numeric-id":4596625,"id":"Q4596625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8608f7c693be9c41bca07b63e0cdea0cacd5fe41","datavalue":{"value":{"amount":"+0.8896861672401428","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":"Q1285660$C2C6FD88-750A-4073-B587-33894333A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef43e9393288b3700fdff725683b45973718815e","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e578f486ebed63d0dbd71661122d0d99163733ba","datavalue":{"value":{"amount":"+0.8765478730201721","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":"Q1285660$27D6087D-2C9D-47F1-8A08-27CA14F5A350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af21b648fa7781763b609d9f518efcb232342e44","datavalue":{"value":{"entity-type":"item","numeric-id":672123,"id":"Q672123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899501a6824da8e6c20a5c6ecdac5932e82f5bc5","datavalue":{"value":{"amount":"+0.8274343609809875","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":"Q1285660$00719228-25DD-42DB-BB49-B105B9A23DE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-interleaving semantics for mobile processes","badges":[]}}}}}