{"entities":{"Q2908855":{"pageid":2919580,"ns":120,"title":"Item:Q2908855","lastrevid":85039277,"modified":"2026-06-03T05:39:20Z","type":"item","id":"Q2908855","labels":{"en":{"language":"en","value":"Fast equivalence-checking for normed context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073537"}},"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":"Q2908855$117B555E-344D-4588-8FD6-D9EDBA3FE5D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0f3da1db82a4a68e155a71905d2fe34ae6914fc","datavalue":{"value":"1245.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$A798A701-7D4B-4FF0-90E1-C66C2E9F5E67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908855$52E692F9-CD0B-4155-8E66-DAA3F6F65A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908855$DF2E31BF-B9E4-4FD1-BE63-901C52253311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908855$3A72BB38-62AA-4D4A-A032-60189537EBA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52dc7bd847a25c5db66cee673ab47b945fdd77db","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_755d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908855$BB940467-2726-41DE-93FB-6288286570C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$E8290E18-A439-4AF6-86BD-0E911A6F61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$892C1D01-F4DC-4755-B046-107C27F19CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$993BF8D4-36E6-4379-A325-14B770E6FB2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c3e2212e12795ccc7492d6735c5d03e8adcb50d","datavalue":{"value":"6073537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$5AD74DF6-8625-4C6E-A386-90F152E70541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908855$F13CE3FC-170D-4EEF-B013-7E49517D8A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5067d4acd56954b4952d475524874708ef5ed2","datavalue":{"value":"norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908855$B8809180-E17E-4275-B6D7-C0DE5B656BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908855$9547EC3F-E4E9-4468-A7D4-6E59BE4CC087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4258a81dff63e53b8f55a172b924be3b008fbdb","datavalue":{"value":"simple grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908855$1F0A9687-85D9-47E1-B522-B6F606B18B2D","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":"Q2908855$AC65F40C-CAA3-4754-B995-0825A1940EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"872e492807d5612d6563bf6c2656fbb6ce925289","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908855$3E72698E-BD9C-43BF-83B6-6B8C2A6B8465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0980e9fda84c25ce10d7f71833274c39fca117ba","datavalue":{"value":{"text":"Fast equivalence-checking for normed context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908855$9D6F334A-F3ED-435D-988F-04E9FF072852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0848cb635adf454acdbab14374ce7b761fafd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5756723,"id":"Q5756723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afad70f8cb97365ba33c42565005d649e7db6cb","datavalue":{"value":{"amount":"+0.9226229786872864","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":"Q2908855$314FFDFB-7F7E-426F-92E6-EB08BFBED182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8846abf14a40e28aa43e63051c89da0a454e9775","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a35aae4b662d975c89b3888b24fbec210b83aa9","datavalue":{"value":{"amount":"+0.8992664217948914","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":"Q2908855$18B3E0BA-509C-456C-8BF4-BBB8CBD71241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a35aae4b662d975c89b3888b24fbec210b83aa9","datavalue":{"value":{"amount":"+0.8992664217948914","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":"Q2908855$7338C15F-AA53-4805-BF29-CB03BC4199DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65400faf6c2a683bc47dc12b6ff72b1ec4ddd880","datavalue":{"value":{"amount":"+0.8807207942008972","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":"Q2908855$DD516ECF-9E70-4B11-8154-3C5625080B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fc763dea8dfc392bf18363fc4fd231839b153a","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1db569f053fadcf2272abc2e063056231df4f8","datavalue":{"value":{"amount":"+0.876768171787262","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":"Q2908855$605EE3B6-BD0C-4788-9F59-EB5974735331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast equivalence-checking for normed context-free processes","badges":[]}}}}}