{"entities":{"Q1004288":{"pageid":1006136,"ns":120,"title":"Item:Q1004288","lastrevid":66531312,"modified":"2026-04-12T10:46:14Z","type":"item","id":"Q1004288","labels":{"en":{"language":"en","value":"Synthesising CCS bisimulation using graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522244"}},"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":"Q1004288$57C2D319-B4FA-4C17-A8D5-94634046F642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88507d38cdc4ca94e58ee9f9ead5448809a71352","datavalue":{"value":{"text":"Synthesising CCS bisimulation using graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004288$354A84BF-B22F-4D7E-823F-18B348169DDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daee9869d3e9a5613b6070169e65e58d40754087","datavalue":{"value":"1169.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$48B61E20-7F25-487E-9708-D7D45D1312E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$C9F6ECC0-C553-4287-8041-653C638A0822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$0F8ADBD0-04AC-4B5D-AF89-71A217981273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$4D8A02C2-C25D-423E-A3E2-D595BD293887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$0CBF20D0-D102-4BC5-A0E8-4444E263D7F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004288$B1E74EA8-FB75-44D6-91CE-B88CAC827EE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$9A78F498-1265-4ACA-8CB9-851FFEF22A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$7D04477A-15C2-4DB2-AF6A-DAD7498832DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37928b6b95030307fa8cfba7394a73b3d7b6e98e","datavalue":{"value":"5522244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$FDCC3BD2-83D7-4B7C-B5EF-0563F7BEF5E0","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":"Q1004288$029E0977-DE3A-40E3-99F9-C35123AD8AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4986773fd0d01e9cd9f8f5f3f70a5ffefd549cb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004288$C92F7AC4-0637-45F1-9B7C-2C2551ABA133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86382b1cd78e7f3a44a7c66a0af59bf1f16c8b94","datavalue":{"value":"W1976563762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$A7009371-F201-471D-B4FC-B6C3E5ECE33E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$1E072017-D76D-4366-95E5-71A022B06729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799df2ee05c6fe69c20e713a532541f9db256186","datavalue":{"value":{"entity-type":"item","numeric-id":3541957,"id":"Q3541957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$A6D62AF1-8F50-42CB-B0A1-12E6C29C438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$733833B6-9FC1-40D9-8A50-9486FA54F81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7c088214710b5d5a91a8bcc25ccbf173afb741","datavalue":{"value":{"entity-type":"item","numeric-id":3541958,"id":"Q3541958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$E5158AE9-2E37-4C46-9702-7D4373901271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c29e8e30f7f641dcea18e52950c29d5fb0766f","datavalue":{"value":{"entity-type":"item","numeric-id":5170667,"id":"Q5170667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$EEE7BD8A-B326-4646-B72D-038C0C5B11D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$C0464472-ADE8-4501-A6B9-535C2378B377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732dcb5bb241382165027c32cb539c5f4c07b29d","datavalue":{"value":{"entity-type":"item","numeric-id":1971974,"id":"Q1971974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$A690DEC5-C146-45D4-884B-5B29DC47BD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572d01df1bade3df9424cc96035cb0e941f84c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4890710,"id":"Q4890710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$FEFD852D-DE92-4033-B166-4648721506D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$075C921F-C7D5-4865-847C-AE9F6600B4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e681e8f5d34c7378667bf1834efb65547e6299e","datavalue":{"value":{"entity-type":"item","numeric-id":5292592,"id":"Q5292592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$0D2E04FE-EA10-4B37-AF06-D02CC5354770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f2bffc3ac1cf4bbbc7bfad8abe5d9371f2b980","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$20775342-2DC1-46A0-9220-CCD152F48D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975a1121a9f0cd8f29955976caae5f15af4068e9","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$8EDE4BC3-937E-4168-B87E-BBE1AF7EBE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$C53E0AE1-00F3-4202-9014-EB484E910555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a268bd9199ee3acc387e7178abb157c94d3dc7f","datavalue":{"value":{"entity-type":"item","numeric-id":5902355,"id":"Q5902355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$5BB25305-8BC6-4224-9EAA-6D263E9FF4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6ae51c59747c05bdf8caefc77cbb3de2b3eea","datavalue":{"value":{"entity-type":"item","numeric-id":3839056,"id":"Q3839056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$1542E2A8-4E0D-4064-B2CA-985AA5933031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0eb446c79e7123e34cc2804a78a66870cfb6430","datavalue":{"value":{"entity-type":"item","numeric-id":4499230,"id":"Q4499230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$2A86215B-4827-49A9-AA27-01E068BC8FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d76367c68091e65bc9f616653ebe51d2fbab220","datavalue":{"value":{"entity-type":"item","numeric-id":4917051,"id":"Q4917051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$1D12515E-C3C7-4BF3-A800-3F14741B0A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1c3f783a76e50f3f3933e13100cc4558ac3236","datavalue":{"value":{"entity-type":"item","numeric-id":5710425,"id":"Q5710425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$EEEBF2AD-4C26-433F-86E5-4F8655ACF3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5671f1001f6beb9daea3282f95facd15b77debbf","datavalue":{"value":{"entity-type":"item","numeric-id":3525650,"id":"Q3525650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$DBFEAC00-449A-4F54-9F11-A14CF447F506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bd840aa47f08fba46c2247463f7f9361081896","datavalue":{"value":{"entity-type":"item","numeric-id":2942911,"id":"Q2942911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$AF1B79FB-0B41-4B96-B90F-ADD78DCF2B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$321A4537-EBC0-43D4-AD63-559F34755C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$164D3FA3-F6CA-4B1E-825D-A74DFD64777C","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":"Q1004288$33738583-1325-4480-83A8-72DDEF444875","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":"Q1004288$5BE67579-B23A-432C-ADD9-65AAE9A6526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e90fecd00609f5f8629ffb9cadecf5395bbb65","datavalue":{"value":{"entity-type":"item","numeric-id":2490119,"id":"Q2490119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$1E9A1EFD-243D-450A-91E2-0874B21E6FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6350aed40f5bc5532a9f41ab562cf7bdc21651","datavalue":{"value":{"entity-type":"item","numeric-id":4457841,"id":"Q4457841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$7E091A6B-1BE5-4141-9A4C-171F78549C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd7a451b47e8f1a3592e5ad136aaeb22af8ce40","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$48AF17CA-C3A2-4321-B6E8-410A0FCB2014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa22b894615c9558226d014a95a1deff4421311","datavalue":{"value":{"entity-type":"item","numeric-id":3541038,"id":"Q3541038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$606CBFB0-D94D-4E6A-97DB-C08275FB2DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004288$BDD948EB-31AB-4CC4-B033-FB44A1686789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6220a47316e0adb6e72181d8e56d054b680ba755","datavalue":{"value":"10.1016/J.IC.2008.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004288$D3EB0256-7795-47CF-B640-9195DCEA5AB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b653a3cb70839802e8026da40fc9bb1f0ede957","datavalue":{"value":{"entity-type":"item","numeric-id":3541958,"id":"Q3541958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6154ebd08b6fd86792cc31e8d1444e2f97edce9","datavalue":{"value":{"amount":"+0.947195529937744","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":"Q1004288$070B0A3B-9F91-4CCE-96E8-E4954D18FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6301fcb6adf162a3dd50190e35740cbbb8c5eb27","datavalue":{"value":{"entity-type":"item","numeric-id":5170667,"id":"Q5170667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8384467e1fc93e1d7d05465ccf935872c6eab12","datavalue":{"value":{"amount":"+0.8506487011909485","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":"Q1004288$F344CA0F-A3CC-406C-82EF-342DA10C65A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c78773f5f3aa3a61e98861391ad9824609540f","datavalue":{"value":{"entity-type":"item","numeric-id":5740373,"id":"Q5740373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e808691d3cb448b186b99c87853b8debbd0a5981","datavalue":{"value":{"amount":"+0.7728866934776306","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":"Q1004288$69EE6FFF-7909-4DC8-8801-1181C9A5729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4284d788b27628bc2602eeff6ce6e6653c7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5898154,"id":"Q5898154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033c0f13f58295c9a682b558026cc2be653705e4","datavalue":{"value":{"amount":"+0.7494969964027405","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":"Q1004288$64D6345C-B776-4D6A-834E-7AB7248E7AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0341ee3a32f9970d1752f1f4e69970009f412419","datavalue":{"value":{"entity-type":"item","numeric-id":4621159,"id":"Q4621159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70b4dbf8adea0700c79f4d6b12a8965ccc97a7a","datavalue":{"value":{"amount":"+0.7302080392837524","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":"Q1004288$A8646B7F-4AFF-4745-ACDF-EDFE7E4D25A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesising CCS bisimulation using graph rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesising_CCS_bisimulation_using_graph_rewriting"}}}}}