{"entities":{"Q3545273":{"pageid":5575177,"ns":120,"title":"Item:Q3545273","lastrevid":50520263,"modified":"2026-01-14T06:50:51Z","type":"item","id":"Q3545273","labels":{"en":{"language":"en","value":"A ground-complete axiomatisation of finite-state processes in a generic process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5380202"}},"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":"Q3545273$0BCDFC91-9103-4355-A274-F330C8FA0E2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e8bfd82ba2286801857d15d5df0a34bad0bf9fd","datavalue":{"value":{"text":"A ground-complete axiomatisation of finite-state processes in a generic process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3545273$0F6AB02B-C788-477A-8954-E8FC4871B4BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"224b9f9c77171a266b6da6f48c77a55043d09f58","datavalue":{"value":"1158.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545273$67E40FA2-6B69-414D-9B7A-01D23ACC195E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e19e55c90f6f81116926f6b02001acd3e611000","datavalue":{"value":"10.1017/S0960129508007111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545273$650D2515-E52A-480A-87A9-ABA3E407C827","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$E5234A50-1AD6-4C8B-A486-B718E704F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$A2E1C8C2-B95E-4FF6-AA0E-41229486AFE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$0D5D154C-874E-4B06-BFBA-732FF01FAE90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7e8730d4188cf8a4cd5a62da8eab7f6fdd55e8c","datavalue":{"value":{"time":"+2008-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3545273$58E416BC-44A9-4125-BE2C-D45A7A6A3AFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545273$CAA5D2C1-FEF2-42FA-8EEA-825486D01DE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"315c128d3a7aaacce521802afe3688a3c19595dd","datavalue":{"value":"5380202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545273$A1D3A1BD-4036-4BFA-AB92-5C681B1145DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545273$3D4A6D69-9750-4D2B-AC5A-821EE6B074A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545273$D724589B-9E9C-4E3F-96C4-DB463BFBCBBE","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":"Q3545273$1960788E-CED6-4843-A043-B7640D0F19B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$D3C8E99D-28DD-4073-AC56-9E84B9E3C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11766e883960d92535d1d9b46805e276b43fac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1391789,"id":"Q1391789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$C349A615-9917-4437-AE50-FAEE55C04CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$E1B37602-BF87-4BF0-A094-8800091D8111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$078FAE15-5E50-47DB-8C2E-B96108421380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$F8C4C2F7-D783-410C-8EC3-7BD43AADB01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7379bc145e3652e188eac60872bc83d6603d501b","datavalue":{"value":{"entity-type":"item","numeric-id":5738963,"id":"Q5738963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$1E693EB9-BAFA-4761-90D1-88155B36575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767badc21ae6235cfc7e3acad62900894139de46","datavalue":{"value":{"entity-type":"item","numeric-id":5262952,"id":"Q5262952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$AA2A6B85-1C2B-4EE9-87D6-CEC874B23D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284956ad0e926f50140e70cdf061530dbb054fba","datavalue":{"value":{"entity-type":"item","numeric-id":1391792,"id":"Q1391792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$1F9086AD-AD42-4B0A-8E52-72007D221778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7441cb24e46cc1ba89b9823401220dd782aef12b","datavalue":{"value":{"entity-type":"item","numeric-id":4461215,"id":"Q4461215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$2A20E5DB-1243-4BFB-8E3C-E67D020EABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$746D724A-4AB7-4AFB-8CA0-8234022290B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545273$BE897854-8FAB-42B5-8F6A-2C132336CD32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2805bdac591879a451e588f8fdf1ad9f227dce07","datavalue":{"value":"https://doi.org/10.1017/s0960129508007111","type":"string"},"datatype":"url"},"type":"statement","id":"Q3545273$B979C9D7-46DE-4717-A2D5-4C79A440E599","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db7e04bfa7ce25b40468d081dd34fbdc73c6edce","datavalue":{"value":"W2134200739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545273$74DD0869-BEF6-4B93-816A-6B1598D43499","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e449589744384fcd9bdad300997fb82f084e970","datavalue":{"value":{"entity-type":"item","numeric-id":5897487,"id":"Q5897487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8d2ce7cc76010aa4dfd822f0cd7d0c0e050bd6","datavalue":{"value":{"amount":"+0.9181233048439026","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":"Q3545273$C261A28E-904A-418F-97BF-2BDBF8DB90A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961f521f3c733fd3886f4213655cbb7cf79828e8","datavalue":{"value":{"entity-type":"item","numeric-id":5262952,"id":"Q5262952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184a1dea34e06edbb5bd946be13b8f07be17df49","datavalue":{"value":{"amount":"+0.8993583917617798","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":"Q3545273$6CAD2DC7-C5A0-4418-B116-6A3F52DF00BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48190235d8db691a5ddaf9c7b810915141ade9b3","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c38228864987769887e3e3b8d867e7239f31160","datavalue":{"value":{"amount":"+0.7400371432304382","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":"Q3545273$39652009-68F2-4997-AFCB-CC1F9302626E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e32d32a39f64502db2d0ed8b533d9c558a2ed03","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26da708fc6620de7263d0521deade9f00afcd4f","datavalue":{"value":{"amount":"+0.7372353076934814","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":"Q3545273$97FDF57F-A1A9-46EE-BA08-A19CB9A948CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fe7b35717e634f58941003b86a53f047375f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305361,"id":"Q4305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f117d1d86a72cb220316ca2dca4fbd6c93ecaeb","datavalue":{"value":{"amount":"+0.7363271117210388","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":"Q3545273$8C2780AC-C7B5-4B63-86D2-D65A38C841BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3545273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3545273"}}}}}