{"entities":{"Q2365568":{"pageid":2376311,"ns":120,"title":"Item:Q2365568","lastrevid":43958682,"modified":"2025-11-18T12:55:13Z","type":"item","id":"Q2365568","labels":{"en":{"language":"en","value":"Generating BDDs for symbolic model checking in CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 222324"}},"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":"Q2365568$66118561-B3C6-4C16-A436-D23E8D9F19D4","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":"Q2365568$FE492C61-87F2-40FC-ABF5-812854B3E5EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e5b0b43cf501b73b2f96a1d57a64b2f060daaba","datavalue":{"value":"0778.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$66C3BD5B-4B2B-4AB4-9E34-CB155B23307B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95da8767c2a5345af2c76df6a57af6c7b3707610","datavalue":{"value":"10.1007/BF02242704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$01EAC9B9-9244-4B2C-BD42-42D61D4921D9","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":"Q2365568$910F3FC2-5695-44D6-8FE2-96DFAE206DF5","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":"Q2365568$39810DEC-2C55-4B95-95FB-EDB4B6F584E1","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":"Q2365568$D6EB1359-F285-4B32-A53A-22E4298B5E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365568$AE6B65BE-758E-49B6-8BB2-BDECA074DA29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-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":"Q2365568$38C5EA44-F601-43D6-A7DD-AF193B54E8D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$006C2E47-0CBE-4D59-B4F1-B20613FC712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$03C87B25-5C66-491C-9AB5-935B6ADBE2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$9BBD0A44-9151-4DDE-B22B-38D750781BFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e95a56f3f693b15b2acb1e1aec9a12a2bd658b2","datavalue":{"value":"222324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365568$96228AFB-ABC2-428C-B27B-C731BFFD4392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$7734A698-4B0B-4D7F-A7BC-8BA802641B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$848E2DD4-2BF6-4647-A5A9-5840B81E58BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd4cc1ffe48af8b55ce898315823298aaf60bfe","datavalue":{"value":"Binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$C2FA44F7-EF2F-44EB-8BB5-CBDE90EBC743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$90028711-5E41-434E-B834-AC35522635FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$4182E6C4-293B-44D2-BBDF-66CDC8FBC686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365568$F68533D7-8295-49ED-A11F-B8170C1B59FA","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":"Q2365568$4A58FB61-0902-43D6-B766-82452813039A","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":"Q2365568$E48856AD-2C59-4D50-95B3-2C3021BDCCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365568$CAADF483-3F8C-4E6A-9C3B-9802B38A4765","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":"Q2365568$13E6DAE7-9E5A-4466-A9BD-D0BA3D4793E2","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":"Q2365568$25368149-3654-4867-922C-781E2EA4B414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4baa2b4d3c65e6e66e01e852f083a3d4de15a5","datavalue":{"value":{"amount":"+0.93399835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$78D91462-9149-4C96-B267-B324FB004739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c1cbc32878b4f55ff8982a1f05ee0bc694c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4737124,"id":"Q4737124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdca6a986201dc56fc444829e9e2bcd749341f4","datavalue":{"value":{"amount":"+0.89033854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$EDFA533F-35F5-429E-9954-B067A8D6AB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cf15292897e6cf51027ea7e698378f917a0c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4964714,"id":"Q4964714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5157727556966efc5ad599bef693a39be03cb1fc","datavalue":{"value":{"amount":"+0.8897166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$4ECF6316-9DB7-44E0-90BA-9E9391BD4F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa301948b4762c2ff21d55bcc6fe2bf5f0a6f6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4494391,"id":"Q4494391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8812cf0e014667b51042ff66230b44c87ed066a","datavalue":{"value":{"amount":"+0.87241983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$0EB8A1D8-5242-4A08-94AE-B488D4A50A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93b4a343ca1df2ed81521fe185d9930c9a4d18","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b309e68e62c05282a747bbad3f7e96f07d60f444","datavalue":{"value":{"amount":"+0.8698789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$8FDC644F-56F1-40AD-841C-F62268A3C5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843942d7a5a6fa8940de464b4432abf24dd77a17","datavalue":{"value":{"entity-type":"item","numeric-id":3402292,"id":"Q3402292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53320271ab0647423653a113c1500a9998690ef","datavalue":{"value":{"amount":"+0.8686983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2365568$09BC2B5D-2869-466F-B18F-6174B83689D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365568"}}}}}