{"entities":{"Q5756597":{"pageid":7786148,"ns":120,"title":"Item:Q5756597","lastrevid":40742212,"modified":"2025-04-04T13:18:50Z","type":"item","id":"Q5756597","labels":{"en":{"language":"en","value":"Proving Liveness by Backwards Reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187254"}},"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":"Q5756597$A595B00E-D9A7-4875-B200-507C2566ECA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db28792bbf4e55bc5339465ff91a87d10ffa3c2b","datavalue":{"value":{"text":"Proving Liveness by Backwards Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756597$D3A1879D-F837-4119-925F-94C84CB3B49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a420235eaff5c2529a5790db448e00a18ebf99ed","datavalue":{"value":"1151.68498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$682E9199-72A4-4559-8D4D-AA64A5AD63F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8817e08ce0984cc03f039624070ea012ab17824","datavalue":{"value":"10.1007/11817949_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$8186964B-8AF1-465A-A900-443A74EC3A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756597$9842A303-F9E3-409B-9637-9AB43AD269F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c27d31e262626be5ce88a9c50bdb83cdec87b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2302270,"id":"Q2302270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756597$25431E16-CC7A-4238-B4F6-10665102207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756597$A3506757-B1F1-4E26-BF54-3F6B96475144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756597$7220EA57-39BE-44A6-84AF-566D1A49DE6D","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":"Q5756597$39CECA71-A1D7-44B1-B4D2-3F9E8ADD544B","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":"Q5756597$FEC292A6-3C24-42A2-ACC4-F437C817672B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$C762117E-31DF-4AFB-8A3B-09AD07E1AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$8D610C0C-45FD-4C8D-8E9D-1DAC55188CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$5C55E7DE-0863-4093-9789-F5D1525509DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aba51b403c972bf35f42119de9473fd68f6aed34","datavalue":{"value":"5187254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$D683CD2B-1548-46CC-B293-A36D6B95A089","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":"Q5756597$1F7FF0A6-E513-4408-9A15-2272817B2BD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05f8cd26a7bd05fd948b43850f1e3c5329263ec5","datavalue":{"value":"https://doi.org/10.1007/11817949_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756597$EDB43F5F-DA8D-42AF-B40D-D7A995CE8F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3d91461f87448ec60e841e81616e76d97c104f5","datavalue":{"value":"W2138112549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756597$F3EBE771-EB0E-4A3D-88BE-9F5BDEB712EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787cf18ae9cfd44b9742e3c471e5fd8edd60bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4635874,"id":"Q4635874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e891783de790abc9360dd39c3c2fcf4e397ea92","datavalue":{"value":{"amount":"+0.88683844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$FCF225F8-2619-4747-A226-72D9CF8803ED","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":"70e61d022a6a9377b0289b4efb4f834a30b6a6e8","datavalue":{"value":{"amount":"+0.8753773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$7F793559-5DCF-4647-83E2-32E73DEB294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b41ab67584bea9b4bef87901346196078c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4945222,"id":"Q4945222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa583a8e22d1f698e2b29b7483363b4849a39280","datavalue":{"value":{"amount":"+0.8688407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$CA93338C-A23C-42EE-BC22-3449836C1C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbda000cabfdcc3cff001eea9cfa9b2a9bbc975","datavalue":{"value":{"entity-type":"item","numeric-id":3183549,"id":"Q3183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c71b95bf885d1adf81951f2ac118d5515e4e69","datavalue":{"value":{"amount":"+0.8674145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$FA11177C-D8BB-4730-AD7A-FBA4221598EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e98bd4c932342579ceaa19841cf9af737500e1","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2f7f94a52f18acfe1e6cdbab463e2600d7766a","datavalue":{"value":{"amount":"+0.8653492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$99AFDBA4-B7AE-45B6-87B5-171B1B1742D3","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":"94128c71d807e4b4934f2f6e2c367548358a92b2","datavalue":{"value":{"amount":"+0.85950255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756597$367B798D-05B7-49D0-94CC-194CD9578F6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756597"}}}}}