{"entities":{"Q4608669":{"pageid":6638252,"ns":120,"title":"Item:Q4608669","lastrevid":53047481,"modified":"2026-01-24T03:02:05Z","type":"item","id":"Q4608669","labels":{"en":{"language":"en","value":"Lazy reachability analysis in distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851939"}},"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":"Q4608669$4A1129E9-9B3A-48F7-AB2B-977B54E5ECEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"185c78612e1e686324fb740540d17689d2d1d4d7","datavalue":{"value":"1392.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$E5ACA769-A7D1-4463-8DD1-3748BAA55A59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69b433977682d099bf7faaa403b40a28039b3b89","datavalue":{"value":{"entity-type":"item","numeric-id":1647710,"id":"Q1647710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608669$D3FE24AF-102D-4E2F-A9E8-E727E3D6E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608669$0A7724E1-5443-407C-90B0-C68BD7FC44D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608669$70A64C13-F0B6-41C7-ACB2-E09B9CE5CCF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$A38AB810-9917-465C-99D6-F34670F8CF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$717BA3B2-9FFE-4F9C-B70B-6D3DFC54658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$425FDF2C-D127-4257-83D8-CD99CC93BCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$7F3657B7-F34F-4466-A324-22C7C31D33AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f657e1faf9a3b9e97147f14239440b88f4ac204a","datavalue":{"value":"6851939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$78346ACF-B968-4F56-B288-A50B350AFDE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608669$DFBE3E1C-3B76-4406-A0F4-4C76D7B0CE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608669$E071609D-EE32-406F-A778-15B802C4FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608669$E2FFC008-6D82-4FA3-A63F-86A2E41D3596","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":"Q4608669$F87E5B94-E24E-458B-9955-90B82D692BF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052db51909b0218f5f580ea23134891bce0692e0","datavalue":{"value":"https://hal.science/hal-01699311","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608669$06491661-5A3B-4054-BA4E-994FA73645F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50cf175a3bc4f96754439aa7ea4838703e80d798","datavalue":{"value":"W2548863071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$550CD789-D12F-4F69-B807-096D882E4C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"224cb30777f9f8705e4b30e91bf8e8a7b27263ad","datavalue":{"value":{"text":"Lazy Reachability Analysis in Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608669$3275D798-988C-4FDC-9A3C-1A1EADF3EFD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d793ff0c0b9b98e2461f1d51c1e37ff0a6ddec69","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608669$940D0513-A120-4258-B728-54562A2FB5FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b003acadf8f1d36836ad00bf33eb83338dfe278","datavalue":{"value":{"entity-type":"item","numeric-id":1683453,"id":"Q1683453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398480d135f7d3641de5a1c84552d2dd18c92419","datavalue":{"value":{"amount":"+0.8555624485015869","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":"Q4608669$06A357D3-1683-4397-9308-73221A9F0365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06c0395de06415ea756d6f99b3b1a2ebd2cd81f","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349bee5035b71e29f96c18f300146ab8b8d5eb33","datavalue":{"value":{"amount":"+0.8169434666633606","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":"Q4608669$4EB72034-F6DD-41EF-9BC6-770B8024217F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf19cba24ceef6a4913fd1fad8f8a9990c3fcc06","datavalue":{"value":{"entity-type":"item","numeric-id":2117184,"id":"Q2117184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2d2dad0e0130ecba216bc0f2ddfe45bee59a9e","datavalue":{"value":{"amount":"+0.8041653037071228","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":"Q4608669$149B3A2A-B802-4BA6-9F55-103D5008BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e927c6c7cb10fcbc1bf985acef4dd7ca8895af34","datavalue":{"value":{"entity-type":"item","numeric-id":2431764,"id":"Q2431764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33740630b0525c83d8d6dcd7724b2c665b4ab2f","datavalue":{"value":{"amount":"+0.799511194229126","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":"Q4608669$76568619-9854-4533-B1D9-BF2127D8CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b4a8f57a24f13d28b6fe15160cb5ba3afdd99b","datavalue":{"value":{"entity-type":"item","numeric-id":3523144,"id":"Q3523144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91879d4f70d2b5fd9825aec20752418250579b60","datavalue":{"value":{"amount":"+0.7682733535766602","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":"Q4608669$F81DE10E-7BC3-45B8-B7C7-D63FD3505CB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608669"}}}}}