{"entities":{"Q5429310":{"pageid":7458884,"ns":120,"title":"Item:Q5429310","lastrevid":41894607,"modified":"2025-05-09T12:27:46Z","type":"item","id":"Q5429310","labels":{"en":{"language":"en","value":"Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216200"}},"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":"Q5429310$A24BC947-AF95-4260-9A43-8937DB7D8EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"082688619589caa50fa0f2496bf2050f4d914d5d","datavalue":{"value":{"text":"Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429310$EF7C3B8D-0BF9-496E-A2C0-7B7333F24C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a32d92e25bb234c6ef8ffbb7fede021175190c","datavalue":{"value":"1137.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$E6604BB9-C9FB-4BE1-8A6B-9245AC44B92A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f44add1f46db90e96c0aa44c78fff09b4baf574","datavalue":{"value":"10.1007/11589976_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$F8327198-D18B-441A-B363-35A15A4BD496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$2B7DB204-C0BD-4522-BD48-FAF1D43DFAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c402d90092af3e44feaa471873e15a0d506fbc85","datavalue":{"value":{"entity-type":"item","numeric-id":820123,"id":"Q820123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$C35EB8A0-175B-4F04-8BAE-2454CE53A296","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$F0AC3F84-E40B-4038-BC41-B50465835146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429310$E2E71094-0F65-4AEA-98E4-6E5CF053B6FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e6775634f0b61ebb9495d562908481910ddd33","datavalue":{"value":"https://hal.inria.fr/inria-00070342/file/RR-5666.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429310$74332F1C-D5CF-4870-9D3F-136D7BD4C9A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$C42137E7-2902-44F9-A53E-5372591AE43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$F026B11A-712F-4535-AD77-E8C6D873C541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15a6bae75bed8fe52e4fdea07d110765f8c6db4e","datavalue":{"value":"5216200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$ED99ABF8-B871-46B9-8F41-303DD46D9054","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7e1b3cbbc3b11cf2298f5d4620944a2a363c05e","datavalue":{"value":{"entity-type":"item","numeric-id":15065,"id":"Q15065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$4A9B7B54-1791-4C9F-9D46-01E9403F8A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$2A4A6ACE-B396-4AD7-ADEB-7CF5813F83BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9e252ddaa626a5f04c5ddacbe934d521bbb129b","datavalue":{"value":{"entity-type":"item","numeric-id":15104,"id":"Q15104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429310$632C45BC-C169-44FD-A528-32EE08C1821C","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":"Q5429310$998F3FC5-6069-44F6-8361-8688DFC496E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7057674f399359b878d538dcc04af3f0920f2f8d","datavalue":{"value":"W1503158842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429310$07EDCDAF-3722-46AC-844D-78ED037E398C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7283f75a188123978ae33f2bfabb51d3b276af9","datavalue":{"value":{"entity-type":"item","numeric-id":1001805,"id":"Q1001805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c431282750e715f0600f5b9521540565e12bb273","datavalue":{"value":{"amount":"+0.854375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$76FC1480-AED3-4F4B-919B-BEF5F593E15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0eab4e3c54b2a7ad5e7f072773feff44da1078","datavalue":{"value":{"entity-type":"item","numeric-id":5709379,"id":"Q5709379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43459ce6254dc6a2877d0fa2216fd95f86994927","datavalue":{"value":{"amount":"+0.8307941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$403B671D-B685-4FC4-9D57-08CA525D9DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a427f4b6c81ec58501ae8119017d0c10cc7be097","datavalue":{"value":{"amount":"+0.8284496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$95A0047F-B470-4367-880C-D27536B34CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b2e02e79084d144e35b596a0ad0d29ba1e45c2","datavalue":{"value":{"entity-type":"item","numeric-id":3642523,"id":"Q3642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9478152677ebd47e32f16d5a5ce75ff5c759d6e9","datavalue":{"value":{"amount":"+0.82838905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$85AB7D22-19FA-43FC-865F-162BD5AEE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1466e296f2e957ad768ee2f0950ab11c2873d87d","datavalue":{"value":{"entity-type":"item","numeric-id":6045427,"id":"Q6045427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec06238c3bb2743eea4150fa2b5a543fbecc37b4","datavalue":{"value":{"amount":"+0.8256507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$21F7A7E2-C7BB-4313-86C2-692ED6960897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901c195413165a6bb458d8da674fa3a556aaa19f","datavalue":{"value":{"entity-type":"item","numeric-id":2871829,"id":"Q2871829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce04bd2b9cd7ff5e91fc93c1d50cdd807896a8c4","datavalue":{"value":{"amount":"+0.82557815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$D771546F-8087-4019-B769-ECFF69D472DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231db5b164415b22a95d061e8b6a60e2cbb1ca93","datavalue":{"value":{"entity-type":"item","numeric-id":2842868,"id":"Q2842868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543609c6b58627eef52a68ae4b27ec95b7cd5da4","datavalue":{"value":{"amount":"+0.82383126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$02AA9D1B-D9AF-4807-AB64-F0312905C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962df6dbb14c6ebb12a35d10d2828e698a87d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7fcdc36433b232bdd44a33fb03a15938c4f518","datavalue":{"value":{"amount":"+0.8230326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429310$4DBF5564-F27A-4395-9042-9759080AFE3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429310"}}}}}