{"entities":{"Q1878928":{"pageid":1889670,"ns":120,"title":"Item:Q1878928","lastrevid":73393308,"modified":"2026-04-14T15:45:09Z","type":"item","id":"Q1878928","labels":{"en":{"language":"en","value":"Using forward reachability analysis for verification of lossy channel systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100122"}},"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":"Q1878928$A0137172-9439-4ACE-9348-2B601115B390","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd493b561f1e61612735766770f2367b5f1d2faa","datavalue":{"value":{"text":"Using forward reachability analysis for verification of lossy channel systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878928$C6DBC8E9-22C8-4CD6-B477-E158B5661758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76030af6a16e2a5fb0734945c54679c30a040187","datavalue":{"value":"1073.68675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$AA4E2687-3419-4B34-A84A-B5F61F72AB17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$02203CA2-5420-4097-BE1B-D5088CD3F1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a708ede3e989b7663d02544e2ab523670892abf8","datavalue":{"value":{"entity-type":"item","numeric-id":1878927,"id":"Q1878927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$EBF1B71B-7E2B-47CD-BEB2-317CDF71F060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$462ED7D3-D564-46BC-8365-288D022F9FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$442EE440-A0C5-4248-A585-4B732A3AE643","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$37266C80-36D0-4DB8-A4AF-D084D8160355","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc8e387439babbec1a2d663e85f838dd62ec5da","datavalue":{"value":{"time":"+2004-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878928$9EB944AB-DD2A-4375-8877-BB2FC86EA7E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$CBC7B695-0B56-4944-B364-A055B7F82C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$F6654B9F-C524-429B-81BD-C7DEF4B97356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$70B1A2D1-E69C-44B6-A541-99CE47B87AC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9080058de6043e23ff49c7e264c71ce2284b597","datavalue":{"value":"2100122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$C06BB134-B550-4A6B-8582-CC2B14C8580D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878928$869653E1-AE82-46FB-8D6C-1347A436AD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878928$27CD27A0-DAFC-44BD-9927-9BE170A33AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878928$248A407A-86B0-4C7A-B945-693CE1C285E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878928$96D5AC1D-3976-48D7-9F29-964D8D1F537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766a9857fe90789eaddfb31bb91fd6049011a097","datavalue":{"value":"simple regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878928$AE3A1C0D-44FA-4161-B940-0564465EC537","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce22f895e76b12ac07dcf9b0c5f6d704ee095f18","datavalue":{"value":{"entity-type":"item","numeric-id":23968,"id":"Q23968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$DA347F1A-E0CA-4296-9262-FA76051348EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878928$835CC986-D7D1-4D24-85A0-D06DF145E894","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":"Q1878928$CC3ADB95-6C96-4D1F-8BB5-1F25A8DF626B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efee09fee3053cd893c07288cfcc3e3a05f45772","datavalue":{"value":"https://doi.org/10.1023/b:form.0000033962.51898.1a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878928$8BD5FCA5-536E-4FBD-A0D3-793AF3A287FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a853a97d5df8522814241a4544ac66c1d72f9f3","datavalue":{"value":"W2053229198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$C1657D22-30DA-4C31-8CD5-F1B47E1D6210","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6321e86b004d8c5b6a49e333206eb8a4115732b7","datavalue":{"value":"10.1023/B:FORM.0000033962.51898.1A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878928$0C295C01-1C1E-4AD7-8D78-CDC459312C7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0e684a95bd2ca38bf3483fe8ee2145cf1b8eaa","datavalue":{"value":{"amount":"+0.8346416354179382","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":"Q1878928$C7333456-74A4-46D5-B845-53277FEFAC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7c489b75fae4bcdc70c6503f47174f82cea840","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec03fc3ea532fa3dae55ac42f1469113c90551f7","datavalue":{"value":{"amount":"+0.8016552925109863","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":"Q1878928$1BA73D9D-783F-485D-A4B6-B23617E063FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378595f430911014dd0c0ff3ddb03eb0338a198c","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355d4f2861ba259a4c051db74b15feb618940fda","datavalue":{"value":{"amount":"+0.8016549348831177","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":"Q1878928$86525F92-B392-4F5E-BF0B-14877C5EC560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9391fd43a9c5158e3d155577d34818bafc6ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5325845,"id":"Q5325845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdf23c41c9c849668c4db6153c548f75b36ea13","datavalue":{"value":{"amount":"+0.7860154509544373","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":"Q1878928$FE37BCA4-3E2F-49F8-AC36-BBEF7B3DA9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4d0163d0d9d459687f0b796aad297201d2b800","datavalue":{"value":{"entity-type":"item","numeric-id":4632436,"id":"Q4632436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa667dcec2415b4b0f968975feddd76238e2a4ac","datavalue":{"value":{"amount":"+0.7767651677131653","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":"Q1878928$F5AE3378-F1C4-4E2D-9691-1A61270EEBAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using forward reachability analysis for verification of lossy channel systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_forward_reachability_analysis_for_verification_of_lossy_channel_systems"}}}}}