{"entities":{"Q856423":{"pageid":858271,"ns":120,"title":"Item:Q856423","lastrevid":49982617,"modified":"2026-01-12T11:28:34Z","type":"item","id":"Q856423","labels":{"en":{"language":"en","value":"\\(\\text{DELFIN}^+\\): an efficient deadlock detection tool for CCS processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5078612"}},"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":"Q856423$E42D3EA4-DA46-4956-ADE0-C36B8F60A37A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c6ac8f141457a33f1a753ea2a0902c4ab9742c8","datavalue":{"value":{"text":"\\(\\text{DELFIN}^+\\): an efficient deadlock detection tool for CCS processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q856423$FEC59F1F-EE1C-4F92-B534-BB1750B77AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c59cea09e53a311a06189fa42eba2f1e92c500b1","datavalue":{"value":"1118.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856423$83FD3D5D-F1A7-4751-B15C-C31F9408BF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac95800f63ca0dc7cbed859c04bc082936fdb150","datavalue":{"value":{"entity-type":"item","numeric-id":856421,"id":"Q856421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$5FC3DF4A-EDC5-4017-999E-3EA49AA820DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$91ABEBC7-92AE-497C-8F2C-96AD617A6C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dbfc9dbe3ed0f0280a2b4795bd7826b0fd327b2","datavalue":{"value":{"entity-type":"item","numeric-id":856422,"id":"Q856422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$D3EA09AB-D948-4DAD-86D0-A3D6AA889F4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$8B018988-801D-4D4C-B864-872124E18EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69fd7e33e5959021461630cbc83478a74a6768f","datavalue":{"value":{"time":"+2006-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q856423$6416C26B-F32D-4CE8-B61F-FB1B0019277F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856423$865510ED-D7F6-4D4B-B93E-1E28E2468CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"874184350d88c8091c3fb1f13eb5e410253b6821","datavalue":{"value":"5078612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856423$798753ED-2B41-4D13-83C3-12545A07B223","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q856423$C2CC6E1E-39DC-490E-B4A4-996B839B0FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q856423$F6A5EFF2-CB74-4C72-AFAB-B12C73F4CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q856423$0EC2A5CE-7DFA-4858-8AB9-77DA8ECDFDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q856423$AFD02C82-F284-461C-B59A-3E1B4222A9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q856423$ED2E9CD1-DBAD-4EEA-8B1C-A024D2675330","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$DFE67327-4BEF-4309-9494-CAD58C7FBCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$4C7BFD52-4C0E-49CE-B4AB-308C99FB4363","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":"Q856423$0BDFB530-EA05-4CB4-BC64-DE8FDA9D8291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b93ebe9cdd4427bcc3a565f4133b27830a205bbe","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2006.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q856423$A515F2D4-A4DE-4D70-B1AA-6FBF431EE167","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3147c4290dcbed2f65a84e199b1cd6e5fecffd52","datavalue":{"value":"W2007866490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856423$C33B28C9-B288-4592-9171-8BF0EFD8E469","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78374d3e67354d92950f04b03a24bae076032bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2747744,"id":"Q2747744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$107FD0C0-5021-4F0B-A850-958E2DE5BFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe58babf384effdc6e7286cbe57864826806eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4850737,"id":"Q4850737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$E450BD3E-3E25-466A-914B-BAC9903ED80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$D66854F1-D633-44F9-B47F-3599A0A14C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$6B8F60A8-B34D-46F2-BFCC-2BE259C3F2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$CB85BD46-8873-437A-8220-3E70D5F32E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442f45f3c18c8b22505978e31640898de7dd7261","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$C8CEBD42-AD8F-4CD7-9FE7-F000BE716A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f22d5de0ed7493cc09714187c79ae1bcf6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$AA2EFA75-4780-4BA8-B337-1A1DB1534DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7936b2ab9f3b12e57591a251dee3c581d3abeb75","datavalue":{"value":{"entity-type":"item","numeric-id":688829,"id":"Q688829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$80114E17-536C-48E5-98A3-FC10CD20BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$597BCC70-234B-49E0-99DA-C9D4B3476F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$39D4E556-9148-4BD6-A41C-D28B45B1E223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a6adfc4aa428698cbb36dfa7179dec69749907","datavalue":{"value":{"entity-type":"item","numeric-id":4472244,"id":"Q4472244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$1F3190B9-ABEB-461C-8590-179DD7520747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$B6E0AE3D-E733-4E99-884F-C18D59E46342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe9eab5a178f59aae04d52cb51eae8cec47a9e4","datavalue":{"value":{"entity-type":"item","numeric-id":2573636,"id":"Q2573636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$8C4B8F69-795D-4ADB-B50A-9A031DA0CCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$4FFE5F16-2EE8-4C12-9C0E-A786E93D41E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$ACEDEC50-1001-4E2B-BB19-DB281C1AC590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$688A0DEC-7CA4-4311-AE06-533DF7B02F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f86cecb726537f2bc3541fa1c0b8c11f4686c6","datavalue":{"value":{"entity-type":"item","numeric-id":4787214,"id":"Q4787214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$5A71AABB-BFAE-4B83-82CD-60C167089E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$A8B31727-E1AD-4043-BFD2-505179839286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$DFD6059C-2F6F-495A-978F-DF3EB03A2BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$C465E3CA-6562-4A7C-B686-EEF7641B67B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856423$ED22774C-C5AA-4DD0-8F75-F5A38999F262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81f73deb37f1d6fd7db8cae8b4fedddb182e8cb3","datavalue":{"value":"10.1016/J.JCSS.2006.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856423$A67BD37E-1570-46FE-B532-0581CDCDCE53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f003fbdc5f199f0ca6f5a37ecd90cdfa733000f6","datavalue":{"value":{"entity-type":"item","numeric-id":2573636,"id":"Q2573636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356067d7d544fdfad24d9745d3f80c6bf753473a","datavalue":{"value":{"amount":"+0.8239226341247559","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":"Q856423$C92ACB5F-5933-492B-9106-12A9CE7B9C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7192efc1d9605abdf50acf080ffe4d2d7f962b","datavalue":{"value":{"entity-type":"item","numeric-id":715051,"id":"Q715051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ff552826c6753c87d1ca8416302f27181f3566","datavalue":{"value":{"amount":"+0.7502644062042236","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":"Q856423$83277359-E84A-4F8A-B354-F668AF84229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d0fa93acb6d8434cc5fadbb7e16162a63088d","datavalue":{"value":{"entity-type":"item","numeric-id":5178996,"id":"Q5178996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647b38f73379c027f5fee3fecfd032db596e7747","datavalue":{"value":{"amount":"+0.736302375793457","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":"Q856423$D6EBABAA-BE3D-482C-A6D9-FFAEB79D5405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871c574f5c378d899789693374eaae7d43fc17fe","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcd80079a2fc7c52dcd9b9da75c5a639d2195a8","datavalue":{"value":{"amount":"+0.7344926595687866","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":"Q856423$75CED9C0-9F2F-4CF2-9756-5EA1D5626D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93a6f493dbda2b68bd8c4b79b193fd4a1b46554","datavalue":{"value":{"entity-type":"item","numeric-id":688829,"id":"Q688829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe76653ca3febdfe5db8c6277a14715c9d395d52","datavalue":{"value":{"amount":"+0.7339780926704407","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":"Q856423$E7D93271-4587-4B35-977E-4AAF269081E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:856423","badges":[]}}}}}