{"entities":{"Q276000":{"pageid":277767,"ns":120,"title":"Item:Q276000","lastrevid":60661929,"modified":"2026-04-10T18:21:47Z","type":"item","id":"Q276000","labels":{"en":{"language":"en","value":"Under-approximation of reachability in multivalued asynchronous networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574027"}},"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":"Q276000$79190CD1-60CB-4001-B60D-2D6C80CB5526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f47fe51489d50fcc0c57f65ce0e61396903915e3","datavalue":{"value":{"text":"Under-approximation of reachability in multivalued asynchronous networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276000$68387D18-E8C7-42F3-ACEA-ADF84EAB09C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5b4d1319ff9be78d96006d639afcbadf7de2992","datavalue":{"value":"1337.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$0DA336E0-D8BC-40FE-8027-04B130F80030","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0e0c41d8c73385e4201d28390d516db9f22d6b","datavalue":{"value":{"entity-type":"item","numeric-id":275997,"id":"Q275997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$CF773B37-48D3-43A2-89B6-9C5ABE5DD2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"513bb5e6f46e56090857c3020193a5610efa3f83","datavalue":{"value":{"entity-type":"item","numeric-id":275998,"id":"Q275998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$8D21DC04-74C4-44E7-84AA-FAA05BD7EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014acc7b1b8614b0afa05b6bd97bc5b41631ca24","datavalue":{"value":{"entity-type":"item","numeric-id":275999,"id":"Q275999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$697E5D3B-6570-477A-853B-F6F6E12CCD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$4DA9AA08-6FE8-48C4-B6E2-196C3D4A659B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276000$EB7323AD-1A2A-4436-B580-CA6FB4B2B831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$12D8D51E-3CEF-4BCF-8A9C-7EA40E3FD10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$6FDAFF01-95B9-4E00-B275-4C4C92D94087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$6D80D880-B1F4-444C-87BF-DCF76F167212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44975dc1a5ae7ede926174125bfafc19ebca71e9","datavalue":{"value":"6574027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$496B59DD-22D6-4AC1-B0C9-4C18DE3A1E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e9dc270d31ae9e078ef2c397ecddcbf9b07302e","datavalue":{"value":"qualitative modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q276000$7E1E9670-51DA-4045-94C7-6EAB27001F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7a63c1880fb0d8a4b1610a10b5ec0d1423b488","datavalue":{"value":"model abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q276000$D6FA845D-A728-40EF-8F15-94EEE1E918CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q276000$50CFD73B-29D6-45BC-A390-4EF859C62B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c90f53d821d62c061c67320bc86d6bac9ad846","datavalue":{"value":"asynchronous network","type":"string"},"datatype":"string"},"type":"statement","id":"Q276000$ECC76AA6-3784-48F1-B8D5-4D2DCFF9586B","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":"Q276000$19E393DD-C85D-4B49-80B2-4FE8B959A05D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36f0adf571f83598453333b54a9fdecc0113d7bb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q276000$2FE3EDCB-FE71-438A-B3FB-2B8867A69A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"737b11be42dcb9205a22491cad9350c98c72358d","datavalue":{"value":"W2146398442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$FD35F147-C72D-47A7-82D0-FEB5E0695652","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"65cbf6463b51aea40ceb92bdaf9e15989686ff88","datavalue":{"value":"Q113317943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$77FCE38D-A104-4188-B756-AE549533BF56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$55779905-4015-4B40-980F-DCA51D5F87C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7de647342d0f7bc746f85196675d8e0e2aaffbd","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$11F0C5E7-386C-4023-8907-36C7284F5830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bee29b1bc340eeef425ddbacbb3d5362eb0e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$B66C4330-2FC6-450F-B675-D94B83BCC5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429a300e305d255c39800ee4b31880c3bc0f2ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3068847,"id":"Q3068847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$55A7D733-B28A-4C16-8D21-B638BF320EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9d5f22d5c8ed30a703f669a05d7265129ce767","datavalue":{"value":{"entity-type":"item","numeric-id":3003509,"id":"Q3003509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$1310024A-4212-45FE-B0A5-94A38BCA78F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e79b4da0f7a443908eb8667b70b9077b2d4394","datavalue":{"value":{"entity-type":"item","numeric-id":2909733,"id":"Q2909733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$89754F45-74B2-4147-B065-7B3C50C34B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6e132c70c7f751df46f24abd3982e08e6f26e1","datavalue":{"value":{"entity-type":"item","numeric-id":553904,"id":"Q553904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$1D02498C-58B7-46E8-A8BC-EF872277AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e6bced9434e3af5aa4ed984ec7b107de6e2ff6","datavalue":{"value":{"entity-type":"item","numeric-id":6487377,"id":"Q6487377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276000$961DF67F-CCB3-4B55-9235-265721272C32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f87a41447350a470a33f0d2d1bf294179142a89","datavalue":{"value":"10.1016/J.ENTCS.2013.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276000$4CFBE05E-F069-40DF-BF69-7292B7E95B0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b9835955f53b5cf1c18e8f5ab0697071475cdf","datavalue":{"value":{"entity-type":"item","numeric-id":896709,"id":"Q896709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de5cfb0fd570e61dbdc7f3a212ae3cfa51cc13c","datavalue":{"value":{"amount":"+0.7608763575553894","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":"Q276000$48407E66-60CF-4546-928E-38A77E059BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50d5a7a20ff206c88b4e80bfec4235f164144e7","datavalue":{"value":{"entity-type":"item","numeric-id":2909733,"id":"Q2909733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bd09d5bb9ff81a610e1df5809d528b81167fd0","datavalue":{"value":{"amount":"+0.6983523368835449","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":"Q276000$CDB8A2D6-D3EF-41CA-B384-9307EBEADEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309452286f4d055e8e21dc646fe8b1fbe7d6c907","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744c8c91aa4f61b0608c55c96570a8b9ac3d09a6","datavalue":{"value":{"amount":"+0.685629665851593","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":"Q276000$AE6CD091-07FA-4346-82C5-5898DFC55651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5b73d9298f194ee9b9ccc06d2ed0d66bbe6810","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1e318852592ad7411b28ef8ae102aec15d85ed","datavalue":{"value":{"amount":"+0.6809599995613098","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":"Q276000$834865C2-4288-434F-AC11-61AE798DF148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49ada1a1b0a0dc8a868bbd903d45937ac090967c","datavalue":{"value":{"amount":"+0.6790628433227539","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":"Q276000$479890C5-FC08-4F7F-B0D3-FD8C09733941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Under-approximation of reachability in multivalued asynchronous networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Under-approximation_of_reachability_in_multivalued_asynchronous_networks"}}}}}