{"entities":{"Q820124":{"pageid":821972,"ns":120,"title":"Item:Q820124","lastrevid":49813630,"modified":"2026-01-10T23:55:39Z","type":"item","id":"Q820124","labels":{"en":{"language":"en","value":"State space reduction for process algebra specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017459"}},"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":"Q820124$B37FFFD8-78B8-4B90-81CB-3AE4B6B63DD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a4510362c88166dd2d82b05dddad3b221a1e523","datavalue":{"value":{"text":"State space reduction for process algebra specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820124$A7F61F31-6A15-4F5C-83A1-AF8603CF1A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628bf02d9dd7383abad220f80f17950144ab0734","datavalue":{"value":"1086.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$9508477A-984E-454B-A47B-242AAB71C9DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$D21D65FB-1F05-4958-BD38-90874E5195A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c402d90092af3e44feaa471873e15a0d506fbc85","datavalue":{"value":{"entity-type":"item","numeric-id":820123,"id":"Q820123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$5B349A8F-7909-4D31-9CD4-D39EE4947729","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":"Q820124$F9100711-10B3-4277-9BA8-BD6C3240342E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820124$0E2ACBE1-AA35-4CBE-BC8F-007D27870D12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$051F3217-CA6B-4FB1-8E2E-A42C64645850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$9A9FB431-DADB-405A-BCCA-F722AA13CD52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20e7f10e8709f70b202a98199acae4878e94a491","datavalue":{"value":"5017459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$1D24D387-A828-4408-8018-4289FA8B38C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8485bc03597e007fbe73da87eac41781e70f3ef","datavalue":{"value":"CADP","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$EFE35B49-E25A-47E5-9CA6-33C64A6F913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b27072f99a2f5972ad5af40e4b1b5d5724f19441","datavalue":{"value":"C\u00c6SAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$397C0A99-DB54-4AE0-82C8-69DAFFAA1EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$164F98E2-62CD-45C1-AB7F-8DC212A633B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de4932bfd6c39a209d6b6c0873900210095e11","datavalue":{"value":"data-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$02243FE0-0636-460D-BD97-3F412EFBC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$8CC863F9-636B-4791-91FF-2D8036219206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$178EE1D1-1D41-4205-B75C-42C1AA32EA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$230086FA-331F-47B1-A1C6-52956532EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$53CC4879-5748-4BD4-A615-411456A48B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q820124$9EF4E75F-8F13-4FB4-9C8E-EC1891DAC170","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$F255CA2D-97B2-41C1-9A40-8D498D36D45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$C141E8DA-B56C-43C1-9EBC-40E6336EAD83","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":"Q820124$8E511AB4-9B32-4EE3-BF75-F45B042D91A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fed34640ddfb41b96aa57a7981d2f4560f3ed0b1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.09.064","type":"string"},"datatype":"url"},"type":"statement","id":"Q820124$9B9B2093-39B7-425F-BF43-7F090A9523A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"087508faf0c57b32efca20c65461d4efcb4367d6","datavalue":{"value":"W1982254742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$5B0805D7-8DC8-44BA-902D-AD34B87BBB1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"695131cfdebe51c4f1556afa56ce05445da845da","datavalue":{"value":{"entity-type":"item","numeric-id":4494380,"id":"Q4494380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$ACC71A68-9556-4D54-929C-173AF896EF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162f1eef1bc664d35c2b10fe46b455cdc345a9df","datavalue":{"value":{"entity-type":"item","numeric-id":4942016,"id":"Q4942016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$FD0F917A-85DE-45B8-BF43-2FB3F327FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3daff3d9b8cd96d86b12c97d07f68314098a3749","datavalue":{"value":{"entity-type":"item","numeric-id":1398676,"id":"Q1398676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$CA5DEE86-E1AC-4BBA-B1C3-FE5DC0E7F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51905a07788200bb1575ec1579b5b4300f952c08","datavalue":{"value":{"entity-type":"item","numeric-id":5312978,"id":"Q5312978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$1729520D-6161-4C1D-A66D-2FDC493B921B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c67fb3a3e2c8368d6a67e26974680e20fef7003","datavalue":{"value":{"entity-type":"item","numeric-id":1878929,"id":"Q1878929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820124$39BCEE1A-AC3F-4923-9BFC-D6A9D7F7AD68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daa5abc8ec09ba4b31f1a5020375a9495ce653ba","datavalue":{"value":"10.1016/J.TCS.2005.09.064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820124$FB26DB01-4F01-4565-A43B-981FEDFF05D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb884e1e74db5df3cf025232ab92443b4c905928","datavalue":{"value":{"entity-type":"item","numeric-id":5312978,"id":"Q5312978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25549beffa546dc6ad1b5147530e2c594c1030e7","datavalue":{"value":{"amount":"+0.999820590019226","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":"Q820124$549CFF14-A7E9-425B-9ED2-BD87A1820971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc43bf7a2e1ff5888f3ef7d828a5316536fd6d31","datavalue":{"value":{"entity-type":"item","numeric-id":3648690,"id":"Q3648690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97686e3aab63af7324ae0e86d443d3dafb70ae2","datavalue":{"value":{"amount":"+0.8172813653945923","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":"Q820124$F57EF7B2-8DCD-4D35-9F5A-A8101CEEAD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b2e629dbf403ec7df3d1367365338e45791beb","datavalue":{"value":{"entity-type":"item","numeric-id":1878929,"id":"Q1878929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13eee6ede7dbd07f068d3df6b78563af1f2daa3f","datavalue":{"value":{"amount":"+0.7854148745536804","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":"Q820124$09D7F881-4A33-4F42-909C-41EC77CBF3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda73c2ef565154d313aed2d3f4538f831774883","datavalue":{"value":{"entity-type":"item","numeric-id":1398676,"id":"Q1398676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da6d4eb0dda67379fe475382d12c29b6fa3835d","datavalue":{"value":{"amount":"+0.7803325653076172","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":"Q820124$57C57866-52C7-4B6B-AF9C-E61438BDB5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4790074222e12370022aacdee602f37db8e75e62","datavalue":{"value":{"entity-type":"item","numeric-id":4494380,"id":"Q4494380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ccbf16ca05ea2a8f52f389455fb7fe96e90f65","datavalue":{"value":{"amount":"+0.7535642981529236","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":"Q820124$B6A42F63-BD91-4B49-AFAD-73BD197BADA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:820124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:820124"}}}}}