{"entities":{"Q5756591":{"pageid":7786142,"ns":120,"title":"Item:Q5756591","lastrevid":50157746,"modified":"2026-01-13T07:24:44Z","type":"item","id":"Q5756591","labels":{"en":{"language":"en","value":"A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187248"}},"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":"Q5756591$6B774F45-B286-49F9-8DC6-5F510638C91E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8116e0d7836be4c46a78d4caa17c61b1ece6852","datavalue":{"value":{"text":"A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756591$76E31A21-95E3-44D0-9BBA-A7E83F1E86FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cbfa3d7475eea4fd429f4e8bb9fa77234cb4654","datavalue":{"value":"1151.68542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$C8B854C6-DCD1-4787-B1DA-BF5CF5D731C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcdd8b0571189022cabf6e7089b8c79fb6fbb34b","datavalue":{"value":"10.1007/11817949_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$C824A622-AD6A-4163-AC29-6024C36F3684","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756591$F741CF6B-77EC-4EDE-B586-2588DB32E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"935a50598cba53d5d0d1568d36a5bcde2c05adf6","datavalue":{"value":{"entity-type":"item","numeric-id":680537,"id":"Q680537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756591$12D604D3-6919-48AF-B3FA-A495C4D0A285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9297a2187dba905ca44e474c001f219b4ecdc2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3433722,"id":"Q3433722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756591$9E8716C9-C194-429D-949C-68ECC79EEDE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756591$6ACF98C7-0787-4846-8792-100C0C34B2F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756591$6DF7E338-2D42-4737-BF28-E6AAF0FC39B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28c820dd1b004937fe8abd5cb7f36da56644e31b","datavalue":{"value":"http://nbn-resolving.de/urn:nbn:de:bsz:352-215507","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756591$2B40C539-C7B7-4718-8488-D6C5BED8ABAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$CD4ADA8C-AD2B-4C0E-957F-F02B80457DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$DB5E8B78-B8B9-417E-BA2C-BD98B28B7A61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"641a9bdd04e754d7ab48c7d5cf0af88ccd8d85e1","datavalue":{"value":"5187248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$E33FA717-CDC0-48A6-815B-859B9CF7C712","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756591$91A6EDFA-44F4-4A00-80ED-F5367337B500","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":"Q5756591$6DD18D75-351A-4ADE-A17C-1BADA5B41164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac5263fc3b0b47fef0143b5736660e93cf7bc7ad","datavalue":{"value":"W2158031434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756591$B7480E3F-548A-4DB2-92C7-2D3ADD48E37E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100348ad4d2ff692d530df03719eb819285cf90c","datavalue":{"value":{"entity-type":"item","numeric-id":2848369,"id":"Q2848369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d4756a31abdcc038cce58f3eebb6be0fcd3103","datavalue":{"value":{"amount":"+0.7695543169975281","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":"Q5756591$AE478DE8-803F-4029-AEC0-FAD3C7F9D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1238890e41ca03689facaca3d149d83b98d41c10","datavalue":{"value":{"entity-type":"item","numeric-id":3090843,"id":"Q3090843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f206404a8a42dc9b605294be5ef390bf58864c","datavalue":{"value":{"amount":"+0.7546795010566711","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":"Q5756591$892EA82F-00F1-4964-955E-4D5BDB0BE5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368d9aead33be472d8e513db4038fdffb832c507","datavalue":{"value":{"entity-type":"item","numeric-id":1705697,"id":"Q1705697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc06047d1770ede5a6e382784078c24d7eac39c","datavalue":{"value":{"amount":"+0.7292657494544983","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":"Q5756591$D126DA70-EEDE-4A26-8A21-4A34FA3D54A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458cee0ed5560ff81e90fc4e97d56787c5084bf8","datavalue":{"value":{"amount":"+0.6891636848449707","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":"Q5756591$A5F9AA07-7955-4ACB-9C71-30ECFBBF37BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ce2b1aba81ebf2512e27078d6abf9d37e81a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5261509,"id":"Q5261509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e78baeaff8c222babaad309eb9dfba1c9824d7","datavalue":{"value":{"amount":"+0.6775261163711548","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":"Q5756591$E86B1F88-8E3A-4D28-8318-34481B526F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756591"}}}}}