{"entities":{"Q3172877":{"pageid":3183587,"ns":120,"title":"Item:Q3172877","lastrevid":51341873,"modified":"2026-01-17T20:25:29Z","type":"item","id":"Q3172877","labels":{"en":{"language":"en","value":"Reachability for finite-state process algebras using static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954756"}},"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":"Q3172877$A99C1AB6-6F05-48AE-9045-17A4952547CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2cc7984cd442f30dfbee6d91f589e3fea7ee57c","datavalue":{"value":{"text":"Reachability for Finite-State Process Algebras Using Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172877$FC5C6A76-60D8-46F2-A563-A7B518EEB4C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2baf140a52cb1c06e3bd92326d06b397c87b127d","datavalue":{"value":"1348.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$A2D4211D-EFD4-42F0-9635-3F67FC0BF93D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32152802bb749be255e6004a913646e4767267a9","datavalue":{"value":"10.1007/978-3-642-24288-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$5FBA1E72-177A-41E4-8D98-949B9DB0F2A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5deb182e107e834f68ef7a93841d825a137a5b6a","datavalue":{"value":{"entity-type":"item","numeric-id":444501,"id":"Q444501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172877$C8B839ED-7207-432D-9146-9ED0583D9A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172877$82E9AFBC-5C4C-403F-BBB1-F22121F848C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172877$DFB8F6D6-233A-40F9-B847-58691779651D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-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":"Q3172877$F66E84D2-113E-44AC-964D-FF160FF5DF19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$715BD826-30F1-42DE-BAFE-82830D61CE10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc8b3390592b66b928dfd4cb271dfe53fa816d65","datavalue":{"value":"5954756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$30FEAC6D-DA95-42E3-B3A7-19485E114B7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172877$F226CC16-0C7B-4B8B-B10B-35A7E630D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172877$E728B34C-D576-47B6-826F-E3D3A7E0044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172877$B9340507-965B-494E-AA85-534921CF59A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c18dc5e142527dbeb23ac160db0db3558fd8a35","datavalue":{"value":"Q59416336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$7A1B71DA-96AE-4BD3-AA23-2B3FBD23D6A1","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":"Q3172877$96D771DD-6F26-4A06-99D1-C5244A1F349A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47ebd338f4462caca6f25669071a48ade5a8e3d2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172877$DE90DF16-B1D1-4F58-B335-E5E68E992C7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f6d72371909fcf0dd6624ff1ccc1d89e3d9b26","datavalue":{"value":"W2128219805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$61885811-69DB-4CA9-82A9-86FA68C04895","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"925ede4f055612f7cc20544303a3b204a39e68d5","datavalue":{"value":"conf/rp/SkrypnyukN11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172877$A09DFF2D-D445-4B63-B400-02C5C9729547","rank":"normal"}],"P1643":[{"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":"42971b0bc231fb28185a79ce1940b81070640b01","datavalue":{"value":{"amount":"+0.910702109336853","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":"Q3172877$D5B9DCAB-2C25-44CC-A9AC-550E30A8B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a5dab764f68be02ceb4c98a6926216f5173788","datavalue":{"value":{"entity-type":"item","numeric-id":3777459,"id":"Q3777459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc507124f84b41db3fffb0c00ea8144645cf107b","datavalue":{"value":{"amount":"+0.8866905570030212","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":"Q3172877$1F4A46C7-1C6C-4D56-9366-CBBD2293EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cb0a4260d6d19d98ea28f7aec373f4de828a5a","datavalue":{"value":{"entity-type":"item","numeric-id":5505595,"id":"Q5505595"},"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":"Q3172877$4E92DB40-BF18-481D-8429-0689B5DFAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8233188e3d533dfe2c5992d9149d97b803fbb570","datavalue":{"value":{"entity-type":"item","numeric-id":444504,"id":"Q444504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6440a11dbea9c7f272d76d583c1e30a5e8ec689","datavalue":{"value":{"amount":"+0.7656593918800354","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":"Q3172877$CBB0B4AA-22D1-4095-B844-00BF074D1BE9","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":"d2d01a619a35047ac784c136c888877e7e7529b6","datavalue":{"value":{"amount":"+0.761547863483429","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":"Q3172877$429CBACB-3F16-445D-9268-373705652C73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172877"}}}}}