{"entities":{"Q3612485":{"pageid":5642391,"ns":120,"title":"Item:Q3612485","lastrevid":80930279,"modified":"2026-05-06T17:19:40Z","type":"item","id":"Q3612485","labels":{"en":{"language":"en","value":"Impossibility Results for the Equational Theory of Timed CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527230"}},"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":"Q3612485$338103D6-2E37-4128-ABB4-A93B5E7E1E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b6a72480aa4874f4526ce55b3f79619c592d27","datavalue":{"value":{"text":"Impossibility Results for the Equational Theory of Timed CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612485$769FBEF6-E0ED-4D5F-9C70-800E12F5E4FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f901c55c4c25d950537d0ee7c3a33f6e430923d5","datavalue":{"value":"1214.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$F71B96E0-3F87-416D-AE63-0B37156279B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b23497bb885fb5dc6fa7b1f16ab6c0d7cd43bb02","datavalue":{"value":"10.1007/978-3-540-73859-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$E8712622-4E02-4662-B495-890D8A072BB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612485$A2803F8E-4651-42E5-96BD-A9057CD80582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3612485$0C3EDF7C-B6D2-4D79-99D3-B83EF7205C93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d98a7e9e93ef9742513f69fc71e01e8a097680b","datavalue":{"value":"https://research.tue.nl/nl/publications/86d2c351-515f-4271-b003-db2929736319","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612485$35E5B24C-2038-4DC5-A358-5AE754F33F88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$31D9B342-3AB6-4425-A77B-E15713FCD07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$7C101C7E-2F0C-4744-9B56-AEA4899DAE90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e1201a5fe9d7befec332c0d15ce6e4098f186b","datavalue":{"value":"5527230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$15E61D0A-690C-4E8A-89AD-B5C130B46AB9","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":"Q3612485$F4FAAFDA-E877-4FA5-80FF-E3F9E43736EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1fc1c8feeef89c63488a548159b00af9909d981","datavalue":{"value":"W1499259757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612485$A7414CC0-D62A-484C-9AE2-B23B098FC732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656ad9b1871e9e8bec1ce877072d34bb42f5e33f","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1ddd2b80459614bb0b793d4aa9a783bc93599c","datavalue":{"value":{"amount":"+0.7512071132659912","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":"Q3612485$7968B30C-8CB7-4604-85E0-16D0CB398002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b9a7c243e82203401614c0a0154a56932a6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1199544,"id":"Q1199544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1ddd2b80459614bb0b793d4aa9a783bc93599c","datavalue":{"value":{"amount":"+0.7512071132659912","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":"Q3612485$97975C08-470E-43BC-B56A-E369EEBE169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2b7f1dd683cf0897e94d4c702d109808290651","datavalue":{"value":{"entity-type":"item","numeric-id":5310634,"id":"Q5310634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5ae81257855ccb7bbb4e4326dd8d2b38630ad1","datavalue":{"value":{"amount":"+0.7491276264190674","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":"Q3612485$1131329A-681C-4E01-8BEE-20326A7A2D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d959f06bba255999863baf98d8fab4a687699f","datavalue":{"value":{"entity-type":"item","numeric-id":1182130,"id":"Q1182130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dc7d4a15086a52c3a1e57f30a3586f7220d4a2","datavalue":{"value":{"amount":"+0.7452719807624817","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":"Q3612485$8843F88C-17B3-4E32-9F1E-A5FC46E59FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f044fa9d194c4a693b2ba6fbe0ea5a90cd1555","datavalue":{"value":{"entity-type":"item","numeric-id":975471,"id":"Q975471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3adb93ecc455366baeefcbb72a63a9a54127ef59","datavalue":{"value":{"amount":"+0.7419976592063904","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":"Q3612485$C197CD99-F479-4E4F-BB25-813D319CCDA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Impossibility Results for the Equational Theory of Timed CCS","badges":[]}}}}}