{"entities":{"Q6567705":{"pageid":14178860,"ns":120,"title":"Item:Q6567705","lastrevid":103707917,"modified":"2026-06-06T07:57:35Z","type":"item","id":"Q6567705","labels":{"en":{"language":"en","value":"Proving liveness of fair transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876654"}},"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":"Q6567705$059A158D-4ED7-40F6-86AB-DF24160A5B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b391dc2c31b7265b3c11324e1cf260b2c277711","datavalue":{"value":{"text":"Proving liveness of fair transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567705$B2B86F12-EF30-4024-93BF-D455A45A81A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bf2a118fb1b7bcdc3fb924cc494345fd71e729a","datavalue":{"value":"1540.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567705$3C5DAA80-DBB5-4FA8-B001-8FB979E3B998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6398cb19c2430ffd14a9abdf2841b97deaf567cb","datavalue":{"value":{"entity-type":"item","numeric-id":1334894,"id":"Q1334894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567705$37F3D576-E79D-4AB7-A763-15AECED91528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567705$7AB8EE8D-1C4F-4CD8-842F-C78A097CA2DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567705$C8ED985B-FA75-4D04-9AC4-9B8A72A9798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567705$CA01102D-F2ED-4EFD-B0E1-BFF54A97D645","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4fda66a90ef50a33d6335a25c8d97d06e68acce","datavalue":{"value":"7876654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567705$6DD6BF61-66A6-41D4-B937-0EFBB5482FFA","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":"Q6567705$C161C0AC-8A7D-483C-8C11-7327C37B65D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567705$CF5393E8-B73D-4165-8519-AEDDD2FE8FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95307734ed88447a897098290ababa7518ffc427","datavalue":{"value":{"entity-type":"item","numeric-id":1334895,"id":"Q1334895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567705$0A89920A-0410-48F8-9455-5F1116A13C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1865d954f361d48a20226de9b40ae8c78d9220db","datavalue":{"value":{"entity-type":"item","numeric-id":3024865,"id":"Q3024865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567705$9548C25D-CE37-47F8-843A-76BDCD7290F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567705$4E6A3E87-E477-4750-87CB-34DDE41AD65F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bbbc89eba2b3a8c23ef0b99c3816d09a9cecb70","datavalue":{"value":"10.1007/BFB0105398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567705$FBAF3C0A-C63E-4AF9-9BFD-115D560E980B","rank":"normal"}],"P1643":[{"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":"fe0b42f6454e5cf8174fef6ec668bcee9607be48","datavalue":{"value":{"amount":"+0.7799221873283386","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":"Q6567705$0F316D38-8653-424C-BE05-D274FCB029B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550f078743e4a6996a3c65fddd9ff596d9a3870f","datavalue":{"value":{"entity-type":"item","numeric-id":5491902,"id":"Q5491902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d3bc871a6c6cbde547a5e6d6673ac538a0e515","datavalue":{"value":{"amount":"+0.7789663672447205","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":"Q6567705$01177132-8D8C-48CB-8366-54174B0B323D","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":"f4e6968f19e52231a6f62242f530bf3c59c1ad1c","datavalue":{"value":{"amount":"+0.7547908425331116","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":"Q6567705$18243D12-078B-419E-8B7F-7A6D880B851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb28db83e135e9e071c7fdd963a7b5e4b8f8d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4037394,"id":"Q4037394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db22a2e32ce6efa30804241cd354dae2f01f9d7","datavalue":{"value":{"amount":"+0.7532734870910645","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":"Q6567705$C2CB8B54-3A38-414C-88C9-72BBD9846737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ad5a3005844b04d6a1a9bfa47eaed9359dc33","datavalue":{"value":{"amount":"+0.7520816326141357","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":"Q6567705$9EC32290-1372-4CD5-B0DE-284AB30F9F8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving liveness of fair transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_liveness_of_fair_transition_systems"}}}}}