{"entities":{"Q6174529":{"pageid":13309417,"ns":120,"title":"Item:Q6174529","lastrevid":94073549,"modified":"2026-06-05T05:48:42Z","type":"item","id":"Q6174529","labels":{"en":{"language":"en","value":"Efficient SMT-based network fault tolerance verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728838"}},"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":"Q6174529$06471992-34EF-410C-B5CA-B7AEE8F89E62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48e5d8ddeffee2ab2344785c010c62afc759160f","datavalue":{"value":{"text":"Efficient SMT-based network fault tolerance verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174529$8CE9C055-6211-479A-A722-A3DCAC5B4B4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfd4a396f9319ae98887c76fcf77a7beb3b09429","datavalue":{"value":"1529.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$E817D369-C34D-4AC3-B8E3-ADED1584A587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36e005b0970b5ee908d1801d1f6844cf729f0f00","datavalue":{"value":"10.1007/978-3-031-27481-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$A30355E8-6F55-4AD7-9774-B1AA99176D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174529$1F07E929-F532-4DD2-9AC7-8E44A78D4968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174529$B3AAEBD6-AC7F-4DB4-921B-CDC98DDBCC6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$F5ABC023-36D0-4757-8956-0B99BE2D90F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$A7919CBF-0DE7-4143-A15E-B163B69FA371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$B0212CBB-5ABE-4462-BE31-4FAFC46E6E0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f1ee51a354954fa5b17ee0af7b8d073abe3bf00","datavalue":{"value":"7728838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174529$BA034F51-0E6F-4F41-8587-51D9DE3BF50F","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":"Q6174529$C75242E3-27A9-47C9-BE1C-53FA46E8DF86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174529$84A23ACF-48CE-40C8-9B67-838164D7EB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e4b34ac6afc7b6ad12226dbcc91c2abd0424b5","datavalue":{"value":{"entity-type":"item","numeric-id":6154886,"id":"Q6154886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174529$9053309A-D23C-4B21-BC11-ACF8B65FD304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4d39cd9cea1d48585ce531987641d78918b934","datavalue":{"value":{"entity-type":"item","numeric-id":2828246,"id":"Q2828246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174529$24273ADB-9A29-4627-91B6-0F509244783D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd65f2766697d009538692fdd2ebc29dc7a156b","datavalue":{"value":{"entity-type":"item","numeric-id":6154886,"id":"Q6154886"},"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":"Q6174529$3A568435-60CF-4203-9D1B-83FC37D61D1E","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":"3b3fc0edb9a6050e75b88f9375ac10b35a0c9214","datavalue":{"value":{"amount":"+0.7498955726623535","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":"Q6174529$2B413154-E6E4-4447-9A93-520C7FD74A63","rank":"normal"},{"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":"9d2ff9f760e84c05ecac31499b23d903d2133511","datavalue":{"value":{"amount":"+0.7033853530883789","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":"Q6174529$4EA31C6B-E36A-48BC-8C8D-69D65C4E2F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae6d3573fc781820560c92325d71225a2df39","datavalue":{"value":{"entity-type":"item","numeric-id":2938038,"id":"Q2938038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ee0b109ae66c87c1264b1f248dff85bc63e6bf","datavalue":{"value":{"amount":"+0.6846874952316284","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":"Q6174529$DAF838C7-3891-412F-BD91-A2FC09CF1DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa41eeafaa4d7fbec3f727a469bea4c6d2a6784d","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a61fd511867ef8012b074377e29c32dca5e8b9","datavalue":{"value":{"amount":"+0.6732457876205444","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":"Q6174529$54C5E4C8-0552-426B-A9EB-3D8DD9CE089E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient SMT-based network fault tolerance verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_SMT-based_network_fault_tolerance_verification"}}}}}