{"entities":{"Q875513":{"pageid":877361,"ns":120,"title":"Item:Q875513","lastrevid":65039277,"modified":"2026-04-11T23:54:29Z","type":"item","id":"Q875513","labels":{"en":{"language":"en","value":"Conjunction on processes: Full abstraction via ready-tree semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142387"}},"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":"Q875513$DCF9DCF5-767D-414F-888D-40C0B7D719A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1555d46d34b7b59e536f4507e489636fe55f533","datavalue":{"value":{"text":"Conjunction on processes: Full abstraction via ready-tree semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875513$38DFCA09-3820-4A7F-91B5-E939BDD38A86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1160c432ff044b7baf4ee03a115959c0faed3098","datavalue":{"value":"1111.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$1950E2B2-A913-453C-985B-A7D5088E1A2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$5E43A43B-52B9-4620-BD37-5E2139C62303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$0C032479-7E02-4B9C-AF6E-099318836CC0","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":"Q875513$C2374661-2C06-4CB9-A7C3-E06B775F8DA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875513$0929BD80-47B5-4A7A-958E-21AC814A0194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$2CA91305-9982-4A4C-9F2E-D00729B6DB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$1DB558F1-8A5F-4AD5-8FF0-45E9C426E41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$9021EEC0-51F9-4147-829D-3D95C716EEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$284B330D-9A15-4AFE-9103-1B2BE0C7D6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$5717D1BF-FE3A-4824-84C1-0A026F6DE8B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2a105de208fd74086db2575d6a291c950fb4f68","datavalue":{"value":"5142387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$71BA84ED-125B-41B5-9DBC-D56E569BB821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$2900C05C-B44A-4D3A-B83A-BCFE06726BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$010CA4CA-6655-467D-9F6C-C9C32AA21EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0886fa26d40dd23afe0fc7ce76cd74380f43151d","datavalue":{"value":"consistency preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$406D61D2-D0D2-4B76-B489-5B28B3E7F47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22de03914f6215f318d445c2c9cffdca590a4990","datavalue":{"value":"ready-tree semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$40BB7BEA-AE8B-4E2B-A2B1-6A48622BBE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc5cfbeb4d2e412b73d9b94a5cdff1332a4c5c6","datavalue":{"value":"ready-tree preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$112329F4-4031-413C-AB6F-007DD805CC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q875513$82E2D3F8-2C44-47A5-B9F8-BA4C06E1C59D","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":"Q875513$2071879A-10CA-4C8E-9484-8392209BE566","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74414db04ed8ccf753d6a324108befb783709596","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.10.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q875513$146E01A9-140C-41F5-A3E7-BCD2699B5BD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f48d933e66089bcb6a41ef8704742db29a8f4e62","datavalue":{"value":"W1971435295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$0A272E97-6BA2-4133-BF6B-A93167CE4459","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$F1816823-16B3-4F2C-8503-5C6755E85D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a4be1253b6b169224bac5370100e321607f4de","datavalue":{"value":{"entity-type":"item","numeric-id":4472454,"id":"Q4472454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$2DF2AC30-CE57-402A-8739-91ADFCBCBCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e405bfa405be3da6a2f60b71f837f0c39de92ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$CEB2770B-BC76-4C11-B4D1-5432A562B41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$C751ACD9-7662-4985-A9D6-3CE8DAB8EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$4CA8FD34-A91D-4D9B-B151-D163F1486BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$9A8B151F-2E48-48AC-9362-CD784171B03F","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":"Q875513$EC456281-2758-4901-8AF5-3FCEC736084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$564E2B54-F93C-4DB2-B97D-723520FA06B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$AA635821-3861-417C-BF3E-667029E2F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$47B18A9F-6609-4A35-AE0B-840557CD41BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c370ca168d9157448adb43721d34d99c73f025de","datavalue":{"value":{"entity-type":"item","numeric-id":4323010,"id":"Q4323010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$E5782FAF-12E9-4393-B17F-3D33473DC3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86294c98630b181a5f8eb3c9fb0c21ddb5c467c7","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$27974186-CBE3-4625-AF16-44C886828743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$12486126-3809-4806-8D89-68071FA90013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43327463730127e117052006ebb84ecfb4e56ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4733383,"id":"Q4733383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$309133DC-4171-4A8C-95CA-A6222DB28F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66487668f68853a91db02532866b3d5fad761668","datavalue":{"value":{"entity-type":"item","numeric-id":3794154,"id":"Q3794154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$A46E0463-DAED-4CFE-9F5E-84B3678D1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177c6c31d20ced5b129ead20e44a4131493dde0c","datavalue":{"value":{"entity-type":"item","numeric-id":911261,"id":"Q911261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$A1FB6845-8319-4047-B109-2D8DF5200A25","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":"Q875513$BB91DEF9-2A4B-426E-ABBD-60734A391626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$24D621DB-736D-43A8-A06E-F9E6A05C6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$DA227B5E-18CF-4017-9E9E-E40A2482A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a005a09619e3a95c7a8fb372b338dab77bde28","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875513$3430F4EB-4A1F-4722-A286-1F1727AC6525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5a9c349b7a05aa1bbfd2c45d7eaac144e58d45","datavalue":{"value":"10.1016/J.TCS.2006.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875513$559706F1-48F1-4500-8566-2C565DDFA8F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651a460f44bdd53845742230ab6629567bd94e51","datavalue":{"value":{"entity-type":"item","numeric-id":5899093,"id":"Q5899093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9af2f59575ea38cc81e569f05da89b77cb997a","datavalue":{"value":{"amount":"+0.987644910812378","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":"Q875513$711578B2-BFDC-4AD0-81AD-684EAB20E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab78b295c94fa3d8a5a6a8c53207b675e6f40586","datavalue":{"value":{"entity-type":"item","numeric-id":5428856,"id":"Q5428856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a3fc782ee4e218af0b5863c8cd4136ba2ad589","datavalue":{"value":{"amount":"+0.7454470992088318","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":"Q875513$6C2A7CF7-EF12-428B-90A9-85629B0C446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6283ddf630bf23d8e155ce6a660c6a0c90eef617","datavalue":{"value":{"entity-type":"item","numeric-id":988555,"id":"Q988555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937c072aadc8c337c074942662f39a618cf96601","datavalue":{"value":{"amount":"+0.7384501695632935","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":"Q875513$EEE85039-E1CF-4364-BFD9-9476EF72718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e7ea2671269c7e2f28985b31e2b938e5aca171","datavalue":{"value":{"amount":"+0.7289243340492249","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":"Q875513$9DCEBBFA-38AD-4501-AA56-FDD4236BCD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf81a66182e12f05aee9189ac2d947404684dd35","datavalue":{"value":{"entity-type":"item","numeric-id":4963898,"id":"Q4963898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c1179e0a2ca51a106e72b991575104a7a44055","datavalue":{"value":{"amount":"+0.7266708016395569","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":"Q875513$3B6036C9-9B22-4A37-892D-E7C374BC5E8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjunction on processes: Full abstraction via ready-tree semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conjunction_on_processes:_Full_abstraction_via_ready-tree_semantics"}}}}}