{"entities":{"Q5505595":{"pageid":7535155,"ns":120,"title":"Item:Q5505595","lastrevid":50550809,"modified":"2026-01-14T09:09:04Z","type":"item","id":"Q5505595","labels":{"en":{"language":"en","value":"Symbolic Reachability for Process Algebras with Recursive Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498382"}},"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":"Q5505595$DD2B2171-3D45-4536-81BB-4CF12AB42EF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa9af83d790e9d21aec35be633282c0ed4ea011e","datavalue":{"value":{"text":"Symbolic Reachability for Process Algebras with Recursive Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505595$DAE1BB86-4EE1-4D41-9B2F-9958776D2479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f5480c6103290725c2e32efd02be85d5d883a40","datavalue":{"value":"1161.68613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$635D06A1-502A-4EAD-B3B8-BD944CA37AC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42cb981c8dadadd5d227447874ca083c5ca884fd","datavalue":{"value":"10.1007/978-3-540-85762-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$0BB5DE60-4165-4717-B5DE-D716C74AF807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$6C4B20B2-F8DE-4F6E-9454-6C3494BEC898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$61ECB06D-55DD-4395-9337-B6145320E363","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$E35DB07E-7878-49C7-83D1-A2EDF71E1CC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505595$A818DBE7-84A7-4A50-889C-0194FA5022DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9491c10a24f32c3d15dfc8423aa6070f6b39d9d","datavalue":{"value":"https://research.utwente.nl/en/publications/symbolic-reachability-for-process-algebras-with-recursive-data-types(aeb54cdd-d5b2-48b3-83cf-4a7222749107).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505595$93C246B7-1043-4255-A990-00F78EF0F4EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$217CD1B5-B91B-4BEE-8589-C5E311FA0AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73dff196f7606900bb16ba8172a47c8e7f5f5271","datavalue":{"value":"5498382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$46621C97-1971-4A5F-93BE-BB7311BBC098","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0eb827beb799631efcb825960c29340d8168f1f3","datavalue":{"value":"Q62047487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$DDF8AE4A-705D-4324-A44D-1F2C39C73653","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$CF0F1ACC-D9DA-4E2F-8C56-979081637F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$6CC46EE2-6C12-44DD-8B18-2D699CAA9E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$AF7902D2-8BB0-4BF1-9364-CE2EA8E9FFA7","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":"Q5505595$4D740919-0B3E-424D-8680-360C15D53EAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e05c9c4560605394cadbfce540346a97c3676b7f","datavalue":{"value":"W1670747209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$59592F85-34D2-4DAF-A987-50D95F332D12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$043D4034-39A2-450D-9FC8-C4728212DBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c896b4044b299c66680bcf8adebfbdfb1fea310d","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$9446F7D6-EBFD-4A6B-9540-1541585FE050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20953d26dde65336304c7d8a395e93c4519644e0","datavalue":{"value":{"entity-type":"item","numeric-id":4813205,"id":"Q4813205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$E36D6107-011E-4552-AABC-A03266D1149D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$9EFDD8D1-1859-45D8-A008-BFC267E1B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$F00AB71F-A792-4A3F-878A-5186531405EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58696d54cab57db8bedcaf16585e21c96e4b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2576590,"id":"Q2576590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$2A6B27FE-A4E4-4A09-A148-58E8B779DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04697761a22cbbace17a88ed40b60684b02448d","datavalue":{"value":{"entity-type":"item","numeric-id":2866323,"id":"Q2866323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$C66D8903-D0CD-41ED-936C-A024E0439F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bbdac97caa8ce9a35974b581a891bd0d2e8404","datavalue":{"value":{"entity-type":"item","numeric-id":1856183,"id":"Q1856183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$FC4E0D6E-1413-4B14-B672-75B0112147D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe249d565fa8976723a05916e803d825e9d382c3","datavalue":{"value":{"entity-type":"item","numeric-id":864512,"id":"Q864512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505595$9008E46A-0F6E-47F2-B01D-10BDC1566B35","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9448eab192d813e3db0405de3e51e30a60b4cd7f","datavalue":{"value":"conf/ictac/BlomP08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505595$A91506A7-CEEE-410C-93C5-A27F75FD027D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457316d914ac916a1a9a3ee4a091be9c5a9f2de9","datavalue":{"value":{"entity-type":"item","numeric-id":3172877,"id":"Q3172877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c96d941fb29ea6a2b33e448cefdde495017a4","datavalue":{"value":{"amount":"+0.7737211585044861","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":"Q5505595$C8B90DFA-4C51-4741-9490-3D4085E70169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d97876a3b2a643d80b9cad5eff11f339e89f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":2842001,"id":"Q2842001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e68caea57786516f9398f02ae288e08d4588324","datavalue":{"value":{"amount":"+0.7604100108146667","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":"Q5505595$C72544F5-F43F-44A7-85E1-5D09B7F8F8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f38d179b84e88851f5fe5f5e98bb319ebc93d1","datavalue":{"value":{"entity-type":"item","numeric-id":2760244,"id":"Q2760244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead6039a841f8e9da3ad1aca2e9876149f65ff68","datavalue":{"value":{"amount":"+0.7594025731086731","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":"Q5505595$D649035C-FDCB-4FE9-8492-544EF8A8E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f615e0d133cff56d37948cf13c14fec214d4eaf3","datavalue":{"value":{"amount":"+0.7340705990791321","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":"Q5505595$7EE05BB2-890D-446F-B349-74D23BDFF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446cfb5ece5cf4999e45d42785b5ab65763b70d","datavalue":{"value":{"entity-type":"item","numeric-id":5465847,"id":"Q5465847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1796a9304b2294a125c81466a2098270e69e18a","datavalue":{"value":{"amount":"+0.7336683869361877","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":"Q5505595$CC51AF14-135A-4FBA-9D7B-1BD5E7B24DF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505595"}}}}}