{"entities":{"Q6493537":{"pageid":14072310,"ns":120,"title":"Item:Q6493537","lastrevid":95499878,"modified":"2026-06-05T09:09:52Z","type":"item","id":"Q6493537","labels":{"en":{"language":"en","value":"Generating BDDs for symbolic model checking in CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839234"}},"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":"Q6493537$F79640DF-79F1-485C-8A3C-4DFDD14B2BF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c45b18f09c5171e559dc62ddbfce724ee0e7223","datavalue":{"value":{"text":"Generating BDDs for symbolic model checking in CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493537$CA293EF2-EEE3-45C7-A965-A77DDA828A50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe44e7aaace25a57bb56d6fba9776275cbf9e5ca","datavalue":{"value":"10.1007/3-540-55179-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493537$9C607621-5EB7-43E9-AE69-83F324F570E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efeb57693d358805f1070376afa49a82f63f9823","datavalue":{"value":{"entity-type":"item","numeric-id":2365567,"id":"Q2365567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$7A5A9C14-7557-4BDC-8863-2DDABA91DB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e67f673f3ec8e6871d433048114f54ec1290a8","datavalue":{"value":{"entity-type":"item","numeric-id":1123641,"id":"Q1123641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$B8A63F4C-CA7D-47E8-9708-15304BA2813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8c3030df4023386bafe1ba843a2887d4e7eca2","datavalue":{"value":{"entity-type":"item","numeric-id":582132,"id":"Q582132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$DF159AE3-FEA5-4D99-8BFA-38F6BD95FDEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-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":"Q6493537$7D5B2FFA-13CC-478E-8FB9-06A099FF489E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493537$D643100B-9542-4956-B3B6-9955ECA4C337","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00cd2e0074330efe2d8ee606e8f11e97a8c78979","datavalue":{"value":"7839234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493537$FE858A14-A58B-4C70-B74D-A1B8E5A06A18","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":"Q6493537$691795D8-2EB7-4CA2-B466-6A0657C06442","rank":"normal"}],"P223":[{"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":"Q6493537$69986837-7E77-49E7-A131-BAA0F92E6FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$BC0FFA79-F31D-4146-862C-37B265EEAB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$794569E3-054C-45E3-A609-A20D9F0AE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493537$48517F54-28EE-4C05-A2FE-8BE8F2D168AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating BDDs for symbolic model checking in CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_BDDs_for_symbolic_model_checking_in_CCS"}}}}}