{"entities":{"Q6154886":{"pageid":13289282,"ns":120,"title":"Item:Q6154886","lastrevid":98758967,"modified":"2026-06-05T18:25:05Z","type":"item","id":"Q6154886","labels":{"en":{"language":"en","value":"Efficient verification of network fault tolerance via counterexample-guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805830"}},"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":"Q6154886$442F559C-C09A-44D0-A35B-2D29F720978F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5eabe97cfd30f1200d18fa06dd27c78e2b8797c","datavalue":{"value":{"text":"Efficient verification of network fault tolerance via counterexample-guided refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154886$F3A779C3-F79C-49C0-9049-101A1B90D6F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"420fea045f29fe433e1ada78aef87f74adb2e2ff","datavalue":{"value":"10.1007/978-3-030-25543-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$83D6BE1C-A570-4FE6-A696-7B26844FB9BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154886$AF9B8F8B-E0BB-4532-A6C3-797F67A11861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154886$A351F383-93CB-4EE7-B29D-B0E324F96294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$69EFFF79-0A97-454A-A5CE-C71AD756239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$5121962E-3A3A-4B2B-88C1-C644AC1DEA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$0CB3BAA8-2CE0-460D-88A2-41931C071748","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89dc65970b4c9ab5e23ff9d65046d54d3d37a7d0","datavalue":{"value":"7805830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$3F6FCE1F-A3D1-4831-97EB-58F8D907F407","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":"Q6154886$0B50A89D-AE24-4841-9DF8-B2E12D668A12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd4c2b421983b06a685b0dfe1068eb4cfd39113b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154886$E1BF7100-E9EE-426D-B940-1405F870B2F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a2e9b5f877c02cd31a1be1d669bf0ce21cb2dab","datavalue":{"value":"W2957285558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154886$54D13347-469C-4A33-93D7-93AF5238627C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195e4c27e5605ebcab7e1eae10f3fd4e73bcc343","datavalue":{"value":{"entity-type":"item","numeric-id":2828246,"id":"Q2828246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ccd51e9d0f65838bdf15c259fb50c714151ac6","datavalue":{"value":{"amount":"+0.7999732494354248","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":"Q6154886$3ED65F23-719E-4329-8D31-F173B75A54C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b622cdc139235c2179893078f65c1358c14a13d","datavalue":{"value":{"entity-type":"item","numeric-id":6174529,"id":"Q6174529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b22375543494b7b790846ff186a229cc9cb97b3","datavalue":{"value":{"amount":"+0.7662515044212341","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":"Q6154886$A92629EB-960B-4B48-AB63-5E0006BF2372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a222fd351ed12c1ca894380bb635ad8c1039eae","datavalue":{"value":{"amount":"+0.715545117855072","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":"Q6154886$F7F9E045-70F4-4E57-8687-FAF1B37765A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db01d1ecbe58f8258217d8f2ffc816acd47e9be","datavalue":{"value":{"entity-type":"item","numeric-id":4536928,"id":"Q4536928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c0f06053b286a165a5dc769ea64d60205c3425","datavalue":{"value":{"amount":"+0.6866468191146851","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":"Q6154886$E05EFC33-B430-4D77-B6E3-186BD1160462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273ea9e0bd36686f4913d9f65e3eb46e9b3c7b46","datavalue":{"value":{"entity-type":"item","numeric-id":5166716,"id":"Q5166716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630b12fe4ebdf23be47ef53d4fb18cceac839407","datavalue":{"value":{"amount":"+0.6828453540802002","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":"Q6154886$3D913DE5-7E90-433E-A3C4-432A809CE0B6","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":"Q6154886$050EDF38-7579-4850-AC4E-C10B95B95A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient verification of network fault tolerance via counterexample-guided refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_verification_of_network_fault_tolerance_via_counterexample-guided_refinement"}}}}}