{"entities":{"Q5458320":{"pageid":7487879,"ns":120,"title":"Item:Q5458320","lastrevid":50333783,"modified":"2026-01-13T20:27:08Z","type":"item","id":"Q5458320","labels":{"en":{"language":"en","value":"Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262360"}},"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":"Q5458320$BDFBBAE5-3B1A-4288-A3D6-32EC0273E566","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bdcd4138b015e9d14b16973d44b5a9e5d814dba","datavalue":{"value":{"text":"Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458320$3AE92996-646F-448A-843E-3A54F54C1831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5fd64a3572a92f819d9fbcb67219cd8a4e410f5","datavalue":{"value":"1134.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458320$40C89720-1ABE-4E67-9160-2923B9C8B463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93ffae7d2d4b3545732d67d075251c6feba91d23","datavalue":{"value":"10.1007/978-3-540-78800-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458320$163084F8-E73E-45C3-B86F-654E317ED5EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$C3E63B02-1C57-403B-AE73-0E6708C09B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$D38521C2-9B95-45A4-8D37-EDF5F5D98633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a9cd9c3cd13af4bd8a88aa167a17d0b862765d","datavalue":{"value":{"entity-type":"item","numeric-id":617929,"id":"Q617929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$9325FD9D-FA6F-422E-8CC7-EB0BBA5C1F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980693408117484371c2aa90c387aebcc920cce8","datavalue":{"value":{"entity-type":"item","numeric-id":1351370,"id":"Q1351370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$7CC17058-60CD-4F50-8B2A-25290B50A074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$1B5CF790-BEC9-4260-84AA-9058605D299C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458320$1BDFA0B1-3C6A-4EFE-B847-9FA827FF6CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458320$D4F3E668-8345-4B91-AE60-101E29528B36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d8f6fff41ac7ebf977f31b360592e6e0f1deb2d","datavalue":{"value":"5262360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458320$330BE87E-7357-4D22-8B6D-98BDADCA05C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$45D53C0A-35C2-4A1E-8C70-407300D43426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$DC58D7FE-DC5E-4C3F-B790-E1A1B720A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc5b052d11d6c12029cb360e928bfb3ec3024168","datavalue":{"value":{"entity-type":"item","numeric-id":18898,"id":"Q18898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$4881B89F-083F-4764-AC98-ACCB16C3E5EA","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":"Q5458320$6ACC4153-7E9A-4172-9B84-E3C4975DEFB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec140ed916273b8bbbd012b9edbf5b1c9de0bb05","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458320$23EF9F21-2ED0-419F-971C-A92191586DEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a84bb2218344a8800c31530554b3e1896517d22","datavalue":{"value":"W1829451333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458320$A99FB053-CDCA-4B08-B5A4-EED6D6462D3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19666e60aa5f5be77088292c4f14386e9279d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$D4848AFE-51B2-487E-BD43-EF618832CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd165aa1787f700483c7fe39b997fd0a54aa1b2","datavalue":{"value":{"entity-type":"item","numeric-id":4252349,"id":"Q4252349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$19CB8A31-C139-43D3-8551-B6C4BEB4BFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afefbf65bbe239a7b4e62ed7865463cb8fab21b","datavalue":{"value":{"entity-type":"item","numeric-id":5492992,"id":"Q5492992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$9003570E-29CB-4752-966F-B5F3AE4D3167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1790bd633b004205ffed2a2f674ef41d8831d","datavalue":{"value":{"entity-type":"item","numeric-id":4426370,"id":"Q4426370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$66C8E576-E38C-4C80-8F3E-855629C4DCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed70be6a574ecf9bb0b4c2fea55112b7dddb18a","datavalue":{"value":{"entity-type":"item","numeric-id":2771062,"id":"Q2771062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$6F273885-9E17-4117-B246-7372F54FA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cfd0a7e6268cd18cdb7a6a3b644cb7e5f2e27f","datavalue":{"value":{"entity-type":"item","numeric-id":2848654,"id":"Q2848654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$AF37D528-BE53-45FC-99CD-7B0E1DAFE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458320$7E589705-0680-45E3-A3DB-C47EE3719AE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d2f88509e05435f0d6cf95b8851d17c0a9f69b","datavalue":{"value":{"entity-type":"item","numeric-id":3512515,"id":"Q3512515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c902e89ea657e87057dc03d9c513374961ffa11","datavalue":{"value":{"amount":"+0.7011290788650513","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":"Q5458320$D0CE91AD-926D-48A7-AE9D-3F52A00C82B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cb12484acad4a5cec02f8943b908d2770d4e83","datavalue":{"value":{"entity-type":"item","numeric-id":5703783,"id":"Q5703783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f7fd4c5cf57709b537e6c63b00ab46683931e3","datavalue":{"value":{"amount":"+0.6699354648590088","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":"Q5458320$0D95CD4F-EF0B-4663-B582-33D180564B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821cad7f86625e66cba4b336c7949075487db8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3172928,"id":"Q3172928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba09dcaf7750904c0e49e449b885738475f28ae","datavalue":{"value":{"amount":"+0.6617770195007324","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":"Q5458320$FAE453B3-59D2-4F92-A613-5015808D11C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665303797a0220d4c7a0e20b01c87b3c70c0c346","datavalue":{"value":{"entity-type":"item","numeric-id":5308408,"id":"Q5308408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd3ca530ecb83aa248a56a66758cc3417406635","datavalue":{"value":{"amount":"+0.6547825336456299","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":"Q5458320$970957B7-0223-4B93-A8B8-F7065C3F95A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd46011b6ce0b0ae91c4411357cd3808b22f047","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3e82d5e014af5ab28ea4af0e3d232694f851a0","datavalue":{"value":{"amount":"+0.6529760956764221","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":"Q5458320$9BDE0FDC-9A5A-4E9E-B2D5-BAF546D408F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458320"}}}}}