{"entities":{"Q5015357":{"pageid":7044934,"ns":120,"title":"Item:Q5015357","lastrevid":58391685,"modified":"2026-04-05T00:37:08Z","type":"item","id":"Q5015357","labels":{"en":{"language":"en","value":"Higher-order processes with parameterization over names and processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440179"}},"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":"Q5015357$249CFD08-CC89-4D9A-9AD7-8FE480FD91E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e021b3a835b3f40a5026f24accf4c1578a8fec5","datavalue":{"value":"1478.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015357$9837DF30-EE58-4D75-9BF1-E935E4076FA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3403fe8086f1192e2b737c84b23ff146f94b11","datavalue":{"value":{"entity-type":"item","numeric-id":366386,"id":"Q366386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$0B854D2A-179C-4FFE-9827-E38E7DD79F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015357$4E78EDDA-6AF2-4552-8BFB-A7A4D49617F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ff5f01915aec7499dcd0981898c7a91000c8aed","datavalue":{"value":"https://arxiv.org/abs/1608.03126","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015357$495B42DB-D9A8-455C-A49B-1F94455554D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"70c448e23aa49684a979af8fa9e1927686ccf871","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2016.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015357$93F9D9C3-BCB0-427E-AABE-4198B45B636B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015357$75D4608E-0298-4E05-8158-C23074A97479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee808a39f6c640f1543079f7647fc73995611e97","datavalue":{"value":"7440179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015357$6F942154-80F2-40CA-926C-265C6286D922","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4c226b9f3f61a30a7c90113ab41b47e074388f","datavalue":{"value":"parameterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015357$76344B33-9B76-4C06-B955-8C19050A1AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd846c3cc5f597f4cfa0d9e2ada13ead2d26e71","datavalue":{"value":"context bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015357$32433937-01D9-4D60-8937-55956D5AF1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5999a65c25a86de00d6f5bcd662c59f4d3f56ba","datavalue":{"value":"higher-order processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015357$A6462F0D-FCAA-452A-B836-F7E7EDEC73F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"405ee825f9b1e8909501a434cd21f2d5d56643b2","datavalue":{"value":"first-order processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015357$8BDB45BC-5AED-4169-BBC6-80BB3F7A8319","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":"Q5015357$9F923FF2-BBE1-484A-97BC-79F0063F7991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e92b2b51d1282dd713e5d1a6b7c651f33020df","datavalue":{"value":{"entity-type":"item","numeric-id":5357707,"id":"Q5357707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$B6C9E90E-3C12-43D1-83F1-A500B1CB862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada6c58c7a3f2ad7371062a6e28e49d1c7955299","datavalue":{"value":{"entity-type":"item","numeric-id":2491640,"id":"Q2491640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$623BCF9C-7FE9-456D-BAA6-F2597F7E0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4382dcb6f19f8b1edbe5ebd4a3e17998b0a7aa44","datavalue":{"value":{"entity-type":"item","numeric-id":557789,"id":"Q557789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$412FC573-F4A4-4AE9-8637-91E05AF520A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e9fbc6a1ab00423fa4af5093f0c63c12d0a12","datavalue":{"value":{"entity-type":"item","numeric-id":896903,"id":"Q896903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$72687B8C-5A69-48E5-A160-5FF2420C3EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$2AC278FC-376D-4465-A5D0-F1F324E20E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989e82502008453c865c7b5149258a6a364276ac","datavalue":{"value":{"entity-type":"item","numeric-id":3541040,"id":"Q3541040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$19D783E2-83E4-4E9C-8787-5CADA5E58014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d3a7d2a7f0ed9bde004babd371441cd6c284a","datavalue":{"value":{"entity-type":"item","numeric-id":5741573,"id":"Q5741573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$6A237D06-D014-41BE-8615-07BA8CD59960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85796c7b68c4363fef75674f72078e7403434a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2805161,"id":"Q2805161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$BAB574A5-C1AE-49CD-B42D-B641FB3E6277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc73a5ed5834f01668e6909986200759cdf63d3f","datavalue":{"value":{"entity-type":"item","numeric-id":2802492,"id":"Q2802492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$250879FE-C039-49D8-BFD2-EDD41FEA6886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b0419d0dbee8b9c8ceb7603c6ae48cec56c6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3587459,"id":"Q3587459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$02519A6A-7731-4F90-A9FA-2F8368DFFA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043679d090fab0c3b3941ed4b712a0f744468173","datavalue":{"value":{"entity-type":"item","numeric-id":3617734,"id":"Q3617734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$3882EC76-2698-4265-9407-2AE98300246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec24a306d6c11f2ab6b4b1d3ffd88c7bd3792f","datavalue":{"value":{"entity-type":"item","numeric-id":651309,"id":"Q651309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$B3A341A2-465C-4410-9A1E-97D331FCFCC8","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":"Q5015357$F7B7A465-4878-4B6E-8084-C71EC9FA6410","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":"Q5015357$466F8CAB-983F-4691-AA50-607C17192A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891378a0408b05480504c5f2a6ef39f382689180","datavalue":{"value":{"entity-type":"item","numeric-id":5741574,"id":"Q5741574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$F48432D7-86E7-4A14-B4FA-B4162AA87C96","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":"Q5015357$2340EDC2-146E-4588-9A24-D29EA30AF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$033B6CD3-60C6-4E87-824D-0B7342C24C28","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":"Q5015357$154763DC-D25F-42CE-BCA8-9582CD56A874","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":"Q5015357$FF55587A-C2B7-4005-9861-A6D307E9C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31b65a083bf7f09411f874aa76ee4ab19e1f727","datavalue":{"value":{"entity-type":"item","numeric-id":1935453,"id":"Q1935453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$7AE56FF0-3E5D-4191-A4EF-428DEDD84874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc2eab9cc504a3119afb0a5d8e328f688919785","datavalue":{"value":{"entity-type":"item","numeric-id":4994121,"id":"Q4994121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$AA551B4F-0D85-43EF-8F33-0B199DE0590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d069ca74a106e5417ca4ea88407cdd292ee7ab85","datavalue":{"value":{"entity-type":"item","numeric-id":5216156,"id":"Q5216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015357$424DC9AA-5650-4BDA-BA36-EBDA9952B004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18c1b933a2e88841baa7188041c9c10f6edaf2c","datavalue":{"value":{"entity-type":"item","numeric-id":5108373,"id":"Q5108373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eace92faca52995ec9ed994d99f3cb15e24a2e0","datavalue":{"value":{"amount":"+0.97437983751297","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":"Q5015357$3C1AB3AD-7E84-47D5-BE6F-0DA8B165B6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3be76d43a1f785e66b5497b0a8dbe5ee5b5935","datavalue":{"value":{"entity-type":"item","numeric-id":4976336,"id":"Q4976336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffe4d22d38bfdbc04e52d44c59766e6e83f1dd8","datavalue":{"value":{"amount":"+0.9288287162780762","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":"Q5015357$8A82B46D-9BAA-4DD4-BC13-28147EE3018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1efe1e1e1cec792bce2c2daa07ad6c8952555a","datavalue":{"value":{"entity-type":"item","numeric-id":5216156,"id":"Q5216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71839527c2bd397cdc863e506d6767d24fc2707","datavalue":{"value":{"amount":"+0.9148846864700316","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":"Q5015357$9E1014F2-BEA9-4BC3-8EBB-07546D2809AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6886ee118ddaa2befeee9417c4027aedfc2fa8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4994121,"id":"Q4994121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d80233ea89ce7523ff6934bb2b319cfa442606a","datavalue":{"value":{"amount":"+0.8524988889694214","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":"Q5015357$7069FD36-F09E-4135-AEE9-5F9B9B1B24C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c228c6e7ea5e34faeb0ffdbfcc001ea5d6b18869","datavalue":{"value":{"entity-type":"item","numeric-id":2026374,"id":"Q2026374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64893fc127b7fe60434b8ff0c8269673eed55eea","datavalue":{"value":{"amount":"+0.8379311561584473","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":"Q5015357$9055E7F4-CD11-46ED-9D38-4F1A6679D53A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015357"}}}}}