{"entities":{"Q2289100":{"pageid":2299843,"ns":120,"title":"Item:Q2289100","lastrevid":57343347,"modified":"2026-03-30T14:02:35Z","type":"item","id":"Q2289100","labels":{"en":{"language":"en","value":"Justness. A completeness criterion for capturing liveness properties (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158716"}},"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":"Q2289100$B7A4309E-79D5-42A5-B84E-3CD1BBB6FB2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47441225280fcff6ce087bb1b7be822cc937bb65","datavalue":{"value":{"text":"Justness. A completeness criterion for capturing liveness properties (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289100$2EBB0225-5840-4588-8D3B-4F5CF98C1B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04e782d6df8502b17e4fd65a7da2b2574363cc59","datavalue":{"value":"10.1007/978-3-030-17127-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289100$93F9C82E-5B95-4A80-9387-75627062EDAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289100$D5A730D9-9A85-4067-8920-3FD1686F0BD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68b32a775fe8fee92e368732c36f042e3db7ccef","datavalue":{"value":"https://arxiv.org/abs/1909.00286","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289100$2F694B74-A889-4558-A615-65A45076EC6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289100$BF860152-7A3A-4EAA-9207-0550A91288AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289100$2A999347-EB89-4F16-9EDF-C464B84FD7C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22207ce98dfe8f3e42b2a8459b2d9981beee5bbf","datavalue":{"value":"7158716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289100$960F4D59-6122-4318-BF15-D51707FA77B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289100$2C3CFEDD-63D7-488C-9656-C8CF0050B168","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":"Q2289100$4BE6CDCB-F003-46B4-81B3-0DD082E5D62E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12c5b021c997592099ef3e8af429f21127c26901","datavalue":{"value":"W4243213620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289100$5196ADF4-675D-4D87-B40C-8ADECBC9826C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a319009a96c9747ae44295f5a181705756bbceda","datavalue":{"value":{"entity-type":"item","numeric-id":2182670,"id":"Q2182670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310404f5f10d4f3f1bc9d7d0a47ddd55db76008d","datavalue":{"value":{"amount":"+0.7629437446594238","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":"Q2289100$15D0103E-F27E-4AD2-AACF-EF2CCDB1EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e3320ca3a9b010a5c6a2cb036a48e3ae94f315","datavalue":{"value":{"amount":"+0.7583401799201965","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":"Q2289100$B57471FD-5CC4-4BFB-9B15-085DBF150A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164736918542e97f23226b0e59bc4c011d7bb63a","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de17c76fc63fe854ae9f57c47032ffc59690ec6b","datavalue":{"value":{"amount":"+0.7418371438980103","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":"Q2289100$B63EA6F3-8BEF-43AC-BCD0-469C078121A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21ee0f204110533d888447534135dc49ebd253","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cd15167905a4c7abffe65a124aeb485b70e695","datavalue":{"value":{"amount":"+0.7398831844329834","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":"Q2289100$9698C271-8D42-486D-A2CC-B03150A152C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c924567546518c66936c7f2dfc72777d8e40938","datavalue":{"value":{"entity-type":"item","numeric-id":4028641,"id":"Q4028641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f957f9487da138ddefc7f45684cb70c55098b810","datavalue":{"value":{"amount":"+0.7341675758361816","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":"Q2289100$0090018D-3B3D-4446-898F-895273346958","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289100$3DB3F974-4985-45CB-8F1F-12ABE69D2850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2289100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2289100"}}}}}