{"entities":{"Q2200824":{"pageid":2211567,"ns":120,"title":"Item:Q2200824","lastrevid":73580295,"modified":"2026-04-14T16:31:56Z","type":"item","id":"Q2200824","labels":{"en":{"language":"en","value":"Minimal coverability tree construction made complete and efficient"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250941"}},"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":"Q2200824$4149E562-24B1-4134-9E3D-F881B7DCBCC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87bbe0afef3600389227fae13329a3b3e34bd3e9","datavalue":{"value":{"text":"Minimal coverability tree construction made complete and efficient","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200824$138DD023-6A4D-4222-A74B-0BA31BA182B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"862dc6c875451f7ef739d80b2b5a7911fc14c13b","datavalue":{"value":"10.1007/978-3-030-45231-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200824$BECC53C9-3C9B-43B9-A947-A634085FC6CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$9A931381-2188-41E0-9ED8-B79C0857FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0944675518f51c9d345290654618d314c9ace92","datavalue":{"value":{"entity-type":"item","numeric-id":2058565,"id":"Q2058565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$5A91FE89-1CA9-4109-8C13-3D17CE747F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$472D62F6-08AF-4A29-81D2-236D373E928F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200824$B895A062-2B40-45B4-95C1-39F4916C4DDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200824$DFBBFCBE-171D-41CC-96E5-771297BE7CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200824$1A60972B-174D-43B7-B57E-91671413D701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87fe88b4c5f882d38b0916e8b189bb68d7aa5c91","datavalue":{"value":"7250941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200824$55AFE795-DF87-4CAE-8E83-C8F4AEFAE1D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$0516F2BB-A7A9-4B38-9253-0B0A4CD59074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51b1db1f8f75c527a8f9c238fc9331519e9b096","datavalue":{"value":"Karp-Miller tree algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$AA23B588-0697-404F-B92F-A8D48CDD1A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$A0EDC950-1A7E-41D9-9617-449A5A62399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f07ed90f6f36a8e6708643c3f98a993d3d051a5","datavalue":{"value":"minimal coverability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$C8623895-0FF5-49A9-9665-68B34DA3EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8b2046c3403b04bb9776a0059eb899f59af15f","datavalue":{"value":"clover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$3165706F-DE40-4F1E-A5A1-2DD60BCA93EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687163ecd4f31ab6bad426c7f0017ed8e1c6b5cf","datavalue":{"value":"minimal coverability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200824$848AE3D6-5E60-4EAA-939C-A883E7967C48","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":"Q2200824$A20B1951-6DC9-4B2D-B1CA-79C93E6C9EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0294a7695502e3e33333ea9353ad6c6cbc3f8ab3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200824$42C5225A-4040-4CD6-9B87-FBDF6D973227","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"276e4e8d4a492555f82da92fde5839c39d1ba6bf","datavalue":{"value":"W3016887138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200824$66ADF950-AF2B-4993-BF18-36163C5F48D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe4fa08d2debb61dc623fe3197f7fdfedce38f7","datavalue":{"value":{"entity-type":"item","numeric-id":1725846,"id":"Q1725846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$2D633170-8D82-4599-A1A2-3C0ED093B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74bb22a60e02eca9f5554979a5792a64d443ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2351413,"id":"Q2351413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$8B5D8D31-5E26-454E-8113-2A30C5873CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200824$9830DDBF-6CBA-46CB-9604-F11A9C7D8FEE","rank":"normal"}],"P1643":[{"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":"81aa917c72c3c6bad4934ead54eade32d5b3a6a9","datavalue":{"value":{"amount":"+0.8875254392623901","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":"Q2200824$DEF77DD5-05D0-47E2-9046-6B5E24C56594","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":"c9986360b3ac989604c82cd82fe5e881ecb7249e","datavalue":{"value":{"amount":"+0.8821731209754944","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":"Q2200824$DCA1D0D2-9BE4-4319-9531-0A25307AD362","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":"652ab72438b4a8649dc437dff6ad1f6ecc3fdf03","datavalue":{"value":{"amount":"+0.8430177569389343","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":"Q2200824$9109806B-686C-4926-BE75-AE31FA79FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bf5e92e4ce6fe6b1bb9d0ea1fcfe9af295534a","datavalue":{"value":{"entity-type":"item","numeric-id":4914290,"id":"Q4914290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0488b5260e8a8e181d362511a3c066bf8fb4aa","datavalue":{"value":{"amount":"+0.8427473902702332","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":"Q2200824$83CD4C57-750F-44C9-8915-6D85C3467AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76ae460a984c4826e68f1447347418cc185d4ec","datavalue":{"value":{"entity-type":"item","numeric-id":2330599,"id":"Q2330599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808ba1d36ad4dd4c88d748eaa9443e3ba16201f1","datavalue":{"value":{"amount":"+0.8415965437889099","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":"Q2200824$1176ACEA-0DA8-462D-B416-FFB646479555","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":"Q2200824$36938A21-1DF4-48F9-B8AA-EF6258461EC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal coverability tree construction made complete and efficient","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_coverability_tree_construction_made_complete_and_efficient"}}}}}