{"entities":{"Q5168524":{"pageid":7198096,"ns":120,"title":"Item:Q5168524","lastrevid":91464089,"modified":"2026-06-04T23:14:07Z","type":"item","id":"Q5168524","labels":{"en":{"language":"en","value":"Constructing minimal coverability sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313958"}},"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":"Q5168524$62F36ED5-7D82-4148-80D2-D9E013A02ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126b649f425416f43814fd9627bf7167b6e5d796","datavalue":{"value":{"text":"Constructing Minimal Coverability Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168524$846DD374-1476-4FF5-A670-8A81F1D2D1DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e67ca259481e51b7792f03fab263bc885494a0","datavalue":{"value":"1355.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$EA5B01F3-78AE-498B-89EC-77D07847DB8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e076c8b68289dd25e9ac44e5bf0446ad45cddd3","datavalue":{"value":"10.1007/978-3-642-41036-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$2949964D-3F24-4696-9343-F882E8006387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf757f901f7d142fbf7d5b421808c340129f8352","datavalue":{"value":{"entity-type":"item","numeric-id":2968529,"id":"Q2968529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168524$9A5FBD5E-8EFC-423A-BED4-2DF51E856C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168524$1FD4B0AD-6948-4B79-A45F-D8ECEB764E77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168524$E78EE10F-58D1-43B4-ADB7-CE8E0209FD94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168524$CFFD065C-0FB2-42A7-A53D-99B98789ACC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$969C1B1E-3CF2-498C-A476-D87DE574F05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$9A8B053B-80C6-46AD-B143-BDD6F25A3062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"678760ff1845a92d4ec4b5180b41e71352602b55","datavalue":{"value":"6313958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$484E2A70-83A4-4A5C-B997-99D5C5B2EF67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc5e4811c6954066eadc36fe36eba32cb318e99","datavalue":{"value":"coverability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168524$BD52F4D4-AA42-427F-8430-1192E695C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d421b1824a65c27ca07b567a0309ad9469820cf0","datavalue":{"value":"Tarjan's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168524$5E6A3D93-B269-4842-8428-5B04B15BC6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b8472ebf9bd13d002b16e7c7f086532ca8f411","datavalue":{"value":"antichain data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168524$32060039-D9F2-4422-95EC-867AA86FB717","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":"Q5168524$7B824DB2-5195-444B-AEA1-F5DB2AD056A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9fd2ba15d0b91cbdf5f237b3a170bd424855ad6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41036-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168524$E4DF102C-CBCD-4A77-9FED-0200509B8A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82880ad4422cdb409228f890da072095b41c423b","datavalue":{"value":"W2198099859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168524$A28784E0-FBA8-4DD8-97EE-F222DFB0B94A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9a23210d9294cf9037b1fee2e0c8b737337960","datavalue":{"value":{"entity-type":"item","numeric-id":2968530,"id":"Q2968530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f479847d76912630e719522addbfa9b9103ee823","datavalue":{"value":{"amount":"+0.9991180896759032","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":"Q5168524$51AA875B-C7EA-4BD1-B3FF-8778B0EBA67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df706a030a27cb7744986574e220a99464eb0e35","datavalue":{"value":{"entity-type":"item","numeric-id":5415298,"id":"Q5415298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5387b829378610192035b4d44849e10a2c0065","datavalue":{"value":{"amount":"+0.8563583493232727","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":"Q5168524$366E1B90-36BB-4B42-96E0-4E53DD681AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6374a7fb172ddcedf3e9dbd8e6bd48439cc8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2908208,"id":"Q2908208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5c677c5f30d2731cbce9abc063828028753b6f","datavalue":{"value":{"amount":"+0.8557906150817871","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":"Q5168524$B4114AB2-2920-4DCD-84A4-EA1CAF68D96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e6fbf9c67774b7bb8ea3593d4576fdcfbbbd48","datavalue":{"value":{"entity-type":"item","numeric-id":3510790,"id":"Q3510790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ff6321c3a63f1a648868c35a4f9da3694afecc","datavalue":{"value":{"amount":"+0.8502214550971985","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":"Q5168524$EF2441FA-F32D-430C-B6B3-0619F67916E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc16fd1110ca58adfd7fd7d432c39fe476c0a70","datavalue":{"value":{"entity-type":"item","numeric-id":3552518,"id":"Q3552518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3091ae6754c2d3bc6441a40dce3f2b43b6f7863","datavalue":{"value":{"amount":"+0.8444442749023438","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":"Q5168524$F0C0F223-8CD9-4DF9-847E-1DDAF08E4060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing minimal coverability sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_minimal_coverability_sets"}}}}}