{"entities":{"Q2286742":{"pageid":2297485,"ns":120,"title":"Item:Q2286742","lastrevid":53641166,"modified":"2026-01-25T11:49:40Z","type":"item","id":"Q2286742","labels":{"en":{"language":"en","value":"Towards `up to context' reasoning about higher-order processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7155401"}},"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":"Q2286742$B759BE06-EA54-4FBE-8AB0-BD33A5DA281A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e4248465caa554a236bf173368ad4371f31452b","datavalue":{"value":{"text":"Towards `up to context' reasoning about higher-order processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2286742$2CA52A06-A0C0-4870-82E9-36767FCFAD93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48dbf49b2de94b7fbad325daa9d0d1e6faffedd7","datavalue":{"value":"1436.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$3F425930-C573-4294-8790-7EE9AFAACFF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7ec7d89540478f904b64984c929fbc760a1e11","datavalue":{"value":{"entity-type":"item","numeric-id":2123049,"id":"Q2123049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$61FECAF4-80C3-4723-B7AF-608FF4AF859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$EC2DBE4C-0AC7-49DF-9766-72CADC437953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$45E6C347-457A-4065-BC3D-3DECAD8F572D","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":"Q2286742$49A4AD60-0A94-4A78-8805-A552D09149E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2286742$C25F9A9B-10CD-4AB3-919F-6A382DDD118B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$9D1862F0-70F2-487D-8832-86CD2224ECC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb2f1db6812427463432ae9298187d2a13cb888e","datavalue":{"value":"7155401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$9B123182-8C14-4412-8E22-06303B14C0E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286742$E551FA3D-175B-4F9E-B4F0-31CC9ED87BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db6a19f2903a5532f065d656abc8f97a58dc5a2","datavalue":{"value":"unique solution of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286742$B4B9FF0A-B2C2-46EA-BB6C-C0DE01F23C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286742$31F75B33-4C6B-4FC0-9170-07A3B72A2771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286742$247F4D83-7AF7-4043-A986-0D4F6C1E568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5999a65c25a86de00d6f5bcd662c59f4d3f56ba","datavalue":{"value":"higher-order processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286742$A00B9EC1-FEB9-4084-ADC1-6BEEB58A14BE","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":"Q2286742$3AF387F6-0E50-4F30-91C8-B11F4ED9A28D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a2d24d741aafc3a32f6adaf03b12e83597f1481","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.09.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286742$F7860CC1-0EE1-43C9-9411-2339000059F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4d15664c8771e64ccb4397aeee1d96d95a62f8a","datavalue":{"value":"W2885703688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$FA282F36-6A14-4BB3-B298-FE91EEAAEB8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$A16E1E78-4762-4956-8F56-9709FA71CDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8edc9bfd71f35114b90f1c4265286d65f6053","datavalue":{"value":{"entity-type":"item","numeric-id":5376646,"id":"Q5376646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$D5B2D34F-5F8E-43C4-8B32-56DF7BBF2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edf2fd4ff29a00b42d2a7298fedc819880a2094","datavalue":{"value":{"entity-type":"item","numeric-id":5228882,"id":"Q5228882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$EA688C71-8B95-41C0-B34D-1376F144F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$25EAA16F-AE03-4225-AB04-D03546063836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$074E5772-11B3-425D-B385-3CA11969E2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$FFDBC33C-B636-4CD6-A432-F97C2A9D4071","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":"Q2286742$D26708E3-5E3E-4F1D-844B-863905FFF8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$3F3134F3-49FE-4CCA-AAC9-2C8366027966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea12ec7d52109ed57372df5f84c7dfc064ca90b","datavalue":{"value":{"entity-type":"item","numeric-id":3190111,"id":"Q3190111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$DCBA7C0C-63E9-4544-9AB8-67DDA33C75F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$04771313-08FB-4714-846E-6D92E4450EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d311170a4fec2677546bef79914d3b773377a420","datavalue":{"value":{"entity-type":"item","numeric-id":5285988,"id":"Q5285988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$CE3E7358-E90E-4544-BF47-6E33BFAF8B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$F63CA73E-CF37-4F1A-9613-920A372AFA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$5680F625-AC21-4CB8-9132-DB3B7F28687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f62b3b29af52f15a349568ffee2fa94b3dd458","datavalue":{"value":{"entity-type":"item","numeric-id":2819828,"id":"Q2819828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$D4C8D4F4-AA78-41C4-AEF6-61F6FAB88C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286742$E6AD6408-A6E7-4DDB-8C0D-8DF25A9C54B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a2179d6c3e0f588aea32518bb7005461389cf4f","datavalue":{"value":"Q127201286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$A8BBD42C-42ED-49F4-8A93-0D1DD51AFC56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5c9ceee91d3a86444ad3415c833c38873fcb68","datavalue":{"value":"10.1016/J.TCS.2019.09.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286742$A7628DA5-4295-4739-B287-2454A799C82A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f42e7838d2a090150c26a588bc7e7673c6fe88b","datavalue":{"value":{"entity-type":"item","numeric-id":5958778,"id":"Q5958778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053b85babb04177db97fb6cab3179b5c7d5d201a","datavalue":{"value":{"amount":"+0.8288198113441467","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":"Q2286742$5E6529F7-B817-4157-8D85-6922F598C7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b876fae375ee27c63ef2abf38b474365c60f5f5e","datavalue":{"value":{"amount":"+0.8266280293464661","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":"Q2286742$6DA9725F-EA8D-46D4-B6FB-4A77793723F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c435853a0d126487f4a90ae7df530ece00b80596","datavalue":{"value":{"entity-type":"item","numeric-id":456466,"id":"Q456466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f73a258b9abf44ac00522f512af6f7eb77da18","datavalue":{"value":{"amount":"+0.8101778030395508","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":"Q2286742$6649C0F3-7607-4F7E-9A54-E2632FADAA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58181224beb85eaaf7ce7ff5492583d72ef62530","datavalue":{"value":{"amount":"+0.7992175221443176","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":"Q2286742$82D3F0BB-4A9A-4CA1-83CD-7CB4E958FE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67277824eba89623eb3da23027561d231901e070","datavalue":{"value":{"amount":"+0.7943953275680542","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":"Q2286742$23931A80-DF11-4D23-A6CE-B05DAF992050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2286742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2286742"}}}}}