{"entities":{"Q5261509":{"pageid":7291077,"ns":120,"title":"Item:Q5261509","lastrevid":52300742,"modified":"2026-01-21T09:36:01Z","type":"item","id":"Q5261509","labels":{"en":{"language":"en","value":"Verifying liveness for asynchronous programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455604"}},"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":"Q5261509$B731AAC0-86C6-40FB-9BC2-40C7B1E968C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e12fad0c4c0d359dc909c48119f2c3033475b09d","datavalue":{"value":{"text":"Verifying liveness for asynchronous programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261509$F68C167E-4902-407F-98F4-485D65B75656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c364736b6ebc3e6a68d42f54c48522f58d536a41","datavalue":{"value":"1315.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$5DAAE423-AADD-4E45-847A-0FC8DE8CF2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e323be7c5c28b0030f4cead9a886dfe4741e45","datavalue":{"value":"10.1145/1480881.1480895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$EFA65951-BE57-4224-828D-56F73286C34A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261509$193557E1-3E86-4764-9B94-2A61AE4AD90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261509$9293F6CD-87E4-49D4-89BD-65113F12DC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261509$9348E3F6-6D3E-45C8-981E-8346F960ABE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261509$C63E1A30-4BDD-4A16-BAB8-9E98FA853781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261509$578E7051-7828-4C39-8E2B-2C94F09B8258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$1C3E412A-640E-4DE0-9119-1364980472AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$00FA833A-1586-42DC-999E-52A493B68DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$71508F75-E4BD-4A67-A9F9-EF037ADF59BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a52860aee3b8c321c556fdb897b33957850f1be","datavalue":{"value":"6455604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$C9388F23-A66C-47FA-8DEB-7F2F9D26CC5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957ffc766457c5b81b68d5bdac71fc3e0ceed100","datavalue":{"value":"asynchronous (event-driven) programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261509$AA907A4E-E60A-41FC-AC4A-489B19D85A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a277367c3d4e3c3aec102118ab5101d7a653037","datavalue":{"value":"fair termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261509$96AB0D90-E1AC-4ED7-BC17-0C98199080B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261509$C4A42BDE-4F19-4F0D-BD71-B669109F732F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261509$D86267B6-7A5D-468E-855C-42A4DDAD2778","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":"Q5261509$373431FA-9C52-4914-9B74-E13E70A1DCA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4969b7701f970673bd66901fec1855bde05d4c22","datavalue":{"value":"https://doi.org/10.1145/1480881.1480895","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261509$F44C3133-4C96-4100-AC94-5AD7D111CFF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb0ccb7a48768bef57319ce13920488ecdab3d60","datavalue":{"value":"W2158126713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261509$EFD01B5F-0C0C-41AE-8B12-1C8D1D8B329E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcd4d5d433e9e6cf366fad8fc39c7ac2c12b7e2","datavalue":{"value":{"entity-type":"item","numeric-id":2044219,"id":"Q2044219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb58fcdb532066809b6de583812dc40bc46d99b","datavalue":{"value":{"amount":"+0.7800185680389404","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":"Q5261509$7CC8E103-1B9E-4252-97E2-CCEC50F62597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df577a0b103b40b33dffea021e62094375c87e9","datavalue":{"value":{"entity-type":"item","numeric-id":732003,"id":"Q732003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c5518a082ff1092f52661bb3b3c9b101a0451b","datavalue":{"value":{"amount":"+0.7624970078468323","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":"Q5261509$F84FFCA3-54BD-4DE8-B96F-F7ECFE884541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260eace68cbea4898a1bb32cebfddfe4b0cd0de6","datavalue":{"value":{"amount":"+0.746748685836792","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":"Q5261509$F88AFC29-D8A2-4FCA-A766-65F98DED79C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d475d491d1bf7b7843fad987cd9bb2f8f36110ae","datavalue":{"value":{"entity-type":"item","numeric-id":5756597,"id":"Q5756597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc645ebb07ecaca7604765b5248981cade022a04","datavalue":{"value":{"amount":"+0.7344249486923218","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":"Q5261509$8E4B9DAF-D355-4DD9-80B3-8948CF3ECF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f09922f123ccaca0d1967f3b54925772cd33fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d430f6bd15bdbbe326adff5890c04163bd00c0d","datavalue":{"value":{"amount":"+0.7334750294685364","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":"Q5261509$71BE2C7D-2394-42BB-B8E7-B7598EC46A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261509"}}}}}